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-3736466-1338760677/watcher-3736466-1338760677 -o /tmp/evaluation-result-3736466-1338760677/solver-3736466-1338760677 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3736466-1338760677.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: 2.00 2.02 2.00 3/192 24510
/proc/meminfo: memFree=25589264/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/24510/stat : 24510 (java) R 24508 24510 21377 0 -1 4202496 1079 0 0 0 0 0 0 0 20 0 1 0 342193111 23793664 807 33554432000 1073741824 1073778376 140735979577856 140735979566920 140606873555680 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 5809 826 621 9 0 128 0
[startup+0.064383 s]
/proc/loadavg: 2.00 2.02 2.00 3/192 24510
/proc/meminfo: memFree=25589264/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=2648548 CPUtime=0.05 cores=1,3,5,7
/proc/24510/stat : 24510 (java) S 24508 24510 21377 0 -1 4202496 3797 0 1 0 4 1 0 0 20 0 18 0 342193111 2712113152 5516 33554432000 1073741824 1073778376 140735979577856 140735979568992 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 662137 5516 1753 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648548
[startup+0.100336 s]
/proc/loadavg: 2.00 2.02 2.00 3/192 24510
/proc/meminfo: memFree=25589264/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/24510/stat : 24510 (java) S 24508 24510 21377 0 -1 4202496 4676 0 1 0 9 1 0 0 20 0 18 0 342193111 2712133632 6394 33554432000 1073741824 1073778376 140735979577856 140735979568992 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 662142 6394 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300184 s]
/proc/loadavg: 2.00 2.02 2.00 3/192 24510
/proc/meminfo: memFree=25589264/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/24510/stat : 24510 (java) S 24508 24510 21377 0 -1 4202496 9493 0 1 0 56 2 0 0 20 0 19 0 342193111 2780295168 9848 33554432000 1073741824 1073778376 140735979577856 140735979568992 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 678783 9848 2227 9 0 669476 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 2715132
[startup+0.700302 s]
/proc/loadavg: 2.00 2.02 2.00 3/192 24510
/proc/meminfo: memFree=25589264/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=2715132 CPUtime=1.16 cores=1,3,5,7
/proc/24510/stat : 24510 (java) S 24508 24510 21377 0 -1 4202496 10469 0 1 0 112 4 0 0 20 0 19 0 342193111 2780295168 19547 33554432000 1073741824 1073778376 140735979577856 140735979568992 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 678783 19547 2232 9 0 669476 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 2715132
[startup+1.50077 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24529
/proc/meminfo: memFree=25487048/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=2715132 CPUtime=1.98 cores=1,3,5,7
/proc/24510/stat : 24510 (java) S 24508 24510 21377 0 -1 4202496 10514 0 1 0 193 5 0 0 20 0 19 0 342193111 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140735979568992 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 678783 40542 2234 9 0 669476 0
[pid=24510/tid=24512] ppid=24508 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/24510/task/24512/stat : 24512 (java) R 24508 24510 21377 0 -1 4202560 2813 0 1 0 143 4 0 0 20 0 19 0 342193112 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606867927768 140606710463470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24513] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606852376872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24514] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606851324072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24515] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606850271784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24516] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606849218984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24517] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606848166696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24518] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606847113896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24519] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606846061608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24520] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24510 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606845008808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24521] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193114 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606832597224 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24522] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24510 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606831543288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24523] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24510 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606830490888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24524] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606829439376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24525] ppid=24508 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24510 21377 0 -1 4202560 2359 0 0 0 19 0 0 0 20 0 19 0 342193117 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606709951160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24526] ppid=24508 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24510 21377 0 -1 4202560 4148 0 0 0 29 0 0 0 20 0 19 0 342193117 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606708898360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24527] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24527/stat : 24527 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606707846264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24528] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606706793672 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24529] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24510 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342193128 2780295168 40542 33554432000 1073741824 1073778376 140735979577856 140606705738664 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 2715132
[startup+3.10079 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24529
/proc/meminfo: memFree=25390048/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=2715132 CPUtime=3.68 cores=1,3,5,7
/proc/24510/stat : 24510 (java) S 24508 24510 21377 0 -1 4202496 10576 0 1 0 360 8 0 0 20 0 19 0 342193111 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140735979568992 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 678783 70751 2234 9 0 669476 0
[pid=24510/tid=24512] ppid=24508 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/24510/task/24512/stat : 24512 (java) R 24508 24510 21377 0 -1 4202560 2874 0 1 0 301 6 0 0 20 0 19 0 342193112 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606867925736 140606710463888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24513] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606852376872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24514] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606851324072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24515] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606850271784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24516] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606849218984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24517] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606848166696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24518] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606847113896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24519] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606846061608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24520] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24510 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606845008808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24521] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193114 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606832597224 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24522] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24510 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606831543288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24523] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24510 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606830490888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24524] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606829439376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24525] ppid=24508 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24510 21377 0 -1 4202560 2359 0 0 0 20 0 0 0 20 0 19 0 342193117 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606709951160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24526] ppid=24508 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24510 21377 0 -1 4202560 4149 0 0 0 37 0 0 0 20 0 19 0 342193117 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606708898360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24527] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24527/stat : 24527 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606707846264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24528] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606706793672 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24529] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24510 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342193128 2780295168 70751 33554432000 1073741824 1073778376 140735979577856 140606705738664 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 2715132
[startup+6.3008 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24529
/proc/meminfo: memFree=25218448/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=2715132 CPUtime=6.98 cores=1,3,5,7
/proc/24510/stat : 24510 (java) S 24508 24510 21377 0 -1 4202496 10805 0 1 0 687 11 0 0 20 0 19 0 342193111 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140735979568992 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 678783 94472 2248 9 0 669476 0
[pid=24510/tid=24512] ppid=24508 vsize=2715132 CPUtime=6.23 cores=1,3,5,7
/proc/24510/task/24512/stat : 24512 (java) R 24508 24510 21377 0 -1 4202560 2920 0 1 0 615 8 0 0 20 0 19 0 342193112 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606867927768 140606710625223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24513] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24510 21377 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606852376872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24514] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606851324072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24515] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606850271784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24516] ppid=24508 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24510 21377 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606849218984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24517] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606848166696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24518] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606847113896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24519] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606846061608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24520] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24510 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606845008808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24521] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24510 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342193114 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606832597224 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24522] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24510 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606831543288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24523] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24510 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606830490888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24524] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606829439376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24525] ppid=24508 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24510 21377 0 -1 4202560 2359 0 0 0 20 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606709951160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24526] ppid=24508 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24510 21377 0 -1 4202560 4292 0 0 0 39 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606708898360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24527] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24527/stat : 24527 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606707846264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24528] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606706793672 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24529] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24510 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342193128 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606705738664 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
################
# More data... #
################
/proc/24510/task/24513/stat : 24513 (java) S 24508 24510 21377 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606852376872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24514] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606851324072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24515] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606850271784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24516] ppid=24508 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24510 21377 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606849218984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24517] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606848166696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24518] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606847113896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24519] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606846061608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24520] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24510 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606845008808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24521] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24510 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342193114 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606832597224 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24522] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24510 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606831543288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24523] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24510 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606830490888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24524] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606829439376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24525] ppid=24508 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24510 21377 0 -1 4202560 2359 0 0 0 20 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606709951160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24526] ppid=24508 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24510 21377 0 -1 4202560 4292 0 0 0 39 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606708898360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24527] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24527/stat : 24527 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606707846264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24528] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606706793672 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24529] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24510 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342193128 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606705738664 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 9.38
Current children cumulated vsize (KiB) 2715132
[startup+9.10083 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24529
/proc/meminfo: memFree=25218528/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=2715132 CPUtime=9.8 cores=1,3,5,7
/proc/24510/stat : 24510 (java) S 24508 24510 21377 0 -1 4202496 11033 0 1 0 969 11 0 0 20 0 19 0 342193111 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140735979568992 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 678783 94472 2248 9 0 669476 0
[pid=24510/tid=24512] ppid=24508 vsize=2715132 CPUtime=9.02 cores=1,3,5,7
/proc/24510/task/24512/stat : 24512 (java) R 24508 24510 21377 0 -1 4202560 2920 0 1 0 894 8 0 0 20 0 19 0 342193112 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606867927768 140606710446044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24513] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24510 21377 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606852376872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24514] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606851324072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24515] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606850271784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24516] ppid=24508 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24510 21377 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606849218984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24517] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606848166696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24518] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606847113896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24519] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606846061608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24520] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24510 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606845008808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24521] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24510 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342193114 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606832597224 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24522] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24510 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606831543288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24523] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24510 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606830490888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24524] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606829439376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24525] ppid=24508 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24510 21377 0 -1 4202560 2359 0 0 0 20 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606709951160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24526] ppid=24508 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24510 21377 0 -1 4202560 4520 0 0 0 40 2 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606708898360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24527] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24527/stat : 24527 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606707846264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24528] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606706793672 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24529] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24510 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342193128 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606705738664 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (KiB) 2715132
[startup+9.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24529
/proc/meminfo: memFree=25218528/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=2715132 CPUtime=10.22 cores=1,3,5,7
/proc/24510/stat : 24510 (java) S 24508 24510 21377 0 -1 4202496 11033 0 1 0 1011 11 0 0 20 0 19 0 342193111 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140735979568992 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 678783 94472 2248 9 0 669476 0
[pid=24510/tid=24512] ppid=24508 vsize=2715132 CPUtime=9.42 cores=1,3,5,7
/proc/24510/task/24512/stat : 24512 (java) R 24508 24510 21377 0 -1 4202560 2920 0 1 0 934 8 0 0 20 0 19 0 342193112 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606867927768 140606710224790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24513] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24510 21377 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606852376872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24514] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606851324072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24515] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606850271784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24516] ppid=24508 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24510 21377 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606849218984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24517] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606848166696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24518] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606847113896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24519] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606846061608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24520] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24510 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606845008808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24521] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24510 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342193114 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606832597224 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24522] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24510 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606831543288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24523] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24510 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606830490888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24524] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606829439376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24525] ppid=24508 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24510 21377 0 -1 4202560 2359 0 0 0 20 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606709951160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24526] ppid=24508 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24510 21377 0 -1 4202560 4520 0 0 0 42 2 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606708898360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24527] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24527/stat : 24527 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606707846264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24528] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606706793672 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24529] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24510 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342193128 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606705738664 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 10.22
Current children cumulated vsize (KiB) 2715132
[startup+9.60074 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24529
/proc/meminfo: memFree=25218528/32873852 swapFree=6856/6856
[pid=24510] ppid=24508 vsize=2715132 CPUtime=10.32 cores=1,3,5,7
/proc/24510/stat : 24510 (java) S 24508 24510 21377 0 -1 4202496 11033 0 1 0 1021 11 0 0 20 0 19 0 342193111 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140735979568992 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24510/statm: 678783 94472 2248 9 0 669476 0
[pid=24510/tid=24512] ppid=24508 vsize=2715132 CPUtime=9.52 cores=1,3,5,7
/proc/24510/task/24512/stat : 24512 (java) R 24508 24510 21377 0 -1 4202560 2920 0 1 0 944 8 0 0 20 0 19 0 342193112 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606867927960 140606710687644 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24513] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24513/stat : 24513 (java) S 24508 24510 21377 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606852376872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24514] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24514/stat : 24514 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606851324072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24515] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24515/stat : 24515 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606850271784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24516] ppid=24508 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/24510/task/24516/stat : 24516 (java) S 24508 24510 21377 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606849218984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24517] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24517/stat : 24517 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606848166696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24518] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24518/stat : 24518 (java) S 24508 24510 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606847113896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24519] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24519/stat : 24519 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606846061608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24520] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24520/stat : 24520 (java) S 24508 24510 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342193113 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606845008808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24521] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24521/stat : 24521 (java) S 24508 24510 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342193114 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606832597224 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24510/tid=24522] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24522/stat : 24522 (java) S 24508 24510 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606831543288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24523] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24523/stat : 24523 (java) S 24508 24510 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342193115 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606830490888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24524] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24524/stat : 24524 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606829439376 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24525] ppid=24508 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/24510/task/24525/stat : 24525 (java) S 24508 24510 21377 0 -1 4202560 2359 0 0 0 20 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606709951160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24510/tid=24526] ppid=24508 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/24510/task/24526/stat : 24526 (java) S 24508 24510 21377 0 -1 4202560 4520 0 0 0 42 2 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606708898360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24527] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24527/stat : 24527 (java) S 24508 24510 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606707846264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24510/tid=24528] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24528/stat : 24528 (java) S 24508 24510 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342193117 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606706793672 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24510/tid=24529] ppid=24508 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24510/task/24529/stat : 24529 (java) S 24508 24510 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342193128 2780295168 94472 33554432000 1073741824 1073778376 140735979577856 140606705738664 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 10.32
Current children cumulated vsize (KiB) 2715132
Child status: 30
Real time (s): 9.69342
CPU time (s): 10.4414
CPU user time (s): 10.2504
CPU system time (s): 0.19097
CPU usage (%): 107.717
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2504
system time used= 0.19097
maximum resident set size= 381388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11046
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= 482
involuntary context switches= 309
runsolver used 0.022996 second user time and 0.094985 second system time
The end