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 (10484 MiB free)
memory of node 1: 16384 MiB (12843 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302415-1532896278/watcher-4302415-1532896278 -o /tmp/evaluation-result-4302415-1532896278/solver-4302415-1532896278 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2010947621 HOME/instance-4302415-1532896278.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB
solver pid=18309, runsolver pid=18306
[startup+0.100058 s]*
/proc/loadavg: 1.57 1.63 1.79 3/207 18366
/proc/meminfo: memFree=23880704/32770624 swapFree=67108860/67108860
[pid=18309] ppid=18306 vsize=10005480 memory=17080 CPUtime=0.08 cores=0,2,4,6
/proc/18309/stat : 18309 (java) S 18306 18309 12183 0 -1 1077944320 4406 12857 0 0 1 0 4 3 20 0 6 0 107190963 10245611520 4270 33554432000 4194304 4196468 140725082830128 140725082812672 140657627725559 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
/proc/18309/statm: 2501370 4270 1935 1 0 2489808 0
[pid=18309/tid=18362] ppid=18306 vsize=10005480 memory=4279135703913364878 CPUtime=0.08 cores=0,2,4,6
/proc/18309/task/18362/stat : 18362 (java) R 18306 18309 12183 0 -1 4202560 2250 12857 0 0 1 0 4 3 20 0 6 0 107190972 10245611520 4270 33554432000 4194304 4196468 140725082830128 140657599562320 140657610917872 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18363] ppid=18306 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18363/stat : 18363 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 6 0 107190973 10245611520 4270 33554432000 4194304 4196468 140725082830128 140657631967760 140657627735765 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18364] ppid=18306 vsize=10005480 memory=140243205662336 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18364/stat : 18364 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 6 0 107190973 10245611520 4270 33554432000 4194304 4196468 140725082830128 140657497303696 140657627735765 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18365] ppid=18306 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18365/stat : 18365 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 6 0 107190973 10245611520 4270 33554432000 4194304 4196468 140725082830128 140657496250640 140657627735765 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18366] ppid=18306 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18366/stat : 18366 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 6 0 107190973 10245611520 4270 33554432000 4194304 4196468 140725082830128 140657165199760 140657627735765 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210219 s]*
/proc/loadavg: 1.57 1.63 1.79 3/216 18375
/proc/meminfo: memFree=23856508/32770624 swapFree=67108860/67108860
[pid=18309] ppid=18306 vsize=10982744 memory=47240 CPUtime=0.25 cores=0,2,4,6
/proc/18309/stat : 18309 (java) S 18306 18309 12183 0 -1 1077944320 8036 12857 0 0 17 1 4 3 20 0 15 0 107190963 11246329856 11810 33554432000 4194304 4196468 140725082830128 140725082812672 140657627725559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
/proc/18309/statm: 2745686 11810 2950 1 0 2708109 0
[pid=18309/tid=18362] ppid=18306 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/18309/task/18362/stat : 18362 (java) D 18306 18309 12183 0 -1 1077944384 4594 12857 0 0 11 1 4 3 20 0 15 0 107190972 11246329856 11810 33554432000 4194304 4196468 140725082830128 140657599550368 140657620404781 0 4 0 16800975 18446744072101785124 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18363] ppid=18306 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18363/stat : 18363 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246329856 11810 33554432000 4194304 4196468 140725082830128 140657631967760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18364] ppid=18306 vsize=10982744 memory=140243205662336 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18364/stat : 18364 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246329856 11810 33554432000 4194304 4196468 140725082830128 140657497303696 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18365] ppid=18306 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18365/stat : 18365 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246329856 11810 33554432000 4194304 4196468 140725082830128 140657496250640 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18366] ppid=18306 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18366/stat : 18366 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246329856 11810 33554432000 4194304 4196468 140725082830128 140657165199760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18367] ppid=18306 vsize=10982744 memory=140243205662336 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18367/stat : 18367 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 15 0 107190974 11246329856 11810 33554432000 4194304 4196468 140725082830128 140656746912496 140657627736706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18368] ppid=18306 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18368/stat : 18368 (java) S 18306 18309 12183 0 -1 1077944384 13 12857 0 0 0 0 4 3 20 0 15 0 107190975 11246329856 11810 33554432000 4194304 4196468 140725082830128 140656420841120 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18369] ppid=18306 vsize=10982776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18369/stat : 18369 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190975 11246362624 11810 33554432000 4194304 4196468 140725082830128 140656219514096 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18370] ppid=18306 vsize=10982776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18370/stat : 18370 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11246362624 11876 33554432000 4194304 4196468 140725082830128 140655912114640 140657627744155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18371] ppid=18306 vsize=10983736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18309/task/18371/stat : 18371 (java) S 18306 18309 12183 0 -1 1077944384 494 12857 0 0 1 0 4 3 20 0 15 0 107190978 11247345664 11876 33554432000 4194304 4196468 140725082830128 140656745859312 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18372] ppid=18306 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18372/stat : 18372 (java) S 18306 18309 12183 0 -1 1077944384 129 12857 0 0 0 0 4 3 20 0 15 0 107190978 11247345664 11876 33554432000 4194304 4196468 140725082830128 140656744806768 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18373] ppid=18306 vsize=10983736 memory=140243205662336 CPUtime=0.1 cores=0,2,4,6
/proc/18309/task/18373/stat : 18373 (java) S 18306 18309 12183 0 -1 1077944384 604 12857 0 0 3 0 4 3 20 0 15 0 107190978 11247345664 11876 33554432000 4194304 4196468 140725082830128 140656743753712 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18374] ppid=18306 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18374/stat : 18374 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11247345664 11876 33554432000 4194304 4196468 140725082830128 140655481317728 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18375] ppid=18306 vsize=10983736 memory=140243205662336 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18375/stat : 18375 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190978 11247345664 11942 33554432000 4194304 4196468 140725082830128 140656742702128 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 47240 KiB
[startup+0.310357 s]*
/proc/loadavg: 1.57 1.63 1.79 3/216 18375
/proc/meminfo: memFree=23844948/32770624 swapFree=67108860/67108860
[pid=18309] ppid=18306 vsize=10983192 memory=57940 CPUtime=0.38 cores=0,2,4,6
/proc/18309/stat : 18309 (java) S 18306 18309 12183 0 -1 1077944320 10533 12857 0 0 29 2 4 3 20 0 15 0 107190963 11246788608 14485 33554432000 4194304 4196468 140725082830128 140725082812672 140657627725559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
/proc/18309/statm: 2745798 14485 3069 1 0 2708109 0
[pid=18309/tid=18362] ppid=18306 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/18309/task/18362/stat : 18362 (java) R 18306 18309 12183 0 -1 4202560 7084 12857 0 0 20 1 4 3 20 0 15 0 107190972 11246788608 14485 33554432000 4194304 4196468 140725082830128 140657599537568 140657613419040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18363] ppid=18306 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18363/stat : 18363 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246788608 14485 33554432000 4194304 4196468 140725082830128 140657631967760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18364] ppid=18306 vsize=10983192 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18364/stat : 18364 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246788608 14485 33554432000 4194304 4196468 140725082830128 140657497303696 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18365] ppid=18306 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18365/stat : 18365 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246788608 14485 33554432000 4194304 4196468 140725082830128 140657496250640 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18366] ppid=18306 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18366/stat : 18366 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246788608 14485 33554432000 4194304 4196468 140725082830128 140657165199760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18367] ppid=18306 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18367/stat : 18367 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 15 0 107190974 11246788608 14485 33554432000 4194304 4196468 140725082830128 140656746912496 140657627736706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18368] ppid=18306 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18368/stat : 18368 (java) S 18306 18309 12183 0 -1 1077944384 13 12857 0 0 0 0 4 3 20 0 15 0 107190975 11246788608 14485 33554432000 4194304 4196468 140725082830128 140656420841120 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18369] ppid=18306 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18369/stat : 18369 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190975 11246788608 14485 33554432000 4194304 4196468 140725082830128 140656219514096 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18370] ppid=18306 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18370/stat : 18370 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11246788608 14485 33554432000 4194304 4196468 140725082830128 140655912114640 140657627744155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18371] ppid=18306 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18309/task/18371/stat : 18371 (java) S 18306 18309 12183 0 -1 1077944384 499 12857 0 0 2 0 4 3 20 0 15 0 107190978 11246788608 14485 33554432000 4194304 4196468 140725082830128 140656745859312 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18372] ppid=18306 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18309/task/18372/stat : 18372 (java) S 18306 18309 12183 0 -1 1077944384 129 12857 0 0 1 0 4 3 20 0 15 0 107190978 11246788608 14485 33554432000 4194304 4196468 140725082830128 140656744806768 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18373] ppid=18306 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18309/task/18373/stat : 18373 (java) S 18306 18309 12183 0 -1 1077944384 610 12857 0 0 5 0 4 3 20 0 15 0 107190978 11246788608 14485 33554432000 4194304 4196468 140725082830128 140656743753712 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18374] ppid=18306 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18374/stat : 18374 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11246788608 14485 33554432000 4194304 4196468 140725082830128 140655481317728 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18375] ppid=18306 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18375/stat : 18375 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190978 11246788608 14485 33554432000 4194304 4196468 140725082830128 140656742702128 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57940 KiB
[startup+0.70079 s]
/proc/loadavg: 1.57 1.63 1.79 3/216 18375
/proc/meminfo: memFree=23834320/32770624 swapFree=67108860/67108860
[pid=18309] ppid=18306 vsize=10983192 memory=90756 CPUtime=0.99 cores=0,2,4,6
/proc/18309/stat : 18309 (java) S 18306 18309 12183 0 -1 1077944320 16753 12857 0 0 88 4 4 3 20 0 15 0 107190963 11246788608 22689 33554432000 4194304 4196468 140725082830128 140725082812672 140657627725559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
/proc/18309/statm: 2745798 22689 3239 1 0 2708109 0
[pid=18309/tid=18362] ppid=18306 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/18309/task/18362/stat : 18362 (java) R 18306 18309 12183 0 -1 4202560 12207 12857 0 0 56 3 4 3 20 0 15 0 107190972 11246788608 22689 33554432000 4194304 4196468 140725082830128 140657599546384 140657612891231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18363] ppid=18306 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18363/stat : 18363 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246788608 22689 33554432000 4194304 4196468 140725082830128 140657631967760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18364] ppid=18306 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18364/stat : 18364 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246788608 22689 33554432000 4194304 4196468 140725082830128 140657497303696 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18365] ppid=18306 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18365/stat : 18365 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246788608 22689 33554432000 4194304 4196468 140725082830128 140657496250640 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18366] ppid=18306 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18366/stat : 18366 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11246788608 22689 33554432000 4194304 4196468 140725082830128 140657165199760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18367] ppid=18306 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18367/stat : 18367 (java) S 18306 18309 12183 0 -1 1077944384 5 12857 0 0 0 0 4 3 20 0 15 0 107190974 11246788608 22689 33554432000 4194304 4196468 140725082830128 140656746912496 140657627736706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18368] ppid=18306 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18368/stat : 18368 (java) S 18306 18309 12183 0 -1 1077944384 13 12857 0 0 0 0 4 3 20 0 15 0 107190975 11246788608 22689 33554432000 4194304 4196468 140725082830128 140656420841120 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18369] ppid=18306 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18369/stat : 18369 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190975 11246788608 22689 33554432000 4194304 4196468 140725082830128 140656219514096 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18370] ppid=18306 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18370/stat : 18370 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11246788608 22689 33554432000 4194304 4196468 140725082830128 140655912114640 140657627744155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18371] ppid=18306 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/18309/task/18371/stat : 18371 (java) S 18306 18309 12183 0 -1 1077944384 1088 12857 0 0 10 0 4 3 20 0 15 0 107190978 11246788608 22689 33554432000 4194304 4196468 140725082830128 140656745859312 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18372] ppid=18306 vsize=10983192 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/18309/task/18372/stat : 18372 (java) S 18306 18309 12183 0 -1 1077944384 549 12857 0 0 7 0 4 3 20 0 15 0 107190978 11246788608 22689 33554432000 4194304 4196468 140725082830128 140656744806768 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18373] ppid=18306 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/18309/task/18373/stat : 18373 (java) S 18306 18309 12183 0 -1 1077944384 687 12857 0 0 13 0 4 3 20 0 15 0 107190978 11246788608 22689 33554432000 4194304 4196468 140725082830128 140656743753712 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18374] ppid=18306 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18374/stat : 18374 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11246788608 22689 33554432000 4194304 4196468 140725082830128 140655481317728 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18375] ppid=18306 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18375/stat : 18375 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190978 11246788608 22689 33554432000 4194304 4196468 140725082830128 140656742702128 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90756 KiB
[startup+1.50077 s]
/proc/loadavg: 1.57 1.63 1.79 4/216 18375
/proc/meminfo: memFree=23787740/32770624 swapFree=67108860/67108860
[pid=18309] ppid=18306 vsize=10997712 memory=189344 CPUtime=3.13 cores=0,2,4,6
/proc/18309/stat : 18309 (java) S 18306 18309 12183 0 -1 1077944320 28236 12857 0 0 298 8 4 3 20 0 15 0 107190963 11261657088 47336 33554432000 4194304 4196468 140725082830128 140725082812672 140657627725559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
/proc/18309/statm: 2749428 47336 3449 1 0 2711086 0
[pid=18309/tid=18362] ppid=18306 vsize=10997712 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/18309/task/18362/stat : 18362 (java) R 18306 18309 12183 0 -1 4202560 17361 12857 0 0 133 5 4 3 20 0 15 0 107190972 11261657088 47336 33554432000 4194304 4196468 140725082830128 140657599550432 140657627747485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18363] ppid=18306 vsize=10997712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18363/stat : 18363 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 15 0 107190973 11261657088 47336 33554432000 4194304 4196468 140725082830128 140657631967760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18364] ppid=18306 vsize=10997712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18364/stat : 18364 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11261657088 47336 33554432000 4194304 4196468 140725082830128 140657497303696 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18365] ppid=18306 vsize=10997712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18365/stat : 18365 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11261657088 47336 33554432000 4194304 4196468 140725082830128 140657496250640 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18366] ppid=18306 vsize=10997712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18366/stat : 18366 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190973 11261657088 47336 33554432000 4194304 4196468 140725082830128 140657165199760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18367] ppid=18306 vsize=10997712 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18367/stat : 18367 (java) S 18306 18309 12183 0 -1 1077944384 13 12857 0 0 0 0 4 3 20 0 15 0 107190974 11261657088 47336 33554432000 4194304 4196468 140725082830128 140656746912496 140657627736706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18368] ppid=18306 vsize=10997712 memory=280486194784512 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18368/stat : 18368 (java) S 18306 18309 12183 0 -1 1077944384 13 12857 0 0 0 0 4 3 20 0 15 0 107190975 11261657088 47336 33554432000 4194304 4196468 140725082830128 140656420841120 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18369] ppid=18306 vsize=10997712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18369/stat : 18369 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190975 11261657088 47336 33554432000 4194304 4196468 140725082830128 140656219514096 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18370] ppid=18306 vsize=10997712 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18370/stat : 18370 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11261657088 47336 33554432000 4194304 4196468 140725082830128 140655912114640 140657627744155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18371] ppid=18306 vsize=10997712 memory=1232 CPUtime=0.67 cores=0,2,4,6
/proc/18309/task/18371/stat : 18371 (java) R 18306 18309 12183 0 -1 4202560 3453 12857 0 0 60 0 4 3 20 0 15 0 107190978 11261657088 47336 33554432000 4194304 4196468 140725082830128 140656745845288 140657609246950 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18372] ppid=18306 vsize=10997712 memory=8560 CPUtime=0.66 cores=0,2,4,6
/proc/18309/task/18372/stat : 18372 (java) R 18306 18309 12183 0 -1 4202560 3470 12857 0 0 59 0 4 3 20 0 15 0 107190978 11261657088 47336 33554432000 4194304 4196468 140725082830128 140656744792648 140657612850839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18373] ppid=18306 vsize=10997712 memory=1712 CPUtime=0.52 cores=0,2,4,6
/proc/18309/task/18373/stat : 18373 (java) S 18306 18309 12183 0 -1 1077944384 1722 12857 0 0 45 0 4 3 20 0 15 0 107190978 11261657088 47336 33554432000 4194304 4196468 140725082830128 140656743753712 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18374] ppid=18306 vsize=10997712 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18374/stat : 18374 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11261657088 47336 33554432000 4194304 4196468 140725082830128 140655481317728 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18375] ppid=18306 vsize=10997712 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18375/stat : 18375 (java) S 18306 18309 12183 0 -1 1077944384 1 12857 0 0 0 0 4 3 20 0 15 0 107190978 11261657088 47336 33554432000 4194304 4196468 140725082830128 140656742702128 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10997712 KiB
################
# More data... #
################
/proc/18309/task/18362/stat : 18362 (java) R 18306 18309 12183 0 -1 4202560 52031 12857 0 0 16170 23 4 3 20 0 15 0 107190972 11345952768 260307 33554432000 4194304 4196468 140725082830128 140657599553352 140657195577099 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18363] ppid=18306 vsize=11080032 memory=1296 CPUtime=0.21 cores=0,2,4,6
/proc/18309/task/18363/stat : 18363 (java) S 18306 18309 12183 0 -1 1077944384 528 12857 0 0 10 4 4 3 20 0 15 0 107190973 11345952768 260307 33554432000 4194304 4196468 140725082830128 140657631967760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18364] ppid=18306 vsize=11080032 memory=2400 CPUtime=0.21 cores=0,2,4,6
/proc/18309/task/18364/stat : 18364 (java) S 18306 18309 12183 0 -1 1077944384 1470 12857 0 0 10 4 4 3 20 0 15 0 107190973 11345952768 260307 33554432000 4194304 4196468 140725082830128 140657497303696 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18365] ppid=18306 vsize=11080032 memory=2400 CPUtime=0.21 cores=0,2,4,6
/proc/18309/task/18365/stat : 18365 (java) S 18306 18309 12183 0 -1 1077944384 490 12857 0 0 10 4 4 3 20 0 15 0 107190973 11345952768 260307 33554432000 4194304 4196468 140725082830128 140657496250640 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18366] ppid=18306 vsize=11080032 memory=1836 CPUtime=0.21 cores=0,2,4,6
/proc/18309/task/18366/stat : 18366 (java) S 18306 18309 12183 0 -1 1077944384 1857 12857 0 0 10 4 4 3 20 0 15 0 107190973 11345952768 260307 33554432000 4194304 4196468 140725082830128 140657165199760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18367] ppid=18306 vsize=11080032 memory=13044 CPUtime=0.13 cores=0,2,4,6
/proc/18309/task/18367/stat : 18367 (java) S 18306 18309 12183 0 -1 1077944384 3956 12857 0 0 6 0 4 3 20 0 15 0 107190974 11345952768 260307 33554432000 4194304 4196468 140725082830128 140656746912496 140657627736706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18368] ppid=18306 vsize=11080032 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18368/stat : 18368 (java) S 18306 18309 12183 0 -1 1077944384 21 12857 0 0 0 0 4 3 20 0 15 0 107190975 11345952768 260307 33554432000 4194304 4196468 140725082830128 140656420841184 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18369] ppid=18306 vsize=11080032 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18369/stat : 18369 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 15 0 107190975 11345952768 260307 33554432000 4194304 4196468 140725082830128 140656219514112 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18370] ppid=18306 vsize=11080032 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18370/stat : 18370 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11345952768 260307 33554432000 4194304 4196468 140725082830128 140655912114640 140657627744155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18371] ppid=18306 vsize=11080032 memory=8560 CPUtime=4.13 cores=0,2,4,6
/proc/18309/task/18371/stat : 18371 (java) S 18306 18309 12183 0 -1 1077944384 13477 12857 0 0 404 2 4 3 20 0 15 0 107190978 11345952768 260307 33554432000 4194304 4196468 140725082830128 140656745859312 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18372] ppid=18306 vsize=11080032 memory=1712 CPUtime=5.02 cores=0,2,4,6
/proc/18309/task/18372/stat : 18372 (java) S 18306 18309 12183 0 -1 1077944384 24179 12857 0 0 489 6 4 3 20 0 15 0 107190978 11345952768 260307 33554432000 4194304 4196468 140725082830128 140656744806768 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18373] ppid=18306 vsize=11080032 memory=5412 CPUtime=2.27 cores=0,2,4,6
/proc/18309/task/18373/stat : 18373 (java) S 18306 18309 12183 0 -1 1077944384 20517 12857 0 0 217 3 4 3 20 0 15 0 107190978 11345952768 260307 33554432000 4194304 4196468 140725082830128 140656743753712 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18374] ppid=18306 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18374/stat : 18374 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11345952768 260307 33554432000 4194304 4196468 140725082830128 140655481317728 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18375] ppid=18306 vsize=11080032 memory=4104 CPUtime=0.13 cores=0,2,4,6
/proc/18309/task/18375/stat : 18375 (java) S 18306 18309 12183 0 -1 1077944384 2122 12857 0 0 3 3 4 3 20 0 15 0 107190978 11345952768 260307 33554432000 4194304 4196468 140725082830128 140656742702128 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
Current children cumulated CPU time: 174 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1041228 KiB
[startup+222.301 s]
/proc/loadavg: 1.74 1.75 1.81 3/216 18509
/proc/meminfo: memFree=22204956/32770624 swapFree=67108860/67108860
[pid=18309] ppid=18306 vsize=11080032 memory=1184856 CPUtime=234.26 cores=0,2,4,6
/proc/18309/stat : 18309 (java) S 18306 18309 12183 0 -1 1077944320 130347 12857 0 0 23356 63 4 3 20 0 15 0 107190963 11345952768 296214 33554432000 4194304 4196468 140725082830128 140725082812672 140657627725559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
/proc/18309/statm: 2770008 296214 3529 1 0 2731661 0
[pid=18309/tid=18362] ppid=18306 vsize=11080032 memory=15876 CPUtime=221.98 cores=0,2,4,6
/proc/18309/task/18362/stat : 18362 (java) R 18306 18309 12183 0 -1 4202560 54002 12857 0 0 22166 25 4 3 20 0 15 0 107190972 11345952768 296214 33554432000 4194304 4196468 140725082830128 140657599554056 140657195575625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18363] ppid=18306 vsize=11080032 memory=17508 CPUtime=0.23 cores=0,2,4,6
/proc/18309/task/18363/stat : 18363 (java) S 18306 18309 12183 0 -1 1077944384 592 12857 0 0 11 5 4 3 20 0 15 0 107190973 11345952768 296214 33554432000 4194304 4196468 140725082830128 140657631967760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18364] ppid=18306 vsize=11080032 memory=4004 CPUtime=0.22 cores=0,2,4,6
/proc/18309/task/18364/stat : 18364 (java) S 18306 18309 12183 0 -1 1077944384 1489 12857 0 0 10 5 4 3 20 0 15 0 107190973 11345952768 296214 33554432000 4194304 4196468 140725082830128 140657497303696 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18365] ppid=18306 vsize=11080032 memory=18448 CPUtime=0.21 cores=0,2,4,6
/proc/18309/task/18365/stat : 18365 (java) S 18306 18309 12183 0 -1 1077944384 1023 12857 0 0 10 4 4 3 20 0 15 0 107190973 11345952768 296214 33554432000 4194304 4196468 140725082830128 140657496250640 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18366] ppid=18306 vsize=11080032 memory=1796 CPUtime=0.23 cores=0,2,4,6
/proc/18309/task/18366/stat : 18366 (java) S 18306 18309 12183 0 -1 1077944384 2330 12857 0 0 11 5 4 3 20 0 15 0 107190973 11345952768 296214 33554432000 4194304 4196468 140725082830128 140657165199760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18367] ppid=18306 vsize=11080032 memory=640 CPUtime=0.14 cores=0,2,4,6
/proc/18309/task/18367/stat : 18367 (java) S 18306 18309 12183 0 -1 1077944384 4258 12857 0 0 7 0 4 3 20 0 15 0 107190974 11345952768 296214 33554432000 4194304 4196468 140725082830128 140656746912496 140657627736706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18368] ppid=18306 vsize=11080032 memory=952 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18368/stat : 18368 (java) S 18306 18309 12183 0 -1 1077944384 21 12857 0 0 0 0 4 3 20 0 15 0 107190975 11345952768 296214 33554432000 4194304 4196468 140725082830128 140656420841184 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18369] ppid=18306 vsize=11080032 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18369/stat : 18369 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 15 0 107190975 11345952768 296214 33554432000 4194304 4196468 140725082830128 140656219514112 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18370] ppid=18306 vsize=11080032 memory=7288 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18370/stat : 18370 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11345952768 296214 33554432000 4194304 4196468 140725082830128 140655912114640 140657627744155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18371] ppid=18306 vsize=11080032 memory=840 CPUtime=4.2 cores=0,2,4,6
/proc/18309/task/18371/stat : 18371 (java) S 18306 18309 12183 0 -1 1077944384 14718 12857 0 0 411 2 4 3 20 0 15 0 107190978 11345952768 296214 33554432000 4194304 4196468 140725082830128 140656745859312 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18372] ppid=18306 vsize=11080032 memory=1696 CPUtime=5.12 cores=0,2,4,6
/proc/18309/task/18372/stat : 18372 (java) S 18306 18309 12183 0 -1 1077944384 26915 12857 0 0 499 6 4 3 20 0 15 0 107190978 11345952768 296214 33554432000 4194304 4196468 140725082830128 140656744806768 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18373] ppid=18306 vsize=11080032 memory=920 CPUtime=2.28 cores=0,2,4,6
/proc/18309/task/18373/stat : 18373 (java) S 18306 18309 12183 0 -1 1077944384 20634 12857 0 0 218 3 4 3 20 0 15 0 107190978 11345952768 296214 33554432000 4194304 4196468 140725082830128 140656743753712 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18374] ppid=18306 vsize=11080032 memory=3852 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18374/stat : 18374 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11345952768 296214 33554432000 4194304 4196468 140725082830128 140655481317728 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18375] ppid=18306 vsize=11080032 memory=2836 CPUtime=0.15 cores=0,2,4,6
/proc/18309/task/18375/stat : 18375 (java) S 18306 18309 12183 0 -1 1077944384 2166 12857 0 0 4 4 4 3 20 0 15 0 107190978 11345952768 296214 33554432000 4194304 4196468 140725082830128 140656742702128 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
Current children cumulated CPU time: 234.26 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1184856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.78 1.76 1.81 3/215 18509
/proc/meminfo: memFree=22177484/32770624 swapFree=67108860/67108860
[pid=18309] ppid=18306 vsize=11080032 memory=1212480 CPUtime=252.02 cores=0,2,4,6
/proc/18309/stat : 18309 (java) S 18306 18309 12183 0 -1 1077944320 133463 12857 0 0 25129 66 4 3 20 0 15 0 107190963 11345952768 303120 33554432000 4194304 4196468 140725082830128 140725082812672 140657627725559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
/proc/18309/statm: 2770008 303120 3529 1 0 2731661 0
[pid=18309/tid=18362] ppid=18306 vsize=11080032 memory=1184856 CPUtime=239.66 cores=0,2,4,6
/proc/18309/task/18362/stat : 18362 (java) R 18306 18309 12183 0 -1 4202560 54374 12857 0 0 23934 25 4 3 20 0 15 0 107190972 11345952768 303120 33554432000 4194304 4196468 140725082830128 140657599546864 140657195575531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18363] ppid=18306 vsize=11080032 memory=1184856 CPUtime=0.25 cores=0,2,4,6
/proc/18309/task/18363/stat : 18363 (java) S 18306 18309 12183 0 -1 1077944384 668 12857 0 0 12 6 4 3 20 0 15 0 107190973 11345952768 303120 33554432000 4194304 4196468 140725082830128 140657631967760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18364] ppid=18306 vsize=11080032 memory=1184856 CPUtime=0.23 cores=0,2,4,6
/proc/18309/task/18364/stat : 18364 (java) S 18306 18309 12183 0 -1 1077944384 2936 12857 0 0 11 5 4 3 20 0 15 0 107190973 11345952768 303120 33554432000 4194304 4196468 140725082830128 140657497303696 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18365] ppid=18306 vsize=11080032 memory=1184856 CPUtime=0.23 cores=0,2,4,6
/proc/18309/task/18365/stat : 18365 (java) S 18306 18309 12183 0 -1 1077944384 1610 12857 0 0 11 5 4 3 20 0 15 0 107190973 11345952768 303120 33554432000 4194304 4196468 140725082830128 140657496250640 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18366] ppid=18306 vsize=11080032 memory=1212480 CPUtime=0.25 cores=0,2,4,6
/proc/18309/task/18366/stat : 18366 (java) S 18306 18309 12183 0 -1 1077944384 2517 12857 0 0 12 6 4 3 20 0 15 0 107190973 11345952768 303120 33554432000 4194304 4196468 140725082830128 140657165199760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18367] ppid=18306 vsize=11080032 memory=1212480 CPUtime=0.14 cores=0,2,4,6
/proc/18309/task/18367/stat : 18367 (java) S 18306 18309 12183 0 -1 1077944384 4504 12857 0 0 7 0 4 3 20 0 15 0 107190974 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656746912496 140657627736706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18368] ppid=18306 vsize=11080032 memory=1212480 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18368/stat : 18368 (java) S 18306 18309 12183 0 -1 1077944384 21 12857 0 0 0 0 4 3 20 0 15 0 107190975 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656420841184 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18369] ppid=18306 vsize=11080032 memory=1212480 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18369/stat : 18369 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 15 0 107190975 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656219514112 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18370] ppid=18306 vsize=11080032 memory=1212480 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18370/stat : 18370 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140655912114640 140657627744155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18371] ppid=18306 vsize=11080032 memory=1212480 CPUtime=4.21 cores=0,2,4,6
/proc/18309/task/18371/stat : 18371 (java) S 18306 18309 12183 0 -1 1077944384 14917 12857 0 0 412 2 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656745859312 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18372] ppid=18306 vsize=11080032 memory=1212480 CPUtime=5.12 cores=0,2,4,6
/proc/18309/task/18372/stat : 18372 (java) S 18306 18309 12183 0 -1 1077944384 26915 12857 0 0 499 6 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656744806768 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18373] ppid=18306 vsize=11080032 memory=4140 CPUtime=2.28 cores=0,2,4,6
/proc/18309/task/18373/stat : 18373 (java) S 18306 18309 12183 0 -1 1077944384 20634 12857 0 0 218 3 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656743753712 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18374] ppid=18306 vsize=11080032 memory=2400 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18374/stat : 18374 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140655481317728 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18375] ppid=18306 vsize=11080032 memory=1836 CPUtime=0.16 cores=0,2,4,6
/proc/18309/task/18375/stat : 18375 (java) S 18306 18309 12183 0 -1 1077944384 2168 12857 0 0 5 4 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656742702128 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1212480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.041 s]
# the end of solver process 18309 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.36 s, system=0.72139 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.001 s]
/proc/loadavg: 1.78 1.76 1.81 3/215 18509
/proc/meminfo: memFree=22177484/32770624 swapFree=67108860/67108860
[pid=18309] ppid=18306 vsize=11080032 memory=1212480 CPUtime=252.02 cores=0,2,4,6
/proc/18309/stat : 18309 (java) S 18306 18309 12183 0 -1 1077944320 133463 12857 0 0 25129 66 4 3 20 0 15 0 107190963 11345952768 303120 33554432000 4194304 4196468 140725082830128 140725082812672 140657627725559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
/proc/18309/statm: 2770008 303120 3529 1 0 2731661 0
[pid=18309/tid=18362] ppid=18306 vsize=11080032 memory=1184856 CPUtime=239.66 cores=0,2,4,6
/proc/18309/task/18362/stat : 18362 (java) R 18306 18309 12183 0 -1 4202560 54374 12857 0 0 23934 25 4 3 20 0 15 0 107190972 11345952768 303120 33554432000 4194304 4196468 140725082830128 140657599546864 140657195575531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18363] ppid=18306 vsize=11080032 memory=1184856 CPUtime=0.25 cores=0,2,4,6
/proc/18309/task/18363/stat : 18363 (java) S 18306 18309 12183 0 -1 1077944384 668 12857 0 0 12 6 4 3 20 0 15 0 107190973 11345952768 303120 33554432000 4194304 4196468 140725082830128 140657631967760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18364] ppid=18306 vsize=11080032 memory=1184856 CPUtime=0.23 cores=0,2,4,6
/proc/18309/task/18364/stat : 18364 (java) S 18306 18309 12183 0 -1 1077944384 2936 12857 0 0 11 5 4 3 20 0 15 0 107190973 11345952768 303120 33554432000 4194304 4196468 140725082830128 140657497303696 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18365] ppid=18306 vsize=11080032 memory=1184856 CPUtime=0.23 cores=0,2,4,6
/proc/18309/task/18365/stat : 18365 (java) S 18306 18309 12183 0 -1 1077944384 1610 12857 0 0 11 5 4 3 20 0 15 0 107190973 11345952768 303120 33554432000 4194304 4196468 140725082830128 140657496250640 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18366] ppid=18306 vsize=11080032 memory=1212480 CPUtime=0.25 cores=0,2,4,6
/proc/18309/task/18366/stat : 18366 (java) S 18306 18309 12183 0 -1 1077944384 2517 12857 0 0 12 6 4 3 20 0 15 0 107190973 11345952768 303120 33554432000 4194304 4196468 140725082830128 140657165199760 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18367] ppid=18306 vsize=11080032 memory=1212480 CPUtime=0.14 cores=0,2,4,6
/proc/18309/task/18367/stat : 18367 (java) S 18306 18309 12183 0 -1 1077944384 4504 12857 0 0 7 0 4 3 20 0 15 0 107190974 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656746912496 140657627736706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18368] ppid=18306 vsize=11080032 memory=1212480 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18368/stat : 18368 (java) S 18306 18309 12183 0 -1 1077944384 21 12857 0 0 0 0 4 3 20 0 15 0 107190975 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656420841184 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18369] ppid=18306 vsize=11080032 memory=1212480 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18369/stat : 18369 (java) S 18306 18309 12183 0 -1 1077944384 2 12857 0 0 0 0 4 3 20 0 15 0 107190975 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656219514112 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18370] ppid=18306 vsize=11080032 memory=1212480 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18370/stat : 18370 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140655912114640 140657627744155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18371] ppid=18306 vsize=11080032 memory=1212480 CPUtime=4.21 cores=0,2,4,6
/proc/18309/task/18371/stat : 18371 (java) S 18306 18309 12183 0 -1 1077944384 14917 12857 0 0 412 2 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656745859312 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18372] ppid=18306 vsize=11080032 memory=1212480 CPUtime=5.12 cores=0,2,4,6
/proc/18309/task/18372/stat : 18372 (java) S 18306 18309 12183 0 -1 1077944384 26915 12857 0 0 499 6 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656744806768 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18373] ppid=18306 vsize=11080032 memory=4140 CPUtime=2.28 cores=0,2,4,6
/proc/18309/task/18373/stat : 18373 (java) S 18306 18309 12183 0 -1 1077944384 20634 12857 0 0 218 3 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656743753712 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18374] ppid=18306 vsize=11080032 memory=2400 CPUtime=0.07 cores=0,2,4,6
/proc/18309/task/18374/stat : 18374 (java) S 18306 18309 12183 0 -1 1077944384 3 12857 0 0 0 0 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140655481317728 140657627735765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
[pid=18309/tid=18375] ppid=18306 vsize=11080032 memory=1836 CPUtime=0.16 cores=0,2,4,6
/proc/18309/task/18375/stat : 18375 (java) S 18306 18309 12183 0 -1 1077944384 2168 12857 0 0 5 4 4 3 20 0 15 0 107190978 11345952768 303120 33554432000 4194304 4196468 140725082830128 140656742702128 140657627736706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23597056 140725082835569 140725082838369 140725082838369 140725082841039 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1212480 KiB
Child status: 143
Real time (s): 240.041
CPU time (s): 252.082
CPU user time (s): 251.36
CPU system time (s): 0.72139
CPU usage (%): 105.016
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1212480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.36
system time used= 0.72139
maximum resident set size= 1214852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13372
involuntary context switches= 616
# summary of solver processes directly reported to runsolver:
# pid: 18309
# total CPU time (s): 252.082
# total CPU user time (s): 251.36
# total CPU system time (s): 0.72139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22753 second user time and 2.43824 second system time
The end