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/201108251442/gj-paranoid-solver-1.0/rand282.cudf.dudf-random.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-random//rand282.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand282.cudf.dudf-random.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.40 1.14 1.04 4/34 9246 /proc/meminfo: memFree=333068/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=11044 CPUtime=0.01 /proc/9246/stat : 9246 (java) R 9245 9245 4778 34817 4778 4202496 672 0 0 0 1 0 0 0 25 0 1 0 10332719 11309056 409 1283457024 134512640 134550932 4287822480 18446744073709551615 4159973090 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9246/statm: 2761 409 179 10 0 1103 0 [startup+0.215424 s] /proc/loadavg: 1.40 1.14 1.04 4/34 9246 /proc/meminfo: memFree=333068/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=409800 CPUtime=0.21 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 4076 0 1 0 19 2 0 0 25 0 9 0 10332719 419635200 3505 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 102450 3505 1910 10 0 96598 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412372 [startup+0.305438 s] /proc/loadavg: 1.40 1.14 1.04 4/34 9246 /proc/meminfo: memFree=333068/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=410384 CPUtime=0.3 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 4410 0 1 0 28 2 0 0 25 0 9 0 10332719 420233216 3839 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 102596 3839 1932 10 0 96744 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412956 [startup+0.40546 s] /proc/loadavg: 1.40 1.14 1.04 4/34 9246 /proc/meminfo: memFree=333068/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=410384 CPUtime=0.4 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 6149 0 1 0 36 4 0 0 25 0 9 0 10332719 420233216 5577 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 102596 5577 1945 10 0 96744 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 412956 [startup+0.705533 s] /proc/loadavg: 1.40 1.14 1.04 4/34 9246 /proc/meminfo: memFree=333068/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=410652 CPUtime=0.71 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 11710 0 1 0 63 8 0 0 25 0 9 0 10332719 420507648 10951 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 102663 10951 2901 10 0 96811 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413224 [startup+1.5057 s] /proc/loadavg: 1.40 1.14 1.04 2/43 9255 /proc/meminfo: memFree=274952/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=410784 CPUtime=1.5 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 26463 0 1 0 139 11 0 0 25 0 9 0 10332719 420642816 25704 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 102696 25704 2901 10 0 96844 0 [pid=9246/tid=9248] ppid=9245 vsize=410784 CPUtime=0.83 /proc/9246/task/9248/stat : 9248 (java) R 9245 9245 4778 34817 4778 4202560 6751 0 1 0 79 4 0 0 25 0 9 0 10332720 420642816 25704 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9249] ppid=9245 vsize=410784 CPUtime=0.6 /proc/9246/task/9249/stat : 9249 (java) R 9245 9245 4778 34817 4778 4202560 18323 0 0 0 54 6 0 0 18 0 9 0 10332720 420642816 25704 1283457024 134512640 134550932 4287822480 18446744073709551615 4151149472 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9250] ppid=9245 vsize=410784 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9245 9245 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10332720 420642816 25704 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9251] ppid=9245 vsize=410784 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10332720 420642816 25704 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9252] ppid=9245 vsize=410784 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10332722 420642816 25704 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9253] ppid=9245 vsize=410784 CPUtime=0.04 /proc/9246/task/9253/stat : 9253 (java) S 9245 9245 4778 34817 4778 4202560 450 0 0 0 4 0 0 0 16 0 9 0 10332722 420642816 25704 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9254] ppid=9245 vsize=410784 CPUtime=0 /proc/9246/task/9254/stat : 9254 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10332722 420642816 25704 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9255] ppid=9245 vsize=410784 CPUtime=0 /proc/9246/task/9255/stat : 9255 (java) S 9245 9245 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10332722 420642816 25704 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413356 [startup+3.10619 s] /proc/loadavg: 1.40 1.14 1.04 3/43 9255 /proc/meminfo: memFree=194724/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=410784 CPUtime=3.1 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 48470 0 1 0 294 16 0 0 25 0 9 0 10332719 420642816 47711 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 102696 47711 2901 10 0 96844 0 [pid=9246/tid=9248] ppid=9245 vsize=410784 CPUtime=1.44 /proc/9246/task/9248/stat : 9248 (java) R 9245 9245 4778 34817 4778 4202560 13935 0 1 0 139 5 0 0 25 0 9 0 10332720 420642816 47711 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9249] ppid=9245 vsize=410784 CPUtime=1.59 /proc/9246/task/9249/stat : 9249 (java) R 9245 9245 4778 34817 4778 4202560 33141 0 0 0 149 10 0 0 16 0 9 0 10332720 420642816 47711 1283457024 134512640 134550932 4287822480 18446744073709551615 4150851512 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9250] ppid=9245 vsize=410784 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9245 9245 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10332720 420642816 47711 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9251] ppid=9245 vsize=410784 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10332720 420642816 47711 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9252] ppid=9245 vsize=410784 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10332722 420642816 47711 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9253] ppid=9245 vsize=410784 CPUtime=0.04 /proc/9246/task/9253/stat : 9253 (java) S 9245 9245 4778 34817 4778 4202560 455 0 0 0 4 0 0 0 16 0 9 0 10332722 420642816 47711 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9254] ppid=9245 vsize=410784 CPUtime=0 /proc/9246/task/9254/stat : 9254 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10332722 420642816 47711 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9255] ppid=9245 vsize=410784 CPUtime=0 /proc/9246/task/9255/stat : 9255 (java) S 9245 9245 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10332722 420642816 47711 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413356 [startup+6.30713 s] /proc/loadavg: 1.44 1.16 1.05 2/43 9255 /proc/meminfo: memFree=66012/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=438900 CPUtime=6.29 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 77984 0 1 0 604 25 0 0 25 0 9 0 10332719 449433600 77219 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 109725 77219 2903 10 0 103873 0 [pid=9246/tid=9248] ppid=9245 vsize=438900 CPUtime=2.33 /proc/9246/task/9248/stat : 9248 (java) R 9245 9245 4778 34817 4778 4202560 13953 0 1 0 228 5 0 0 25 0 9 0 10332720 449433600 77219 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9249] ppid=9245 vsize=438900 CPUtime=3.88 /proc/9246/task/9249/stat : 9249 (java) R 9245 9245 4778 34817 4778 4202560 62618 0 0 0 368 20 0 0 16 0 9 0 10332720 449433600 77219 1283457024 134512640 134550932 4287822480 18446744073709551615 4152961816 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9250] ppid=9245 vsize=438900 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9245 9245 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10332720 449433600 77219 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9251] ppid=9245 vsize=438900 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10332720 449433600 77219 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9252] ppid=9245 vsize=438900 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10332722 449433600 77219 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9253] ppid=9245 vsize=438900 CPUtime=0.06 /proc/9246/task/9253/stat : 9253 (java) S 9245 9245 4778 34817 4778 4202560 474 0 0 0 6 0 0 0 16 0 9 0 10332722 449433600 77219 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9254] ppid=9245 vsize=438900 CPUtime=0 /proc/9246/task/9254/stat : 9254 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10332722 449433600 77219 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9255] ppid=9245 vsize=438900 CPUtime=0 /proc/9246/task/9255/stat : 9255 (java) S 9245 9245 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10332722 449433600 77219 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 441472 [startup+12.709 s] /proc/loadavg: 1.49 1.17 1.05 2/44 9256 /proc/meminfo: memFree=59688/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=414128 CPUtime=12.7 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 97705 0 1 0 1236 34 0 0 25 0 10 0 10332719 424067072 71170 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 103532 71170 2917 10 0 97677 0 [pid=9246/tid=9248] ppid=9245 vsize=414128 CPUtime=4.53 /proc/9246/task/9248/stat : 9248 (java) R 9245 9245 4778 34817 4778 4202560 14203 0 1 0 446 7 0 0 25 0 10 0 10332720 424067072 71170 1283457024 134512640 134550932 4287822480 18446744073709551615 4115417140 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9249] ppid=9245 vsize=414128 CPUtime=8.06 /proc/9246/task/9249/stat : 9249 (java) S 9245 9245 4778 34817 4778 4202560 82046 0 0 0 779 27 0 0 16 0 10 0 10332720 424067072 71170 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9250] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9245 9245 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10332720 424067072 71170 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9251] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10332720 424067072 71170 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9252] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10332722 424067072 71170 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9253] ppid=9245 vsize=414128 CPUtime=0.08 /proc/9246/task/9253/stat : 9253 (java) S 9245 9245 4778 34817 4778 4202560 512 0 0 0 8 0 0 0 15 0 10 0 10332722 424067072 71170 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9254] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9254/stat : 9254 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10332722 424067072 71170 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9255] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9255/stat : 9255 (java) R 9245 9245 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10332722 424067072 71170 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9256] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10333851 424067072 71170 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 416700 Solver just ended. Dumping a history of the last processes samples [startup+12.909 s] /proc/loadavg: 1.49 1.17 1.05 2/44 9256 /proc/meminfo: memFree=59688/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=414128 CPUtime=12.9 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 97730 0 1 0 1256 34 0 0 25 0 10 0 10332719 424067072 71195 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 103532 71195 2918 10 0 97677 0 [pid=9246/tid=9248] ppid=9245 vsize=414128 CPUtime=4.7 /proc/9246/task/9248/stat : 9248 (java) R 9245 9245 4778 34817 4778 4202560 14206 0 1 0 463 7 0 0 25 0 10 0 10332720 424067072 71195 1283457024 134512640 134550932 4287822480 18446744073709551615 4115411057 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9249] ppid=9245 vsize=414128 CPUtime=8.06 /proc/9246/task/9249/stat : 9249 (java) S 9245 9245 4778 34817 4778 4202560 82046 0 0 0 779 27 0 0 16 0 10 0 10332720 424067072 71195 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9250] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9245 9245 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10332720 424067072 71195 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9251] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10332720 424067072 71195 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9252] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10332722 424067072 71195 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9253] ppid=9245 vsize=414128 CPUtime=0.11 /proc/9246/task/9253/stat : 9253 (java) S 9245 9245 4778 34817 4778 4202560 534 0 0 0 11 0 0 0 15 0 10 0 10332722 424067072 71195 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9254] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9254/stat : 9254 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10332722 424067072 71195 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9255] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9255/stat : 9255 (java) S 9245 9245 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10332722 424067072 71195 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9256] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10333851 424067072 71195 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.9 Current children cumulated vsize (KiB) 416700 [startup+16.1099 s] /proc/loadavg: 1.45 1.17 1.05 2/44 9256 /proc/meminfo: memFree=59688/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=414128 CPUtime=16.09 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 97735 0 1 0 1575 34 0 0 25 0 10 0 10332719 424067072 71200 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 103532 71200 2918 10 0 97677 0 [pid=9246/tid=9248] ppid=9245 vsize=414128 CPUtime=7.88 /proc/9246/task/9248/stat : 9248 (java) R 9245 9245 4778 34817 4778 4202560 14206 0 1 0 781 7 0 0 25 0 10 0 10332720 424067072 71200 1283457024 134512640 134550932 4287822480 18446744073709551615 4115451616 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9249] ppid=9245 vsize=414128 CPUtime=8.06 /proc/9246/task/9249/stat : 9249 (java) S 9245 9245 4778 34817 4778 4202560 82046 0 0 0 779 27 0 0 16 0 10 0 10332720 424067072 71200 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9250] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9245 9245 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10332720 424067072 71200 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9251] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10332720 424067072 71200 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9252] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10332722 424067072 71200 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9253] ppid=9245 vsize=414128 CPUtime=0.13 /proc/9246/task/9253/stat : 9253 (java) S 9245 9245 4778 34817 4778 4202560 539 0 0 0 13 0 0 0 16 0 10 0 10332722 424067072 71200 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9254] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9254/stat : 9254 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10332722 424067072 71200 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9255] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9255/stat : 9255 (java) S 9245 9245 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10332722 424067072 71200 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9256] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10333851 424067072 71200 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.09 Current children cumulated vsize (KiB) 416700 [startup+16.9102 s] /proc/loadavg: 1.45 1.17 1.05 3/44 9256 /proc/meminfo: memFree=59688/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=414128 CPUtime=16.89 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 97736 0 1 0 1655 34 0 0 25 0 10 0 10332719 424067072 71201 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 103532 71201 2918 10 0 97677 0 [pid=9246/tid=9248] ppid=9245 vsize=414128 CPUtime=8.68 /proc/9246/task/9248/stat : 9248 (java) R 9245 9245 4778 34817 4778 4202560 14206 0 1 0 861 7 0 0 25 0 10 0 10332720 424067072 71201 1283457024 134512640 134550932 4287822480 18446744073709551615 4115444910 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9249] ppid=9245 vsize=414128 CPUtime=8.06 /proc/9246/task/9249/stat : 9249 (java) S 9245 9245 4778 34817 4778 4202560 82046 0 0 0 779 27 0 0 15 0 10 0 10332720 424067072 71201 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9250] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9245 9245 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10332720 424067072 71201 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9251] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10332720 424067072 71201 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9252] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10332722 424067072 71201 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9253] ppid=9245 vsize=414128 CPUtime=0.13 /proc/9246/task/9253/stat : 9253 (java) S 9245 9245 4778 34817 4778 4202560 540 0 0 0 13 0 0 0 16 0 10 0 10332722 424067072 71201 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9254] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9254/stat : 9254 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10332722 424067072 71201 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9255] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9255/stat : 9255 (java) R 9245 9245 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10332722 424067072 71201 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9256] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10333851 424067072 71201 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.89 Current children cumulated vsize (KiB) 416700 [startup+17.3103 s] /proc/loadavg: 1.45 1.17 1.05 3/44 9256 /proc/meminfo: memFree=59688/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=414128 CPUtime=17.29 /proc/9246/stat : 9246 (java) S 9245 9245 4778 34817 4778 4202496 97744 0 1 0 1695 34 0 0 25 0 10 0 10332719 424067072 71209 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 103532 71209 2918 10 0 97677 0 [pid=9246/tid=9248] ppid=9245 vsize=414128 CPUtime=9.07 /proc/9246/task/9248/stat : 9248 (java) R 9245 9245 4778 34817 4778 4202560 14206 0 1 0 900 7 0 0 25 0 10 0 10332720 424067072 71209 1283457024 134512640 134550932 4287822480 18446744073709551615 4114721362 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9246/tid=9249] ppid=9245 vsize=414128 CPUtime=8.06 /proc/9246/task/9249/stat : 9249 (java) S 9245 9245 4778 34817 4778 4202560 82046 0 0 0 779 27 0 0 15 0 10 0 10332720 424067072 71209 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9250] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9250/stat : 9250 (java) S 9245 9245 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10332720 424067072 71209 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9251] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9251/stat : 9251 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10332720 424067072 71209 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9252] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9252/stat : 9252 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10332722 424067072 71209 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9253] ppid=9245 vsize=414128 CPUtime=0.14 /proc/9246/task/9253/stat : 9253 (java) S 9245 9245 4778 34817 4778 4202560 548 0 0 0 14 0 0 0 15 0 10 0 10332722 424067072 71209 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9254] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9254/stat : 9254 (java) S 9245 9245 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10332722 424067072 71209 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9255] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9255/stat : 9255 (java) S 9245 9245 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10332722 424067072 71209 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9246/tid=9256] ppid=9245 vsize=414128 CPUtime=0 /proc/9246/task/9256/stat : 9256 (java) S 9245 9245 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10333851 424067072 71209 1283457024 134512640 134550932 4287822480 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.29 Current children cumulated vsize (KiB) 416700 [startup+17.7121 s] /proc/loadavg: 1.45 1.17 1.05 2/36 9257 /proc/meminfo: memFree=226972/1048576 swapFree=0/0 [pid=9245] ppid=9244 vsize=2572 CPUtime=0 /proc/9245/stat : 9245 (gj-paranoid-sol) S 9244 9245 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10332719 2633728 270 1283457024 134512640 135304128 4294582704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 643 270 229 194 0 30 0 [pid=9246] ppid=9245 vsize=0 CPUtime=17.69 /proc/9246/stat : 9246 (java) Z 9245 9245 4778 34817 4778 4202508 97761 0 1 0 1733 36 0 0 18 0 2 0 10332719 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9246/statm: 0 0 0 0 0 0 0 [pid=9246/tid=9254] ppid=9245 vsize=0 CPUtime=0.01 /proc/9246/task/9254/stat : 9254 (java) R 9245 9245 4778 34817 4778 4203588 1 0 0 0 0 1 0 0 18 0 2 0 10332722 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.69 Current children cumulated vsize (KiB) 2572 Child status: 0 Real time (s): 17.7201 CPU time (s): 17.6971 CPU user time (s): 17.3371 CPU system time (s): 0.360022 CPU usage (%): 99.8705 Max. virtual memory (cumulated for all children) (KiB): 441472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.3371 system time used= 0.360022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98146 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= 1130 involuntary context switches= 1292 runsolver used 0 second user time and 0 second system time The end