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/randaafcce.cudf.impossible.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/impossible//randaafcce.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/randaafcce.cudf.impossible.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.33 1.30 1.23 1/45 30329 /proc/meminfo: memFree=948172/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=3020 CPUtime=0 /proc/30329/stat : 30329 (runsolver) D 30328 30329 2059 34821 2220 4202560 72 0 0 0 0 0 0 0 22 0 1 0 876571555 3092480 93 1283457024 134512640 134586868 4291075360 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/30329/statm: 755 93 62 19 0 53 0 [startup+0.189019 s] /proc/loadavg: 1.33 1.30 1.23 1/45 30329 /proc/meminfo: memFree=948172/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.204978 s] /proc/loadavg: 1.33 1.30 1.23 1/45 30329 /proc/meminfo: memFree=948172/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.304987 s] /proc/loadavg: 1.33 1.30 1.23 1/45 30329 /proc/meminfo: memFree=948172/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.704991 s] /proc/loadavg: 1.33 1.30 1.23 1/45 30329 /proc/meminfo: memFree=948172/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+1.50506 s] /proc/loadavg: 1.33 1.30 1.23 3/55 30339 /proc/meminfo: memFree=924828/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 [pid=30331] ppid=30329 vsize=410132 CPUtime=0.32 /proc/30331/stat : 30331 (java) S 30329 30329 2059 34821 2220 4202496 8126 0 233 0 30 2 0 0 22 0 9 0 876571565 419975168 7782 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30331/statm: 102533 7782 2223 10 0 96713 0 [pid=30331/tid=30332] ppid=30329 vsize=410132 CPUtime=0.21 /proc/30331/task/30332/stat : 30332 (java) S 30329 30329 2059 34821 2220 4202560 3231 0 143 0 20 1 0 0 21 0 9 0 876571586 419975168 7782 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30333] ppid=30329 vsize=410132 CPUtime=0.08 /proc/30331/task/30333/stat : 30333 (java) D 30329 30329 2059 34821 2220 4202560 3723 0 24 0 7 1 0 0 16 0 9 0 876571607 419975168 7782 1283457024 134512640 134550932 4286919104 18446744073709551615 4152607949 0 0 0 16800975 18446744071564332000 0 0 -1 0 0 0 0 [pid=30331/tid=30334] ppid=30329 vsize=410132 CPUtime=0 /proc/30331/task/30334/stat : 30334 (java) S 30329 30329 2059 34821 2220 4202560 8 0 1 0 0 0 0 0 18 0 9 0 876571612 419975168 7782 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30335] ppid=30329 vsize=410132 CPUtime=0 /proc/30331/task/30335/stat : 30335 (java) S 30329 30329 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 18 0 9 0 876571612 419975168 7782 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30336] ppid=30329 vsize=410132 CPUtime=0 /proc/30331/task/30336/stat : 30336 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 22 0 9 0 876571632 419975168 7782 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30337] ppid=30329 vsize=410132 CPUtime=0.02 /proc/30331/task/30337/stat : 30337 (java) S 30329 30329 2059 34821 2220 4202560 299 0 5 0 2 0 0 0 20 0 9 0 876571632 419975168 7782 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30338] ppid=30329 vsize=410132 CPUtime=0 /proc/30331/task/30338/stat : 30338 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 23 0 9 0 876571632 419975168 7782 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30339] ppid=30329 vsize=410132 CPUtime=0 /proc/30331/task/30339/stat : 30339 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 17 0 9 0 876571632 419975168 7782 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 412700 [startup+3.10518 s] /proc/loadavg: 1.33 1.30 1.23 3/55 30339 /proc/meminfo: memFree=856200/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 [pid=30331] ppid=30329 vsize=410732 CPUtime=1.8 /proc/30331/stat : 30331 (java) S 30329 30329 2059 34821 2220 4202496 36889 0 242 0 170 10 0 0 22 0 9 0 876571565 420589568 36416 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30331/statm: 102683 36416 2879 10 0 96863 0 [pid=30331/tid=30332] ppid=30329 vsize=410732 CPUtime=0.68 /proc/30331/task/30332/stat : 30332 (java) R 30329 30329 2059 34821 2220 4202560 9295 0 143 0 64 4 0 0 21 0 9 0 876571586 420589568 36416 1283457024 134512640 134550932 4286919104 18446744073709551615 4115377091 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30333] ppid=30329 vsize=410732 CPUtime=1.07 /proc/30331/task/30333/stat : 30333 (java) S 30329 30329 2059 34821 2220 4202560 26272 0 33 0 102 5 0 0 16 0 9 0 876571607 420589568 36416 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30334] ppid=30329 vsize=410732 CPUtime=0 /proc/30331/task/30334/stat : 30334 (java) S 30329 30329 2059 34821 2220 4202560 8 0 1 0 0 0 0 0 15 0 9 0 876571612 420589568 36416 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30335] ppid=30329 vsize=410732 CPUtime=0 /proc/30331/task/30335/stat : 30335 (java) S 30329 30329 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 18 0 9 0 876571612 420589568 36416 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30336] ppid=30329 vsize=410732 CPUtime=0 /proc/30331/task/30336/stat : 30336 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 22 0 9 0 876571632 420589568 36416 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30337] ppid=30329 vsize=410732 CPUtime=0.04 /proc/30331/task/30337/stat : 30337 (java) S 30329 30329 2059 34821 2220 4202560 449 0 5 0 3 1 0 0 15 0 9 0 876571632 420589568 36416 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30338] ppid=30329 vsize=410732 CPUtime=0 /proc/30331/task/30338/stat : 30338 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 23 0 9 0 876571632 420589568 36416 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30339] ppid=30329 vsize=410732 CPUtime=0 /proc/30331/task/30339/stat : 30339 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876571632 420589568 36416 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.8 Current children cumulated vsize (KiB) 413300 heavy processes: [startup+6.30676 s] /proc/loadavg: 1.46 1.33 1.24 3/55 30339 /proc/meminfo: memFree=637932/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 [pid=30331] ppid=30329 vsize=428420 CPUtime=4.64 /proc/30331/stat : 30331 (java) S 30329 30329 2059 34821 2220 4202496 74977 0 242 0 444 20 0 0 22 0 9 0 876571565 438702080 74504 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30331/statm: 107105 74504 2879 10 0 101285 0 [pid=30331/tid=30332] ppid=30329 vsize=428420 CPUtime=1.47 /proc/30331/task/30332/stat : 30332 (java) R 30329 30329 2059 34821 2220 4202560 13919 0 143 0 141 6 0 0 20 0 9 0 876571586 438702080 74504 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30333] ppid=30329 vsize=428420 CPUtime=3.11 /proc/30331/task/30333/stat : 30333 (java) R 30329 30329 2059 34821 2220 4202560 59732 0 33 0 299 12 0 0 16 0 9 0 876571607 438702080 74504 1283457024 134512640 134550932 4286919104 18446744073709551615 4152607671 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30334] ppid=30329 vsize=428420 CPUtime=0 /proc/30331/task/30334/stat : 30334 (java) S 30329 30329 2059 34821 2220 4202560 8 0 1 0 0 0 0 0 15 0 9 0 876571612 438702080 74504 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30335] ppid=30329 vsize=428420 CPUtime=0 /proc/30331/task/30335/stat : 30335 (java) S 30329 30329 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 18 0 9 0 876571612 438702080 74504 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30336] ppid=30329 vsize=428420 CPUtime=0 /proc/30331/task/30336/stat : 30336 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 22 0 9 0 876571632 438702080 74504 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30337] ppid=30329 vsize=428420 CPUtime=0.04 /proc/30331/task/30337/stat : 30337 (java) S 30329 30329 2059 34821 2220 4202560 453 0 5 0 3 1 0 0 15 0 9 0 876571632 438702080 74504 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30338] ppid=30329 vsize=428420 CPUtime=0 /proc/30331/task/30338/stat : 30338 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 23 0 9 0 876571632 438702080 74504 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30339] ppid=30329 vsize=428420 CPUtime=0 /proc/30331/task/30339/stat : 30339 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876571632 438702080 74504 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.64 Current children cumulated vsize (KiB) 430988 heavy processes: [startup+12.703 s] /proc/loadavg: 1.43 1.33 1.24 3/55 30339 /proc/meminfo: memFree=597300/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 [pid=30331] ppid=30329 vsize=419472 CPUtime=10.99 /proc/30331/stat : 30331 (java) S 30329 30329 2059 34821 2220 4202496 107036 0 244 0 1070 29 0 0 22 0 9 0 876571565 429539328 72378 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30331/statm: 104868 72378 2880 10 0 99048 0 [pid=30331/tid=30332] ppid=30329 vsize=419472 CPUtime=2.18 /proc/30331/task/30332/stat : 30332 (java) R 30329 30329 2059 34821 2220 4202560 14001 0 145 0 212 6 0 0 20 0 9 0 876571586 429539328 72378 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30333] ppid=30329 vsize=419472 CPUtime=8.73 /proc/30331/task/30333/stat : 30333 (java) R 30329 30329 2059 34821 2220 4202560 91679 0 33 0 852 21 0 0 16 0 9 0 876571607 429539328 72378 1283457024 134512640 134550932 4286919104 18446744073709551615 4152607671 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30334] ppid=30329 vsize=419472 CPUtime=0 /proc/30331/task/30334/stat : 30334 (java) S 30329 30329 2059 34821 2220 4202560 8 0 1 0 0 0 0 0 15 0 9 0 876571612 429539328 72378 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30335] ppid=30329 vsize=419472 CPUtime=0 /proc/30331/task/30335/stat : 30335 (java) S 30329 30329 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 18 0 9 0 876571612 429539328 72378 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30336] ppid=30329 vsize=419472 CPUtime=0 /proc/30331/task/30336/stat : 30336 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 22 0 9 0 876571632 429539328 72378 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30337] ppid=30329 vsize=419472 CPUtime=0.06 /proc/30331/task/30337/stat : 30337 (java) S 30329 30329 2059 34821 2220 4202560 483 0 5 0 5 1 0 0 15 0 9 0 876571632 429539328 72378 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30338] ppid=30329 vsize=419472 CPUtime=0 /proc/30331/task/30338/stat : 30338 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 23 0 9 0 876571632 429539328 72378 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30339] ppid=30329 vsize=419472 CPUtime=0 /proc/30331/task/30339/stat : 30339 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876571632 429539328 72378 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10.99 Current children cumulated vsize (KiB) 422040 [startup+25.5078 s] /proc/loadavg: 1.61 1.37 1.26 2/56 30340 /proc/meminfo: memFree=596564/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 [pid=30331] ppid=30329 vsize=446288 CPUtime=23.77 /proc/30331/stat : 30331 (java) S 30329 30329 2059 34821 2220 4202496 153239 0 245 0 2337 40 0 0 22 0 10 0 876571565 456998912 79051 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30331/statm: 111572 79051 2883 10 0 105752 0 [pid=30331/tid=30332] ppid=30329 vsize=446288 CPUtime=6.93 /proc/30331/task/30332/stat : 30332 (java) R 30329 30329 2059 34821 2220 4202560 14023 0 146 0 687 6 0 0 25 0 10 0 876571586 456998912 79051 1283457024 134512640 134550932 4286919104 18446744073709551615 4115715568 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30333] ppid=30329 vsize=446288 CPUtime=16.72 /proc/30331/task/30333/stat : 30333 (java) S 30329 30329 2059 34821 2220 4202560 137821 0 33 0 1640 32 0 0 15 0 10 0 876571607 456998912 79051 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30334] ppid=30329 vsize=446288 CPUtime=0 /proc/30331/task/30334/stat : 30334 (java) S 30329 30329 2059 34821 2220 4202560 8 0 1 0 0 0 0 0 15 0 10 0 876571612 456998912 79051 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30335] ppid=30329 vsize=446288 CPUtime=0 /proc/30331/task/30335/stat : 30335 (java) S 30329 30329 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 18 0 10 0 876571612 456998912 79051 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30336] ppid=30329 vsize=446288 CPUtime=0 /proc/30331/task/30336/stat : 30336 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 22 0 10 0 876571632 456998912 79051 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30337] ppid=30329 vsize=446288 CPUtime=0.1 /proc/30331/task/30337/stat : 30337 (java) S 30329 30329 2059 34821 2220 4202560 517 0 5 0 9 1 0 0 16 0 10 0 876571632 456998912 79051 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30338] ppid=30329 vsize=446288 CPUtime=0 /proc/30331/task/30338/stat : 30338 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 23 0 10 0 876571632 456998912 79051 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30339] ppid=30329 vsize=446288 CPUtime=0 /proc/30331/task/30339/stat : 30339 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876571632 456998912 79051 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30340] ppid=30329 vsize=446288 CPUtime=0 /proc/30331/task/30340/stat : 30340 (java) S 30329 30329 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 24 0 10 0 876573571 456998912 79051 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 23.77 Current children cumulated vsize (KiB) 448856 [startup+51.1136 s] /proc/loadavg: 1.65 1.41 1.27 7/56 30340 /proc/meminfo: memFree=598920/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 [pid=30331] ppid=30329 vsize=446156 CPUtime=49.35 /proc/30331/stat : 30331 (java) S 30329 30329 2059 34821 2220 4202496 186170 0 245 0 4881 54 0 0 22 0 10 0 876571565 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30331/statm: 111539 79015 2883 10 0 105719 0 [pid=30331/tid=30332] ppid=30329 vsize=446156 CPUtime=26.79 /proc/30331/task/30332/stat : 30332 (java) R 30329 30329 2059 34821 2220 4202560 14023 0 146 0 2672 7 0 0 25 0 10 0 876571586 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30333] ppid=30329 vsize=446156 CPUtime=22.43 /proc/30331/task/30333/stat : 30333 (java) R 30329 30329 2059 34821 2220 4202560 170751 0 33 0 2198 45 0 0 16 0 10 0 876571607 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4152608410 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30334] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30334/stat : 30334 (java) S 30329 30329 2059 34821 2220 4202560 8 0 1 0 0 0 0 0 15 0 10 0 876571612 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30335] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30335/stat : 30335 (java) S 30329 30329 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 18 0 10 0 876571612 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30336] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30336/stat : 30336 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 22 0 10 0 876571632 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30337] ppid=30329 vsize=446156 CPUtime=0.1 /proc/30331/task/30337/stat : 30337 (java) S 30329 30329 2059 34821 2220 4202560 518 0 5 0 9 1 0 0 15 0 10 0 876571632 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30338] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30338/stat : 30338 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 23 0 10 0 876571632 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30339] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30339/stat : 30339 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876571632 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30340] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30340/stat : 30340 (java) R 30329 30329 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876573571 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 49.35 Current children cumulated vsize (KiB) 448724 Solver just ended. Dumping a history of the last processes samples [startup+51.2136 s] /proc/loadavg: 1.65 1.41 1.27 7/56 30340 /proc/meminfo: memFree=598920/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 [pid=30331] ppid=30329 vsize=446156 CPUtime=49.45 /proc/30331/stat : 30331 (java) S 30329 30329 2059 34821 2220 4202496 186170 0 245 0 4891 54 0 0 22 0 10 0 876571565 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30331/statm: 111539 79015 2883 10 0 105719 0 [pid=30331/tid=30332] ppid=30329 vsize=446156 CPUtime=26.79 /proc/30331/task/30332/stat : 30332 (java) R 30329 30329 2059 34821 2220 4202560 14023 0 146 0 2672 7 0 0 25 0 10 0 876571586 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30333] ppid=30329 vsize=446156 CPUtime=22.53 /proc/30331/task/30333/stat : 30333 (java) R 30329 30329 2059 34821 2220 4202560 170751 0 33 0 2208 45 0 0 17 0 10 0 876571607 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4152608405 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30334] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30334/stat : 30334 (java) S 30329 30329 2059 34821 2220 4202560 8 0 1 0 0 0 0 0 15 0 10 0 876571612 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30335] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30335/stat : 30335 (java) S 30329 30329 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 18 0 10 0 876571612 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30336] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30336/stat : 30336 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 22 0 10 0 876571632 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30337] ppid=30329 vsize=446156 CPUtime=0.1 /proc/30331/task/30337/stat : 30337 (java) S 30329 30329 2059 34821 2220 4202560 518 0 5 0 9 1 0 0 15 0 10 0 876571632 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30338] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30338/stat : 30338 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 23 0 10 0 876571632 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30339] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30339/stat : 30339 (java) R 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876571632 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30331/tid=30340] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30340/stat : 30340 (java) R 30329 30329 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876573571 456863744 79015 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 49.45 Current children cumulated vsize (KiB) 448724 [startup+51.3042 s] /proc/loadavg: 1.65 1.41 1.27 7/56 30340 /proc/meminfo: memFree=598920/1048576 swapFree=2078744/2097144 [pid=30329] ppid=30328 vsize=2568 CPUtime=0 /proc/30329/stat : 30329 (gj-paranoid-sol) S 30328 30329 2059 34821 2220 4202496 362 0 11 0 0 0 0 0 22 0 1 0 876571555 2629632 271 1283457024 134512640 135304128 4290649472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30329/statm: 642 271 232 194 0 28 0 [pid=30331] ppid=30329 vsize=446156 CPUtime=49.53 /proc/30331/stat : 30331 (java) S 30329 30329 2059 34821 2220 4202496 186173 0 245 0 4899 54 0 0 22 0 9 0 876571565 456863744 79018 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30331/statm: 111539 79018 2883 10 0 105719 0 [pid=30331/tid=30332] ppid=30329 vsize=446156 CPUtime=26.8 /proc/30331/task/30332/stat : 30332 (java) D 30329 30329 2059 34821 2220 4202560 14023 0 146 0 2673 7 0 0 25 0 9 0 876571586 456863744 79018 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446744071564252162 0 0 -1 0 0 0 0 [pid=30331/tid=30333] ppid=30329 vsize=446156 CPUtime=22.59 /proc/30331/task/30333/stat : 30333 (java) S 30329 30329 2059 34821 2220 4202560 170751 0 33 0 2214 45 0 0 17 0 9 0 876571607 456863744 79018 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 0 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30334] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30334/stat : 30334 (java) S 30329 30329 2059 34821 2220 4202560 8 0 1 0 0 0 0 0 15 0 9 0 876571612 456863744 79018 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30335] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30335/stat : 30335 (java) S 30329 30329 2059 34821 2220 4202560 13 0 0 0 0 0 0 0 18 0 9 0 876571612 456863744 79018 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30336] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30336/stat : 30336 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 22 0 9 0 876571632 456863744 79018 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30337] ppid=30329 vsize=446156 CPUtime=0.11 /proc/30331/task/30337/stat : 30337 (java) S 30329 30329 2059 34821 2220 4202560 521 0 5 0 10 1 0 0 15 0 9 0 876571632 456863744 79018 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30338] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30338/stat : 30338 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 23 0 9 0 876571632 456863744 79018 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 [pid=30331/tid=30339] ppid=30329 vsize=446156 CPUtime=0 /proc/30331/task/30339/stat : 30339 (java) S 30329 30329 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876571632 456863744 79018 1283457024 134512640 134550932 4286919104 18446744073709551615 4294960130 0 4 0 16800975 18446612132680194816 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 49.53 Current children cumulated vsize (KiB) 448724 Child status: 0 Real time (s): 51.3569 CPU time (s): 49.5671 CPU user time (s): 48.9991 CPU system time (s): 0.568035 CPU usage (%): 96.515 Max. virtual memory (cumulated for all children) (KiB): 449072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 48.9991 system time used= 0.568035 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 186551 page faults= 256 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2028 involuntary context switches= 2180 runsolver used 0 second user time and 0.004 second system time The end