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-3738283-1338723028/watcher-3738283-1338723028 -o /tmp/evaluation-result-3738283-1338723028/solver-3738283-1338723028 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3738283-1338723028.opb
running on 4 cores: 0,2,4,6
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.13 2.05 2.01 3/193 10432
/proc/meminfo: memFree=27611684/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/10432/stat : 10432 (java) R 10430 10432 7296 0 -1 4202496 783 0 0 0 0 0 0 0 20 0 1 0 338431201 23793664 510 33554432000 1073741824 1073778376 140735373951184 140735373940248 226320497203 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 5809 521 393 9 0 128 0
[startup+0.033422 s]
/proc/loadavg: 2.13 2.05 2.01 3/193 10432
/proc/meminfo: memFree=27611684/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=2490788 CPUtime=0.01 cores=0,2,4,6
/proc/10432/stat : 10432 (java) S 10430 10432 7296 0 -1 4202496 3884 0 1 0 1 0 0 0 20 0 11 0 338431201 2550566912 4583 33554432000 1073741824 1073778376 140735373951184 140735373942320 226333065277 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 622697 4583 1651 9 0 613398 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2490788
[startup+0.100308 s]
/proc/loadavg: 2.13 2.05 2.01 3/193 10432
/proc/meminfo: memFree=27611684/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/10432/stat : 10432 (java) S 10430 10432 7296 0 -1 4202496 4972 0 1 0 9 1 0 0 20 0 18 0 338431201 3028844544 6175 33554432000 1073741824 1073778376 140735373951184 140735373942320 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 739464 6175 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300273 s]
/proc/loadavg: 2.13 2.05 2.01 3/193 10432
/proc/meminfo: memFree=27611684/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/10432/stat : 10432 (java) S 10430 10432 7296 0 -1 4202496 5804 0 1 0 42 2 0 0 20 0 18 0 338431201 3028844544 8735 33554432000 1073741824 1073778376 140735373951184 140735373942320 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 739464 8735 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.700169 s]
/proc/loadavg: 2.13 2.05 2.01 3/193 10432
/proc/meminfo: memFree=27611684/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=3024420 CPUtime=1.33 cores=0,2,4,6
/proc/10432/stat : 10432 (java) S 10430 10432 7296 0 -1 4202496 10017 0 1 0 129 4 0 0 20 0 19 0 338431201 3097006080 30345 33554432000 1073741824 1073778376 140735373951184 140735373942320 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 756105 30345 2271 9 0 746526 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3024420
[startup+1.50073 s]
/proc/loadavg: 2.13 2.05 2.01 3/212 10460
/proc/meminfo: memFree=27457692/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=3024420 CPUtime=2.3 cores=0,2,4,6
/proc/10432/stat : 10432 (java) S 10430 10432 7296 0 -1 4202496 10690 0 1 0 224 6 0 0 20 0 19 0 338431201 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 140735373942320 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 756105 57089 2276 9 0 746526 0
[pid=10432/tid=10434] ppid=10430 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/10432/task/10434/stat : 10434 (java) R 10430 10432 7296 0 -1 4202560 3192 0 1 0 143 4 0 0 20 0 19 0 338431202 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139957086548584 139956959410794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10435] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10435/stat : 10435 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956952235048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10436] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10436/stat : 10436 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956951182248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10437] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10437/stat : 10437 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956950129448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10438] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10438/stat : 10438 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956949076648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10439] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10439/stat : 10439 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956948023848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10440] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10440/stat : 10440 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956946971048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10441] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10441/stat : 10441 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956609607976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10442] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10442/stat : 10442 (java) S 10430 10432 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956608555176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10443] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10443/stat : 10443 (java) S 10430 10432 7296 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338431204 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956596358120 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10444] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10444/stat : 10444 (java) S 10430 10432 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956595304184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10445] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10445/stat : 10445 (java) S 10430 10432 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956594251272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10446] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10446/stat : 10446 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956593199760 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10447] ppid=10430 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/10432/task/10447/stat : 10447 (java) S 10430 10432 7296 0 -1 4202560 2969 0 0 0 36 0 0 0 20 0 19 0 338431207 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956592146872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10448] ppid=10430 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/10432/task/10448/stat : 10448 (java) S 10430 10432 7296 0 -1 4202560 3305 0 0 0 42 1 0 0 20 0 19 0 338431207 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956591094072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10449] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10449/stat : 10449 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956590041464 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10450] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10450/stat : 10450 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 57089 33554432000 1073741824 1073778376 140735373951184 139956588988872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 3024420
[startup+3.10076 s]
/proc/loadavg: 2.13 2.05 2.01 3/212 10462
/proc/meminfo: memFree=27336544/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=3024420 CPUtime=3.92 cores=0,2,4,6
/proc/10432/stat : 10432 (java) S 10430 10432 7296 0 -1 4202496 10757 0 1 0 384 8 0 0 20 0 19 0 338431201 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 140735373942320 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 756105 88325 2276 9 0 746526 0
[pid=10432/tid=10434] ppid=10430 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/10432/task/10434/stat : 10434 (java) R 10430 10432 7296 0 -1 4202560 3255 0 1 0 301 5 0 0 20 0 19 0 338431202 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139957086546464 139956959369104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10435] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10435/stat : 10435 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956952235048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10436] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10436/stat : 10436 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956951182248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10437] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10437/stat : 10437 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956950129448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10438] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10438/stat : 10438 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956949076648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10439] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10439/stat : 10439 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956948023848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10440] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10440/stat : 10440 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956946971048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10441] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10441/stat : 10441 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956609607976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10442] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10442/stat : 10442 (java) S 10430 10432 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956608555176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10443] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10443/stat : 10443 (java) S 10430 10432 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338431204 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956596358120 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10444] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10444/stat : 10444 (java) S 10430 10432 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956595304184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10445] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10445/stat : 10445 (java) S 10430 10432 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956594251272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10446] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10446/stat : 10446 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956593199760 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10447] ppid=10430 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/10432/task/10447/stat : 10447 (java) S 10430 10432 7296 0 -1 4202560 2970 0 0 0 37 0 0 0 20 0 19 0 338431207 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956592146872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10448] ppid=10430 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/10432/task/10448/stat : 10448 (java) S 10430 10432 7296 0 -1 4202560 3307 0 0 0 43 1 0 0 20 0 19 0 338431207 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956591094072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10449] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10449/stat : 10449 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956590041464 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10450] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10450/stat : 10450 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956588988872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10462] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10462/stat : 10462 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431316 3097006080 88325 33554432000 1073741824 1073778376 140735373951184 139956586857768 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 3024420
[startup+6.30076 s]
/proc/loadavg: 2.52 2.14 2.04 3/212 10462
/proc/meminfo: memFree=27161596/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=3024420 CPUtime=7.2 cores=0,2,4,6
/proc/10432/stat : 10432 (java) S 10430 10432 7296 0 -1 4202496 10848 0 1 0 709 11 0 0 20 0 19 0 338431201 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 140735373942320 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 756105 113932 2288 9 0 746526 0
[pid=10432/tid=10434] ppid=10430 vsize=3024420 CPUtime=6.22 cores=0,2,4,6
/proc/10432/task/10434/stat : 10434 (java) R 10430 10432 7296 0 -1 4202560 3302 0 1 0 615 7 0 0 20 0 19 0 338431202 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139957086548392 139956959308885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10435] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10435/stat : 10435 (java) S 10430 10432 7296 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956952235048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10436] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10436/stat : 10436 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956951182248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10437] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10437/stat : 10437 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956950129448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10438] ppid=10430 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10432/task/10438/stat : 10438 (java) S 10430 10432 7296 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956949076648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10439] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10439/stat : 10439 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956948023848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10440] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10440/stat : 10440 (java) S 10430 10432 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956946971048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10441] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10441/stat : 10441 (java) S 10430 10432 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956609607976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10442] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10442/stat : 10442 (java) S 10430 10432 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956608555176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10443] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10443/stat : 10443 (java) S 10430 10432 7296 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338431204 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956596358120 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10444] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10444/stat : 10444 (java) S 10430 10432 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956595304184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10445] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10445/stat : 10445 (java) S 10430 10432 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956594251272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10446] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10446/stat : 10446 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956593199760 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10447] ppid=10430 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/10432/task/10447/stat : 10447 (java) S 10430 10432 7296 0 -1 4202560 2970 0 0 0 37 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956592146872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10448] ppid=10430 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/10432/task/10448/stat : 10448 (java) S 10430 10432 7296 0 -1 4202560 3307 0 0 0 43 1 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956591094072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10449] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10449/stat : 10449 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956590041464 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10450] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10450/stat : 10450 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956588988872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10462] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10462/stat : 10462 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431316 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956586857768 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+9.50078 s]
################
# More data... #
################
/proc/10432/task/10435/stat : 10435 (java) S 10430 10432 7296 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956952235048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10436] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10436/stat : 10436 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956951182248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10437] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10437/stat : 10437 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956950129448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10438] ppid=10430 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10432/task/10438/stat : 10438 (java) S 10430 10432 7296 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956949076648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10439] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10439/stat : 10439 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956948023848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10440] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10440/stat : 10440 (java) S 10430 10432 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956946971048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10441] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10441/stat : 10441 (java) S 10430 10432 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956609607976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10442] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10442/stat : 10442 (java) S 10430 10432 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956608555176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10443] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10443/stat : 10443 (java) S 10430 10432 7296 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338431204 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956596358120 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10444] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10444/stat : 10444 (java) S 10430 10432 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956595304184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10445] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10445/stat : 10445 (java) S 10430 10432 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956594251272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10446] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10446/stat : 10446 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956593199760 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10447] ppid=10430 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/10432/task/10447/stat : 10447 (java) S 10430 10432 7296 0 -1 4202560 2970 0 0 0 37 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956592146872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10448] ppid=10430 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/10432/task/10448/stat : 10448 (java) S 10430 10432 7296 0 -1 4202560 3307 0 0 0 43 1 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956591094072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10449] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10449/stat : 10449 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956590041464 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10450] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10450/stat : 10450 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956588988872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10462] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10462/stat : 10462 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431316 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956586857768 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 11.2
Current children cumulated vsize (KiB) 3024420
[startup+11.1008 s]
/proc/loadavg: 2.48 2.13 2.03 3/212 10462
/proc/meminfo: memFree=27159448/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=3024420 CPUtime=12 cores=0,2,4,6
/proc/10432/stat : 10432 (java) S 10430 10432 7296 0 -1 4202496 10848 0 1 0 1189 11 0 0 20 0 19 0 338431201 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 140735373942320 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 756105 113932 2288 9 0 746526 0
[pid=10432/tid=10434] ppid=10430 vsize=3024420 CPUtime=11.01 cores=0,2,4,6
/proc/10432/task/10434/stat : 10434 (java) R 10430 10432 7296 0 -1 4202560 3302 0 1 0 1094 7 0 0 20 0 19 0 338431202 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139957086548392 139956959413760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10435] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10435/stat : 10435 (java) S 10430 10432 7296 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956952235048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10436] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10436/stat : 10436 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956951182248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10437] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10437/stat : 10437 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956950129448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10438] ppid=10430 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10432/task/10438/stat : 10438 (java) S 10430 10432 7296 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956949076648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10439] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10439/stat : 10439 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956948023848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10440] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10440/stat : 10440 (java) S 10430 10432 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956946971048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10441] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10441/stat : 10441 (java) S 10430 10432 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956609607976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10442] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10442/stat : 10442 (java) S 10430 10432 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956608555176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10443] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10443/stat : 10443 (java) S 10430 10432 7296 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338431204 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956596358120 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10444] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10444/stat : 10444 (java) S 10430 10432 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956595304184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10445] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10445/stat : 10445 (java) S 10430 10432 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956594251272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10446] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10446/stat : 10446 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956593199760 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10447] ppid=10430 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/10432/task/10447/stat : 10447 (java) S 10430 10432 7296 0 -1 4202560 2970 0 0 0 37 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956592146872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10448] ppid=10430 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/10432/task/10448/stat : 10448 (java) S 10430 10432 7296 0 -1 4202560 3307 0 0 0 43 1 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956591094072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10449] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10449/stat : 10449 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956590041464 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10450] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10450/stat : 10450 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956588988872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10462] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10462/stat : 10462 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431316 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956586857768 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 3024420
[startup+11.5008 s]
/proc/loadavg: 2.48 2.13 2.03 3/212 10462
/proc/meminfo: memFree=27159448/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=3024420 CPUtime=12.4 cores=0,2,4,6
/proc/10432/stat : 10432 (java) S 10430 10432 7296 0 -1 4202496 10848 0 1 0 1229 11 0 0 20 0 19 0 338431201 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 140735373942320 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 756105 113932 2288 9 0 746526 0
[pid=10432/tid=10434] ppid=10430 vsize=3024420 CPUtime=11.41 cores=0,2,4,6
/proc/10432/task/10434/stat : 10434 (java) R 10430 10432 7296 0 -1 4202560 3302 0 1 0 1134 7 0 0 20 0 19 0 338431202 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139957086548392 139956959413786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10435] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10435/stat : 10435 (java) S 10430 10432 7296 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956952235048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10436] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10436/stat : 10436 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956951182248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10437] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10437/stat : 10437 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956950129448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10438] ppid=10430 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10432/task/10438/stat : 10438 (java) S 10430 10432 7296 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956949076648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10439] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10439/stat : 10439 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956948023848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10440] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10440/stat : 10440 (java) S 10430 10432 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956946971048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10441] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10441/stat : 10441 (java) S 10430 10432 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956609607976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10442] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10442/stat : 10442 (java) S 10430 10432 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956608555176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10443] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10443/stat : 10443 (java) S 10430 10432 7296 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338431204 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956596358120 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10444] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10444/stat : 10444 (java) S 10430 10432 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956595304184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10445] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10445/stat : 10445 (java) S 10430 10432 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956594251272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10446] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10446/stat : 10446 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956593199760 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10447] ppid=10430 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/10432/task/10447/stat : 10447 (java) S 10430 10432 7296 0 -1 4202560 2970 0 0 0 37 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956592146872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10448] ppid=10430 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/10432/task/10448/stat : 10448 (java) S 10430 10432 7296 0 -1 4202560 3307 0 0 0 43 1 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956591094072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10449] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10449/stat : 10449 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956590041464 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10450] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10450/stat : 10450 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956588988872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10462] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10462/stat : 10462 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431316 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956586857768 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 3024420
[startup+11.6008 s]
/proc/loadavg: 2.48 2.13 2.03 3/212 10462
/proc/meminfo: memFree=27159448/32873844 swapFree=6088/6088
[pid=10432] ppid=10430 vsize=3024420 CPUtime=12.5 cores=0,2,4,6
/proc/10432/stat : 10432 (java) S 10430 10432 7296 0 -1 4202496 10848 0 1 0 1239 11 0 0 20 0 19 0 338431201 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 140735373942320 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10432/statm: 756105 113932 2288 9 0 746526 0
[pid=10432/tid=10434] ppid=10430 vsize=3024420 CPUtime=11.51 cores=0,2,4,6
/proc/10432/task/10434/stat : 10434 (java) R 10430 10432 7296 0 -1 4202560 3302 0 1 0 1144 7 0 0 20 0 19 0 338431202 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139957086548392 139956959308455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10432/tid=10435] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10435/stat : 10435 (java) S 10430 10432 7296 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956952235048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10436] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10436/stat : 10436 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956951182248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10437] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10437/stat : 10437 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956950129448 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10438] ppid=10430 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10432/task/10438/stat : 10438 (java) S 10430 10432 7296 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956949076648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10439] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10439/stat : 10439 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956948023848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10440] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10440/stat : 10440 (java) S 10430 10432 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956946971048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10441] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10441/stat : 10441 (java) S 10430 10432 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956609607976 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10442] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10442/stat : 10442 (java) S 10430 10432 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338431203 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956608555176 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10443] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10443/stat : 10443 (java) S 10430 10432 7296 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338431204 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956596358120 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10444] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10444/stat : 10444 (java) S 10430 10432 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956595304184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10445] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10445/stat : 10445 (java) S 10430 10432 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338431205 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956594251272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10446] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10446/stat : 10446 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956593199760 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10447] ppid=10430 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/10432/task/10447/stat : 10447 (java) S 10430 10432 7296 0 -1 4202560 2970 0 0 0 38 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956592146872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10432/tid=10448] ppid=10430 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/10432/task/10448/stat : 10448 (java) S 10430 10432 7296 0 -1 4202560 3307 0 0 0 43 1 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956591094072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10449] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10449/stat : 10449 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956590041464 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10432/tid=10450] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10450/stat : 10450 (java) S 10430 10432 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338431207 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956588988872 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10432/tid=10462] ppid=10430 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10432/task/10462/stat : 10462 (java) S 10430 10432 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338431316 3097006080 113932 33554432000 1073741824 1073778376 140735373951184 139956586857768 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 3024420
Child status: 30
Real time (s): 11.6739
CPU time (s): 12.5721
CPU user time (s): 12.4001
CPU system time (s): 0.171973
CPU usage (%): 107.694
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4001
system time used= 0.171973
maximum resident set size= 455776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10857
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= 557
involuntary context switches= 245
runsolver used 0.039993 second user time and 0.132979 second system time
The end