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 (4643 MiB free)
memory of node 1: 16384 MiB (8784 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294081-1532424772/watcher-4294081-1532424772 -o /tmp/evaluation-result-4294081-1532424772/solver-4294081-1532424772 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532414812-13980 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2013197149 HOME/instance-4294081-1532424772.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=16235, runsolver pid=16232
[startup+0.100064 s]*
/proc/loadavg: 1.34 1.40 1.45 3/206 16292
/proc/meminfo: memFree=13742936/32770624 swapFree=67108852/67108860
[pid=16235] ppid=16232 vsize=9972712 memory=17340 CPUtime=0.09 cores=0,2,4,6
/proc/16235/stat : 16235 (java) S 16232 16235 13949 0 -1 1077944320 4466 13149 0 0 1 1 4 3 20 0 6 0 60040388 10212057088 4335 33554432000 4194304 4196468 140725579166064 140725579148608 140030886698743 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
/proc/16235/statm: 2493178 4335 1957 1 0 2481616 0
[pid=16235/tid=16288] ppid=16232 vsize=9983652 memory=4279135703913103502 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16288/stat : 16288 (java) R 16232 16235 13949 0 -1 4202560 2293 13149 0 0 0 0 4 3 20 0 6 0 60040396 10223259648 4335 33554432000 4194304 4196468 140725579166064 140030858535504 140030878936542 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16289] ppid=16232 vsize=9988792 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16289/stat : 16289 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 6 0 60040397 10228523008 4335 33554432000 4194304 4196468 140725579166064 140030890941200 140030886708949 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16290] ppid=16232 vsize=9988792 memory=140611700852352 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16290/stat : 16290 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 6 0 60040397 10228523008 4335 33554432000 4194304 4196468 140725579166064 140030779214736 140030886708949 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16291] ppid=16232 vsize=9988792 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16291/stat : 16291 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 6 0 60040397 10228523008 4335 33554432000 4194304 4196468 140725579166064 140030778162192 140030886708949 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16292] ppid=16232 vsize=9988792 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16292/stat : 16292 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 6 0 60040397 10228523008 4335 33554432000 4194304 4196468 140725579166064 140030777109648 140030886708949 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17340 KiB
[startup+0.209905 s]*
/proc/loadavg: 1.34 1.40 1.45 3/215 16301
/proc/meminfo: memFree=13721292/32770624 swapFree=67108852/67108860
[pid=16235] ppid=16232 vsize=10818904 memory=44852 CPUtime=0.25 cores=0,2,4,6
/proc/16235/stat : 16235 (java) S 16232 16235 13949 0 -1 1077944320 7852 13149 0 0 16 2 4 3 20 0 15 0 60040388 11078557696 11213 33554432000 4194304 4196468 140725579166064 140725579148608 140030886698743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
/proc/16235/statm: 2704726 11213 2981 1 0 2667149 0
[pid=16235/tid=16288] ppid=16232 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/16235/task/16288/stat : 16288 (java) R 16232 16235 13949 0 -1 4202560 4433 13149 0 0 10 1 4 3 20 0 15 0 60040396 11078557696 11213 33554432000 4194304 4196468 140725579166064 140030858529688 140030866964537 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16289] ppid=16232 vsize=10818904 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16289/stat : 16289 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11078557696 11213 33554432000 4194304 4196468 140725579166064 140030890941200 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16290] ppid=16232 vsize=10818904 memory=140611701182816 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16290/stat : 16290 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11078557696 11213 33554432000 4194304 4196468 140725579166064 140030779214736 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16291] ppid=16232 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16291/stat : 16291 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11078557696 11279 33554432000 4194304 4196468 140725579166064 140030778162192 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16292] ppid=16232 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16292/stat : 16292 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040397 11078557696 11279 33554432000 4194304 4196468 140725579166064 140030777109648 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16293] ppid=16232 vsize=10818904 memory=140611700852352 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16293/stat : 16293 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040399 11078557696 11279 33554432000 4194304 4196468 140725579166064 140030345574384 140030886709890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16294] ppid=16232 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16294/stat : 16294 (java) S 16232 16235 13949 0 -1 1077944384 33 13149 0 0 0 0 4 3 20 0 15 0 60040399 11078557696 11279 33554432000 4194304 4196468 140725579166064 140030344520608 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16295] ppid=16232 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16295/stat : 16295 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040399 11078557696 11279 33554432000 4194304 4196468 140725579166064 140030228030448 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16296] ppid=16232 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16296/stat : 16296 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040402 11078557696 11279 33554432000 4194304 4196468 140725579166064 140029624051920 140030886717339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16297] ppid=16232 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16297/stat : 16297 (java) S 16232 16235 13949 0 -1 1077944384 467 13149 0 0 0 0 4 3 20 0 15 0 60040402 11078557696 11279 33554432000 4194304 4196468 140725579166064 140030310963696 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16298] ppid=16232 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16235/task/16298/stat : 16298 (java) S 16232 16235 13949 0 -1 1077944384 143 13149 0 0 1 0 4 3 20 0 15 0 60040402 11078557696 11279 33554432000 4194304 4196468 140725579166064 140030309911152 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16299] ppid=16232 vsize=10818904 memory=140611700852352 CPUtime=0.1 cores=0,2,4,6
/proc/16235/task/16299/stat : 16299 (java) S 16232 16235 13949 0 -1 1077944384 605 13149 0 0 3 0 4 3 20 0 15 0 60040402 11078557696 11279 33554432000 4194304 4196468 140725579166064 140030308858608 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16300] ppid=16232 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16300/stat : 16300 (java) S 16232 16235 13949 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 60040402 11078557696 11279 33554432000 4194304 4196468 140725579166064 140029154290784 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16301] ppid=16232 vsize=10818904 memory=140611700852352 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16301/stat : 16301 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040403 11078557696 11279 33554432000 4194304 4196468 140725579166064 140030307805488 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44852 KiB
[startup+0.310078 s]*
/proc/loadavg: 1.34 1.40 1.45 3/215 16301
/proc/meminfo: memFree=13709752/32770624 swapFree=67108852/67108860
[pid=16235] ppid=16232 vsize=10819352 memory=56624 CPUtime=0.37 cores=0,2,4,6
/proc/16235/stat : 16235 (java) S 16232 16235 13949 0 -1 1077944320 10656 13149 0 0 27 3 4 3 20 0 15 0 60040388 11079016448 14156 33554432000 4194304 4196468 140725579166064 140725579148608 140030886698743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
/proc/16235/statm: 2704838 14156 3100 1 0 2667149 0
[pid=16235/tid=16288] ppid=16232 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/16235/task/16288/stat : 16288 (java) R 16232 16235 13949 0 -1 4202560 7191 13149 0 0 19 2 4 3 20 0 15 0 60040396 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030858510752 140030870779230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16289] ppid=16232 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16289/stat : 16289 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030890941200 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16290] ppid=16232 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16290/stat : 16290 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030779214736 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16291] ppid=16232 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16291/stat : 16291 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030778162192 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16292] ppid=16232 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16292/stat : 16292 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040397 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030777109648 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16293] ppid=16232 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16293/stat : 16293 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040399 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030345574384 140030886709890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16294] ppid=16232 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16294/stat : 16294 (java) S 16232 16235 13949 0 -1 1077944384 33 13149 0 0 0 0 4 3 20 0 15 0 60040399 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030344520608 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16295] ppid=16232 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16295/stat : 16295 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040399 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030228030448 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16296] ppid=16232 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16296/stat : 16296 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040402 11079016448 14156 33554432000 4194304 4196468 140725579166064 140029624051920 140030886717339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16297] ppid=16232 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16235/task/16297/stat : 16297 (java) S 16232 16235 13949 0 -1 1077944384 468 13149 0 0 1 0 4 3 20 0 15 0 60040402 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030310963696 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16298] ppid=16232 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16235/task/16298/stat : 16298 (java) S 16232 16235 13949 0 -1 1077944384 143 13149 0 0 1 0 4 3 20 0 15 0 60040402 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030309911152 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16299] ppid=16232 vsize=10819352 memory=140611700852352 CPUtime=0.11 cores=0,2,4,6
/proc/16235/task/16299/stat : 16299 (java) S 16232 16235 13949 0 -1 1077944384 614 13149 0 0 4 0 4 3 20 0 15 0 60040402 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030308858608 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16300] ppid=16232 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16300/stat : 16300 (java) S 16232 16235 13949 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 60040402 11079016448 14156 33554432000 4194304 4196468 140725579166064 140029154290784 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16301] ppid=16232 vsize=10819352 memory=140611700852352 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16301/stat : 16301 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040403 11079016448 14156 33554432000 4194304 4196468 140725579166064 140030307805488 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56624 KiB
[startup+0.700767 s]
/proc/loadavg: 1.34 1.40 1.45 4/215 16301
/proc/meminfo: memFree=13699208/32770624 swapFree=67108852/67108860
[pid=16235] ppid=16232 vsize=10819352 memory=88652 CPUtime=0.98 cores=0,2,4,6
/proc/16235/stat : 16235 (java) S 16232 16235 13949 0 -1 1077944320 16748 13149 0 0 86 5 4 3 20 0 15 0 60040388 11079016448 22163 33554432000 4194304 4196468 140725579166064 140725579148608 140030886698743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
/proc/16235/statm: 2704838 22163 3250 1 0 2667149 0
[pid=16235/tid=16288] ppid=16232 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/16235/task/16288/stat : 16288 (java) R 16232 16235 13949 0 -1 4202560 12239 13149 0 0 56 3 4 3 20 0 15 0 60040396 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030858519568 140030886720669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16289] ppid=16232 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16289/stat : 16289 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030890941200 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16290] ppid=16232 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16290/stat : 16290 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030779214736 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16291] ppid=16232 vsize=10819352 memory=140611592270640 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16291/stat : 16291 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030778162192 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16292] ppid=16232 vsize=10819352 memory=140612934304332 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16292/stat : 16292 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040397 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030777109648 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16293] ppid=16232 vsize=10819352 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16293/stat : 16293 (java) S 16232 16235 13949 0 -1 1077944384 6 13149 0 0 0 0 4 3 20 0 15 0 60040399 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030345574384 140030886709890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16294] ppid=16232 vsize=10819352 memory=4639098309541128813 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16294/stat : 16294 (java) S 16232 16235 13949 0 -1 1077944384 33 13149 0 0 0 0 4 3 20 0 15 0 60040399 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030344520608 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16295] ppid=16232 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16295/stat : 16295 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040399 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030228030448 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16296] ppid=16232 vsize=10819352 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16296/stat : 16296 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040402 11079016448 22163 33554432000 4194304 4196468 140725579166064 140029624051920 140030886717339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16297] ppid=16232 vsize=10819352 memory=11272 CPUtime=0.16 cores=0,2,4,6
/proc/16235/task/16297/stat : 16297 (java) S 16232 16235 13949 0 -1 1077944384 1059 13149 0 0 9 0 4 3 20 0 15 0 60040402 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030310963696 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16298] ppid=16232 vsize=10819352 memory=16432 CPUtime=0.14 cores=0,2,4,6
/proc/16235/task/16298/stat : 16298 (java) S 16232 16235 13949 0 -1 1077944384 532 13149 0 0 7 0 4 3 20 0 15 0 60040402 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030309911152 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16299] ppid=16232 vsize=10819352 memory=1792 CPUtime=0.2 cores=0,2,4,6
/proc/16235/task/16299/stat : 16299 (java) R 16232 16235 13949 0 -1 1077944384 674 13149 0 0 13 0 4 3 20 0 15 0 60040402 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030308858608 140030886709890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16300] ppid=16232 vsize=10819352 memory=644 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16300/stat : 16300 (java) S 16232 16235 13949 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 60040402 11079016448 22163 33554432000 4194304 4196468 140725579166064 140029154290784 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16301] ppid=16232 vsize=10819352 memory=956 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16301/stat : 16301 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040403 11079016448 22163 33554432000 4194304 4196468 140725579166064 140030307805488 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88652 KiB
[startup+1.50091 s]
/proc/loadavg: 1.34 1.40 1.45 3/215 16301
/proc/meminfo: memFree=13655588/32770624 swapFree=67108852/67108860
[pid=16235] ppid=16232 vsize=10830156 memory=184016 CPUtime=2.97 cores=0,2,4,6
/proc/16235/stat : 16235 (java) S 16232 16235 13949 0 -1 1077944320 24231 13149 0 0 282 8 4 3 20 0 15 0 60040388 11090079744 46004 33554432000 4194304 4196468 140725579166064 140725579148608 140030886698743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
/proc/16235/statm: 2707539 46004 3456 1 0 2669197 0
[pid=16235/tid=16288] ppid=16232 vsize=10830156 memory=65220 CPUtime=1.45 cores=0,2,4,6
/proc/16235/task/16288/stat : 16288 (java) R 16232 16235 13949 0 -1 4202560 16489 13149 0 0 133 5 4 3 20 0 15 0 60040396 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030858499328 140030886720669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16289] ppid=16232 vsize=10830156 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16289/stat : 16289 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030890941200 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16290] ppid=16232 vsize=10830156 memory=281223184572576 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16290/stat : 16290 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030779214736 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16291] ppid=16232 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16291/stat : 16291 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040397 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030778162192 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16292] ppid=16232 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16292/stat : 16292 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040397 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030777109648 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16293] ppid=16232 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16293/stat : 16293 (java) S 16232 16235 13949 0 -1 1077944384 14 13149 0 0 0 0 4 3 20 0 15 0 60040399 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030345574384 140030886709890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16294] ppid=16232 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16294/stat : 16294 (java) S 16232 16235 13949 0 -1 1077944384 33 13149 0 0 0 0 4 3 20 0 15 0 60040399 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030344520608 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16295] ppid=16232 vsize=10830156 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16295/stat : 16295 (java) S 16232 16235 13949 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 60040399 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030228030448 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16296] ppid=16232 vsize=10830156 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16296/stat : 16296 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040402 11090079744 46004 33554432000 4194304 4196468 140725579166064 140029624051920 140030886717339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16297] ppid=16232 vsize=10830156 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/16235/task/16297/stat : 16297 (java) S 16232 16235 13949 0 -1 1077944384 2441 13149 0 0 51 1 4 3 20 0 15 0 60040402 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030310963696 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16298] ppid=16232 vsize=10830156 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/16235/task/16298/stat : 16298 (java) R 16232 16235 13949 0 -1 4202560 1380 13149 0 0 52 0 4 3 20 0 15 0 60040402 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030309911152 140030868242838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16299] ppid=16232 vsize=10830156 memory=6791534058613427641 CPUtime=0.5 cores=0,2,4,6
/proc/16235/task/16299/stat : 16299 (java) S 16232 16235 13949 0 -1 1077944384 1667 13149 0 0 43 0 4 3 20 0 15 0 60040402 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030308858608 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16300] ppid=16232 vsize=10830156 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16300/stat : 16300 (java) S 16232 16235 13949 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 60040402 11090079744 46004 33554432000 4194304 4196468 140725579166064 140029154290784 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16301] ppid=16232 vsize=10830156 memory=281223184817024 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16301/stat : 16301 (java) S 16232 16235 13949 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 60040403 11090079744 46004 33554432000 4194304 4196468 140725579166064 140030307805488 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/16235/task/16288/stat : 16288 (java) R 16232 16235 13949 0 -1 4202560 101481 13149 0 0 235661 54 4 3 20 0 15 0 60040396 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030858532768 140030468076185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16289] ppid=16232 vsize=10916192 memory=1513520 CPUtime=13.42 cores=0,2,4,6
/proc/16235/task/16289/stat : 16289 (java) S 16232 16235 13949 0 -1 1077944384 36130 13149 0 0 1284 51 4 3 20 0 15 0 60040397 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030890941200 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16290] ppid=16232 vsize=10916192 memory=1513520 CPUtime=13.42 cores=0,2,4,6
/proc/16235/task/16290/stat : 16290 (java) S 16232 16235 13949 0 -1 1077944384 23856 13149 0 0 1287 48 4 3 20 0 15 0 60040397 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030779214736 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16291] ppid=16232 vsize=10916192 memory=281223185264608 CPUtime=13.41 cores=0,2,4,6
/proc/16235/task/16291/stat : 16291 (java) S 16232 16235 13949 0 -1 1077944384 22198 13149 0 0 1284 50 4 3 20 0 15 0 60040397 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030778162192 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16292] ppid=16232 vsize=10916192 memory=1513520 CPUtime=13.43 cores=0,2,4,6
/proc/16235/task/16292/stat : 16292 (java) S 16232 16235 13949 0 -1 1077944384 34611 13149 0 0 1285 51 4 3 20 0 15 0 60040397 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030777109648 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16293] ppid=16232 vsize=10916192 memory=1513544 CPUtime=9.08 cores=0,2,4,6
/proc/16235/task/16293/stat : 16293 (java) S 16232 16235 13949 0 -1 1077944384 24324 13149 0 0 851 50 4 3 20 0 15 0 60040399 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030345574384 140030886709890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16294] ppid=16232 vsize=10916192 memory=1513544 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16294/stat : 16294 (java) S 16232 16235 13949 0 -1 1077944384 63 13149 0 0 0 0 4 3 20 0 15 0 60040399 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030344520672 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16295] ppid=16232 vsize=10916192 memory=1513544 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16295/stat : 16295 (java) S 16232 16235 13949 0 -1 1077944384 5 13149 0 0 0 0 4 3 20 0 15 0 60040399 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030228030464 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16296] ppid=16232 vsize=10916192 memory=1513544 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16296/stat : 16296 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040402 11178180608 378386 33554432000 4194304 4196468 140725579166064 140029624051920 140030886717339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16297] ppid=16232 vsize=10916192 memory=1952 CPUtime=11.36 cores=0,2,4,6
/proc/16235/task/16297/stat : 16297 (java) S 16232 16235 13949 0 -1 1077944384 20997 13149 0 0 1123 6 4 3 20 0 15 0 60040402 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030310963696 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16298] ppid=16232 vsize=10916192 memory=1513544 CPUtime=11.24 cores=0,2,4,6
/proc/16235/task/16298/stat : 16298 (java) S 16232 16235 13949 0 -1 1077944384 17697 13149 0 0 1112 5 4 3 20 0 15 0 60040402 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030309911152 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16299] ppid=16232 vsize=10916192 memory=4012 CPUtime=4.09 cores=0,2,4,6
/proc/16235/task/16299/stat : 16299 (java) S 16232 16235 13949 0 -1 1077944384 22934 13149 0 0 396 6 4 3 20 0 15 0 60040402 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030308858608 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16300] ppid=16232 vsize=10916192 memory=644 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16300/stat : 16300 (java) S 16232 16235 13949 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 60040402 11178180608 378386 33554432000 4194304 4196468 140725579166064 140029154290784 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16301] ppid=16232 vsize=10916192 memory=956 CPUtime=1.36 cores=0,2,4,6
/proc/16235/task/16301/stat : 16301 (java) S 16232 16235 13949 0 -1 1077944384 1567 13149 0 0 63 66 4 3 20 0 15 0 60040403 11178180608 378386 33554432000 4194304 4196468 140725579166064 140030307805488 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
Current children cumulated CPU time: 2447.52 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1513544 KiB
[startup+2442.3 s]
/proc/loadavg: 1.16 1.48 1.47 4/216 16548
/proc/meminfo: memFree=11281040/32770624 swapFree=67108852/67108860
[pid=16235] ppid=16232 vsize=10916192 memory=1509028 CPUtime=2508.58 cores=0,2,4,6
/proc/16235/stat : 16235 (java) S 16232 16235 13949 0 -1 1077944320 313738 13149 0 0 250497 354 4 3 20 0 15 0 60040388 11178180608 377257 33554432000 4194304 4196468 140725579166064 140725579148608 140030886698743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
/proc/16235/statm: 2729048 377257 3533 1 0 2690701 0
[pid=16235/tid=16288] ppid=16232 vsize=10916192 memory=1509028 CPUtime=2416.5 cores=0,2,4,6
/proc/16235/task/16288/stat : 16288 (java) R 16232 16235 13949 0 -1 4202560 103156 13149 0 0 241588 55 4 3 20 0 15 0 60040396 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030858532848 140030447256940 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16289] ppid=16232 vsize=10916192 memory=1509028 CPUtime=13.8 cores=0,2,4,6
/proc/16235/task/16289/stat : 16289 (java) S 16232 16235 13949 0 -1 1077944384 36822 13149 0 0 1320 53 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030890941200 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16290] ppid=16232 vsize=10916192 memory=1513520 CPUtime=13.8 cores=0,2,4,6
/proc/16235/task/16290/stat : 16290 (java) S 16232 16235 13949 0 -1 1077944384 24086 13149 0 0 1324 49 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030779214736 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16291] ppid=16232 vsize=10916192 memory=1507936 CPUtime=13.77 cores=0,2,4,6
/proc/16235/task/16291/stat : 16291 (java) S 16232 16235 13949 0 -1 1077944384 22514 13149 0 0 1320 50 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030778162192 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16292] ppid=16232 vsize=10916192 memory=1509024 CPUtime=13.81 cores=0,2,4,6
/proc/16235/task/16292/stat : 16292 (java) S 16232 16235 13949 0 -1 1077944384 35257 13149 0 0 1322 52 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030777109648 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16293] ppid=16232 vsize=10916192 memory=1508988 CPUtime=9.34 cores=0,2,4,6
/proc/16235/task/16293/stat : 16293 (java) S 16232 16235 13949 0 -1 1077944384 24955 13149 0 0 875 52 4 3 20 0 15 0 60040399 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030345574384 140030886709890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16294] ppid=16232 vsize=10916192 memory=1509024 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16294/stat : 16294 (java) S 16232 16235 13949 0 -1 1077944384 63 13149 0 0 0 0 4 3 20 0 15 0 60040399 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030344520672 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16295] ppid=16232 vsize=10916192 memory=1509028 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16295/stat : 16295 (java) S 16232 16235 13949 0 -1 1077944384 5 13149 0 0 0 0 4 3 20 0 15 0 60040399 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030228030464 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16296] ppid=16232 vsize=10916192 memory=1509028 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16296/stat : 16296 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140029624051920 140030886717339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16297] ppid=16232 vsize=10916192 memory=1509028 CPUtime=11.36 cores=0,2,4,6
/proc/16235/task/16297/stat : 16297 (java) S 16232 16235 13949 0 -1 1077944384 21002 13149 0 0 1123 6 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030310963696 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16298] ppid=16232 vsize=10916192 memory=1952 CPUtime=11.24 cores=0,2,4,6
/proc/16235/task/16298/stat : 16298 (java) S 16232 16235 13949 0 -1 1077944384 17702 13149 0 0 1112 5 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030309911152 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16299] ppid=16232 vsize=10916192 memory=0 CPUtime=4.09 cores=0,2,4,6
/proc/16235/task/16299/stat : 16299 (java) S 16232 16235 13949 0 -1 1077944384 24369 13149 0 0 396 6 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030308858608 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16300] ppid=16232 vsize=10916192 memory=1509028 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16300/stat : 16300 (java) S 16232 16235 13949 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140029154290784 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16301] ppid=16232 vsize=10916192 memory=1509028 CPUtime=1.39 cores=0,2,4,6
/proc/16235/task/16301/stat : 16301 (java) S 16232 16235 13949 0 -1 1077944384 1609 13149 0 0 65 67 4 3 20 0 15 0 60040403 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030307805488 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
Current children cumulated CPU time: 2508.58 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1509028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2453.5 s]
/proc/loadavg: 1.21 1.48 1.47 4/216 16548
/proc/meminfo: memFree=11289560/32770624 swapFree=67108852/67108860
[pid=16235] ppid=16232 vsize=10916192 memory=1509028 CPUtime=2520 cores=0,2,4,6
/proc/16235/stat : 16235 (java) S 16232 16235 13949 0 -1 1077944320 313855 13149 0 0 251637 356 4 3 20 0 15 0 60040388 11178180608 377257 33554432000 4194304 4196468 140725579166064 140725579148608 140030886698743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
/proc/16235/statm: 2729048 377257 3533 1 0 2690701 0
[pid=16235/tid=16288] ppid=16232 vsize=10916192 memory=1509028 CPUtime=2427.58 cores=0,2,4,6
/proc/16235/task/16288/stat : 16288 (java) R 16232 16235 13949 0 -1 4202560 103269 13149 0 0 242696 55 4 3 20 0 15 0 60040396 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030858532864 140030455530973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16289] ppid=16232 vsize=10916192 memory=1509028 CPUtime=13.87 cores=0,2,4,6
/proc/16235/task/16289/stat : 16289 (java) S 16232 16235 13949 0 -1 1077944384 36823 13149 0 0 1327 53 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030890941200 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16290] ppid=16232 vsize=10916192 memory=1509028 CPUtime=13.87 cores=0,2,4,6
/proc/16235/task/16290/stat : 16290 (java) S 16232 16235 13949 0 -1 1077944384 24087 13149 0 0 1331 49 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030779214736 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16291] ppid=16232 vsize=10916192 memory=1509028 CPUtime=13.85 cores=0,2,4,6
/proc/16235/task/16291/stat : 16291 (java) S 16232 16235 13949 0 -1 1077944384 22515 13149 0 0 1327 51 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030778162192 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16292] ppid=16232 vsize=10916192 memory=1513520 CPUtime=13.88 cores=0,2,4,6
/proc/16235/task/16292/stat : 16292 (java) S 16232 16235 13949 0 -1 1077944384 35258 13149 0 0 1328 53 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030777109648 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16293] ppid=16232 vsize=10916192 memory=1507936 CPUtime=9.39 cores=0,2,4,6
/proc/16235/task/16293/stat : 16293 (java) S 16232 16235 13949 0 -1 1077944384 24955 13149 0 0 880 52 4 3 20 0 15 0 60040399 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030345574384 140030886709890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16294] ppid=16232 vsize=10916192 memory=1509024 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16294/stat : 16294 (java) S 16232 16235 13949 0 -1 1077944384 63 13149 0 0 0 0 4 3 20 0 15 0 60040399 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030344520672 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16295] ppid=16232 vsize=10916192 memory=1509028 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16295/stat : 16295 (java) S 16232 16235 13949 0 -1 1077944384 5 13149 0 0 0 0 4 3 20 0 15 0 60040399 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030228030464 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16296] ppid=16232 vsize=10916192 memory=1509028 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16296/stat : 16296 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140029624051920 140030886717339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16297] ppid=16232 vsize=10916192 memory=1509028 CPUtime=11.36 cores=0,2,4,6
/proc/16235/task/16297/stat : 16297 (java) S 16232 16235 13949 0 -1 1077944384 21002 13149 0 0 1123 6 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030310963696 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16298] ppid=16232 vsize=10916192 memory=1509028 CPUtime=11.24 cores=0,2,4,6
/proc/16235/task/16298/stat : 16298 (java) S 16232 16235 13949 0 -1 1077944384 17702 13149 0 0 1112 5 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030309911152 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16299] ppid=16232 vsize=10916192 memory=1509028 CPUtime=4.09 cores=0,2,4,6
/proc/16235/task/16299/stat : 16299 (java) S 16232 16235 13949 0 -1 1077944384 24369 13149 0 0 396 6 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030308858608 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16300] ppid=16232 vsize=10916192 memory=4012 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16300/stat : 16300 (java) S 16232 16235 13949 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140029154290784 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16301] ppid=16232 vsize=10916192 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/16235/task/16301/stat : 16301 (java) S 16232 16235 13949 0 -1 1077944384 1609 13149 0 0 65 67 4 3 20 0 15 0 60040403 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030307805488 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1509028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2453.54 s]
# the end of solver process 16235 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.44 s, system=3.6206 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2453.5 s]
/proc/loadavg: 1.21 1.48 1.47 4/216 16548
/proc/meminfo: memFree=11289560/32770624 swapFree=67108852/67108860
[pid=16235] ppid=16232 vsize=10916192 memory=1509028 CPUtime=2520 cores=0,2,4,6
/proc/16235/stat : 16235 (java) S 16232 16235 13949 0 -1 1077944320 313855 13149 0 0 251637 356 4 3 20 0 15 0 60040388 11178180608 377257 33554432000 4194304 4196468 140725579166064 140725579148608 140030886698743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
/proc/16235/statm: 2729048 377257 3533 1 0 2690701 0
[pid=16235/tid=16288] ppid=16232 vsize=10916192 memory=1509028 CPUtime=2427.58 cores=0,2,4,6
/proc/16235/task/16288/stat : 16288 (java) R 16232 16235 13949 0 -1 4202560 103269 13149 0 0 242696 55 4 3 20 0 15 0 60040396 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030858532864 140030455530973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16289] ppid=16232 vsize=10916192 memory=1509028 CPUtime=13.87 cores=0,2,4,6
/proc/16235/task/16289/stat : 16289 (java) S 16232 16235 13949 0 -1 1077944384 36823 13149 0 0 1327 53 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030890941200 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16290] ppid=16232 vsize=10916192 memory=1509028 CPUtime=13.87 cores=0,2,4,6
/proc/16235/task/16290/stat : 16290 (java) S 16232 16235 13949 0 -1 1077944384 24087 13149 0 0 1331 49 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030779214736 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16291] ppid=16232 vsize=10916192 memory=1509028 CPUtime=13.85 cores=0,2,4,6
/proc/16235/task/16291/stat : 16291 (java) S 16232 16235 13949 0 -1 1077944384 22515 13149 0 0 1327 51 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030778162192 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16292] ppid=16232 vsize=10916192 memory=1513520 CPUtime=13.88 cores=0,2,4,6
/proc/16235/task/16292/stat : 16292 (java) S 16232 16235 13949 0 -1 1077944384 35258 13149 0 0 1328 53 4 3 20 0 15 0 60040397 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030777109648 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16293] ppid=16232 vsize=10916192 memory=1507936 CPUtime=9.39 cores=0,2,4,6
/proc/16235/task/16293/stat : 16293 (java) S 16232 16235 13949 0 -1 1077944384 24955 13149 0 0 880 52 4 3 20 0 15 0 60040399 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030345574384 140030886709890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16294] ppid=16232 vsize=10916192 memory=1509024 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16294/stat : 16294 (java) S 16232 16235 13949 0 -1 1077944384 63 13149 0 0 0 0 4 3 20 0 15 0 60040399 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030344520672 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16295] ppid=16232 vsize=10916192 memory=1509028 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16295/stat : 16295 (java) S 16232 16235 13949 0 -1 1077944384 5 13149 0 0 0 0 4 3 20 0 15 0 60040399 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030228030464 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16296] ppid=16232 vsize=10916192 memory=1509028 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16296/stat : 16296 (java) S 16232 16235 13949 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140029624051920 140030886717339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16297] ppid=16232 vsize=10916192 memory=1509028 CPUtime=11.36 cores=0,2,4,6
/proc/16235/task/16297/stat : 16297 (java) S 16232 16235 13949 0 -1 1077944384 21002 13149 0 0 1123 6 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030310963696 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16298] ppid=16232 vsize=10916192 memory=1509028 CPUtime=11.24 cores=0,2,4,6
/proc/16235/task/16298/stat : 16298 (java) S 16232 16235 13949 0 -1 1077944384 17702 13149 0 0 1112 5 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030309911152 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16299] ppid=16232 vsize=10916192 memory=1509028 CPUtime=4.09 cores=0,2,4,6
/proc/16235/task/16299/stat : 16299 (java) S 16232 16235 13949 0 -1 1077944384 24369 13149 0 0 396 6 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030308858608 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16300] ppid=16232 vsize=10916192 memory=4012 CPUtime=0.07 cores=0,2,4,6
/proc/16235/task/16300/stat : 16300 (java) S 16232 16235 13949 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 60040402 11178180608 377257 33554432000 4194304 4196468 140725579166064 140029154290784 140030886708949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
[pid=16235/tid=16301] ppid=16232 vsize=10916192 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/16235/task/16301/stat : 16301 (java) S 16232 16235 13949 0 -1 1077944384 1609 13149 0 0 65 67 4 3 20 0 15 0 60040403 11178180608 377257 33554432000 4194304 4196468 140725579166064 140030307805488 140030886709890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10788864 140725579172462 140725579175260 140725579175260 140725579177935 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1509028 KiB
Child status: 143
Real time (s): 2453.54
CPU time (s): 2520.06
CPU user time (s): 2516.44
CPU system time (s): 3.6206
CPU usage (%): 102.711
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 1730220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 3.6206
maximum resident set size= 1732288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331155
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250155
involuntary context switches= 8447
# summary of solver processes directly reported to runsolver:
# pid: 16235
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.44
# total CPU system time (s): 3.6206
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7 second user time and 23.7304 second system time
The end