runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand2fe899.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//rand2fe899.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand2fe899.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.22 1.10 1.07 5/46 13026 /proc/meminfo: memFree=620832/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) R 13024 13025 2059 34821 2220 4202496 357 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 271 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/13025/statm: 644 271 231 194 0 30 0 [pid=13026] ppid=13025 vsize=2576 CPUtime=0 /proc/13026/stat : 13026 (gj-paranoid-sol) R 13025 13025 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 40 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/13026/statm: 644 40 0 194 0 30 0 [startup+0.195035 s] /proc/loadavg: 1.22 1.10 1.07 5/46 13026 /proc/meminfo: memFree=620832/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=409672 CPUtime=0.19 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 3788 0 1 0 18 1 0 0 25 0 9 0 875421801 419504128 3251 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102418 3251 1732 10 0 96598 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412248 [startup+0.20503 s] /proc/loadavg: 1.22 1.10 1.07 5/46 13026 /proc/meminfo: memFree=620832/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=409672 CPUtime=0.21 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 3814 0 1 0 20 1 0 0 25 0 9 0 875421801 419504128 3277 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102418 3277 1732 10 0 96598 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412248 [startup+0.30506 s] /proc/loadavg: 1.22 1.10 1.07 5/46 13026 /proc/meminfo: memFree=620832/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=410100 CPUtime=0.31 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 4330 0 1 0 30 1 0 0 25 0 9 0 875421801 419942400 3793 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102525 3793 1874 10 0 96705 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412676 [startup+0.705163 s] /proc/loadavg: 1.22 1.10 1.07 5/46 13026 /proc/meminfo: memFree=620832/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=410708 CPUtime=0.7 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 12934 0 1 0 66 4 0 0 25 0 9 0 875421801 420564992 12218 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102677 12218 2878 10 0 96857 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413284 [startup+1.50539 s] /proc/loadavg: 1.22 1.10 1.07 2/55 13035 /proc/meminfo: memFree=559988/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=410840 CPUtime=1.5 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 28562 0 1 0 143 7 0 0 25 0 9 0 875421801 420700160 27846 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102710 27846 2879 10 0 96890 0 [pid=13026/tid=13028] ppid=13025 vsize=410840 CPUtime=0.68 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 6785 0 1 0 66 2 0 0 25 0 9 0 875421802 420700160 27846 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=410840 CPUtime=0.76 /proc/13026/task/13029/stat : 13029 (java) R 13025 13025 2059 34821 2220 4202560 20383 0 0 0 72 4 0 0 20 0 9 0 875421802 420700160 27846 1283457024 134512640 134550932 4289451056 18446744073709551615 4152228272 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=410840 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 875421802 420700160 27846 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=410840 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 875421802 420700160 27846 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=410840 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875421804 420700160 27846 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=410840 CPUtime=0.04 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 458 0 0 0 4 0 0 0 19 0 9 0 875421804 420700160 27846 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=410840 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875421804 420700160 27846 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=410840 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875421804 420700160 27846 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413416 [startup+3.1057 s] /proc/loadavg: 1.22 1.10 1.07 3/55 13035 /proc/meminfo: memFree=479884/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=411164 CPUtime=3.1 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 46033 0 1 0 300 10 0 0 25 0 10 0 875421801 421031936 45301 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102791 45301 2885 10 0 96971 0 [pid=13026/tid=13028] ppid=13025 vsize=411164 CPUtime=1.36 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 10493 0 1 0 133 3 0 0 25 0 10 0 875421802 421031936 45301 1283457024 134512640 134550932 4289451056 18446744073709551615 4115089748 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=411164 CPUtime=1.64 /proc/13026/task/13029/stat : 13029 (java) S 13025 13025 2059 34821 2220 4202560 34082 0 0 0 158 6 0 0 18 0 10 0 875421802 421031936 45301 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=411164 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 421031936 45301 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=411164 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 421031936 45301 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=411164 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421031936 45301 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=411164 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 517 0 0 0 8 0 0 0 15 0 10 0 875421804 421031936 45301 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=411164 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421031936 45301 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=411164 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 421031936 45301 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413740 [startup+6.3165 s] /proc/loadavg: 1.20 1.10 1.07 2/56 13036 /proc/meminfo: memFree=436476/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=413012 CPUtime=6.31 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 52160 0 1 0 617 14 0 0 25 0 10 0 875421801 422924288 51422 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 103253 51422 2883 10 0 97433 0 [pid=13026/tid=13028] ppid=13025 vsize=413012 CPUtime=4 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 11614 0 1 0 397 3 0 0 25 0 10 0 875421802 422924288 51422 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=413012 CPUtime=2.2 /proc/13026/task/13029/stat : 13029 (java) R 13025 13025 2059 34821 2220 4202560 39082 0 0 0 211 9 0 0 15 0 10 0 875421802 422924288 51422 1283457024 134512640 134550932 4289451056 18446744073709551615 4150377357 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=413012 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 422924288 51422 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=413012 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 422924288 51422 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=413012 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 422924288 51422 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=413012 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 523 0 0 0 8 0 0 0 15 0 10 0 875421804 422924288 51422 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=413012 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 422924288 51422 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=413012 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 422924288 51422 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13036] ppid=13025 vsize=413012 CPUtime=0 /proc/13026/task/13036/stat : 13036 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875422087 422924288 51422 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 415588 [startup+12.708 s] /proc/loadavg: 1.35 1.13 1.08 2/56 13036 /proc/meminfo: memFree=424076/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=411156 CPUtime=12.7 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 59243 0 1 0 1250 20 0 0 25 0 10 0 875421801 421023744 51741 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102789 51741 2883 10 0 96969 0 [pid=13026/tid=13028] ppid=13025 vsize=411156 CPUtime=8.75 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 11614 0 1 0 872 3 0 0 25 0 10 0 875421802 421023744 51741 1283457024 134512640 134550932 4289451056 18446744073709551615 4115204264 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=411156 CPUtime=3.84 /proc/13026/task/13029/stat : 13029 (java) S 13025 13025 2059 34821 2220 4202560 46165 0 0 0 369 15 0 0 16 0 10 0 875421802 421023744 51741 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 51741 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 51741 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 51741 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=411156 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 523 0 0 0 8 0 0 0 15 0 10 0 875421804 421023744 51741 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 51741 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 421023744 51741 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13036] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13036/stat : 13036 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875422087 421023744 51741 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 413732 [startup+25.5106 s] /proc/loadavg: 1.40 1.15 1.09 2/56 13036 /proc/meminfo: memFree=419984/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=411156 CPUtime=25.48 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 69355 0 1 0 2526 22 0 0 25 0 10 0 875421801 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102789 52733 2883 10 0 96969 0 [pid=13026/tid=13028] ppid=13025 vsize=411156 CPUtime=19.26 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 11614 0 1 0 1923 3 0 0 25 0 10 0 875421802 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4115215111 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=411156 CPUtime=6.12 /proc/13026/task/13029/stat : 13029 (java) S 13025 13025 2059 34821 2220 4202560 56277 0 0 0 594 18 0 0 16 0 10 0 875421802 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=411156 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 523 0 0 0 8 0 0 0 15 0 10 0 875421804 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13036] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13036/stat : 13036 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875422087 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 413732 Solver just ended. Dumping a history of the last processes samples [startup+25.6106 s] /proc/loadavg: 1.40 1.15 1.09 2/56 13036 /proc/meminfo: memFree=419984/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=411156 CPUtime=25.58 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 69355 0 1 0 2536 22 0 0 25 0 10 0 875421801 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102789 52733 2883 10 0 96969 0 [pid=13026/tid=13028] ppid=13025 vsize=411156 CPUtime=19.36 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 11614 0 1 0 1933 3 0 0 25 0 10 0 875421802 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4115204291 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=411156 CPUtime=6.12 /proc/13026/task/13029/stat : 13029 (java) S 13025 13025 2059 34821 2220 4202560 56277 0 0 0 594 18 0 0 16 0 10 0 875421802 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=411156 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 523 0 0 0 8 0 0 0 15 0 10 0 875421804 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13036] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13036/stat : 13036 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875422087 421023744 52733 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.58 Current children cumulated vsize (KiB) 413732 [startup+28.8115 s] /proc/loadavg: 1.40 1.15 1.09 3/56 13036 /proc/meminfo: memFree=410312/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=411156 CPUtime=28.78 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 71906 0 1 0 2856 22 0 0 25 0 10 0 875421801 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102789 53004 2883 10 0 96969 0 [pid=13026/tid=13028] ppid=13025 vsize=411156 CPUtime=21.99 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 11614 0 1 0 2196 3 0 0 25 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4115160063 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=411156 CPUtime=6.7 /proc/13026/task/13029/stat : 13029 (java) S 13025 13025 2059 34821 2220 4202560 58828 0 0 0 652 18 0 0 16 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=411156 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 523 0 0 0 8 0 0 0 15 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13036] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13036/stat : 13036 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875422087 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 28.78 Current children cumulated vsize (KiB) 413732 [startup+30.4118 s] /proc/loadavg: 1.37 1.15 1.09 2/56 13036 /proc/meminfo: memFree=418868/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=411156 CPUtime=30.38 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 71906 0 1 0 3016 22 0 0 25 0 10 0 875421801 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102789 53004 2883 10 0 96969 0 [pid=13026/tid=13028] ppid=13025 vsize=411156 CPUtime=23.59 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 11614 0 1 0 2356 3 0 0 25 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4115088405 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=411156 CPUtime=6.7 /proc/13026/task/13029/stat : 13029 (java) S 13025 13025 2059 34821 2220 4202560 58828 0 0 0 652 18 0 0 15 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=411156 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 523 0 0 0 8 0 0 0 15 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13036] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13036/stat : 13036 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875422087 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 30.38 Current children cumulated vsize (KiB) 413732 [startup+32.0122 s] /proc/loadavg: 1.37 1.15 1.09 2/56 13036 /proc/meminfo: memFree=418868/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=411156 CPUtime=31.97 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 71906 0 1 0 3175 22 0 0 25 0 10 0 875421801 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102789 53004 2883 10 0 96969 0 [pid=13026/tid=13028] ppid=13025 vsize=411156 CPUtime=25.11 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 11614 0 1 0 2508 3 0 0 25 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=411156 CPUtime=6.76 /proc/13026/task/13029/stat : 13029 (java) R 13025 13025 2059 34821 2220 4202560 58828 0 0 0 658 18 0 0 16 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4150948344 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=411156 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 523 0 0 0 8 0 0 0 15 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13036] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13036/stat : 13036 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875422087 421023744 53004 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 31.97 Current children cumulated vsize (KiB) 413732 [startup+32.4123 s] /proc/loadavg: 1.37 1.15 1.09 2/56 13036 /proc/meminfo: memFree=418868/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=420396 CPUtime=32.37 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 74367 0 1 0 3213 24 0 0 25 0 10 0 875421801 430485504 55465 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 105099 55465 2883 10 0 99279 0 [pid=13026/tid=13028] ppid=13025 vsize=420396 CPUtime=25.11 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 11614 0 1 0 2508 3 0 0 25 0 10 0 875421802 430485504 55465 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=420396 CPUtime=7.16 /proc/13026/task/13029/stat : 13029 (java) R 13025 13025 2059 34821 2220 4202560 61289 0 0 0 696 20 0 0 16 0 10 0 875421802 430485504 55465 1283457024 134512640 134550932 4289451056 18446744073709551615 4152643585 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=420396 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 430485504 55465 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=420396 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 430485504 55465 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=420396 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 430485504 55465 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=420396 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 523 0 0 0 8 0 0 0 15 0 10 0 875421804 430485504 55465 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=420396 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 430485504 55465 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=420396 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 430485504 55465 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13036] ppid=13025 vsize=420396 CPUtime=0 /proc/13026/task/13036/stat : 13036 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875422087 430485504 55465 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 32.37 Current children cumulated vsize (KiB) 422972 [startup+32.8124 s] /proc/loadavg: 1.37 1.15 1.09 2/56 13036 /proc/meminfo: memFree=418868/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=411156 CPUtime=32.77 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 74484 0 1 0 3253 24 0 0 25 0 10 0 875421801 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102789 53302 2883 10 0 96969 0 [pid=13026/tid=13028] ppid=13025 vsize=411156 CPUtime=25.41 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 11614 0 1 0 2538 3 0 0 25 0 10 0 875421802 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4115160097 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=411156 CPUtime=7.26 /proc/13026/task/13029/stat : 13029 (java) S 13025 13025 2059 34821 2220 4202560 61406 0 0 0 706 20 0 0 16 0 10 0 875421802 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=411156 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 523 0 0 0 8 0 0 0 15 0 10 0 875421804 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13036] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13036/stat : 13036 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875422087 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 32.77 Current children cumulated vsize (KiB) 413732 [startup+32.9124 s] /proc/loadavg: 1.37 1.15 1.09 2/56 13036 /proc/meminfo: memFree=418868/1048576 swapFree=2078884/2097144 [pid=13025] ppid=13024 vsize=2576 CPUtime=0 /proc/13025/stat : 13025 (gj-paranoid-sol) S 13024 13025 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 875421801 2637824 272 1283457024 134512640 135304128 4287021696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13025/statm: 644 272 232 194 0 30 0 [pid=13026] ppid=13025 vsize=411156 CPUtime=32.87 /proc/13026/stat : 13026 (java) S 13025 13025 2059 34821 2220 4202496 74484 0 1 0 3263 24 0 0 25 0 10 0 875421801 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13026/statm: 102789 53302 2883 10 0 96969 0 [pid=13026/tid=13028] ppid=13025 vsize=411156 CPUtime=25.51 /proc/13026/task/13028/stat : 13028 (java) R 13025 13025 2059 34821 2220 4202560 11614 0 1 0 2548 3 0 0 25 0 10 0 875421802 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4115169584 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13026/tid=13029] ppid=13025 vsize=411156 CPUtime=7.26 /proc/13026/task/13029/stat : 13029 (java) S 13025 13025 2059 34821 2220 4202560 61406 0 0 0 706 20 0 0 16 0 10 0 875421802 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13030] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13030/stat : 13030 (java) S 13025 13025 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13031] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13031/stat : 13031 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875421802 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13032] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13032/stat : 13032 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13033] ppid=13025 vsize=411156 CPUtime=0.08 /proc/13026/task/13033/stat : 13033 (java) S 13025 13025 2059 34821 2220 4202560 523 0 0 0 8 0 0 0 15 0 10 0 875421804 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13034] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13034/stat : 13034 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875421804 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13035] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13035/stat : 13035 (java) S 13025 13025 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875421804 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=13026/tid=13036] ppid=13025 vsize=411156 CPUtime=0 /proc/13026/task/13036/stat : 13036 (java) S 13025 13025 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 875422087 421023744 53302 1283457024 134512640 134550932 4289451056 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 32.87 Current children cumulated vsize (KiB) 413732 Child status: 0 Real time (s): 32.9911 CPU time (s): 32.9461 CPU user time (s): 32.69 CPU system time (s): 0.256016 CPU usage (%): 99.8634 Max. virtual memory (cumulated for all children) (KiB): 422980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.69 system time used= 0.256016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74881 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1214 involuntary context switches= 1556 runsolver used 0 second user time and 0 second system time The end