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 (6699 MiB free)
memory of node 1: 16384 MiB (8873 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294054-1532424998/watcher-4294054-1532424998 -o /tmp/evaluation-result-4294054-1532424998/solver-4294054-1532424998 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532413601-12740 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1134945504 -superng HOME/instance-4294054-1532424998.xml
running on 4 cores: 0,2,4,6
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=15318, runsolver pid=15315
Current StackSize limit: 8192 KiB
[startup+0.100231 s]*
/proc/loadavg: 1.57 1.44 1.42 3/207 15372
/proc/meminfo: memFree=15941272/32770624 swapFree=67108860/67108860
[pid=15318] ppid=15315 vsize=9972712 memory=16548 CPUtime=0.1 cores=0,2,4,6
/proc/15318/stat : 15318 (java) S 15315 15318 12709 0 -1 1077944320 4316 13181 0 0 1 1 5 3 20 0 6 0 60062947 10212057088 4137 33554432000 4194304 4196468 140728637201472 140728637184016 140467865988855 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
/proc/15318/statm: 2493178 4137 1932 1 0 2481616 0
[pid=15318/tid=15371] ppid=15315 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15371/stat : 15371 (java) R 15315 15318 12709 0 -1 4202560 2140 13181 0 0 0 0 5 3 20 0 6 0 60062956 10212057088 4203 33554432000 4194304 4196468 140728637201472 140467837825616 140467850069342 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15372] ppid=15315 vsize=9972712 memory=5793855207892662713 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15372/stat : 15372 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 6 0 60062957 10212057088 4203 33554432000 4194304 4196468 140728637201472 140467870230928 140467865999061 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15373] ppid=15315 vsize=9972712 memory=139956882769536 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15373/stat : 15373 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 6 0 60062957 10212057088 4203 33554432000 4194304 4196468 140728637201472 140467785050384 140467865999061 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15374] ppid=15315 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15374/stat : 15374 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 6 0 60062957 10212057088 4203 33554432000 4194304 4196468 140728637201472 140467783998096 140467865999061 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15375] ppid=15315 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15375/stat : 15375 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 6 0 60062957 10212057088 4203 33554432000 4194304 4196468 140728637201472 140467782945296 140467865999061 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210978 s]*
/proc/loadavg: 1.57 1.44 1.42 3/219 15384
/proc/meminfo: memFree=15914936/32770624 swapFree=67108860/67108860
[pid=15318] ppid=15315 vsize=10818904 memory=45104 CPUtime=0.26 cores=0,2,4,6
/proc/15318/stat : 15318 (java) S 15315 15318 12709 0 -1 1077944320 7506 13181 0 0 16 2 5 3 20 0 15 0 60062947 11078557696 11276 33554432000 4194304 4196468 140728637201472 140728637184016 140467865988855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
/proc/15318/statm: 2704726 11276 2935 1 0 2667149 0
[pid=15318/tid=15371] ppid=15315 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/15318/task/15371/stat : 15371 (java) R 15315 15318 12709 0 -1 4202560 4238 13181 0 0 10 1 5 3 20 0 15 0 60062956 11078557696 11342 33554432000 4194304 4196468 140728637201472 140467837805968 140467846264562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15372] ppid=15315 vsize=10818904 memory=4211973683087560074 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15372/stat : 15372 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062957 11078557696 11342 33554432000 4194304 4196468 140728637201472 140467870230928 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15373] ppid=15315 vsize=10818904 memory=139956882769536 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15373/stat : 15373 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062957 11078557696 11342 33554432000 4194304 4196468 140728637201472 140467785050384 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15374] ppid=15315 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15374/stat : 15374 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062957 11078557696 11342 33554432000 4194304 4196468 140728637201472 140467783998096 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15375] ppid=15315 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15375/stat : 15375 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062957 11078557696 11342 33554432000 4194304 4196468 140728637201472 140467782945296 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15376] ppid=15315 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15376/stat : 15376 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062958 11078557696 11408 33554432000 4194304 4196468 140728637201472 140467392408176 140467866000002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15377] ppid=15315 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15377/stat : 15377 (java) S 15315 15318 12709 0 -1 1077944384 13 13181 0 0 0 0 5 3 20 0 15 0 60062959 11078557696 11408 33554432000 4194304 4196468 140728637201472 140467308061984 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15378] ppid=15315 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15378/stat : 15378 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062959 11078557696 11408 33554432000 4194304 4196468 140728637201472 140467173844592 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15379] ppid=15315 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15379/stat : 15379 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062961 11078557696 11408 33554432000 4194304 4196468 140728637201472 140466569865808 140467866007451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15380] ppid=15315 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15318/task/15380/stat : 15380 (java) S 15315 15318 12709 0 -1 1077944384 516 13181 0 0 1 0 5 3 20 0 15 0 60062962 11078557696 11408 33554432000 4194304 4196468 140728637201472 140467391354992 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15381] ppid=15315 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15381/stat : 15381 (java) S 15315 15318 12709 0 -1 1077944384 56 13181 0 0 0 0 5 3 20 0 15 0 60062962 11078557696 11408 33554432000 4194304 4196468 140728637201472 140467390302192 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15382] ppid=15315 vsize=10818904 memory=139956882769536 CPUtime=0.11 cores=0,2,4,6
/proc/15318/task/15382/stat : 15382 (java) S 15315 15318 12709 0 -1 1077944384 561 13181 0 0 3 0 5 3 20 0 15 0 60062962 11078557696 11408 33554432000 4194304 4196468 140728637201472 140467389249904 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15383] ppid=15315 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15383/stat : 15383 (java) S 15315 15318 12709 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 60062962 11078557696 11408 33554432000 4194304 4196468 140728637201472 140466100103648 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15384] ppid=15315 vsize=10818904 memory=139956882769536 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15384/stat : 15384 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062962 11078557696 11408 33554432000 4194304 4196468 140728637201472 140467388197808 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45104 KiB
[startup+0.310157 s]*
/proc/loadavg: 1.57 1.44 1.42 3/219 15384
/proc/meminfo: memFree=15903528/32770624 swapFree=67108860/67108860
[pid=15318] ppid=15315 vsize=10819352 memory=57152 CPUtime=0.38 cores=0,2,4,6
/proc/15318/stat : 15318 (java) S 15315 15318 12709 0 -1 1077944320 10380 13181 0 0 27 3 5 3 20 0 15 0 60062947 11079016448 14288 33554432000 4194304 4196468 140728637201472 140728637184016 140467865988855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
/proc/15318/statm: 2704838 14288 3054 1 0 2667149 0
[pid=15318/tid=15371] ppid=15315 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/15318/task/15371/stat : 15371 (java) R 15315 15318 12709 0 -1 4202560 7020 13181 0 0 18 2 5 3 20 0 15 0 60062956 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467837800864 140467866010781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15372] ppid=15315 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15372/stat : 15372 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062957 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467870230928 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15373] ppid=15315 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15373/stat : 15373 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062957 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467785050384 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15374] ppid=15315 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15374/stat : 15374 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062957 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467783998096 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15375] ppid=15315 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15375/stat : 15375 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062957 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467782945296 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15376] ppid=15315 vsize=10819352 memory=139956882769535 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15376/stat : 15376 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062958 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467392408176 140467866000002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15377] ppid=15315 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15377/stat : 15377 (java) S 15315 15318 12709 0 -1 1077944384 13 13181 0 0 0 0 5 3 20 0 15 0 60062959 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467308061984 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15378] ppid=15315 vsize=10819352 memory=139956882769536 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15378/stat : 15378 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062959 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467173844592 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15379] ppid=15315 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15379/stat : 15379 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062961 11079016448 14288 33554432000 4194304 4196468 140728637201472 140466569865808 140467866007451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15380] ppid=15315 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15318/task/15380/stat : 15380 (java) S 15315 15318 12709 0 -1 1077944384 517 13181 0 0 1 0 5 3 20 0 15 0 60062962 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467391354992 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15381] ppid=15315 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15318/task/15381/stat : 15381 (java) S 15315 15318 12709 0 -1 1077944384 56 13181 0 0 1 0 5 3 20 0 15 0 60062962 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467390302192 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15382] ppid=15315 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/15318/task/15382/stat : 15382 (java) S 15315 15318 12709 0 -1 1077944384 571 13181 0 0 5 0 5 3 20 0 15 0 60062962 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467389249904 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15383] ppid=15315 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15383/stat : 15383 (java) S 15315 15318 12709 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 60062962 11079016448 14288 33554432000 4194304 4196468 140728637201472 140466100103648 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15384] ppid=15315 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15384/stat : 15384 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062962 11079016448 14288 33554432000 4194304 4196468 140728637201472 140467388197808 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57152 KiB
[startup+0.700718 s]
/proc/loadavg: 1.57 1.44 1.42 3/219 15384
/proc/meminfo: memFree=15892736/32770624 swapFree=67108860/67108860
[pid=15318] ppid=15315 vsize=10819352 memory=90664 CPUtime=0.99 cores=0,2,4,6
/proc/15318/stat : 15318 (java) S 15315 15318 12709 0 -1 1077944320 16727 13181 0 0 87 4 5 3 20 0 15 0 60062947 11079016448 22666 33554432000 4194304 4196468 140728637201472 140728637184016 140467865988855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
/proc/15318/statm: 2704838 22666 3247 1 0 2667149 0
[pid=15318/tid=15371] ppid=15315 vsize=10819352 memory=18820 CPUtime=0.66 cores=0,2,4,6
/proc/15318/task/15371/stat : 15371 (java) R 15315 15318 12709 0 -1 4202560 12211 13181 0 0 55 3 5 3 20 0 15 0 60062956 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467837810576 140467866010781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15372] ppid=15315 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15372/stat : 15372 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062957 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467870230928 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15373] ppid=15315 vsize=10819352 memory=288230587427469581 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15373/stat : 15373 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062957 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467785050384 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15374] ppid=15315 vsize=10819352 memory=15816694631256675 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15374/stat : 15374 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062957 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467783998096 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15375] ppid=15315 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15375/stat : 15375 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062957 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467782945296 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15376] ppid=15315 vsize=10819352 memory=139956744135168 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15376/stat : 15376 (java) S 15315 15318 12709 0 -1 1077944384 5 13181 0 0 0 0 5 3 20 0 15 0 60062958 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467392408176 140467866000002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15377] ppid=15315 vsize=10819352 memory=139960099275797 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15377/stat : 15377 (java) S 15315 15318 12709 0 -1 1077944384 13 13181 0 0 0 0 5 3 20 0 15 0 60062959 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467308061984 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15378] ppid=15315 vsize=10819352 memory=952 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15378/stat : 15378 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062959 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467173844592 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15379] ppid=15315 vsize=10819352 memory=7305218370954682711 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15379/stat : 15379 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062961 11079016448 22666 33554432000 4194304 4196468 140728637201472 140466569865808 140467866007451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15380] ppid=15315 vsize=10819352 memory=7452169109558027630 CPUtime=0.18 cores=0,2,4,6
/proc/15318/task/15380/stat : 15380 (java) S 15315 15318 12709 0 -1 1077944384 1165 13181 0 0 10 0 5 3 20 0 15 0 60062962 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467391354992 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15381] ppid=15315 vsize=10819352 memory=6935653654008516688 CPUtime=0.15 cores=0,2,4,6
/proc/15318/task/15381/stat : 15381 (java) S 15315 15318 12709 0 -1 1077944384 466 13181 0 0 7 0 5 3 20 0 15 0 60062962 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467390302192 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15382] ppid=15315 vsize=10819352 memory=5450909908396308010 CPUtime=0.21 cores=0,2,4,6
/proc/15318/task/15382/stat : 15382 (java) S 15315 15318 12709 0 -1 1077944384 662 13181 0 0 13 0 5 3 20 0 15 0 60062962 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467389249904 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15383] ppid=15315 vsize=10819352 memory=1404238533774450294 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15383/stat : 15383 (java) S 15315 15318 12709 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 60062962 11079016448 22666 33554432000 4194304 4196468 140728637201472 140466100103648 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15384] ppid=15315 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15384/stat : 15384 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062962 11079016448 22666 33554432000 4194304 4196468 140728637201472 140467388197808 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90664 KiB
[startup+1.50074 s]
/proc/loadavg: 1.61 1.45 1.42 4/219 15384
/proc/meminfo: memFree=15849072/32770624 swapFree=67108860/67108860
[pid=15318] ppid=15315 vsize=10834252 memory=181068 CPUtime=2.3 cores=0,2,4,6
/proc/15318/stat : 15318 (java) S 15315 15318 12709 0 -1 1077944320 23906 13181 0 0 211 11 5 3 20 0 15 0 60062947 11094274048 45267 33554432000 4194304 4196468 140728637201472 140728637184016 140467865988855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
/proc/15318/statm: 2708563 45267 3478 1 0 2670221 0
[pid=15318/tid=15371] ppid=15315 vsize=10834252 memory=140920 CPUtime=1.43 cores=0,2,4,6
/proc/15318/task/15371/stat : 15371 (java) R 15315 15318 12709 0 -1 4202560 17723 13181 0 0 128 7 5 3 20 0 15 0 60062956 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467837820256 140467866010781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15372] ppid=15315 vsize=10834252 memory=-3117775541953849444 CPUtime=0.09 cores=0,2,4,6
/proc/15318/task/15372/stat : 15372 (java) S 15315 15318 12709 0 -1 1077944384 73 13181 0 0 1 0 5 3 20 0 15 0 60062957 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467870230928 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15373] ppid=15315 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15318/task/15373/stat : 15373 (java) S 15315 15318 12709 0 -1 1077944384 11 13181 0 0 1 0 5 3 20 0 15 0 60062957 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467785050384 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15374] ppid=15315 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15318/task/15374/stat : 15374 (java) S 15315 15318 12709 0 -1 1077944384 192 13181 0 0 1 0 5 3 20 0 15 0 60062957 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467783998096 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15375] ppid=15315 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15375/stat : 15375 (java) S 15315 15318 12709 0 -1 1077944384 25 13181 0 0 0 0 5 3 20 0 15 0 60062957 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467782945296 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15376] ppid=15315 vsize=10834252 memory=205996161036847 CPUtime=0.09 cores=0,2,4,6
/proc/15318/task/15376/stat : 15376 (java) S 15315 15318 12709 0 -1 1077944384 55 13181 0 0 1 0 5 3 20 0 15 0 60062958 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467392408176 140467866000002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15377] ppid=15315 vsize=10834252 memory=3904963032027245965 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15377/stat : 15377 (java) S 15315 15318 12709 0 -1 1077944384 14 13181 0 0 0 0 5 3 20 0 15 0 60062959 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467308062048 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15378] ppid=15315 vsize=10834252 memory=4638778419807998288 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15378/stat : 15378 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062959 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467173844592 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15379] ppid=15315 vsize=10834252 memory=6935649255776346176 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15379/stat : 15379 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062961 11094274048 45267 33554432000 4194304 4196468 140728637201472 140466569865808 140467866007451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15380] ppid=15315 vsize=10834252 memory=279913487663344 CPUtime=0.31 cores=0,2,4,6
/proc/15318/task/15380/stat : 15380 (java) S 15315 15318 12709 0 -1 1077944384 1651 13181 0 0 23 0 5 3 20 0 15 0 60062962 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467391354992 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15381] ppid=15315 vsize=10834252 memory=6935649255759570240 CPUtime=0.26 cores=0,2,4,6
/proc/15318/task/15381/stat : 15381 (java) S 15315 15318 12709 0 -1 1077944384 661 13181 0 0 18 0 5 3 20 0 15 0 60062962 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467390302192 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15382] ppid=15315 vsize=10834252 memory=-6942680937415207010 CPUtime=0.42 cores=0,2,4,6
/proc/15318/task/15382/stat : 15382 (java) S 15315 15318 12709 0 -1 1077944384 1302 13181 0 0 34 0 5 3 20 0 15 0 60062962 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467389249904 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15383] ppid=15315 vsize=10834252 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15383/stat : 15383 (java) S 15315 15318 12709 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 60062962 11094274048 45267 33554432000 4194304 4196468 140728637201472 140466100103648 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15384] ppid=15315 vsize=10834252 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15384/stat : 15384 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062962 11094274048 45267 33554432000 4194304 4196468 140728637201472 140467388197808 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/15318/task/15371/stat : 15371 (java) R 15315 15318 12709 0 -1 4202560 90835 13181 0 0 235541 50 5 3 20 0 15 0 60062956 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467837823056 140467477485488 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15372] ppid=15315 vsize=10916192 memory=996396 CPUtime=11.4 cores=0,2,4,6
/proc/15318/task/15372/stat : 15372 (java) S 15315 15318 12709 0 -1 1077944384 12215 13181 0 0 1077 55 5 3 20 0 15 0 60062957 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467870230928 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15373] ppid=15315 vsize=10916192 memory=996396 CPUtime=11.45 cores=0,2,4,6
/proc/15318/task/15373/stat : 15373 (java) S 15315 15318 12709 0 -1 1077944384 8414 13181 0 0 1083 54 5 3 20 0 15 0 60062957 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467785050384 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15374] ppid=15315 vsize=10916192 memory=996396 CPUtime=11.47 cores=0,2,4,6
/proc/15318/task/15374/stat : 15374 (java) S 15315 15318 12709 0 -1 1077944384 7012 13181 0 0 1085 54 5 3 20 0 15 0 60062957 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467783998096 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15375] ppid=15315 vsize=10916192 memory=996396 CPUtime=11.45 cores=0,2,4,6
/proc/15318/task/15375/stat : 15375 (java) S 15315 15318 12709 0 -1 1077944384 7803 13181 0 0 1080 57 5 3 20 0 15 0 60062957 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467782945296 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15376] ppid=15315 vsize=10916192 memory=996396 CPUtime=11.25 cores=0,2,4,6
/proc/15318/task/15376/stat : 15376 (java) S 15315 15318 12709 0 -1 1077944384 12268 13181 0 0 1069 48 5 3 20 0 15 0 60062958 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467392408176 140467866000002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15377] ppid=15315 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15377/stat : 15377 (java) S 15315 15318 12709 0 -1 1077944384 18 13181 0 0 0 0 5 3 20 0 15 0 60062959 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467308062048 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15378] ppid=15315 vsize=10916192 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15378/stat : 15378 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062959 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467173844608 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15379] ppid=15315 vsize=10916192 memory=996396 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15379/stat : 15379 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062961 11178180608 249099 33554432000 4194304 4196468 140728637201472 140466569865808 140467866007451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15380] ppid=15315 vsize=10916192 memory=996396 CPUtime=7.05 cores=0,2,4,6
/proc/15318/task/15380/stat : 15380 (java) S 15315 15318 12709 0 -1 1077944384 55548 13181 0 0 689 8 5 3 20 0 15 0 60062962 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467391354992 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15381] ppid=15315 vsize=10916192 memory=2340 CPUtime=6.87 cores=0,2,4,6
/proc/15318/task/15381/stat : 15381 (java) S 15315 15318 12709 0 -1 1077944384 50042 13181 0 0 672 7 5 3 20 0 15 0 60062962 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467390302192 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15382] ppid=15315 vsize=10916192 memory=1572 CPUtime=3.77 cores=0,2,4,6
/proc/15318/task/15382/stat : 15382 (java) S 15315 15318 12709 0 -1 1077944384 54216 13181 0 0 361 8 5 3 20 0 15 0 60062962 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467389249904 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15383] ppid=15315 vsize=10916192 memory=996396 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15383/stat : 15383 (java) S 15315 15318 12709 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 60062962 11178180608 249099 33554432000 4194304 4196468 140728637201472 140466100103648 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15384] ppid=15315 vsize=10916192 memory=996396 CPUtime=1.57 cores=0,2,4,6
/proc/15318/task/15384/stat : 15384 (java) S 15315 15318 12709 0 -1 1077944384 2175 13181 0 0 76 73 5 3 20 0 15 0 60062962 11178180608 249099 33554432000 4194304 4196468 140728637201472 140467388197808 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
Current children cumulated CPU time: 2431.65 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 996396 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.42 1.45 3/218 15865
/proc/meminfo: memFree=14342628/32770624 swapFree=67108860/67108860
[pid=15318] ppid=15315 vsize=10916192 memory=998468 CPUtime=2492.39 cores=0,2,4,6
/proc/15318/stat : 15318 (java) S 15315 15318 12709 0 -1 1077944320 303749 13181 0 0 248878 353 5 3 20 0 15 0 60062947 11178180608 249617 33554432000 4194304 4196468 140728637201472 140728637184016 140467865988855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
/proc/15318/statm: 2729048 249617 3525 1 0 2690701 0
[pid=15318/tid=15371] ppid=15315 vsize=10916192 memory=998468 CPUtime=2415.4 cores=0,2,4,6
/proc/15318/task/15371/stat : 15371 (java) S 15315 15318 12709 0 -1 1077944384 91386 13181 0 0 241481 51 5 3 20 0 15 0 60062956 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467837823792 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15372] ppid=15315 vsize=10916192 memory=996396 CPUtime=11.67 cores=0,2,4,6
/proc/15318/task/15372/stat : 15372 (java) R 15315 15318 12709 0 -1 4202560 12283 13181 0 0 1103 56 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467870230928 140467849371890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15373] ppid=15315 vsize=10916192 memory=996408 CPUtime=11.71 cores=0,2,4,6
/proc/15318/task/15373/stat : 15373 (java) R 15315 15318 12709 0 -1 1077944384 8435 13181 0 0 1108 55 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467785050384 140467865999061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15374] ppid=15315 vsize=10916192 memory=996408 CPUtime=11.73 cores=0,2,4,6
/proc/15318/task/15374/stat : 15374 (java) R 15315 15318 12709 0 -1 4202560 7104 13181 0 0 1110 55 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467783998096 140467858617063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15375] ppid=15315 vsize=10916192 memory=996408 CPUtime=11.71 cores=0,2,4,6
/proc/15318/task/15375/stat : 15375 (java) R 15315 15318 12709 0 -1 4202560 7848 13181 0 0 1105 58 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467782945296 140467851030614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15376] ppid=15315 vsize=10916192 memory=996408 CPUtime=11.49 cores=0,2,4,6
/proc/15318/task/15376/stat : 15376 (java) S 15315 15318 12709 0 -1 1077944384 12484 13181 0 0 1092 49 5 3 20 0 15 0 60062958 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467392406688 140467865999061 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15377] ppid=15315 vsize=10916192 memory=996408 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15377/stat : 15377 (java) S 15315 15318 12709 0 -1 1077944384 18 13181 0 0 0 0 5 3 20 0 15 0 60062959 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467308062048 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15378] ppid=15315 vsize=10916192 memory=998468 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15378/stat : 15378 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062959 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467173844608 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15379] ppid=15315 vsize=10916192 memory=998468 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15379/stat : 15379 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062961 11178180608 249617 33554432000 4194304 4196468 140728637201472 140466569865808 140467866007451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15380] ppid=15315 vsize=10916192 memory=996408 CPUtime=7.05 cores=0,2,4,6
/proc/15318/task/15380/stat : 15380 (java) S 15315 15318 12709 0 -1 1077944384 55550 13181 0 0 689 8 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467391354992 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15381] ppid=15315 vsize=10916192 memory=998468 CPUtime=6.88 cores=0,2,4,6
/proc/15318/task/15381/stat : 15381 (java) S 15315 15318 12709 0 -1 1077944384 50044 13181 0 0 673 7 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467390302192 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15382] ppid=15315 vsize=10916192 memory=998468 CPUtime=3.77 cores=0,2,4,6
/proc/15318/task/15382/stat : 15382 (java) S 15315 15318 12709 0 -1 1077944384 54218 13181 0 0 361 8 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467389249904 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15383] ppid=15315 vsize=10916192 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15383/stat : 15383 (java) S 15315 15318 12709 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140466100103648 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15384] ppid=15315 vsize=10916192 memory=998468 CPUtime=1.6 cores=0,2,4,6
/proc/15318/task/15384/stat : 15384 (java) S 15315 15318 12709 0 -1 1077944384 2183 13181 0 0 78 74 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467388197808 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
Current children cumulated CPU time: 2492.39 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 998468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2469.5 s]
/proc/loadavg: 1.37 1.42 1.45 3/218 15865
/proc/meminfo: memFree=14343440/32770624 swapFree=67108860/67108860
[pid=15318] ppid=15315 vsize=10916192 memory=998468 CPUtime=2520 cores=0,2,4,6
/proc/15318/stat : 15318 (java) S 15315 15318 12709 0 -1 1077944320 303988 13181 0 0 251636 356 5 3 20 0 15 0 60062947 11178180608 249617 33554432000 4194304 4196468 140728637201472 140728637184016 140467865988855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
/proc/15318/statm: 2729048 249617 3525 1 0 2690701 0
[pid=15318/tid=15371] ppid=15315 vsize=10916192 memory=998468 CPUtime=2442.28 cores=0,2,4,6
/proc/15318/task/15371/stat : 15371 (java) R 15315 15318 12709 0 -1 4202560 91599 13181 0 0 244169 51 5 3 20 0 15 0 60062956 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467837823200 140467474154097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15372] ppid=15315 vsize=10916192 memory=0 CPUtime=11.82 cores=0,2,4,6
/proc/15318/task/15372/stat : 15372 (java) S 15315 15318 12709 0 -1 1077944384 12285 13181 0 0 1117 57 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467870230928 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15373] ppid=15315 vsize=10916192 memory=998468 CPUtime=11.85 cores=0,2,4,6
/proc/15318/task/15373/stat : 15373 (java) S 15315 15318 12709 0 -1 1077944384 8440 13181 0 0 1122 55 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467785050384 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15374] ppid=15315 vsize=10916192 memory=998468 CPUtime=11.87 cores=0,2,4,6
/proc/15318/task/15374/stat : 15374 (java) S 15315 15318 12709 0 -1 1077944384 7110 13181 0 0 1124 55 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467783998096 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15375] ppid=15315 vsize=10916192 memory=998468 CPUtime=11.86 cores=0,2,4,6
/proc/15318/task/15375/stat : 15375 (java) S 15315 15318 12709 0 -1 1077944384 7851 13181 0 0 1119 59 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467782945296 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15376] ppid=15315 vsize=10916192 memory=998468 CPUtime=11.62 cores=0,2,4,6
/proc/15318/task/15376/stat : 15376 (java) S 15315 15318 12709 0 -1 1077944384 12490 13181 0 0 1105 49 5 3 20 0 15 0 60062958 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467392408176 140467866000002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15377] ppid=15315 vsize=10916192 memory=998468 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15377/stat : 15377 (java) S 15315 15318 12709 0 -1 1077944384 18 13181 0 0 0 0 5 3 20 0 15 0 60062959 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467308062048 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15378] ppid=15315 vsize=10916192 memory=998468 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15378/stat : 15378 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062959 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467173844608 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15379] ppid=15315 vsize=10916192 memory=998468 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15379/stat : 15379 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062961 11178180608 249617 33554432000 4194304 4196468 140728637201472 140466569865808 140467866007451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15380] ppid=15315 vsize=10916192 memory=998468 CPUtime=7.05 cores=0,2,4,6
/proc/15318/task/15380/stat : 15380 (java) S 15315 15318 12709 0 -1 1077944384 55550 13181 0 0 689 8 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467391354992 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15381] ppid=15315 vsize=10916192 memory=998468 CPUtime=6.88 cores=0,2,4,6
/proc/15318/task/15381/stat : 15381 (java) S 15315 15318 12709 0 -1 1077944384 50044 13181 0 0 673 7 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467390302192 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15382] ppid=15315 vsize=10916192 memory=998468 CPUtime=3.77 cores=0,2,4,6
/proc/15318/task/15382/stat : 15382 (java) S 15315 15318 12709 0 -1 1077944384 54218 13181 0 0 361 8 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467389249904 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15383] ppid=15315 vsize=10916192 memory=998468 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15383/stat : 15383 (java) S 15315 15318 12709 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140466100103648 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15384] ppid=15315 vsize=10916192 memory=998468 CPUtime=1.62 cores=0,2,4,6
/proc/15318/task/15384/stat : 15384 (java) S 15315 15318 12709 0 -1 1077944384 2185 13181 0 0 79 75 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467388197808 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 998468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2469.53 s]
# the end of solver process 15318 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.43 s, system=3.60863 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2469.5 s]
/proc/loadavg: 1.37 1.42 1.45 3/218 15865
/proc/meminfo: memFree=14343440/32770624 swapFree=67108860/67108860
[pid=15318] ppid=15315 vsize=10916192 memory=998468 CPUtime=2520 cores=0,2,4,6
/proc/15318/stat : 15318 (java) S 15315 15318 12709 0 -1 1077944320 303988 13181 0 0 251636 356 5 3 20 0 15 0 60062947 11178180608 249617 33554432000 4194304 4196468 140728637201472 140728637184016 140467865988855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
/proc/15318/statm: 2729048 249617 3525 1 0 2690701 0
[pid=15318/tid=15371] ppid=15315 vsize=10916192 memory=998468 CPUtime=2442.28 cores=0,2,4,6
/proc/15318/task/15371/stat : 15371 (java) R 15315 15318 12709 0 -1 4202560 91599 13181 0 0 244169 51 5 3 20 0 15 0 60062956 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467837823200 140467474154097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15372] ppid=15315 vsize=10916192 memory=0 CPUtime=11.82 cores=0,2,4,6
/proc/15318/task/15372/stat : 15372 (java) S 15315 15318 12709 0 -1 1077944384 12285 13181 0 0 1117 57 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467870230928 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15373] ppid=15315 vsize=10916192 memory=998468 CPUtime=11.85 cores=0,2,4,6
/proc/15318/task/15373/stat : 15373 (java) S 15315 15318 12709 0 -1 1077944384 8440 13181 0 0 1122 55 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467785050384 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15374] ppid=15315 vsize=10916192 memory=998468 CPUtime=11.87 cores=0,2,4,6
/proc/15318/task/15374/stat : 15374 (java) S 15315 15318 12709 0 -1 1077944384 7110 13181 0 0 1124 55 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467783998096 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15375] ppid=15315 vsize=10916192 memory=998468 CPUtime=11.86 cores=0,2,4,6
/proc/15318/task/15375/stat : 15375 (java) S 15315 15318 12709 0 -1 1077944384 7851 13181 0 0 1119 59 5 3 20 0 15 0 60062957 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467782945296 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15376] ppid=15315 vsize=10916192 memory=998468 CPUtime=11.62 cores=0,2,4,6
/proc/15318/task/15376/stat : 15376 (java) S 15315 15318 12709 0 -1 1077944384 12490 13181 0 0 1105 49 5 3 20 0 15 0 60062958 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467392408176 140467866000002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15377] ppid=15315 vsize=10916192 memory=998468 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15377/stat : 15377 (java) S 15315 15318 12709 0 -1 1077944384 18 13181 0 0 0 0 5 3 20 0 15 0 60062959 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467308062048 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15378] ppid=15315 vsize=10916192 memory=998468 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15378/stat : 15378 (java) S 15315 15318 12709 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 60062959 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467173844608 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15379] ppid=15315 vsize=10916192 memory=998468 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15379/stat : 15379 (java) S 15315 15318 12709 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 60062961 11178180608 249617 33554432000 4194304 4196468 140728637201472 140466569865808 140467866007451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15380] ppid=15315 vsize=10916192 memory=998468 CPUtime=7.05 cores=0,2,4,6
/proc/15318/task/15380/stat : 15380 (java) S 15315 15318 12709 0 -1 1077944384 55550 13181 0 0 689 8 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467391354992 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15381] ppid=15315 vsize=10916192 memory=998468 CPUtime=6.88 cores=0,2,4,6
/proc/15318/task/15381/stat : 15381 (java) S 15315 15318 12709 0 -1 1077944384 50044 13181 0 0 673 7 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467390302192 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15382] ppid=15315 vsize=10916192 memory=998468 CPUtime=3.77 cores=0,2,4,6
/proc/15318/task/15382/stat : 15382 (java) S 15315 15318 12709 0 -1 1077944384 54218 13181 0 0 361 8 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467389249904 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15383] ppid=15315 vsize=10916192 memory=998468 CPUtime=0.08 cores=0,2,4,6
/proc/15318/task/15383/stat : 15383 (java) S 15315 15318 12709 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140466100103648 140467865999061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
[pid=15318/tid=15384] ppid=15315 vsize=10916192 memory=998468 CPUtime=1.62 cores=0,2,4,6
/proc/15318/task/15384/stat : 15384 (java) S 15315 15318 12709 0 -1 1077944384 2185 13181 0 0 79 75 5 3 20 0 15 0 60062962 11178180608 249617 33554432000 4194304 4196468 140728637201472 140467388197808 140467866000002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140728637208747 140728637211996 140728637211996 140728637214671 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 998468 KiB
Child status: 143
Real time (s): 2469.53
CPU time (s): 2520.03
CPU user time (s): 2516.43
CPU system time (s): 3.60863
CPU usage (%): 102.045
Max. virtual memory (cumulated for all children) (KiB): 10919028
Max. memory (cumulated for all children) (KiB): 998468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.43
system time used= 3.60863
maximum resident set size= 1002596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 291752
involuntary context switches= 10151
# summary of solver processes directly reported to runsolver:
# pid: 15318
# total CPU time (s): 2520.03
# total CPU user time (s): 2516.43
# total CPU system time (s): 3.60863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0587 second user time and 22.997 second system time
The end