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 (6687 MiB free)
memory of node 1: 16384 MiB (9064 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295457-1532554017/watcher-4295457-1532554017 -o /tmp/evaluation-result-4295457-1532554017/solver-4295457-1532554017 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23734 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=809654544 HOME/instance-4295457-1532554017.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
Current StackSize limit: 8192 KiB
solver pid=31288, runsolver pid=31285
[startup+0.100174 s]*
/proc/loadavg: 1.23 1.47 1.53 3/206 31345
/proc/meminfo: memFree=16124512/32770624 swapFree=67108796/67108860
[pid=31288] ppid=31285 vsize=9972712 memory=17072 CPUtime=0.09 cores=0,2,4,6
/proc/31288/stat : 31288 (java) S 31285 31288 23703 0 -1 1077944320 4417 13196 0 0 1 0 5 3 20 0 6 0 72964914 10212057088 4268 33554432000 4194304 4196468 140730720457200 140730720439744 139736038244087 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
/proc/31288/statm: 2493178 4268 1934 1 0 2481616 0
[pid=31288/tid=31341] ppid=31285 vsize=9972712 memory=4279135703946853774 CPUtime=0.09 cores=0,2,4,6
/proc/31288/task/31341/stat : 31341 (java) R 31285 31288 23703 0 -1 4202560 2226 13196 0 0 1 0 5 3 20 0 6 0 72964922 10212057088 4268 33554432000 4194304 4196468 140730720457200 139736010080848 139736022324574 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31342] ppid=31285 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31342/stat : 31342 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 6 0 72964923 10212057088 4268 33554432000 4194304 4196468 140730720457200 139736042486928 139736038254293 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31343] ppid=31285 vsize=9972712 memory=140069087213184 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31343/stat : 31343 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 6 0 72964923 10212057088 4268 33554432000 4194304 4196468 140730720457200 139735957306384 139736038254293 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31344] ppid=31285 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31344/stat : 31344 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 6 0 72964923 10212057088 4268 33554432000 4194304 4196468 140730720457200 139735610350480 139736038254293 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31345] ppid=31285 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31345/stat : 31345 (java) S 31285 31288 23703 0 -1 1077944384 2 13196 0 0 0 0 5 3 20 0 6 0 72964923 10212057088 4268 33554432000 4194304 4196468 140730720457200 139735609297680 139736038254293 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17072 KiB
[startup+0.209866 s]*
/proc/loadavg: 1.23 1.47 1.53 3/215 31354
/proc/meminfo: memFree=16103396/32770624 swapFree=67108796/67108860
[pid=31288] ppid=31285 vsize=10818904 memory=43408 CPUtime=0.26 cores=0,2,4,6
/proc/31288/stat : 31288 (java) S 31285 31288 23703 0 -1 1077944320 8094 13196 0 0 16 2 5 3 20 0 15 0 72964914 11078557696 10852 33554432000 4194304 4196468 140730720457200 140730720439744 139736038244087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
/proc/31288/statm: 2704726 10852 2947 1 0 2667149 0
[pid=31288/tid=31341] ppid=31285 vsize=10818904 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/31288/task/31341/stat : 31341 (java) R 31285 31288 23703 0 -1 4202560 4659 13196 0 0 10 1 5 3 20 0 15 0 72964922 11078557696 10852 33554432000 4194304 4196468 140730720457200 139736010065184 139736022324574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31342] ppid=31285 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31342/stat : 31342 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964923 11078557696 10852 33554432000 4194304 4196468 140730720457200 139736042486928 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31343] ppid=31285 vsize=10818904 memory=140069087213184 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31343/stat : 31343 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964923 11078557696 10852 33554432000 4194304 4196468 140730720457200 139735957306384 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31344] ppid=31285 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31344/stat : 31344 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964923 11078557696 10852 33554432000 4194304 4196468 140730720457200 139735610350480 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31345] ppid=31285 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31345/stat : 31345 (java) S 31285 31288 23703 0 -1 1077944384 2 13196 0 0 0 0 5 3 20 0 15 0 72964923 11078557696 10852 33554432000 4194304 4196468 140730720457200 139735609297680 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31346] ppid=31285 vsize=10818904 memory=140069087213184 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31346/stat : 31346 (java) S 31285 31288 23703 0 -1 1077944384 2 13196 0 0 0 0 5 3 20 0 15 0 72964925 11078557696 10852 33554432000 4194304 4196468 140730720457200 139735041206640 139736038255234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31347] ppid=31285 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31347/stat : 31347 (java) S 31285 31288 23703 0 -1 1077944384 13 13196 0 0 0 0 5 3 20 0 15 0 72964925 11078557696 10852 33554432000 4194304 4196468 140730720457200 139734949028896 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31348] ppid=31285 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31348/stat : 31348 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964925 11078557696 10852 33554432000 4194304 4196468 140730720457200 139734814810992 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31349] ppid=31285 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31349/stat : 31349 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11078557696 10852 33554432000 4194304 4196468 140730720457200 139734574520144 139736038262683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31350] ppid=31285 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31288/task/31350/stat : 31350 (java) S 31285 31288 23703 0 -1 1077944384 361 13196 0 0 1 0 5 3 20 0 15 0 72964928 11078557696 10852 33554432000 4194304 4196468 140730720457200 139735040154480 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31351] ppid=31285 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31351/stat : 31351 (java) S 31285 31288 23703 0 -1 1077944384 247 13196 0 0 0 0 5 3 20 0 15 0 72964928 11078557696 10852 33554432000 4194304 4196468 140730720457200 139735039101680 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31352] ppid=31285 vsize=10818904 memory=140069087213184 CPUtime=0.11 cores=0,2,4,6
/proc/31288/task/31352/stat : 31352 (java) R 31285 31288 23703 0 -1 4202560 613 13196 0 0 3 0 5 3 20 0 15 0 72964928 11078557696 10852 33554432000 4194304 4196468 140730720457200 139735038048880 139736017365405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31353] ppid=31285 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31353/stat : 31353 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11078557696 10852 33554432000 4194304 4196468 140730720457200 139734540962528 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31354] ppid=31285 vsize=10818904 memory=140069087213184 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31354/stat : 31354 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964928 11078557696 10852 33554432000 4194304 4196468 140730720457200 139735036996272 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43408 KiB
[startup+0.310168 s]*
/proc/loadavg: 1.23 1.47 1.53 3/215 31354
/proc/meminfo: memFree=16090696/32770624 swapFree=67108796/67108860
[pid=31288] ppid=31285 vsize=10819352 memory=54116 CPUtime=0.39 cores=0,2,4,6
/proc/31288/stat : 31288 (java) S 31285 31288 23703 0 -1 1077944320 10612 13196 0 0 28 3 5 3 20 0 15 0 72964914 11079016448 13529 33554432000 4194304 4196468 140730720457200 140730720439744 139736038244087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
/proc/31288/statm: 2704838 13529 3066 1 0 2667149 0
[pid=31288/tid=31341] ppid=31285 vsize=10819352 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/31288/task/31341/stat : 31341 (java) R 31285 31288 23703 0 -1 4202560 7163 13196 0 0 20 2 5 3 20 0 15 0 72964922 11079016448 13529 33554432000 4194304 4196468 140730720457200 139736010056096 139735961257181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31342] ppid=31285 vsize=10819352 memory=7445101439888674896 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31342/stat : 31342 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964923 11079016448 13529 33554432000 4194304 4196468 140730720457200 139736042486928 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31343] ppid=31285 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31343/stat : 31343 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964923 11079016448 13529 33554432000 4194304 4196468 140730720457200 139735957306384 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31344] ppid=31285 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31344/stat : 31344 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964923 11079016448 13529 33554432000 4194304 4196468 140730720457200 139735610350480 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31345] ppid=31285 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31345/stat : 31345 (java) S 31285 31288 23703 0 -1 1077944384 2 13196 0 0 0 0 5 3 20 0 15 0 72964923 11079016448 13529 33554432000 4194304 4196468 140730720457200 139735609297680 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31346] ppid=31285 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31346/stat : 31346 (java) S 31285 31288 23703 0 -1 1077944384 2 13196 0 0 0 0 5 3 20 0 15 0 72964925 11079016448 13529 33554432000 4194304 4196468 140730720457200 139735041206640 139736038255234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31347] ppid=31285 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31347/stat : 31347 (java) S 31285 31288 23703 0 -1 1077944384 13 13196 0 0 0 0 5 3 20 0 15 0 72964925 11079016448 13529 33554432000 4194304 4196468 140730720457200 139734949028896 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31348] ppid=31285 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31348/stat : 31348 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964925 11079016448 13529 33554432000 4194304 4196468 140730720457200 139734814810992 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31349] ppid=31285 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31349/stat : 31349 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11079016448 13529 33554432000 4194304 4196468 140730720457200 139734574520144 139736038262683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31350] ppid=31285 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31288/task/31350/stat : 31350 (java) S 31285 31288 23703 0 -1 1077944384 361 13196 0 0 1 0 5 3 20 0 15 0 72964928 11079016448 13529 33554432000 4194304 4196468 140730720457200 139735040154480 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31351] ppid=31285 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31288/task/31351/stat : 31351 (java) S 31285 31288 23703 0 -1 1077944384 250 13196 0 0 1 0 5 3 20 0 15 0 72964928 11079016448 13529 33554432000 4194304 4196468 140730720457200 139735039101680 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31352] ppid=31285 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/31288/task/31352/stat : 31352 (java) R 31285 31288 23703 0 -1 4202560 619 13196 0 0 5 0 5 3 20 0 15 0 72964928 11079016448 13529 33554432000 4194304 4196468 140730720457200 139735038048880 139736016868464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31353] ppid=31285 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31353/stat : 31353 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11079016448 13529 33554432000 4194304 4196468 140730720457200 139734540962528 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31354] ppid=31285 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31354/stat : 31354 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964928 11079016448 13529 33554432000 4194304 4196468 140730720457200 139735036996272 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54116 KiB
[startup+0.700818 s]
/proc/loadavg: 1.23 1.47 1.53 3/215 31354
/proc/meminfo: memFree=16080664/32770624 swapFree=67108796/67108860
[pid=31288] ppid=31285 vsize=10819352 memory=86632 CPUtime=1 cores=0,2,4,6
/proc/31288/stat : 31288 (java) S 31285 31288 23703 0 -1 1077944320 16767 13196 0 0 88 4 5 3 20 0 15 0 72964914 11079016448 21658 33554432000 4194304 4196468 140730720457200 140730720439744 139736038244087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
/proc/31288/statm: 2704838 21658 3247 1 0 2667149 0
[pid=31288/tid=31341] ppid=31285 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/31288/task/31341/stat : 31341 (java) R 31285 31288 23703 0 -1 4202560 12197 13196 0 0 56 3 5 3 20 0 15 0 72964922 11079016448 21658 33554432000 4194304 4196468 140730720457200 139736010064912 139736019807639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31342] ppid=31285 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31342/stat : 31342 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964923 11079016448 21658 33554432000 4194304 4196468 140730720457200 139736042486928 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31343] ppid=31285 vsize=10819352 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31343/stat : 31343 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964923 11079016448 21658 33554432000 4194304 4196468 140730720457200 139735957306384 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31344] ppid=31285 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31344/stat : 31344 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964923 11079016448 21658 33554432000 4194304 4196468 140730720457200 139735610350480 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31345] ppid=31285 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31345/stat : 31345 (java) S 31285 31288 23703 0 -1 1077944384 2 13196 0 0 0 0 5 3 20 0 15 0 72964923 11079016448 21658 33554432000 4194304 4196468 140730720457200 139735609297680 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31346] ppid=31285 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31346/stat : 31346 (java) S 31285 31288 23703 0 -1 1077944384 5 13196 0 0 0 0 5 3 20 0 15 0 72964925 11079016448 21658 33554432000 4194304 4196468 140730720457200 139735041206640 139736038255234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31347] ppid=31285 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31347/stat : 31347 (java) S 31285 31288 23703 0 -1 1077944384 13 13196 0 0 0 0 5 3 20 0 15 0 72964925 11079016448 21658 33554432000 4194304 4196468 140730720457200 139734949028896 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31348] ppid=31285 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31348/stat : 31348 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964925 11079016448 21658 33554432000 4194304 4196468 140730720457200 139734814810992 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31349] ppid=31285 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31349/stat : 31349 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11079016448 21658 33554432000 4194304 4196468 140730720457200 139734574520144 139736038262683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31350] ppid=31285 vsize=10819352 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/31288/task/31350/stat : 31350 (java) S 31285 31288 23703 0 -1 1077944384 738 13196 0 0 6 0 5 3 20 0 15 0 72964928 11079016448 21658 33554432000 4194304 4196468 140730720457200 139735040154480 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31351] ppid=31285 vsize=10819352 memory=15460 CPUtime=0.19 cores=0,2,4,6
/proc/31288/task/31351/stat : 31351 (java) S 31285 31288 23703 0 -1 1077944384 922 13196 0 0 11 0 5 3 20 0 15 0 72964928 11079016448 21658 33554432000 4194304 4196468 140730720457200 139735039101680 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31352] ppid=31285 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/31288/task/31352/stat : 31352 (java) S 31285 31288 23703 0 -1 1077944384 688 13196 0 0 13 0 5 3 20 0 15 0 72964928 11079016448 21658 33554432000 4194304 4196468 140730720457200 139735038048880 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31353] ppid=31285 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31353/stat : 31353 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11079016448 21658 33554432000 4194304 4196468 140730720457200 139734540962528 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31354] ppid=31285 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31354/stat : 31354 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964928 11079016448 21658 33554432000 4194304 4196468 140730720457200 139735036996272 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86632 KiB
[startup+1.50083 s]
/proc/loadavg: 1.23 1.47 1.53 4/215 31354
/proc/meminfo: memFree=16034484/32770624 swapFree=67108796/67108860
[pid=31288] ppid=31285 vsize=10834252 memory=179312 CPUtime=2.46 cores=0,2,4,6
/proc/31288/stat : 31288 (java) S 31285 31288 23703 0 -1 1077944320 23886 13196 0 0 229 9 5 3 20 0 15 0 72964914 11094274048 44828 33554432000 4194304 4196468 140730720457200 140730720439744 139736038244087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
/proc/31288/statm: 2708563 44828 3468 1 0 2670221 0
[pid=31288/tid=31341] ppid=31285 vsize=10834252 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/31288/task/31341/stat : 31341 (java) R 31285 31288 23703 0 -1 4202560 17484 13196 0 0 130 5 5 3 20 0 15 0 72964922 11094274048 44828 33554432000 4194304 4196468 140730720457200 139736010060800 139736022324574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31342] ppid=31285 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31288/task/31342/stat : 31342 (java) S 31285 31288 23703 0 -1 1077944384 173 13196 0 0 1 0 5 3 20 0 15 0 72964923 11094274048 44828 33554432000 4194304 4196468 140730720457200 139736042486928 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31343] ppid=31285 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31288/task/31343/stat : 31343 (java) S 31285 31288 23703 0 -1 1077944384 47 13196 0 0 1 0 5 3 20 0 15 0 72964923 11094274048 44828 33554432000 4194304 4196468 140730720457200 139735957306384 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31344] ppid=31285 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31288/task/31344/stat : 31344 (java) S 31285 31288 23703 0 -1 1077944384 16 13196 0 0 1 0 5 3 20 0 15 0 72964923 11094274048 44828 33554432000 4194304 4196468 140730720457200 139735610350480 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31345] ppid=31285 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31288/task/31345/stat : 31345 (java) S 31285 31288 23703 0 -1 1077944384 37 13196 0 0 1 0 5 3 20 0 15 0 72964923 11094274048 44828 33554432000 4194304 4196468 140730720457200 139735609297680 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31346] ppid=31285 vsize=10834252 memory=1399103955520229747 CPUtime=0.09 cores=0,2,4,6
/proc/31288/task/31346/stat : 31346 (java) S 31285 31288 23703 0 -1 1077944384 48 13196 0 0 1 0 5 3 20 0 15 0 72964925 11094274048 44828 33554432000 4194304 4196468 140730720457200 139735041206640 139736038255234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31347] ppid=31285 vsize=10834252 memory=280137899780352 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31347/stat : 31347 (java) S 31285 31288 23703 0 -1 1077944384 14 13196 0 0 0 0 5 3 20 0 15 0 72964925 11094274048 44828 33554432000 4194304 4196468 140730720457200 139734949028960 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31348] ppid=31285 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31348/stat : 31348 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964925 11094274048 44828 33554432000 4194304 4196468 140730720457200 139734814811008 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31349] ppid=31285 vsize=10834252 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31349/stat : 31349 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11094274048 44828 33554432000 4194304 4196468 140730720457200 139734574520144 139736038262683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31350] ppid=31285 vsize=10834252 memory=832 CPUtime=0.33 cores=0,2,4,6
/proc/31288/task/31350/stat : 31350 (java) S 31285 31288 23703 0 -1 1077944384 1266 13196 0 0 25 0 5 3 20 0 15 0 72964928 11094274048 44828 33554432000 4194304 4196468 140730720457200 139735040154480 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31351] ppid=31285 vsize=10834252 memory=1600 CPUtime=0.34 cores=0,2,4,6
/proc/31288/task/31351/stat : 31351 (java) S 31285 31288 23703 0 -1 1077944384 1134 13196 0 0 26 0 5 3 20 0 15 0 72964928 11094274048 44828 33554432000 4194304 4196468 140730720457200 139735039101680 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31352] ppid=31285 vsize=10834252 memory=5024 CPUtime=0.47 cores=0,2,4,6
/proc/31288/task/31352/stat : 31352 (java) S 31285 31288 23703 0 -1 1077944384 1468 13196 0 0 39 0 5 3 20 0 15 0 72964928 11094274048 44828 33554432000 4194304 4196468 140730720457200 139735038048880 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31353] ppid=31285 vsize=10834252 memory=4032 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31353/stat : 31353 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11094274048 44828 33554432000 4194304 4196468 140730720457200 139734540962528 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31354] ppid=31285 vsize=10834252 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31354/stat : 31354 (java) S 31285 31288 23703 0 -1 1077944384 1 13196 0 0 0 0 5 3 20 0 15 0 72964928 11094274048 44828 33554432000 4194304 4196468 140730720457200 139735036996272 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/31288/task/31341/stat : 31341 (java) R 31285 31288 23703 0 -1 4202560 108891 13196 0 0 235517 49 5 3 20 0 15 0 72964922 11180277760 273252 33554432000 4194304 4196468 140730720457200 139736010078704 139735657833024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31342] ppid=31285 vsize=10918240 memory=1090960 CPUtime=12.7 cores=0,2,4,6
/proc/31288/task/31342/stat : 31342 (java) S 31285 31288 23703 0 -1 1077944384 20239 13196 0 0 1209 53 5 3 20 0 15 0 72964923 11180277760 273252 33554432000 4194304 4196468 140730720457200 139736042486928 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31343] ppid=31285 vsize=10918240 memory=1090960 CPUtime=12.69 cores=0,2,4,6
/proc/31288/task/31343/stat : 31343 (java) S 31285 31288 23703 0 -1 1077944384 14684 13196 0 0 1210 51 5 3 20 0 15 0 72964923 11180277760 273252 33554432000 4194304 4196468 140730720457200 139735957306384 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31344] ppid=31285 vsize=10918240 memory=3708 CPUtime=12.71 cores=0,2,4,6
/proc/31288/task/31344/stat : 31344 (java) S 31285 31288 23703 0 -1 1077944384 17026 13196 0 0 1212 51 5 3 20 0 15 0 72964923 11180277760 273252 33554432000 4194304 4196468 140730720457200 139735610350480 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31345] ppid=31285 vsize=10918240 memory=1090960 CPUtime=12.69 cores=0,2,4,6
/proc/31288/task/31345/stat : 31345 (java) S 31285 31288 23703 0 -1 1077944384 20340 13196 0 0 1211 50 5 3 20 0 15 0 72964923 11180277760 273252 33554432000 4194304 4196468 140730720457200 139735609297680 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31346] ppid=31285 vsize=10918240 memory=1090960 CPUtime=10.55 cores=0,2,4,6
/proc/31288/task/31346/stat : 31346 (java) S 31285 31288 23703 0 -1 1077944384 20058 13196 0 0 997 50 5 3 20 0 15 0 72964925 11180277760 273252 33554432000 4194304 4196468 140730720457200 139735041206640 139736038255234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31347] ppid=31285 vsize=10918240 memory=1093008 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31347/stat : 31347 (java) S 31285 31288 23703 0 -1 1077944384 19 13196 0 0 0 0 5 3 20 0 15 0 72964925 11180277760 273252 33554432000 4194304 4196468 140730720457200 139734949029024 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31348] ppid=31285 vsize=10918240 memory=1093008 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31348/stat : 31348 (java) S 31285 31288 23703 0 -1 1077944384 13 13196 0 0 0 0 5 3 20 0 15 0 72964925 11180277760 273252 33554432000 4194304 4196468 140730720457200 139734814811008 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31349] ppid=31285 vsize=10918240 memory=1093008 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31349/stat : 31349 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11180277760 273252 33554432000 4194304 4196468 140730720457200 139734574520144 139736038262683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31350] ppid=31285 vsize=10918240 memory=1093008 CPUtime=9.38 cores=0,2,4,6
/proc/31288/task/31350/stat : 31350 (java) S 31285 31288 23703 0 -1 1077944384 106418 13196 0 0 920 10 5 3 20 0 15 0 72964928 11180277760 273252 33554432000 4194304 4196468 140730720457200 139735040154480 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31351] ppid=31285 vsize=10918240 memory=3708 CPUtime=9.08 cores=0,2,4,6
/proc/31288/task/31351/stat : 31351 (java) S 31285 31288 23703 0 -1 1077944384 94133 13196 0 0 889 11 5 3 20 0 15 0 72964928 11180277760 273252 33554432000 4194304 4196468 140730720457200 139735039101680 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31352] ppid=31285 vsize=10918240 memory=1093008 CPUtime=4.44 cores=0,2,4,6
/proc/31288/task/31352/stat : 31352 (java) S 31285 31288 23703 0 -1 1077944384 103371 13196 0 0 422 14 5 3 20 0 15 0 72964928 11180277760 273252 33554432000 4194304 4196468 140730720457200 139735038048880 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31353] ppid=31285 vsize=10918240 memory=1093008 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31353/stat : 31353 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11180277760 273252 33554432000 4194304 4196468 140730720457200 139734540962528 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31354] ppid=31285 vsize=10918240 memory=6791534058613427641 CPUtime=1.6 cores=0,2,4,6
/proc/31288/task/31354/stat : 31354 (java) S 31285 31288 23703 0 -1 1077944384 2047 13196 0 0 75 77 5 3 20 0 15 0 72964928 11180277760 273252 33554432000 4194304 4196468 140730720457200 139735036996272 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
Current children cumulated CPU time: 2440.96 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1093008 KiB
[startup+2442.3 s]
/proc/loadavg: 0.51 0.62 0.87 2/194 31516
/proc/meminfo: memFree=16560088/32770624 swapFree=67108796/67108860
[pid=31288] ppid=31285 vsize=10918240 memory=1093012 CPUtime=2501.94 cores=0,2,4,6
/proc/31288/stat : 31288 (java) S 31285 31288 23703 0 -1 1077944320 512022 13196 0 0 249821 365 5 3 20 0 15 0 72964914 11180277760 273253 33554432000 4194304 4196468 140730720457200 140730720439744 139736038244087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
/proc/31288/statm: 2729560 273253 3527 1 0 2691213 0
[pid=31288/tid=31341] ppid=31285 vsize=10918240 memory=1093012 CPUtime=2415.06 cores=0,2,4,6
/proc/31288/task/31341/stat : 31341 (java) R 31285 31288 23703 0 -1 4202560 109827 13196 0 0 241449 49 5 3 20 0 15 0 72964922 11180277760 273253 33554432000 4194304 4196468 140730720457200 139736010079024 139735659512432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31342] ppid=31285 vsize=10918240 memory=1090960 CPUtime=13.03 cores=0,2,4,6
/proc/31288/task/31342/stat : 31342 (java) S 31285 31288 23703 0 -1 1077944384 20398 13196 0 0 1240 55 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139736042486928 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31343] ppid=31285 vsize=10918240 memory=1090960 CPUtime=13.02 cores=0,2,4,6
/proc/31288/task/31343/stat : 31343 (java) S 31285 31288 23703 0 -1 1077944384 14766 13196 0 0 1242 52 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735957306384 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31344] ppid=31285 vsize=10918240 memory=1093008 CPUtime=13.05 cores=0,2,4,6
/proc/31288/task/31344/stat : 31344 (java) S 31285 31288 23703 0 -1 1077944384 17057 13196 0 0 1245 52 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735610350480 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31345] ppid=31285 vsize=10918240 memory=1093008 CPUtime=13.02 cores=0,2,4,6
/proc/31288/task/31345/stat : 31345 (java) S 31285 31288 23703 0 -1 1077944384 20448 13196 0 0 1243 51 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735609297680 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31346] ppid=31285 vsize=10918240 memory=1093008 CPUtime=10.82 cores=0,2,4,6
/proc/31288/task/31346/stat : 31346 (java) S 31285 31288 23703 0 -1 1077944384 20320 13196 0 0 1023 51 5 3 20 0 15 0 72964925 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735041206640 139736038255234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31347] ppid=31285 vsize=10918240 memory=1093012 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31347/stat : 31347 (java) S 31285 31288 23703 0 -1 1077944384 19 13196 0 0 0 0 5 3 20 0 15 0 72964925 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734949029024 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31348] ppid=31285 vsize=10918240 memory=1093012 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31348/stat : 31348 (java) S 31285 31288 23703 0 -1 1077944384 13 13196 0 0 0 0 5 3 20 0 15 0 72964925 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734814811008 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31349] ppid=31285 vsize=10918240 memory=1093008 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31349/stat : 31349 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734574520144 139736038262683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31350] ppid=31285 vsize=10918240 memory=1093008 CPUtime=9.38 cores=0,2,4,6
/proc/31288/task/31350/stat : 31350 (java) S 31285 31288 23703 0 -1 1077944384 106751 13196 0 0 920 10 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735040154480 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31351] ppid=31285 vsize=10918240 memory=1093012 CPUtime=9.08 cores=0,2,4,6
/proc/31288/task/31351/stat : 31351 (java) S 31285 31288 23703 0 -1 1077944384 94135 13196 0 0 889 11 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735039101680 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31352] ppid=31285 vsize=10918240 memory=1093012 CPUtime=4.44 cores=0,2,4,6
/proc/31288/task/31352/stat : 31352 (java) S 31285 31288 23703 0 -1 1077944384 104015 13196 0 0 422 14 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735038048880 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31353] ppid=31285 vsize=10918240 memory=1093012 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31353/stat : 31353 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734540962528 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31354] ppid=31285 vsize=10918240 memory=1093012 CPUtime=1.64 cores=0,2,4,6
/proc/31288/task/31354/stat : 31354 (java) S 31285 31288 23703 0 -1 1077944384 2076 13196 0 0 77 79 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735036996272 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
Current children cumulated CPU time: 2501.94 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1093012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2460.11 s]
/proc/loadavg: 0.57 0.63 0.87 2/194 31516
/proc/meminfo: memFree=16560088/32770624 swapFree=67108796/67108860
[pid=31288] ppid=31285 vsize=10918240 memory=1093012 CPUtime=2520.06 cores=0,2,4,6
/proc/31288/stat : 31288 (java) S 31285 31288 23703 0 -1 1077944320 512174 13196 0 0 251631 367 5 3 20 0 15 0 72964914 11180277760 273253 33554432000 4194304 4196468 140730720457200 140730720439744 139736038244087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
/proc/31288/statm: 2729560 273253 3527 1 0 2691213 0
[pid=31288/tid=31341] ppid=31285 vsize=10918240 memory=1093012 CPUtime=2432.67 cores=0,2,4,6
/proc/31288/task/31341/stat : 31341 (java) R 31285 31288 23703 0 -1 4202560 109954 13196 0 0 243209 50 5 3 20 0 15 0 72964922 11180277760 273253 33554432000 4194304 4196468 140730720457200 139736010078416 139735657023633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31342] ppid=31285 vsize=10918240 memory=1093012 CPUtime=13.13 cores=0,2,4,6
/proc/31288/task/31342/stat : 31342 (java) S 31285 31288 23703 0 -1 1077944384 20411 13196 0 0 1250 55 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139736042486928 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31343] ppid=31285 vsize=10918240 memory=1093012 CPUtime=13.12 cores=0,2,4,6
/proc/31288/task/31343/stat : 31343 (java) S 31285 31288 23703 0 -1 1077944384 14766 13196 0 0 1252 52 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735957306384 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31344] ppid=31285 vsize=10918240 memory=0 CPUtime=13.16 cores=0,2,4,6
/proc/31288/task/31344/stat : 31344 (java) S 31285 31288 23703 0 -1 1077944384 17058 13196 0 0 1255 53 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735610350480 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31345] ppid=31285 vsize=10918240 memory=1306 CPUtime=13.13 cores=0,2,4,6
/proc/31288/task/31345/stat : 31345 (java) S 31285 31288 23703 0 -1 1077944384 20448 13196 0 0 1253 52 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735609297680 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31346] ppid=31285 vsize=10918240 memory=1093012 CPUtime=10.91 cores=0,2,4,6
/proc/31288/task/31346/stat : 31346 (java) S 31285 31288 23703 0 -1 1077944384 20331 13196 0 0 1031 52 5 3 20 0 15 0 72964925 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735041206640 139736038255234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31347] ppid=31285 vsize=10918240 memory=1093008 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31347/stat : 31347 (java) S 31285 31288 23703 0 -1 1077944384 19 13196 0 0 0 0 5 3 20 0 15 0 72964925 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734949029024 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31348] ppid=31285 vsize=10918240 memory=1093012 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31348/stat : 31348 (java) S 31285 31288 23703 0 -1 1077944384 13 13196 0 0 0 0 5 3 20 0 15 0 72964925 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734814811008 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31349] ppid=31285 vsize=10918240 memory=1093008 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31349/stat : 31349 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734574520144 139736038262683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31350] ppid=31285 vsize=10918240 memory=1093008 CPUtime=9.39 cores=0,2,4,6
/proc/31288/task/31350/stat : 31350 (java) S 31285 31288 23703 0 -1 1077944384 106751 13196 0 0 921 10 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735040154480 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31351] ppid=31285 vsize=10918240 memory=6791534058613427641 CPUtime=9.08 cores=0,2,4,6
/proc/31288/task/31351/stat : 31351 (java) S 31285 31288 23703 0 -1 1077944384 94135 13196 0 0 889 11 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735039101680 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31352] ppid=31285 vsize=10918240 memory=4072 CPUtime=4.44 cores=0,2,4,6
/proc/31288/task/31352/stat : 31352 (java) S 31285 31288 23703 0 -1 1077944384 104015 13196 0 0 422 14 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735038048880 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31353] ppid=31285 vsize=10918240 memory=1093012 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31353/stat : 31353 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734540962528 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31354] ppid=31285 vsize=10918240 memory=1093012 CPUtime=1.65 cores=0,2,4,6
/proc/31288/task/31354/stat : 31354 (java) S 31285 31288 23703 0 -1 1077944384 2076 13196 0 0 78 79 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735036996272 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1093012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2460.14 s]
# the end of solver process 31288 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.39 s, system=3.71177 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2460.11 s]
/proc/loadavg: 0.57 0.63 0.87 2/194 31516
/proc/meminfo: memFree=16560088/32770624 swapFree=67108796/67108860
[pid=31288] ppid=31285 vsize=10918240 memory=1093012 CPUtime=2520.06 cores=0,2,4,6
/proc/31288/stat : 31288 (java) S 31285 31288 23703 0 -1 1077944320 512174 13196 0 0 251631 367 5 3 20 0 15 0 72964914 11180277760 273253 33554432000 4194304 4196468 140730720457200 140730720439744 139736038244087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
/proc/31288/statm: 2729560 273253 3527 1 0 2691213 0
[pid=31288/tid=31341] ppid=31285 vsize=10918240 memory=1093012 CPUtime=2432.67 cores=0,2,4,6
/proc/31288/task/31341/stat : 31341 (java) R 31285 31288 23703 0 -1 4202560 109954 13196 0 0 243209 50 5 3 20 0 15 0 72964922 11180277760 273253 33554432000 4194304 4196468 140730720457200 139736010078416 139735657023633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31342] ppid=31285 vsize=10918240 memory=1093012 CPUtime=13.13 cores=0,2,4,6
/proc/31288/task/31342/stat : 31342 (java) S 31285 31288 23703 0 -1 1077944384 20411 13196 0 0 1250 55 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139736042486928 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31343] ppid=31285 vsize=10918240 memory=1093012 CPUtime=13.12 cores=0,2,4,6
/proc/31288/task/31343/stat : 31343 (java) S 31285 31288 23703 0 -1 1077944384 14766 13196 0 0 1252 52 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735957306384 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31344] ppid=31285 vsize=10918240 memory=0 CPUtime=13.16 cores=0,2,4,6
/proc/31288/task/31344/stat : 31344 (java) S 31285 31288 23703 0 -1 1077944384 17058 13196 0 0 1255 53 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735610350480 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31345] ppid=31285 vsize=10918240 memory=1306 CPUtime=13.13 cores=0,2,4,6
/proc/31288/task/31345/stat : 31345 (java) S 31285 31288 23703 0 -1 1077944384 20448 13196 0 0 1253 52 5 3 20 0 15 0 72964923 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735609297680 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31346] ppid=31285 vsize=10918240 memory=1093012 CPUtime=10.91 cores=0,2,4,6
/proc/31288/task/31346/stat : 31346 (java) S 31285 31288 23703 0 -1 1077944384 20331 13196 0 0 1031 52 5 3 20 0 15 0 72964925 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735041206640 139736038255234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31347] ppid=31285 vsize=10918240 memory=1093008 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31347/stat : 31347 (java) S 31285 31288 23703 0 -1 1077944384 19 13196 0 0 0 0 5 3 20 0 15 0 72964925 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734949029024 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31348] ppid=31285 vsize=10918240 memory=1093012 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31348/stat : 31348 (java) S 31285 31288 23703 0 -1 1077944384 13 13196 0 0 0 0 5 3 20 0 15 0 72964925 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734814811008 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31349] ppid=31285 vsize=10918240 memory=1093008 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31349/stat : 31349 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734574520144 139736038262683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31350] ppid=31285 vsize=10918240 memory=1093008 CPUtime=9.39 cores=0,2,4,6
/proc/31288/task/31350/stat : 31350 (java) S 31285 31288 23703 0 -1 1077944384 106751 13196 0 0 921 10 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735040154480 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31351] ppid=31285 vsize=10918240 memory=6791534058613427641 CPUtime=9.08 cores=0,2,4,6
/proc/31288/task/31351/stat : 31351 (java) S 31285 31288 23703 0 -1 1077944384 94135 13196 0 0 889 11 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735039101680 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31352] ppid=31285 vsize=10918240 memory=4072 CPUtime=4.44 cores=0,2,4,6
/proc/31288/task/31352/stat : 31352 (java) S 31285 31288 23703 0 -1 1077944384 104015 13196 0 0 422 14 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735038048880 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31353] ppid=31285 vsize=10918240 memory=1093012 CPUtime=0.08 cores=0,2,4,6
/proc/31288/task/31353/stat : 31353 (java) S 31285 31288 23703 0 -1 1077944384 3 13196 0 0 0 0 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139734540962528 139736038254293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
[pid=31288/tid=31354] ppid=31285 vsize=10918240 memory=1093012 CPUtime=1.65 cores=0,2,4,6
/proc/31288/task/31354/stat : 31354 (java) S 31285 31288 23703 0 -1 1077944384 2076 13196 0 0 78 79 5 3 20 0 15 0 72964928 11180277760 273253 33554432000 4194304 4196468 140730720457200 139735036996272 139736038255234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34942976 140730720459375 140730720462172 140730720462172 140730720464847 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1093012 KiB
Child status: 143
Real time (s): 2460.14
CPU time (s): 2520.1
CPU user time (s): 2516.39
CPU system time (s): 3.71177
CPU usage (%): 102.437
Max. virtual memory (cumulated for all children) (KiB): 10921032
Max. memory (cumulated for all children) (KiB): 1093012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.71177
maximum resident set size= 1097248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 282662
involuntary context switches= 9107
# summary of solver processes directly reported to runsolver:
# pid: 31288
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.39
# total CPU system time (s): 3.71177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4495 second user time and 23.6504 second system time
The end