runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3729540-1338729279/watcher-3729540-1338729279 -o /tmp/evaluation-result-3729540-1338729279/solver-3729540-1338729279 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3729540-1338729279.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.89 1.97 1.99 3/194 10333
/proc/meminfo: memFree=30594540/32873844 swapFree=7116/7116
[pid=10333] ppid=10331 vsize=8 CPUtime=0 cores=1,3,5,7
/proc/10333/stat : 10333 (java6) R 10331 10333 2614 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 339052809 8192 1 33554432000 0 0 0 140733448526136 240564989367 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10333/statm: 2 1 0 0 0 2 0
[startup+0.0904419 s]
/proc/loadavg: 1.89 1.97 1.99 3/194 10333
/proc/meminfo: memFree=30594540/32873844 swapFree=7116/7116
[pid=10333] ppid=10331 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10333/stat : 10333 (java) S 10331 10333 2614 0 -1 4202496 3864 0 1 0 6 1 0 0 20 0 18 0 339052809 2712133632 5583 33554432000 1073741824 1073778376 140736087607952 140736087599088 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10333/statm: 662142 5583 1773 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.100211 s]
/proc/loadavg: 1.89 1.97 1.99 3/194 10333
/proc/meminfo: memFree=30594540/32873844 swapFree=7116/7116
[pid=10333] ppid=10331 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/10333/stat : 10333 (java) S 10331 10333 2614 0 -1 4202496 4580 0 1 0 7 1 0 0 20 0 18 0 339052809 2712133632 6298 33554432000 1073741824 1073778376 140736087607952 140736087599088 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10333/statm: 662142 6298 2091 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300188 s]
/proc/loadavg: 1.89 1.97 1.99 3/194 10333
/proc/meminfo: memFree=30594540/32873844 swapFree=7116/7116
[pid=10333] ppid=10331 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/10333/stat : 10333 (java) S 10331 10333 2614 0 -1 4202496 6229 0 1 0 46 1 0 0 20 0 19 0 339052809 2780295168 8881 33554432000 1073741824 1073778376 140736087607952 140736087599088 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10333/statm: 678783 8881 2226 9 0 669476 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2715132
[startup+0.700148 s]
/proc/loadavg: 1.89 1.97 1.99 3/194 10333
/proc/meminfo: memFree=30594540/32873844 swapFree=7116/7116
[pid=10333] ppid=10331 vsize=2715132 CPUtime=1.27 cores=1,3,5,7
/proc/10333/stat : 10333 (java) S 10331 10333 2614 0 -1 4202496 9921 0 1 0 124 3 0 0 20 0 19 0 339052809 2780295168 10721 33554432000 1073741824 1073778376 140736087607952 140736087599088 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10333/statm: 678783 10721 2240 9 0 669476 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+1.1077 s]
/proc/loadavg: 1.89 1.97 1.99 3/213 10352
/proc/meminfo: memFree=30558268/32873844 swapFree=7116/7116
[pid=10333] ppid=10331 vsize=2715132 CPUtime=1.73 cores=1,3,5,7
/proc/10333/stat : 10333 (java) S 10331 10333 2614 0 -1 4202496 10152 0 1 0 170 3 0 0 20 0 19 0 339052809 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140736087599088 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10333/statm: 678783 11748 2242 9 0 669476 0
[pid=10333/tid=10335] ppid=10331 vsize=2715132 CPUtime=1.07 cores=1,3,5,7
/proc/10333/task/10335/stat : 10335 (java) R 10331 10333 2614 0 -1 4202560 2765 0 1 0 105 2 0 0 20 0 19 0 339052810 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583581889304 140583423721801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10336] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10336/stat : 10336 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583566338472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10337] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10337/stat : 10337 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583565285928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10333/tid=10338] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10338/stat : 10338 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583564232872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10333/tid=10339] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10339/stat : 10339 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583563180328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10340] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10340/stat : 10340 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583562128296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10341] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10341/stat : 10341 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583561075752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10342] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10342/stat : 10342 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583560022696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10343] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10343/stat : 10343 (java) S 10331 10333 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583558970152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10344] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10344/stat : 10344 (java) S 10331 10333 2614 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339052812 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583546558824 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10333/tid=10345] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10345/stat : 10345 (java) S 10331 10333 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339052813 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583545505144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10346] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10346/stat : 10346 (java) S 10331 10333 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339052813 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583544451976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10347] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10347/stat : 10347 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052815 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583543400720 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10348] ppid=10331 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/10333/task/10348/stat : 10348 (java) S 10331 10333 2614 0 -1 4202560 3665 0 0 0 27 0 0 0 20 0 19 0 339052815 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583542348600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10349] ppid=10331 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/10333/task/10349/stat : 10349 (java) S 10331 10333 2614 0 -1 4202560 2522 0 0 0 34 0 0 0 20 0 19 0 339052816 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583423175608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10333/tid=10350] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10350/stat : 10350 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052816 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583422122744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10333/tid=10351] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10351/stat : 10351 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052816 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583421070408 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10333/tid=10352] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10352/stat : 10352 (java) S 10331 10333 2614 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339052838 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583420015656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 2715132
[startup+1.30068 s]
/proc/loadavg: 1.89 1.97 1.99 3/213 10352
/proc/meminfo: memFree=30558268/32873844 swapFree=7116/7116
[pid=10333] ppid=10331 vsize=2715132 CPUtime=1.92 cores=1,3,5,7
/proc/10333/stat : 10333 (java) S 10331 10333 2614 0 -1 4202496 10152 0 1 0 189 3 0 0 20 0 19 0 339052809 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140736087599088 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10333/statm: 678783 11748 2242 9 0 669476 0
[pid=10333/tid=10335] ppid=10331 vsize=2715132 CPUtime=1.27 cores=1,3,5,7
/proc/10333/task/10335/stat : 10335 (java) R 10331 10333 2614 0 -1 4202560 2765 0 1 0 125 2 0 0 20 0 19 0 339052810 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583581889304 140583423721801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10336] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10336/stat : 10336 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583566338472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10337] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10337/stat : 10337 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583565285928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10333/tid=10338] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10338/stat : 10338 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583564232872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10333/tid=10339] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10339/stat : 10339 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583563180328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10340] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10340/stat : 10340 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583562128296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10341] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10341/stat : 10341 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583561075752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10342] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10342/stat : 10342 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583560022696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10343] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10343/stat : 10343 (java) S 10331 10333 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339052811 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583558970152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10344] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10344/stat : 10344 (java) S 10331 10333 2614 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339052812 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583546558824 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10333/tid=10345] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10345/stat : 10345 (java) S 10331 10333 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339052813 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583545505144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10346] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10346/stat : 10346 (java) S 10331 10333 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339052813 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583544451976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10347] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10347/stat : 10347 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052815 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583543400720 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10348] ppid=10331 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/10333/task/10348/stat : 10348 (java) S 10331 10333 2614 0 -1 4202560 3665 0 0 0 27 0 0 0 20 0 19 0 339052815 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583542348600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10349] ppid=10331 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/10333/task/10349/stat : 10349 (java) S 10331 10333 2614 0 -1 4202560 2522 0 0 0 34 0 0 0 20 0 19 0 339052816 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583423175608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10333/tid=10350] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10350/stat : 10350 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052816 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583422122744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10333/tid=10351] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10351/stat : 10351 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339052816 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583421070408 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10333/tid=10352] ppid=10331 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10352/stat : 10352 (java) S 10331 10333 2614 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339052838 2780295168 11748 33554432000 1073741824 1073778376 140736087607952 140583420015656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 2715132
[startup+1.40069 s]
/proc/loadavg: 1.89 1.97 1.99 3/213 10352
/proc/meminfo: memFree=30558268/32873844 swapFree=7116/7116
[pid=10333] ppid=10331 vsize=2781696 CPUtime=2.02 cores=1,3,5,7
/proc/10333/stat : 10333 (java) S 10331 10333 2614 0 -1 4202496 10164 0 1 0 199 3 0 0 20 0 20 0 339052809 2848456704 12782 33554432000 1073741824 1073778376 140736087607952 140736087599088 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10333/statm: 695424 12783 2242 9 0 686117 0
[pid=10333/tid=10335] ppid=10331 vsize=2781696 CPUtime=1.37 cores=1,3,5,7
/proc/10333/task/10335/stat : 10335 (java) S 10331 10333 2614 0 -1 4202560 2768 0 1 0 135 2 0 0 20 0 20 0 339052810 2848456704 12783 33554432000 1073741824 1073778376 140736087607952 140583581889240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10336] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10336/stat : 10336 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339052811 2848456704 12783 33554432000 1073741824 1073778376 140736087607952 140583566338472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10337] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10337/stat : 10337 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339052811 2848456704 12783 33554432000 1073741824 1073778376 140736087607952 140583565285928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10333/tid=10338] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10338/stat : 10338 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339052811 2848456704 12783 33554432000 1073741824 1073778376 140736087607952 140583564232872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10333/tid=10339] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10339/stat : 10339 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339052811 2848456704 12784 33554432000 1073741824 1073778376 140736087607952 140583563180328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10340] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10340/stat : 10340 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339052811 2848456704 12784 33554432000 1073741824 1073778376 140736087607952 140583562128296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10341] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10341/stat : 10341 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339052811 2848456704 12784 33554432000 1073741824 1073778376 140736087607952 140583561075752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10342] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10342/stat : 10342 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339052811 2848456704 12784 33554432000 1073741824 1073778376 140736087607952 140583560022696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10333/tid=10343] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10343/stat : 10343 (java) S 10331 10333 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339052811 2848456704 12784 33554432000 1073741824 1073778376 140736087607952 140583558970152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10344] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10344/stat : 10344 (java) S 10331 10333 2614 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 339052812 2848456704 12785 33554432000 1073741824 1073778376 140736087607952 140583546558824 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10333/tid=10345] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10345/stat : 10345 (java) S 10331 10333 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339052813 2848456704 12787 33554432000 1073741824 1073778376 140736087607952 140583545505144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10346] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10346/stat : 10346 (java) S 10331 10333 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339052813 2848456704 12788 33554432000 1073741824 1073778376 140736087607952 140583544451976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10347] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10347/stat : 10347 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339052815 2848456704 12788 33554432000 1073741824 1073778376 140736087607952 140583543400720 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10348] ppid=10331 vsize=2781696 CPUtime=0.27 cores=1,3,5,7
/proc/10333/task/10348/stat : 10348 (java) S 10331 10333 2614 0 -1 4202560 3665 0 0 0 27 0 0 0 20 0 20 0 339052815 2848456704 12788 33554432000 1073741824 1073778376 140736087607952 140583542348600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10333/tid=10349] ppid=10331 vsize=2781696 CPUtime=0.34 cores=1,3,5,7
/proc/10333/task/10349/stat : 10349 (java) S 10331 10333 2614 0 -1 4202560 2522 0 0 0 34 0 0 0 20 0 20 0 339052816 2848456704 12788 33554432000 1073741824 1073778376 140736087607952 140583423175608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10333/tid=10350] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10350/stat : 10350 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339052816 2848456704 12788 33554432000 1073741824 1073778376 140736087607952 140583422122744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10333/tid=10351] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10351/stat : 10351 (java) S 10331 10333 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339052816 2848456704 12788 33554432000 1073741824 1073778376 140736087607952 140583421070408 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10333/tid=10352] ppid=10331 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10333/task/10352/stat : 10352 (java) S 10331 10333 2614 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 339052838 2848456704 12788 33554432000 1073741824 1073778376 140736087607952 140583420015656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 2781696
Child status: 10
Real time (s): 1.42636
CPU time (s): 2.07468
CPU user time (s): 2.01269
CPU system time (s): 0.06199
CPU usage (%): 145.453
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.01269
system time used= 0.06199
maximum resident set size= 51204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10189
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327
involuntary context switches= 27
runsolver used 0.003999 second user time and 0.009998 second system time
The end