runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4287 MiB free)
memory of node 1: 16384 MiB (7783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295966-1532604314/watcher-4295966-1532604314 -o /tmp/evaluation-result-4295966-1532604314/solver-4295966-1532604314 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532598730-8939 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1084530193 HOME/instance-4295966-1532604314.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10291, runsolver pid=10288
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 1.37 1.39 1.41 4/206 10348
/proc/meminfo: memFree=12354904/32770624 swapFree=67108860/67108860
[pid=10291] ppid=10288 vsize=9972712 memory=18324 CPUtime=0.09 cores=1,3,5,7
/proc/10291/stat : 10291 (java) S 10288 10291 6157 0 -1 1077944320 4214 13245 0 0 1 0 5 3 20 0 6 0 77994651 10212057088 4581 33554432000 4194304 4196468 140736756278576 140736756261120 139984308940535 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
/proc/10291/statm: 2493178 4581 1930 1 0 2481616 0
[pid=10291/tid=10344] ppid=10288 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10344/stat : 10344 (java) R 10288 10291 6157 0 -1 4202560 2039 13245 0 0 0 0 5 3 20 0 6 0 77994661 10212057088 4581 33554432000 4194304 4196468 140736756278576 139984280777296 139984308962461 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10345] ppid=10288 vsize=9972712 memory=5793855373024307641 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10345/stat : 10345 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 6 0 77994661 10212057088 4581 33554432000 4194304 4196468 140736756278576 139984313182992 139984308950741 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10346] ppid=10288 vsize=9972712 memory=140122014414464 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10346/stat : 10346 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 6 0 77994661 10212057088 4581 33554432000 4194304 4196468 140736756278576 139984201456528 139984308950741 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10347] ppid=10288 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10347/stat : 10347 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 6 0 77994661 10212057088 4581 33554432000 4194304 4196468 140736756278576 139984200403984 139984308950741 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10348] ppid=10288 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10348/stat : 10348 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 6 0 77994661 10212057088 4581 33554432000 4194304 4196468 140736756278576 139984199351440 139984308950741 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18324 KiB
[startup+0.210172 s]*
/proc/loadavg: 1.37 1.39 1.41 3/215 10357
/proc/meminfo: memFree=12329836/32770624 swapFree=67108860/67108860
[pid=10291] ppid=10288 vsize=10818904 memory=44688 CPUtime=0.26 cores=1,3,5,7
/proc/10291/stat : 10291 (java) S 10288 10291 6157 0 -1 1077944320 7358 13245 0 0 16 2 5 3 20 0 15 0 77994651 11078557696 11172 33554432000 4194304 4196468 140736756278576 140736756261120 139984308940535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
/proc/10291/statm: 2704726 11172 2956 1 0 2667149 0
[pid=10291/tid=10344] ppid=10288 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/10291/task/10344/stat : 10344 (java) R 10288 10291 6157 0 -1 4202560 4102 13245 0 0 10 1 5 3 20 0 15 0 77994661 11078557696 11370 33554432000 4194304 4196468 140736756278576 139984280748608 139984289216295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10345] ppid=10288 vsize=10818904 memory=4211973848219205002 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10345/stat : 10345 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994661 11078557696 11370 33554432000 4194304 4196468 140736756278576 139984313182992 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10346] ppid=10288 vsize=10818904 memory=140122014414464 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10346/stat : 10346 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994661 11078557696 11370 33554432000 4194304 4196468 140736756278576 139984201456528 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10347] ppid=10288 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10347/stat : 10347 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994661 11078557696 11370 33554432000 4194304 4196468 140736756278576 139984200403984 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10348] ppid=10288 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10348/stat : 10348 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994661 11078557696 11370 33554432000 4194304 4196468 140736756278576 139984199351440 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10349] ppid=10288 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10349/stat : 10349 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994663 11078557696 11370 33554432000 4194304 4196468 140736756278576 139983767676912 139984308951682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10350] ppid=10288 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10350/stat : 10350 (java) S 10288 10291 6157 0 -1 1077944384 33 13245 0 0 0 0 5 3 20 0 15 0 77994663 11078557696 11370 33554432000 4194304 4196468 140736756278576 139983766623136 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10351] ppid=10288 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10351/stat : 10351 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994663 11078557696 11370 33554432000 4194304 4196468 140736756278576 139983184716784 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10352] ppid=10288 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10352/stat : 10352 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994666 11078557696 11370 33554432000 4194304 4196468 140736756278576 139982849173712 139984308959131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10353] ppid=10288 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10353/stat : 10353 (java) S 10288 10291 6157 0 -1 1077944384 533 13245 0 0 0 0 5 3 20 0 15 0 77994666 11078557696 11370 33554432000 4194304 4196468 140736756278576 139983733066224 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10354] ppid=10288 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10291/task/10354/stat : 10354 (java) S 10288 10291 6157 0 -1 1077944384 65 13245 0 0 1 0 5 3 20 0 15 0 77994666 11078557696 11370 33554432000 4194304 4196468 140736756278576 139983732013680 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10355] ppid=10288 vsize=10818904 memory=140122014414464 CPUtime=0.11 cores=1,3,5,7
/proc/10291/task/10355/stat : 10355 (java) S 10288 10291 6157 0 -1 1077944384 620 13245 0 0 3 0 5 3 20 0 15 0 77994666 11078557696 11370 33554432000 4194304 4196468 140736756278576 139983730961136 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10356] ppid=10288 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10356/stat : 10356 (java) S 10288 10291 6157 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 77994666 11078557696 11436 33554432000 4194304 4196468 140736756278576 139982580739168 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10357] ppid=10288 vsize=10818904 memory=140122014414464 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10357/stat : 10357 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994667 11078557696 11436 33554432000 4194304 4196468 140736756278576 139983729908016 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44688 KiB
[startup+0.310123 s]*
/proc/loadavg: 1.37 1.39 1.41 3/215 10357
/proc/meminfo: memFree=12317804/32770624 swapFree=67108860/67108860
[pid=10291] ppid=10288 vsize=10819352 memory=56976 CPUtime=0.39 cores=1,3,5,7
/proc/10291/stat : 10291 (java) S 10288 10291 6157 0 -1 1077944320 10302 13245 0 0 28 3 5 3 20 0 15 0 77994651 11079016448 14244 33554432000 4194304 4196468 140736756278576 140736756261120 139984308940535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
/proc/10291/statm: 2704838 14244 3075 1 0 2667149 0
[pid=10291/tid=10344] ppid=10288 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10291/task/10344/stat : 10344 (java) R 10288 10291 6157 0 -1 4202560 6837 13245 0 0 19 2 5 3 20 0 15 0 77994661 11079016448 14244 33554432000 4194304 4196468 140736756278576 139984280752544 139984289215865 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10345] ppid=10288 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10345/stat : 10345 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994661 11079016448 14244 33554432000 4194304 4196468 140736756278576 139984313182992 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10346] ppid=10288 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10346/stat : 10346 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994661 11079016448 14244 33554432000 4194304 4196468 140736756278576 139984201456528 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10347] ppid=10288 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10347/stat : 10347 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994661 11079016448 14244 33554432000 4194304 4196468 140736756278576 139984200403984 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10348] ppid=10288 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10348/stat : 10348 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994661 11079016448 14244 33554432000 4194304 4196468 140736756278576 139984199351440 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10349] ppid=10288 vsize=10819352 memory=140122014414463 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10349/stat : 10349 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994663 11079016448 14244 33554432000 4194304 4196468 140736756278576 139983767676912 139984308951682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10350] ppid=10288 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10350/stat : 10350 (java) S 10288 10291 6157 0 -1 1077944384 33 13245 0 0 0 0 5 3 20 0 15 0 77994663 11079016448 14244 33554432000 4194304 4196468 140736756278576 139983766623136 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10351] ppid=10288 vsize=10819352 memory=140122014414464 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10351/stat : 10351 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994663 11079016448 14244 33554432000 4194304 4196468 140736756278576 139983184716784 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10352] ppid=10288 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10352/stat : 10352 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994666 11079016448 14244 33554432000 4194304 4196468 140736756278576 139982849173712 139984308959131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10353] ppid=10288 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10291/task/10353/stat : 10353 (java) S 10288 10291 6157 0 -1 1077944384 535 13245 0 0 1 0 5 3 20 0 15 0 77994666 11079016448 14244 33554432000 4194304 4196468 140736756278576 139983733066224 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10354] ppid=10288 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10291/task/10354/stat : 10354 (java) S 10288 10291 6157 0 -1 1077944384 65 13245 0 0 1 0 5 3 20 0 15 0 77994666 11079016448 14244 33554432000 4194304 4196468 140736756278576 139983732013680 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10355] ppid=10288 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/10291/task/10355/stat : 10355 (java) S 10288 10291 6157 0 -1 1077944384 630 13245 0 0 5 0 5 3 20 0 15 0 77994666 11079016448 14244 33554432000 4194304 4196468 140736756278576 139983730961136 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10356] ppid=10288 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10356/stat : 10356 (java) S 10288 10291 6157 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 77994666 11079016448 14244 33554432000 4194304 4196468 140736756278576 139982580739168 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10357] ppid=10288 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10357/stat : 10357 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994667 11079016448 14244 33554432000 4194304 4196468 140736756278576 139983729908016 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56976 KiB
[startup+0.70081 s]
/proc/loadavg: 1.37 1.39 1.41 3/215 10357
/proc/meminfo: memFree=12307136/32770624 swapFree=67108860/67108860
[pid=10291] ppid=10288 vsize=10819352 memory=89068 CPUtime=0.99 cores=1,3,5,7
/proc/10291/stat : 10291 (java) S 10288 10291 6157 0 -1 1077944320 16411 13245 0 0 87 4 5 3 20 0 15 0 77994651 11079016448 22267 33554432000 4194304 4196468 140736756278576 140736756261120 139984308940535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
/proc/10291/statm: 2704838 22267 3244 1 0 2667149 0
[pid=10291/tid=10344] ppid=10288 vsize=10819352 memory=23220 CPUtime=0.67 cores=1,3,5,7
/proc/10291/task/10344/stat : 10344 (java) R 10288 10291 6157 0 -1 4202560 11933 13245 0 0 56 3 5 3 20 0 15 0 77994661 11079016448 22267 33554432000 4194304 4196468 140736756278576 139984280763536 139984308962461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10345] ppid=10288 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10345/stat : 10345 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994661 11079016448 22267 33554432000 4194304 4196468 140736756278576 139984313182992 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10346] ppid=10288 vsize=10819352 memory=140121899049457 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10346/stat : 10346 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994661 11079016448 22267 33554432000 4194304 4196468 140736756278576 139984201456528 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10347] ppid=10288 vsize=10819352 memory=140123308032889 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10347/stat : 10347 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994661 11079016448 22267 33554432000 4194304 4196468 140736756278576 139984200403984 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10348] ppid=10288 vsize=10819352 memory=1796 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10348/stat : 10348 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994661 11079016448 22267 33554432000 4194304 4196468 140736756278576 139984199351440 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10349] ppid=10288 vsize=10819352 memory=7157735280213842257 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10349/stat : 10349 (java) S 10288 10291 6157 0 -1 1077944384 6 13245 0 0 0 0 5 3 20 0 15 0 77994663 11079016448 22267 33554432000 4194304 4196468 140736756278576 139983767676912 139984308951682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10350] ppid=10288 vsize=10819352 memory=7739276948478388840 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10350/stat : 10350 (java) S 10288 10291 6157 0 -1 1077944384 33 13245 0 0 0 0 5 3 20 0 15 0 77994663 11079016448 22267 33554432000 4194304 4196468 140736756278576 139983766623136 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10351] ppid=10288 vsize=10819352 memory=5787218246971642213 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10351/stat : 10351 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994663 11079016448 22267 33554432000 4194304 4196468 140736756278576 139983184716784 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10352] ppid=10288 vsize=10819352 memory=8514726395715218844 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10352/stat : 10352 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994666 11079016448 22267 33554432000 4194304 4196468 140736756278576 139982849173712 139984308959131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10353] ppid=10288 vsize=10819352 memory=8326441112149131693 CPUtime=0.17 cores=1,3,5,7
/proc/10291/task/10353/stat : 10353 (java) S 10288 10291 6157 0 -1 1077944384 1077 13245 0 0 9 0 5 3 20 0 15 0 77994666 11079016448 22267 33554432000 4194304 4196468 140736756278576 139983733066224 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10354] ppid=10288 vsize=10819352 memory=-8990767739041718176 CPUtime=0.15 cores=1,3,5,7
/proc/10291/task/10354/stat : 10354 (java) S 10288 10291 6157 0 -1 1077944384 479 13245 0 0 7 0 5 3 20 0 15 0 77994666 11079016448 22267 33554432000 4194304 4196468 140736756278576 139983732013680 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10355] ppid=10288 vsize=10819352 memory=6944656592452807326 CPUtime=0.21 cores=1,3,5,7
/proc/10291/task/10355/stat : 10355 (java) S 10288 10291 6157 0 -1 1077944384 683 13245 0 0 13 0 5 3 20 0 15 0 77994666 11079016448 22267 33554432000 4194304 4196468 140736756278576 139983730961136 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10356] ppid=10288 vsize=10819352 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10356/stat : 10356 (java) S 10288 10291 6157 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 77994666 11079016448 22267 33554432000 4194304 4196468 140736756278576 139982580739168 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10357] ppid=10288 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10357/stat : 10357 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994667 11079016448 22267 33554432000 4194304 4196468 140736756278576 139983729908016 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 89068 KiB
[startup+1.50069 s]
/proc/loadavg: 1.37 1.39 1.41 6/215 10357
/proc/meminfo: memFree=12261796/32770624 swapFree=67108860/67108860
[pid=10291] ppid=10288 vsize=10834252 memory=180252 CPUtime=2.36 cores=1,3,5,7
/proc/10291/stat : 10291 (java) S 10288 10291 6157 0 -1 1077944320 23884 13245 0 0 218 10 5 3 20 0 15 0 77994651 11094274048 45063 33554432000 4194304 4196468 140736756278576 140736756261120 139984308940535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
/proc/10291/statm: 2708563 45063 3468 1 0 2670221 0
[pid=10291/tid=10344] ppid=10288 vsize=10834252 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/10291/task/10344/stat : 10344 (java) R 10288 10291 6157 0 -1 4202560 17289 13245 0 0 130 5 5 3 20 0 15 0 77994661 11094274048 45063 33554432000 4194304 4196468 140736756278576 139984280770384 139984289215922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10345] ppid=10288 vsize=10834252 memory=102516 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10345/stat : 10345 (java) S 10288 10291 6157 0 -1 1077944384 59 13245 0 0 0 0 5 3 20 0 15 0 77994661 11094274048 45063 33554432000 4194304 4196468 140736756278576 139984313182992 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10346] ppid=10288 vsize=10834252 memory=5790086053191909267 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10346/stat : 10346 (java) S 10288 10291 6157 0 -1 1077944384 33 13245 0 0 0 0 5 3 20 0 15 0 77994661 11094274048 45063 33554432000 4194304 4196468 140736756278576 139984201456528 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10347] ppid=10288 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10291/task/10347/stat : 10347 (java) S 10288 10291 6157 0 -1 1077944384 28 13245 0 0 1 0 5 3 20 0 15 0 77994661 11094274048 45063 33554432000 4194304 4196468 140736756278576 139984200403984 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10348] ppid=10288 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10348/stat : 10348 (java) S 10288 10291 6157 0 -1 1077944384 185 13245 0 0 0 0 5 3 20 0 15 0 77994661 11094274048 45063 33554432000 4194304 4196468 140736756278576 139984199351440 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10349] ppid=10288 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10291/task/10349/stat : 10349 (java) S 10288 10291 6157 0 -1 1077944384 61 13245 0 0 1 0 5 3 20 0 15 0 77994663 11094274048 45063 33554432000 4194304 4196468 140736756278576 139983767676912 139984308951682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10350] ppid=10288 vsize=10834252 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10350/stat : 10350 (java) S 10288 10291 6157 0 -1 1077944384 34 13245 0 0 0 0 5 3 20 0 15 0 77994663 11094274048 45063 33554432000 4194304 4196468 140736756278576 139983766623200 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10351] ppid=10288 vsize=10834252 memory=4124 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10351/stat : 10351 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994663 11094274048 45063 33554432000 4194304 4196468 140736756278576 139983184716784 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10352] ppid=10288 vsize=10834252 memory=2200 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10352/stat : 10352 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994666 11094274048 45063 33554432000 4194304 4196468 140736756278576 139982849173712 139984308959131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10353] ppid=10288 vsize=10834252 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/10291/task/10353/stat : 10353 (java) S 10288 10291 6157 0 -1 1077944384 1231 13245 0 0 23 1 5 3 20 0 15 0 77994666 11094274048 45063 33554432000 4194304 4196468 140736756278576 139983733066224 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10354] ppid=10288 vsize=10834252 memory=184570515349132 CPUtime=0.33 cores=1,3,5,7
/proc/10291/task/10354/stat : 10354 (java) S 10288 10291 6157 0 -1 1077944384 1520 13245 0 0 25 0 5 3 20 0 15 0 77994666 11094274048 45063 33554432000 4194304 4196468 140736756278576 139983732013680 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10355] ppid=10288 vsize=10834252 memory=442164 CPUtime=0.4 cores=1,3,5,7
/proc/10291/task/10355/stat : 10355 (java) S 10288 10291 6157 0 -1 1077944384 1249 13245 0 0 32 0 5 3 20 0 15 0 77994666 11094274048 45063 33554432000 4194304 4196468 140736756278576 139983730961136 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10356] ppid=10288 vsize=10834252 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10356/stat : 10356 (java) S 10288 10291 6157 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 77994666 11094274048 45063 33554432000 4194304 4196468 140736756278576 139982580739168 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10357] ppid=10288 vsize=10834252 memory=4638778402627666016 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10357/stat : 10357 (java) S 10288 10291 6157 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 77994667 11094274048 45063 33554432000 4194304 4196468 140736756278576 139983729908016 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/10291/task/10344/stat : 10344 (java) R 10288 10291 6157 0 -1 4202560 79369 13245 0 0 236672 28 5 3 20 0 15 0 77994661 11178180608 149537 33554432000 4194304 4196468 140736756278576 139984280775648 139983884401164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10345] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.38 cores=1,3,5,7
/proc/10291/task/10345/stat : 10345 (java) S 10288 10291 6157 0 -1 1077944384 7904 13245 0 0 599 31 5 3 20 0 15 0 77994661 11178180608 149537 33554432000 4194304 4196468 140736756278576 139984313182992 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10346] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.36 cores=1,3,5,7
/proc/10291/task/10346/stat : 10346 (java) S 10288 10291 6157 0 -1 1077944384 9185 13245 0 0 595 33 5 3 20 0 15 0 77994661 11178180608 149537 33554432000 4194304 4196468 140736756278576 139984201456528 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10347] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.37 cores=1,3,5,7
/proc/10291/task/10347/stat : 10347 (java) S 10288 10291 6157 0 -1 1077944384 8354 13245 0 0 597 32 5 3 20 0 15 0 77994661 11178180608 149537 33554432000 4194304 4196468 140736756278576 139984200403984 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10348] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.37 cores=1,3,5,7
/proc/10291/task/10348/stat : 10348 (java) S 10288 10291 6157 0 -1 1077944384 11204 13245 0 0 597 32 5 3 20 0 15 0 77994661 11178180608 149537 33554432000 4194304 4196468 140736756278576 139984199351440 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10349] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.25 cores=1,3,5,7
/proc/10291/task/10349/stat : 10349 (java) S 10288 10291 6157 0 -1 1077944384 10170 13245 0 0 585 32 5 3 20 0 15 0 77994663 11178180608 149537 33554432000 4194304 4196468 140736756278576 139983767676912 139984308951682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10350] ppid=10288 vsize=10916192 memory=7450756250170320749 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10350/stat : 10350 (java) S 10288 10291 6157 0 -1 1077944384 39 13245 0 0 0 0 5 3 20 0 15 0 77994663 11178180608 149537 33554432000 4194304 4196468 140736756278576 139983766623264 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10351] ppid=10288 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10351/stat : 10351 (java) S 10288 10291 6157 0 -1 1077944384 4 13245 0 0 0 0 5 3 20 0 15 0 77994663 11178180608 149537 33554432000 4194304 4196468 140736756278576 139983184716800 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10352] ppid=10288 vsize=10916192 memory=598148 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10352/stat : 10352 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994666 11178180608 149537 33554432000 4194304 4196468 140736756278576 139982849173712 139984308959131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10353] ppid=10288 vsize=10916192 memory=598148 CPUtime=5.98 cores=1,3,5,7
/proc/10291/task/10353/stat : 10353 (java) S 10288 10291 6157 0 -1 1077944384 28934 13245 0 0 584 6 5 3 20 0 15 0 77994666 11178180608 149537 33554432000 4194304 4196468 140736756278576 139983733066224 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10354] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.25 cores=1,3,5,7
/proc/10291/task/10354/stat : 10354 (java) S 10288 10291 6157 0 -1 1077944384 29655 13245 0 0 611 6 5 3 20 0 15 0 77994666 11178180608 149537 33554432000 4194304 4196468 140736756278576 139983732013680 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10355] ppid=10288 vsize=10916192 memory=4140 CPUtime=3.14 cores=1,3,5,7
/proc/10291/task/10355/stat : 10355 (java) S 10288 10291 6157 0 -1 1077944384 26139 13245 0 0 299 7 5 3 20 0 15 0 77994666 11178180608 149537 33554432000 4194304 4196468 140736756278576 139983730961136 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10356] ppid=10288 vsize=10916192 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10356/stat : 10356 (java) S 10288 10291 6157 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 77994666 11178180608 149537 33554432000 4194304 4196468 140736756278576 139982580739168 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10357] ppid=10288 vsize=10916192 memory=598148 CPUtime=1.3 cores=1,3,5,7
/proc/10291/task/10357/stat : 10357 (java) S 10288 10291 6157 0 -1 1077944384 815 13245 0 0 61 61 5 3 20 0 15 0 77994667 11178180608 149537 33554432000 4194304 4196468 140736756278576 139983729908016 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
Current children cumulated CPU time: 2414.86 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 598148 KiB
[startup+2442.3 s]
/proc/loadavg: 1.36 1.34 1.38 3/216 10585
/proc/meminfo: memFree=11324148/32770624 swapFree=67108860/67108860
[pid=10291] ppid=10288 vsize=10916192 memory=598240 CPUtime=2475.32 cores=1,3,5,7
/proc/10291/stat : 10291 (java) S 10288 10291 6157 0 -1 1077944320 214813 13245 0 0 247292 232 5 3 20 0 15 0 77994651 11178180608 149560 33554432000 4194304 4196468 140736756278576 140736756261120 139984308940535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
/proc/10291/statm: 2729048 149560 3524 1 0 2690701 0
[pid=10291/tid=10344] ppid=10288 vsize=10916192 memory=598148 CPUtime=2426.69 cores=1,3,5,7
/proc/10291/task/10344/stat : 10344 (java) R 10288 10291 6157 0 -1 4202560 79744 13245 0 0 242632 29 5 3 20 0 15 0 77994661 11178180608 149560 33554432000 4194304 4196468 140736756278576 139984280775280 139983885531803 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10345] ppid=10288 vsize=10916192 memory=598240 CPUtime=6.54 cores=1,3,5,7
/proc/10291/task/10345/stat : 10345 (java) S 10288 10291 6157 0 -1 1077944384 7922 13245 0 0 614 32 5 3 20 0 15 0 77994661 11178180608 149560 33554432000 4194304 4196468 140736756278576 139984313182992 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10346] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.53 cores=1,3,5,7
/proc/10291/task/10346/stat : 10346 (java) S 10288 10291 6157 0 -1 1077944384 9197 13245 0 0 611 34 5 3 20 0 15 0 77994661 11178180608 149560 33554432000 4194304 4196468 140736756278576 139984201456528 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10347] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.54 cores=1,3,5,7
/proc/10291/task/10347/stat : 10347 (java) S 10288 10291 6157 0 -1 1077944384 8696 13245 0 0 613 33 5 3 20 0 15 0 77994661 11178180608 149560 33554432000 4194304 4196468 140736756278576 139984200403984 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10348] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.53 cores=1,3,5,7
/proc/10291/task/10348/stat : 10348 (java) S 10288 10291 6157 0 -1 1077944384 11267 13245 0 0 613 32 5 3 20 0 15 0 77994661 11178180608 149560 33554432000 4194304 4196468 140736756278576 139984199351440 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10349] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.41 cores=1,3,5,7
/proc/10291/task/10349/stat : 10349 (java) S 10288 10291 6157 0 -1 1077944384 10202 13245 0 0 600 33 5 3 20 0 15 0 77994663 11178180608 149560 33554432000 4194304 4196468 140736756278576 139983767676912 139984308951682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10350] ppid=10288 vsize=10916192 memory=598148 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10350/stat : 10350 (java) S 10288 10291 6157 0 -1 1077944384 39 13245 0 0 0 0 5 3 20 0 15 0 77994663 11178180608 149560 33554432000 4194304 4196468 140736756278576 139983766623264 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10351] ppid=10288 vsize=10916192 memory=598148 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10351/stat : 10351 (java) S 10288 10291 6157 0 -1 1077944384 4 13245 0 0 0 0 5 3 20 0 15 0 77994663 11178180608 149560 33554432000 4194304 4196468 140736756278576 139983184716800 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10352] ppid=10288 vsize=10916192 memory=598148 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10352/stat : 10352 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994666 11178180608 149560 33554432000 4194304 4196468 140736756278576 139982849173712 139984308959131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10353] ppid=10288 vsize=10916192 memory=598148 CPUtime=5.98 cores=1,3,5,7
/proc/10291/task/10353/stat : 10353 (java) S 10288 10291 6157 0 -1 1077944384 28934 13245 0 0 584 6 5 3 20 0 15 0 77994666 11178180608 149560 33554432000 4194304 4196468 140736756278576 139983733066224 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10354] ppid=10288 vsize=10916192 memory=598148 CPUtime=6.25 cores=1,3,5,7
/proc/10291/task/10354/stat : 10354 (java) S 10288 10291 6157 0 -1 1077944384 29655 13245 0 0 611 6 5 3 20 0 15 0 77994666 11178180608 149560 33554432000 4194304 4196468 140736756278576 139983732013680 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10355] ppid=10288 vsize=10916192 memory=598148 CPUtime=3.14 cores=1,3,5,7
/proc/10291/task/10355/stat : 10355 (java) S 10288 10291 6157 0 -1 1077944384 26139 13245 0 0 299 7 5 3 20 0 15 0 77994666 11178180608 149560 33554432000 4194304 4196468 140736756278576 139983730961136 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10356] ppid=10288 vsize=10916192 memory=598240 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10356/stat : 10356 (java) S 10288 10291 6157 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 77994666 11178180608 149560 33554432000 4194304 4196468 140736756278576 139982580739168 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10357] ppid=10288 vsize=10916192 memory=598148 CPUtime=1.33 cores=1,3,5,7
/proc/10291/task/10357/stat : 10357 (java) S 10288 10291 6157 0 -1 1077944384 821 13245 0 0 63 62 5 3 20 0 15 0 77994667 11178180608 149560 33554432000 4194304 4196468 140736756278576 139983729908016 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
Current children cumulated CPU time: 2475.32 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 598240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2486.7 s]
/proc/loadavg: 1.38 1.34 1.38 3/215 10586
/proc/meminfo: memFree=11338680/32770624 swapFree=67108860/67108860
[pid=10291] ppid=10288 vsize=10916192 memory=600292 CPUtime=2520.04 cores=1,3,5,7
/proc/10291/stat : 10291 (java) S 10288 10291 6157 0 -1 1077944320 215378 13245 0 0 251761 235 5 3 20 0 15 0 77994651 11178180608 150073 33554432000 4194304 4196468 140736756278576 140736756261120 139984308940535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
/proc/10291/statm: 2729048 150073 3524 1 0 2690701 0
[pid=10291/tid=10344] ppid=10288 vsize=10916192 memory=600292 CPUtime=2470.8 cores=1,3,5,7
/proc/10291/task/10344/stat : 10344 (java) R 10288 10291 6157 0 -1 4202560 80025 13245 0 0 247043 29 5 3 20 0 15 0 77994661 11178180608 150073 33554432000 4194304 4196468 140736756278576 139984280770128 139983886007716 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10345] ppid=10288 vsize=10916192 memory=600292 CPUtime=6.66 cores=1,3,5,7
/proc/10291/task/10345/stat : 10345 (java) S 10288 10291 6157 0 -1 1077944384 7943 13245 0 0 626 32 5 3 20 0 15 0 77994661 11178180608 150073 33554432000 4194304 4196468 140736756278576 139984313182992 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10346] ppid=10288 vsize=10916192 memory=600288 CPUtime=6.64 cores=1,3,5,7
/proc/10291/task/10346/stat : 10346 (java) S 10288 10291 6157 0 -1 1077944384 9208 13245 0 0 622 34 5 3 20 0 15 0 77994661 11178180608 150073 33554432000 4194304 4196468 140736756278576 139984201456528 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10347] ppid=10288 vsize=10916192 memory=600292 CPUtime=6.65 cores=1,3,5,7
/proc/10291/task/10347/stat : 10347 (java) S 10288 10291 6157 0 -1 1077944384 8703 13245 0 0 623 34 5 3 20 0 15 0 77994661 11178180608 150073 33554432000 4194304 4196468 140736756278576 139984200403984 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10348] ppid=10288 vsize=10916192 memory=4140 CPUtime=6.66 cores=1,3,5,7
/proc/10291/task/10348/stat : 10348 (java) S 10288 10291 6157 0 -1 1077944384 11314 13245 0 0 625 33 5 3 20 0 15 0 77994661 11178180608 150073 33554432000 4194304 4196468 140736756278576 139984199351440 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10349] ppid=10288 vsize=10916192 memory=600292 CPUtime=6.52 cores=1,3,5,7
/proc/10291/task/10349/stat : 10349 (java) S 10288 10291 6157 0 -1 1077944384 10388 13245 0 0 611 33 5 3 20 0 15 0 77994663 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983767676912 139984308951682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10350] ppid=10288 vsize=10916192 memory=23308 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10350/stat : 10350 (java) S 10288 10291 6157 0 -1 1077944384 39 13245 0 0 0 0 5 3 20 0 15 0 77994663 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983766623264 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10351] ppid=10288 vsize=10916192 memory=600292 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10351/stat : 10351 (java) S 10288 10291 6157 0 -1 1077944384 4 13245 0 0 0 0 5 3 20 0 15 0 77994663 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983184716800 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10352] ppid=10288 vsize=10916192 memory=600292 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10352/stat : 10352 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994666 11178180608 150073 33554432000 4194304 4196468 140736756278576 139982849173712 139984308959131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10353] ppid=10288 vsize=10916192 memory=600288 CPUtime=5.98 cores=1,3,5,7
/proc/10291/task/10353/stat : 10353 (java) S 10288 10291 6157 0 -1 1077944384 28936 13245 0 0 584 6 5 3 20 0 15 0 77994666 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983733066224 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10354] ppid=10288 vsize=10916192 memory=600292 CPUtime=6.25 cores=1,3,5,7
/proc/10291/task/10354/stat : 10354 (java) S 10288 10291 6157 0 -1 1077944384 29657 13245 0 0 611 6 5 3 20 0 15 0 77994666 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983732013680 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10355] ppid=10288 vsize=10916192 memory=280243798158768 CPUtime=3.14 cores=1,3,5,7
/proc/10291/task/10355/stat : 10355 (java) S 10288 10291 6157 0 -1 1077944384 26141 13245 0 0 299 7 5 3 20 0 15 0 77994666 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983730961136 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10356] ppid=10288 vsize=10916192 memory=600292 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10356/stat : 10356 (java) S 10288 10291 6157 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 77994666 11178180608 150073 33554432000 4194304 4196468 140736756278576 139982580739168 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10357] ppid=10288 vsize=10916192 memory=600292 CPUtime=1.36 cores=1,3,5,7
/proc/10291/task/10357/stat : 10357 (java) S 10288 10291 6157 0 -1 1077944384 827 13245 0 0 65 63 5 3 20 0 15 0 77994667 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983729908016 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 600292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2486.73 s]
# the end of solver process 10291 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.69 s, system=2.39528 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2486.7 s]
/proc/loadavg: 1.38 1.34 1.38 3/215 10586
/proc/meminfo: memFree=11338680/32770624 swapFree=67108860/67108860
[pid=10291] ppid=10288 vsize=10916192 memory=600292 CPUtime=2520.04 cores=1,3,5,7
/proc/10291/stat : 10291 (java) S 10288 10291 6157 0 -1 1077944320 215378 13245 0 0 251761 235 5 3 20 0 15 0 77994651 11178180608 150073 33554432000 4194304 4196468 140736756278576 140736756261120 139984308940535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
/proc/10291/statm: 2729048 150073 3524 1 0 2690701 0
[pid=10291/tid=10344] ppid=10288 vsize=10916192 memory=600292 CPUtime=2470.8 cores=1,3,5,7
/proc/10291/task/10344/stat : 10344 (java) R 10288 10291 6157 0 -1 4202560 80025 13245 0 0 247043 29 5 3 20 0 15 0 77994661 11178180608 150073 33554432000 4194304 4196468 140736756278576 139984280770128 139983886007716 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10345] ppid=10288 vsize=10916192 memory=600292 CPUtime=6.66 cores=1,3,5,7
/proc/10291/task/10345/stat : 10345 (java) S 10288 10291 6157 0 -1 1077944384 7943 13245 0 0 626 32 5 3 20 0 15 0 77994661 11178180608 150073 33554432000 4194304 4196468 140736756278576 139984313182992 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10346] ppid=10288 vsize=10916192 memory=600288 CPUtime=6.64 cores=1,3,5,7
/proc/10291/task/10346/stat : 10346 (java) S 10288 10291 6157 0 -1 1077944384 9208 13245 0 0 622 34 5 3 20 0 15 0 77994661 11178180608 150073 33554432000 4194304 4196468 140736756278576 139984201456528 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10347] ppid=10288 vsize=10916192 memory=600292 CPUtime=6.65 cores=1,3,5,7
/proc/10291/task/10347/stat : 10347 (java) S 10288 10291 6157 0 -1 1077944384 8703 13245 0 0 623 34 5 3 20 0 15 0 77994661 11178180608 150073 33554432000 4194304 4196468 140736756278576 139984200403984 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10348] ppid=10288 vsize=10916192 memory=4140 CPUtime=6.66 cores=1,3,5,7
/proc/10291/task/10348/stat : 10348 (java) S 10288 10291 6157 0 -1 1077944384 11314 13245 0 0 625 33 5 3 20 0 15 0 77994661 11178180608 150073 33554432000 4194304 4196468 140736756278576 139984199351440 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10349] ppid=10288 vsize=10916192 memory=600292 CPUtime=6.52 cores=1,3,5,7
/proc/10291/task/10349/stat : 10349 (java) S 10288 10291 6157 0 -1 1077944384 10388 13245 0 0 611 33 5 3 20 0 15 0 77994663 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983767676912 139984308951682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10350] ppid=10288 vsize=10916192 memory=23308 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10350/stat : 10350 (java) S 10288 10291 6157 0 -1 1077944384 39 13245 0 0 0 0 5 3 20 0 15 0 77994663 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983766623264 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10351] ppid=10288 vsize=10916192 memory=600292 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10351/stat : 10351 (java) S 10288 10291 6157 0 -1 1077944384 4 13245 0 0 0 0 5 3 20 0 15 0 77994663 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983184716800 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10352] ppid=10288 vsize=10916192 memory=600292 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10352/stat : 10352 (java) S 10288 10291 6157 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 77994666 11178180608 150073 33554432000 4194304 4196468 140736756278576 139982849173712 139984308959131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10353] ppid=10288 vsize=10916192 memory=600288 CPUtime=5.98 cores=1,3,5,7
/proc/10291/task/10353/stat : 10353 (java) S 10288 10291 6157 0 -1 1077944384 28936 13245 0 0 584 6 5 3 20 0 15 0 77994666 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983733066224 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10354] ppid=10288 vsize=10916192 memory=600292 CPUtime=6.25 cores=1,3,5,7
/proc/10291/task/10354/stat : 10354 (java) S 10288 10291 6157 0 -1 1077944384 29657 13245 0 0 611 6 5 3 20 0 15 0 77994666 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983732013680 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10355] ppid=10288 vsize=10916192 memory=280243798158768 CPUtime=3.14 cores=1,3,5,7
/proc/10291/task/10355/stat : 10355 (java) S 10288 10291 6157 0 -1 1077944384 26141 13245 0 0 299 7 5 3 20 0 15 0 77994666 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983730961136 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10356] ppid=10288 vsize=10916192 memory=600292 CPUtime=0.08 cores=1,3,5,7
/proc/10291/task/10356/stat : 10356 (java) S 10288 10291 6157 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 77994666 11178180608 150073 33554432000 4194304 4196468 140736756278576 139982580739168 139984308950741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
[pid=10291/tid=10357] ppid=10288 vsize=10916192 memory=600292 CPUtime=1.36 cores=1,3,5,7
/proc/10291/task/10357/stat : 10357 (java) S 10288 10291 6157 0 -1 1077944384 827 13245 0 0 65 63 5 3 20 0 15 0 77994667 11178180608 150073 33554432000 4194304 4196468 140736756278576 139983729908016 139984308951682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37195776 140736756279918 140736756282716 140736756282716 140736756285391 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 600292 KiB
Child status: 143
Real time (s): 2486.73
CPU time (s): 2520.08
CPU user time (s): 2517.69
CPU system time (s): 2.39528
CPU usage (%): 101.341
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 613188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.69
system time used= 2.39528
maximum resident set size= 613700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229742
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 200770
involuntary context switches= 6103
# summary of solver processes directly reported to runsolver:
# pid: 10291
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.69
# total CPU system time (s): 2.39528
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1272 second user time and 19.8037 second system time
The end