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-3736400-1338760606/watcher-3736400-1338760606 -o /tmp/evaluation-result-3736400-1338760606/solver-3736400-1338760606 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3736400-1338760606.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.02 2.03 2.00 3/192 24167
/proc/meminfo: memFree=25600100/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/24167/stat : 24167 (java) R 24165 24167 21377 0 -1 4202496 1015 0 0 0 0 0 0 0 20 0 1 0 342186022 23793664 743 33554432000 1073741824 1073778376 140734359220944 140734359210008 139942123429476 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 5809 753 553 9 0 128 0
[startup+0.066828 s]
/proc/loadavg: 2.02 2.03 2.00 3/192 24167
/proc/meminfo: memFree=25600100/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=2648548 CPUtime=0.04 cores=1,3,5,7
/proc/24167/stat : 24167 (java) S 24165 24167 21377 0 -1 4202496 3859 0 1 0 4 0 0 0 20 0 18 0 342186022 2712113152 5067 33554432000 1073741824 1073778376 140734359220944 140734359212080 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 662137 5067 1755 9 0 652835 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2648548
[startup+0.100334 s]
/proc/loadavg: 2.02 2.03 2.00 3/192 24167
/proc/meminfo: memFree=25600100/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/24167/stat : 24167 (java) S 24165 24167 21377 0 -1 4202496 4711 0 1 0 9 1 0 0 20 0 18 0 342186022 2712133632 5918 33554432000 1073741824 1073778376 140734359220944 140734359212080 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 662142 5918 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300176 s]
/proc/loadavg: 2.02 2.03 2.00 3/192 24167
/proc/meminfo: memFree=25600100/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/24167/stat : 24167 (java) S 24165 24167 21377 0 -1 4202496 8218 0 1 0 54 2 0 0 20 0 19 0 342186022 2780295168 9210 33554432000 1073741824 1073778376 140734359220944 140734359212080 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 678783 9210 2238 9 0 669476 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2715132
[startup+0.70033 s]
/proc/loadavg: 2.02 2.03 2.00 3/192 24167
/proc/meminfo: memFree=25600100/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=2715132 CPUtime=1.16 cores=1,3,5,7
/proc/24167/stat : 24167 (java) S 24165 24167 21377 0 -1 4202496 9416 0 1 0 114 2 0 0 20 0 19 0 342186022 2780295168 19534 33554432000 1073741824 1073778376 140734359220944 140734359212080 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 678783 19534 2243 9 0 669476 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 2715132
[startup+1.5008 s]
/proc/loadavg: 2.02 2.03 2.00 3/211 24186
/proc/meminfo: memFree=25499488/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=2715132 CPUtime=2 cores=1,3,5,7
/proc/24167/stat : 24167 (java) S 24165 24167 21377 0 -1 4202496 9473 0 1 0 197 3 0 0 20 0 19 0 342186022 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 140734359212080 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 678783 40030 2245 9 0 669476 0
[pid=24167/tid=24169] ppid=24165 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/24167/task/24169/stat : 24169 (java) R 24165 24167 21377 0 -1 4202560 2872 0 1 0 145 2 0 0 20 0 19 0 342186022 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139942115437184 139941988252140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24170] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941982386344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24171] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941981333800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24172] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941912766888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24173] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941911714344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24174] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941910661800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24175] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941909609256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24176] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24176/stat : 24176 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941908556712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24177] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24177/stat : 24177 (java) S 24165 24167 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941907504168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24178] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24178/stat : 24178 (java) S 24165 24167 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342186024 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941895305320 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24179] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24179/stat : 24179 (java) S 24165 24167 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941894251640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24180] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24180/stat : 24180 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941893198984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24181] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24181/stat : 24181 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941892147728 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24182] ppid=24165 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/24167/task/24182/stat : 24182 (java) S 24165 24167 21377 0 -1 4202560 3496 0 0 0 30 0 0 0 20 0 19 0 342186027 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941891095096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24183] ppid=24165 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/24167/task/24183/stat : 24183 (java) S 24165 24167 21377 0 -1 4202560 1910 0 0 0 20 0 0 0 20 0 19 0 342186027 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941890042552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24184] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24184/stat : 24184 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941888990200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24185] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24185/stat : 24185 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186028 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941887937864 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24186] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24186/stat : 24186 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186040 2780295168 40030 33554432000 1073741824 1073778376 140734359220944 139941886882600 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 2715132
[startup+3.10082 s]
/proc/loadavg: 2.02 2.03 2.00 3/211 24186
/proc/meminfo: memFree=25398516/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=2715132 CPUtime=3.63 cores=1,3,5,7
/proc/24167/stat : 24167 (java) S 24165 24167 21377 0 -1 4202496 9538 0 1 0 357 6 0 0 20 0 19 0 342186022 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 140734359212080 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 678783 71264 2245 9 0 669476 0
[pid=24167/tid=24169] ppid=24165 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/24167/task/24169/stat : 24169 (java) R 24165 24167 21377 0 -1 4202560 2935 0 1 0 302 5 0 0 20 0 19 0 342186022 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139942115437304 139941988252451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24170] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941982386344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24171] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941981333800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24172] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941912766888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24173] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941911714344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24174] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941910661800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24175] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941909609256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24176] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24176/stat : 24176 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941908556712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24177] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24177/stat : 24177 (java) S 24165 24167 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941907504168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24178] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24178/stat : 24178 (java) S 24165 24167 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342186024 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941895305320 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24179] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24179/stat : 24179 (java) S 24165 24167 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941894251640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24180] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24180/stat : 24180 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941893198984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24181] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24181/stat : 24181 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941892147728 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24182] ppid=24165 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/24167/task/24182/stat : 24182 (java) S 24165 24167 21377 0 -1 4202560 3498 0 0 0 32 0 0 0 20 0 19 0 342186027 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941891095096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24183] ppid=24165 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/24167/task/24183/stat : 24183 (java) S 24165 24167 21377 0 -1 4202560 1910 0 0 0 20 0 0 0 20 0 19 0 342186027 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941890042552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24184] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24184/stat : 24184 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941888990200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24185] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24185/stat : 24185 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186028 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941887937864 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24186] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24186/stat : 24186 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186040 2780295168 71264 33554432000 1073741824 1073778376 140734359220944 139941886882600 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 2715132
[startup+6.3008 s]
/proc/loadavg: 2.02 2.03 2.00 3/211 24186
/proc/meminfo: memFree=25228036/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=2715132 CPUtime=6.92 cores=1,3,5,7
/proc/24167/stat : 24167 (java) S 24165 24167 21377 0 -1 4202496 9638 0 1 0 683 9 0 0 20 0 19 0 342186022 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 140734359212080 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 678783 94828 2259 9 0 669476 0
[pid=24167/tid=24169] ppid=24165 vsize=2715132 CPUtime=6.23 cores=1,3,5,7
/proc/24167/task/24169/stat : 24169 (java) R 24165 24167 21377 0 -1 4202560 2979 0 1 0 618 5 0 0 20 0 19 0 342186022 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139942115439200 139941988284379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24170] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941982386344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24171] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 21377 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941981333800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24172] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 21377 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941912766888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24173] ppid=24165 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 21377 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 342186023 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941911714344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24174] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941910661800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24175] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941909609256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24176] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24176/stat : 24176 (java) S 24165 24167 21377 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941908556712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24177] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24177/stat : 24177 (java) S 24165 24167 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941907504168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24178] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24178/stat : 24178 (java) S 24165 24167 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342186024 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941895305320 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24179] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24179/stat : 24179 (java) S 24165 24167 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941894251640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24180] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24180/stat : 24180 (java) S 24165 24167 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941893198984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24181] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24181/stat : 24181 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941892147728 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24182] ppid=24165 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/24167/task/24182/stat : 24182 (java) S 24165 24167 21377 0 -1 4202560 3506 0 0 0 34 0 0 0 20 0 19 0 342186027 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941891095096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24183] ppid=24165 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/24167/task/24183/stat : 24183 (java) S 24165 24167 21377 0 -1 4202560 1910 0 0 0 20 0 0 0 20 0 19 0 342186027 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941890042552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24184] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24184/stat : 24184 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941888990200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24185] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24185/stat : 24185 (java) S 24165 24167 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342186028 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941887937864 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24186] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24186/stat : 24186 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186040 2780295168 94828 33554432000 1073741824 1073778376 140734359220944 139941886882600 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=24167/tid=24177] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24177/stat : 24177 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941907504168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24178] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24178/stat : 24178 (java) S 24165 24167 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342186024 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941895305320 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24179] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24179/stat : 24179 (java) S 24165 24167 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941894251640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24180] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24180/stat : 24180 (java) S 24165 24167 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941893198984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24181] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24181/stat : 24181 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941892147728 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24182] ppid=24165 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/24167/task/24182/stat : 24182 (java) S 24165 24167 21377 0 -1 4202560 3507 0 0 0 34 0 0 0 20 0 19 0 342186027 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941891095096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24183] ppid=24165 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/24167/task/24183/stat : 24183 (java) S 24165 24167 21377 0 -1 4202560 1912 0 0 0 21 0 0 0 20 0 19 0 342186027 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941890042552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24184] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24184/stat : 24184 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941888990200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24185] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24185/stat : 24185 (java) S 24165 24167 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342186028 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941887937864 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24186] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24186/stat : 24186 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186040 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941886882600 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 13.42
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+13.5008 s]
/proc/loadavg: 2.02 2.03 2.00 3/211 24186
/proc/meminfo: memFree=25199080/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=2715132 CPUtime=14.22 cores=1,3,5,7
/proc/24167/stat : 24167 (java) S 24165 24167 21377 0 -1 4202496 9693 0 1 0 1410 12 0 0 20 0 19 0 342186022 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 140734359212080 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 678783 101471 2259 9 0 669476 0
[pid=24167/tid=24169] ppid=24165 vsize=2715132 CPUtime=13.38 cores=1,3,5,7
/proc/24167/task/24169/stat : 24169 (java) R 24165 24167 21377 0 -1 4202560 2983 0 1 0 1333 5 0 0 20 0 19 0 342186022 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139942115437184 139941988306305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24170] ppid=24165 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 21377 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 19 0 342186023 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941982386344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24171] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941981333800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24172] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941912766888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24173] ppid=24165 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 21377 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 19 0 342186023 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941911714344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24174] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 21377 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941910661800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24175] ppid=24165 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 21377 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 342186023 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941909609256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24176] ppid=24165 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/24167/task/24176/stat : 24176 (java) S 24165 24167 21377 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 342186023 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941908556712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24177] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24177/stat : 24177 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941907504168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24178] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24178/stat : 24178 (java) S 24165 24167 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342186024 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941895305320 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24179] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24179/stat : 24179 (java) S 24165 24167 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941894251640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24180] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24180/stat : 24180 (java) S 24165 24167 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941893198984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24181] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24181/stat : 24181 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941892147728 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24182] ppid=24165 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/24167/task/24182/stat : 24182 (java) S 24165 24167 21377 0 -1 4202560 3507 0 0 0 34 0 0 0 20 0 19 0 342186027 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941891095096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24183] ppid=24165 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/24167/task/24183/stat : 24183 (java) S 24165 24167 21377 0 -1 4202560 1912 0 0 0 21 0 0 0 20 0 19 0 342186027 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941890042552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24184] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24184/stat : 24184 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941888990200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24185] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24185/stat : 24185 (java) S 24165 24167 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342186028 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941887937864 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24186] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24186/stat : 24186 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186040 2780295168 101471 33554432000 1073741824 1073778376 140734359220944 139941886882600 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 14.22
Current children cumulated vsize (KiB) 2715132
[startup+14.3071 s]
/proc/loadavg: 2.02 2.03 2.00 3/211 24186
/proc/meminfo: memFree=25199120/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=2715132 CPUtime=15.04 cores=1,3,5,7
/proc/24167/stat : 24167 (java) S 24165 24167 21377 0 -1 4202496 9694 0 1 0 1492 12 0 0 20 0 19 0 342186022 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 140734359212080 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 678783 101472 2259 9 0 669476 0
[pid=24167/tid=24169] ppid=24165 vsize=2715132 CPUtime=14.18 cores=1,3,5,7
/proc/24167/task/24169/stat : 24169 (java) R 24165 24167 21377 0 -1 4202560 2983 0 1 0 1413 5 0 0 20 0 19 0 342186022 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139942115437184 139941987907171 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24170] ppid=24165 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 21377 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941982386344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24171] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941981333800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24172] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941912766888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24173] ppid=24165 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 21377 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941911714344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24174] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 21377 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941910661800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24175] ppid=24165 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 21377 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941909609256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24176] ppid=24165 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/24167/task/24176/stat : 24176 (java) S 24165 24167 21377 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941908556712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24177] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24177/stat : 24177 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941907504168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24178] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24178/stat : 24178 (java) S 24165 24167 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342186024 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941895305320 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24179] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24179/stat : 24179 (java) S 24165 24167 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941894251640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24180] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24180/stat : 24180 (java) S 24165 24167 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941893198984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24181] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24181/stat : 24181 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941892147728 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24182] ppid=24165 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/24167/task/24182/stat : 24182 (java) S 24165 24167 21377 0 -1 4202560 3507 0 0 0 34 0 0 0 20 0 19 0 342186027 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941891095096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24183] ppid=24165 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/24167/task/24183/stat : 24183 (java) S 24165 24167 21377 0 -1 4202560 1913 0 0 0 23 0 0 0 20 0 19 0 342186027 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941890042552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24184] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24184/stat : 24184 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941888990200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24185] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24185/stat : 24185 (java) S 24165 24167 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342186028 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941887937864 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24186] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24186/stat : 24186 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186040 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941886882600 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 15.04
Current children cumulated vsize (KiB) 2715132
[startup+14.7007 s]
/proc/loadavg: 2.02 2.03 2.00 3/211 24186
/proc/meminfo: memFree=25199120/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=2715132 CPUtime=15.44 cores=1,3,5,7
/proc/24167/stat : 24167 (java) S 24165 24167 21377 0 -1 4202496 9694 0 1 0 1532 12 0 0 20 0 19 0 342186022 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 140734359212080 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24167/statm: 678783 101472 2259 9 0 669476 0
[pid=24167/tid=24169] ppid=24165 vsize=2715132 CPUtime=14.58 cores=1,3,5,7
/proc/24167/task/24169/stat : 24169 (java) R 24165 24167 21377 0 -1 4202560 2983 0 1 0 1453 5 0 0 20 0 19 0 342186022 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139942115439512 139941988266704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24167/tid=24170] ppid=24165 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 21377 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941982386344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24171] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941981333800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24172] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941912766888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24173] ppid=24165 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 21377 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941911714344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24174] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 21377 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941910661800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24175] ppid=24165 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 21377 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941909609256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24176] ppid=24165 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/24167/task/24176/stat : 24176 (java) S 24165 24167 21377 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941908556712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24177] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24177/stat : 24177 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186023 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941907504168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24178] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24178/stat : 24178 (java) S 24165 24167 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342186024 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941895305320 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24179] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24179/stat : 24179 (java) S 24165 24167 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941894251640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24180] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24180/stat : 24180 (java) S 24165 24167 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342186025 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941893198984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24181] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24181/stat : 24181 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941892147728 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24182] ppid=24165 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/24167/task/24182/stat : 24182 (java) S 24165 24167 21377 0 -1 4202560 3507 0 0 0 34 0 0 0 20 0 19 0 342186027 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941891095096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24167/tid=24183] ppid=24165 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/24167/task/24183/stat : 24183 (java) S 24165 24167 21377 0 -1 4202560 1913 0 0 0 23 0 0 0 20 0 19 0 342186027 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941890042552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24184] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24184/stat : 24184 (java) S 24165 24167 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342186027 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941888990200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24167/tid=24185] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24185/stat : 24185 (java) S 24165 24167 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342186028 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941887937864 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24167/tid=24186] ppid=24165 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24167/task/24186/stat : 24186 (java) S 24165 24167 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342186040 2780295168 101472 33554432000 1073741824 1073778376 140734359220944 139941886882600 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 15.44
Current children cumulated vsize (KiB) 2715132
[startup+14.8007 s]
/proc/loadavg: 2.02 2.03 2.00 3/211 24186
/proc/meminfo: memFree=25199120/32873852 swapFree=6856/6856
[pid=24167] ppid=24165 vsize=0 CPUtime=15.52 cores=1,3,5,7
/proc/24167/stat : 24167 (java) Z 24165 24167 21377 0 -1 4203532 9707 0 1 0 1535 17 0 0 20 0 2 0 342186022 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24167/statm: 0 0 0 0 0 0 0
[pid=24167/tid=24183] ppid=24165 vsize=0 CPUtime=0.23 cores=1,3,5,7
/proc/24167/task/24183/stat : 24183 (java) R 24165 24167 21377 0 -1 4203588 1913 0 0 0 23 0 0 0 20 0 2 0 342186027 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 15.52
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 14.8041
CPU time (s): 15.5516
CPU user time (s): 15.3687
CPU system time (s): 0.182972
CPU usage (%): 105.049
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3687
system time used= 0.182972
maximum resident set size= 405948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9707
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= 611
involuntary context switches= 236
runsolver used 0.053991 second user time and 0.174973 second system time
The end