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 (6092 MiB free)
memory of node 1: 16384 MiB (8836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290296-1532536325/watcher-4290296-1532536325 -o /tmp/evaluation-result-4290296-1532536325/solver-4290296-1532536325 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532505403-28952 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1152052668 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290296-1532536325.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32150, runsolver pid=32147
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 1.35 1.35 1.39 4/219 32165
/proc/meminfo: memFree=15273328/32770624 swapFree=67108860/67108860
[pid=32150] ppid=32147 vsize=14082740 memory=29508 CPUtime=0.12 cores=0,2,4,6
/proc/32150/stat : 32150 (java) S 32147 32150 28921 0 -1 1077944320 6819 0 0 0 11 1 0 0 20 0 15 0 71195706 14420725760 7377 33554432000 4194304 4196468 140727152359296 140727152341840 140534853000951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
/proc/32150/statm: 3520685 7377 3147 1 0 3482761 0
[pid=32150/tid=32152] ppid=32147 vsize=14082740 memory=-8125511277465212286 CPUtime=0.09 cores=0,2,4,6
/proc/32150/task/32152/stat : 32152 (java) R 32147 32150 28921 0 -1 4202560 4825 0 0 0 8 1 0 0 20 0 15 0 71195706 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534857204072 140534837081438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32153] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32153/stat : 32153 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534448322960 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32154] ppid=32147 vsize=14082740 memory=140572695881344 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32154/stat : 32154 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534447270160 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32155] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32155/stat : 32155 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534446217872 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32156] ppid=32147 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32156/stat : 32156 (java) S 32147 32150 28921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534445165072 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32157] ppid=32147 vsize=14082740 memory=140572695881344 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32157/stat : 32157 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195708 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534034696816 140534853012098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32158] ppid=32147 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32158/stat : 32158 (java) S 32147 32150 28921 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71195709 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534033642784 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32159] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32159/stat : 32159 (java) S 32147 32150 28921 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71195709 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534032590448 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32160] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32160/stat : 32160 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195711 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534031538768 140534853019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32161] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32161/stat : 32161 (java) S 32147 32150 28921 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 71195711 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534030485616 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32162] ppid=32147 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32162/stat : 32162 (java) S 32147 32150 28921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71195711 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534029432816 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32163] ppid=32147 vsize=14082740 memory=140572695881344 CPUtime=0.01 cores=0,2,4,6
/proc/32150/task/32163/stat : 32163 (java) S 32147 32150 28921 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 15 0 71195711 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534028380528 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32164] ppid=32147 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32164/stat : 32164 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195712 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534027327968 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32165] ppid=32147 vsize=14082740 memory=140572695881344 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32165/stat : 32165 (java) S 32147 32150 28921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71195712 14420725760 7377 33554432000 4194304 4196468 140727152359296 140534026275760 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 29508 KiB
[startup+0.210658 s]*
/proc/loadavg: 1.35 1.35 1.39 4/219 32165
/proc/meminfo: memFree=15257700/32770624 swapFree=67108860/67108860
[pid=32150] ppid=32147 vsize=14082740 memory=45828 CPUtime=0.3 cores=0,2,4,6
/proc/32150/stat : 32150 (java) S 32147 32150 28921 0 -1 1077944320 10524 0 0 0 27 3 0 0 20 0 15 0 71195706 14420725760 11457 33554432000 4194304 4196468 140727152359296 140727152341840 140534853000951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
/proc/32150/statm: 3520685 11457 3377 1 0 3482761 0
[pid=32150/tid=32152] ppid=32147 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32150/task/32152/stat : 32152 (java) R 32147 32150 28921 0 -1 4202560 8168 0 0 0 18 2 0 0 20 0 15 0 71195706 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534857226480 140534845238078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32153] ppid=32147 vsize=14082740 memory=365 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32153/stat : 32153 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534448322960 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32154] ppid=32147 vsize=14082740 memory=140572696269222 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32154/stat : 32154 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534447270160 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32155] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32155/stat : 32155 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534446217872 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32156] ppid=32147 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32156/stat : 32156 (java) S 32147 32150 28921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534445165072 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32157] ppid=32147 vsize=14082740 memory=140572695881344 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32157/stat : 32157 (java) S 32147 32150 28921 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71195708 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534034696816 140534853012098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32158] ppid=32147 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32158/stat : 32158 (java) S 32147 32150 28921 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71195709 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534033642784 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32159] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32159/stat : 32159 (java) S 32147 32150 28921 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71195709 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534032590448 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32160] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32160/stat : 32160 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195711 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534031538768 140534853019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32161] ppid=32147 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32150/task/32161/stat : 32161 (java) S 32147 32150 28921 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 15 0 71195711 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534030485616 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32162] ppid=32147 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32150/task/32162/stat : 32162 (java) R 32147 32150 28921 0 -1 4202560 208 0 0 0 1 0 0 0 20 0 15 0 71195711 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534029432816 140534832665376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32163] ppid=32147 vsize=14082740 memory=140572695881344 CPUtime=0.05 cores=0,2,4,6
/proc/32150/task/32163/stat : 32163 (java) R 32147 32150 28921 0 -1 1077944384 402 0 0 0 5 0 0 0 20 0 15 0 71195711 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534028380528 140534853012098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32164] ppid=32147 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32164/stat : 32164 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195712 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534027327968 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32165] ppid=32147 vsize=14082740 memory=140572695881344 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32165/stat : 32165 (java) S 32147 32150 28921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71195712 14420725760 11457 33554432000 4194304 4196468 140727152359296 140534026275760 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 45828 KiB
[startup+0.310618 s]*
/proc/loadavg: 1.35 1.35 1.39 3/219 32165
/proc/meminfo: memFree=15253048/32770624 swapFree=67108860/67108860
[pid=32150] ppid=32147 vsize=14082740 memory=49352 CPUtime=0.44 cores=0,2,4,6
/proc/32150/stat : 32150 (java) S 32147 32150 28921 0 -1 1077944320 11027 0 0 0 41 3 0 0 20 0 15 0 71195706 14420725760 12338 33554432000 4194304 4196468 140727152359296 140727152341840 140534853000951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
/proc/32150/statm: 3520685 12338 3416 1 0 3482761 0
[pid=32150/tid=32152] ppid=32147 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/32150/task/32152/stat : 32152 (java) R 32147 32150 28921 0 -1 4202560 8526 0 0 0 28 2 0 0 20 0 15 0 71195706 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534857212440 140534836187760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32153] ppid=32147 vsize=14082740 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32153/stat : 32153 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534448322960 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32154] ppid=32147 vsize=14082740 memory=140572696088363 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32154/stat : 32154 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534447270160 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32155] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32155/stat : 32155 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534446217872 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32156] ppid=32147 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32156/stat : 32156 (java) S 32147 32150 28921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71195707 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534445165072 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32157] ppid=32147 vsize=14082740 memory=140572695881344 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32157/stat : 32157 (java) S 32147 32150 28921 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71195708 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534034696816 140534853012098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32158] ppid=32147 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32158/stat : 32158 (java) S 32147 32150 28921 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71195709 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534033642784 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32159] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32159/stat : 32159 (java) S 32147 32150 28921 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71195709 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534032590448 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32160] ppid=32147 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32160/stat : 32160 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195711 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534031538768 140534853019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32161] ppid=32147 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32150/task/32161/stat : 32161 (java) S 32147 32150 28921 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 15 0 71195711 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534030485616 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32162] ppid=32147 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32150/task/32162/stat : 32162 (java) S 32147 32150 28921 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 71195711 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534029432816 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32163] ppid=32147 vsize=14082740 memory=140572695881344 CPUtime=0.08 cores=0,2,4,6
/proc/32150/task/32163/stat : 32163 (java) S 32147 32150 28921 0 -1 1077944384 456 0 0 0 8 0 0 0 20 0 15 0 71195711 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534028380528 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32164] ppid=32147 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32164/stat : 32164 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195712 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534027327968 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32165] ppid=32147 vsize=14082740 memory=140572695881344 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32165/stat : 32165 (java) S 32147 32150 28921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71195712 14420725760 12338 33554432000 4194304 4196468 140727152359296 140534026275760 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49352 KiB
[startup+0.700674 s]
/proc/loadavg: 1.32 1.35 1.39 3/219 32165
/proc/meminfo: memFree=15232212/32770624 swapFree=67108860/67108860
[pid=32150] ppid=32147 vsize=14084808 memory=88264 CPUtime=0.99 cores=0,2,4,6
/proc/32150/stat : 32150 (java) S 32147 32150 28921 0 -1 1077944320 17913 0 0 0 94 5 0 0 20 0 15 0 71195706 14422843392 22066 33554432000 4194304 4196468 140727152359296 140727152341840 140534853000951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
/proc/32150/statm: 3521202 22066 3504 1 0 3483273 0
[pid=32150/tid=32152] ppid=32147 vsize=14084808 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/32150/task/32152/stat : 32152 (java) R 32147 32150 28921 0 -1 4202560 14945 0 0 0 63 4 0 0 20 0 15 0 71195706 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534857225168 140534838682255 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32153] ppid=32147 vsize=14084808 memory=792 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32153/stat : 32153 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534448322960 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32154] ppid=32147 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32154/stat : 32154 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534447270160 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32155] ppid=32147 vsize=14084808 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32155/stat : 32155 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534446217872 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32156] ppid=32147 vsize=14084808 memory=5524 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32156/stat : 32156 (java) S 32147 32150 28921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71195707 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534445165072 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32157] ppid=32147 vsize=14084808 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32157/stat : 32157 (java) S 32147 32150 28921 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71195708 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534034696816 140534853012098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32158] ppid=32147 vsize=14084808 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32158/stat : 32158 (java) S 32147 32150 28921 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71195709 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534033642784 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32159] ppid=32147 vsize=14084808 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32159/stat : 32159 (java) S 32147 32150 28921 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71195709 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534032590448 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32160] ppid=32147 vsize=14084808 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32160/stat : 32160 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195711 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534031538768 140534853019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32161] ppid=32147 vsize=14084808 memory=7450174591119418944 CPUtime=0.07 cores=0,2,4,6
/proc/32150/task/32161/stat : 32161 (java) S 32147 32150 28921 0 -1 1077944384 549 0 0 0 7 0 0 0 20 0 15 0 71195711 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534030485616 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32162] ppid=32147 vsize=14084808 memory=7519162438972494954 CPUtime=0.07 cores=0,2,4,6
/proc/32150/task/32162/stat : 32162 (java) S 32147 32150 28921 0 -1 1077944384 430 0 0 0 7 0 0 0 20 0 15 0 71195711 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534029432816 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32163] ppid=32147 vsize=14084808 memory=6154282490091891024 CPUtime=0.14 cores=0,2,4,6
/proc/32150/task/32163/stat : 32163 (java) S 32147 32150 28921 0 -1 1077944384 605 0 0 0 14 0 0 0 20 0 15 0 71195711 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534028380528 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32164] ppid=32147 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32164/stat : 32164 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195712 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534027327968 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32165] ppid=32147 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32165/stat : 32165 (java) S 32147 32150 28921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71195712 14422843392 22066 33554432000 4194304 4196468 140727152359296 140534026275760 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88264 KiB
[startup+1.50083 s]
/proc/loadavg: 1.32 1.35 1.39 3/219 32165
/proc/meminfo: memFree=15199256/32770624 swapFree=67108860/67108860
[pid=32150] ppid=32147 vsize=14093000 memory=137192 CPUtime=2.57 cores=0,2,4,6
/proc/32150/stat : 32150 (java) S 32147 32150 28921 0 -1 1077944320 25194 0 0 0 247 10 0 0 20 0 15 0 71195706 14431232000 34298 33554432000 4194304 4196468 140727152359296 140727152341840 140534853000951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
/proc/32150/statm: 3523250 34298 3537 1 0 3485321 0
[pid=32150/tid=32152] ppid=32147 vsize=14093000 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/32150/task/32152/stat : 32152 (java) R 32147 32150 28921 0 -1 4202560 19902 0 0 0 140 6 0 0 20 0 15 0 71195706 14431232000 34298 33554432000 4194304 4196468 140727152359296 140534857236800 140534832061263 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32153] ppid=32147 vsize=14093000 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32153/stat : 32153 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14431232000 34298 33554432000 4194304 4196468 140727152359296 140534448322960 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32154] ppid=32147 vsize=14093000 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32154/stat : 32154 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14431232000 34298 33554432000 4194304 4196468 140727152359296 140534447270160 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32155] ppid=32147 vsize=14093000 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32155/stat : 32155 (java) S 32147 32150 28921 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71195707 14431232000 34298 33554432000 4194304 4196468 140727152359296 140534446217872 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32156] ppid=32147 vsize=14093000 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32156/stat : 32156 (java) S 32147 32150 28921 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71195707 14431232000 34298 33554432000 4194304 4196468 140727152359296 140534445165072 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32157] ppid=32147 vsize=14093000 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32157/stat : 32157 (java) S 32147 32150 28921 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 71195708 14431232000 34298 33554432000 4194304 4196468 140727152359296 140534034696816 140534853012098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
################
# More data... #
################
/proc/32150/task/32152/stat : 32152 (java) R 32147 32150 28921 0 -1 4202560 61769 0 0 0 223575 60 0 0 20 0 15 0 71195706 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534857239504 140534496623626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32153] ppid=32147 vsize=14093000 memory=1152112 CPUtime=9.63 cores=0,2,4,6
/proc/32150/task/32153/stat : 32153 (java) S 32147 32150 28921 0 -1 1077944384 10531 0 0 0 878 85 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534448322960 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32154] ppid=32147 vsize=14093000 memory=1152112 CPUtime=9.59 cores=0,2,4,6
/proc/32150/task/32154/stat : 32154 (java) S 32147 32150 28921 0 -1 1077944384 7754 0 0 0 869 90 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534447270160 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32155] ppid=32147 vsize=14093000 memory=1152112 CPUtime=9.56 cores=0,2,4,6
/proc/32150/task/32155/stat : 32155 (java) S 32147 32150 28921 0 -1 1077944384 7549 0 0 0 870 86 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534446217872 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32156] ppid=32147 vsize=14093000 memory=1152112 CPUtime=9.6 cores=0,2,4,6
/proc/32150/task/32156/stat : 32156 (java) S 32147 32150 28921 0 -1 1077944384 7512 0 0 0 870 90 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534445165072 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32157] ppid=32147 vsize=14093000 memory=1152112 CPUtime=13.31 cores=0,2,4,6
/proc/32150/task/32157/stat : 32157 (java) S 32147 32150 28921 0 -1 1077944384 11522 0 0 0 1248 83 0 0 20 0 15 0 71195708 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534034696816 140534853012098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32158] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32158/stat : 32158 (java) S 32147 32150 28921 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71195709 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534033642784 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32159] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32159/stat : 32159 (java) S 32147 32150 28921 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 71195709 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534032590448 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32160] ppid=32147 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32160/stat : 32160 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534031538768 140534853019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32161] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0.74 cores=0,2,4,6
/proc/32150/task/32161/stat : 32161 (java) S 32147 32150 28921 0 -1 1077944384 2691 0 0 0 72 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534030485616 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32162] ppid=32147 vsize=14093000 memory=33 CPUtime=0.73 cores=0,2,4,6
/proc/32150/task/32162/stat : 32162 (java) S 32147 32150 28921 0 -1 1077944384 2399 0 0 0 71 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534029432816 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32163] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0.69 cores=0,2,4,6
/proc/32150/task/32163/stat : 32163 (java) S 32147 32150 28921 0 -1 1077944384 4147 0 0 0 68 1 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534028380528 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32164] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32164/stat : 32164 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195712 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534027327968 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32165] ppid=32147 vsize=14093000 memory=1152112 CPUtime=1.41 cores=0,2,4,6
/proc/32150/task/32165/stat : 32165 (java) S 32147 32150 28921 0 -1 1077944384 1544 0 0 0 67 74 0 0 20 0 15 0 71195712 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534026275760 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
Current children cumulated CPU time: 2291.7 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1152112 KiB
[startup+2322.3 s]
/proc/loadavg: 1.25 1.29 1.37 3/219 32341
/proc/meminfo: memFree=14280160/32770624 swapFree=67108860/67108860
[pid=32150] ppid=32147 vsize=14093000 memory=1152112 CPUtime=2352.47 cores=0,2,4,6
/proc/32150/stat : 32150 (java) S 32147 32150 28921 0 -1 1077944320 120197 0 0 0 234809 438 0 0 20 0 15 0 71195706 14431232000 288028 33554432000 4194304 4196468 140727152359296 140727152341840 140534853000951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
/proc/32150/statm: 3523250 288028 3585 1 0 3485321 0
[pid=32150/tid=32152] ppid=32147 vsize=14093000 memory=281145071128672 CPUtime=2295.63 cores=0,2,4,6
/proc/32150/task/32152/stat : 32152 (java) R 32147 32150 28921 0 -1 4202560 62679 0 0 0 229502 61 0 0 20 0 15 0 71195706 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534857239760 140534496611745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32153] ppid=32147 vsize=14093000 memory=1152112 CPUtime=9.9 cores=0,2,4,6
/proc/32150/task/32153/stat : 32153 (java) S 32147 32150 28921 0 -1 1077944384 10757 0 0 0 902 88 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534448322960 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32154] ppid=32147 vsize=14093000 memory=1152112 CPUtime=9.85 cores=0,2,4,6
/proc/32150/task/32154/stat : 32154 (java) S 32147 32150 28921 0 -1 1077944384 7757 0 0 0 893 92 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534447270160 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32155] ppid=32147 vsize=14093000 memory=1152112 CPUtime=9.83 cores=0,2,4,6
/proc/32150/task/32155/stat : 32155 (java) S 32147 32150 28921 0 -1 1077944384 7557 0 0 0 895 88 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534446217872 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32156] ppid=32147 vsize=14093000 memory=0 CPUtime=9.86 cores=0,2,4,6
/proc/32150/task/32156/stat : 32156 (java) S 32147 32150 28921 0 -1 1077944384 7533 0 0 0 893 93 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534445165072 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32157] ppid=32147 vsize=14093000 memory=1152112 CPUtime=13.69 cores=0,2,4,6
/proc/32150/task/32157/stat : 32157 (java) S 32147 32150 28921 0 -1 1077944384 11700 0 0 0 1284 85 0 0 20 0 15 0 71195708 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534034696816 140534853012098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32158] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32158/stat : 32158 (java) S 32147 32150 28921 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71195709 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534033642784 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32159] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32159/stat : 32159 (java) S 32147 32150 28921 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 71195709 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534032590448 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32160] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32160/stat : 32160 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534031538768 140534853019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32161] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0.74 cores=0,2,4,6
/proc/32150/task/32161/stat : 32161 (java) S 32147 32150 28921 0 -1 1077944384 2693 0 0 0 72 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534030485616 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32162] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0.73 cores=0,2,4,6
/proc/32150/task/32162/stat : 32162 (java) S 32147 32150 28921 0 -1 1077944384 2401 0 0 0 71 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534029432816 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32163] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0.7 cores=0,2,4,6
/proc/32150/task/32163/stat : 32163 (java) S 32147 32150 28921 0 -1 1077944384 4149 0 0 0 68 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534028380528 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32164] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32164/stat : 32164 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195712 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534027327968 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32165] ppid=32147 vsize=14093000 memory=6791534058613427641 CPUtime=1.45 cores=0,2,4,6
/proc/32150/task/32165/stat : 32165 (java) S 32147 32150 28921 0 -1 1077944384 1552 0 0 0 69 76 0 0 20 0 15 0 71195712 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534026275760 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
Current children cumulated CPU time: 2352.47 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1152112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2369.3 s]
/proc/loadavg: 1.26 1.28 1.36 7/221 32376
/proc/meminfo: memFree=14515580/32770624 swapFree=67108860/67108860
[pid=32150] ppid=32147 vsize=14093000 memory=1152112 CPUtime=2400.01 cores=0,2,4,6
/proc/32150/stat : 32150 (java) S 32147 32150 28921 0 -1 1077944320 121528 0 0 0 239556 445 0 0 20 0 15 0 71195706 14431232000 288028 33554432000 4194304 4196468 140727152359296 140727152341840 140534853000951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
/proc/32150/statm: 3523250 288028 3585 1 0 3485321 0
[pid=32150/tid=32152] ppid=32147 vsize=14093000 memory=1152112 CPUtime=2342.1 cores=0,2,4,6
/proc/32150/task/32152/stat : 32152 (java) R 32147 32150 28921 0 -1 4202560 63563 0 0 0 234149 61 0 0 20 0 15 0 71195706 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534857239536 140534497005833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32153] ppid=32147 vsize=14093000 memory=1152112 CPUtime=10.09 cores=0,2,4,6
/proc/32150/task/32153/stat : 32153 (java) S 32147 32150 28921 0 -1 1077944384 10760 0 0 0 919 90 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534448322960 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32154] ppid=32147 vsize=14093000 memory=1152112 CPUtime=10.04 cores=0,2,4,6
/proc/32150/task/32154/stat : 32154 (java) S 32147 32150 28921 0 -1 1077944384 7974 0 0 0 910 94 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534447270160 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32155] ppid=32147 vsize=14093000 memory=1152112 CPUtime=10.03 cores=0,2,4,6
/proc/32150/task/32155/stat : 32155 (java) S 32147 32150 28921 0 -1 1077944384 7569 0 0 0 914 89 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534446217872 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32156] ppid=32147 vsize=14093000 memory=1152112 CPUtime=10.06 cores=0,2,4,6
/proc/32150/task/32156/stat : 32156 (java) S 32147 32150 28921 0 -1 1077944384 7555 0 0 0 911 95 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534445165072 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32157] ppid=32147 vsize=14093000 memory=0 CPUtime=13.95 cores=0,2,4,6
/proc/32150/task/32157/stat : 32157 (java) S 32147 32150 28921 0 -1 1077944384 11881 0 0 0 1308 87 0 0 20 0 15 0 71195708 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534034696816 140534853012098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32158] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32158/stat : 32158 (java) S 32147 32150 28921 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71195709 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534033642784 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32159] ppid=32147 vsize=14093000 memory=148 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32159/stat : 32159 (java) S 32147 32150 28921 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 71195709 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534032590448 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32160] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32160/stat : 32160 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534031538768 140534853019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32161] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0.74 cores=0,2,4,6
/proc/32150/task/32161/stat : 32161 (java) S 32147 32150 28921 0 -1 1077944384 2695 0 0 0 72 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534030485616 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32162] ppid=32147 vsize=14093000 memory=8544 CPUtime=0.73 cores=0,2,4,6
/proc/32150/task/32162/stat : 32162 (java) S 32147 32150 28921 0 -1 1077944384 2403 0 0 0 71 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534029432816 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32163] ppid=32147 vsize=14093000 memory=4616 CPUtime=0.7 cores=0,2,4,6
/proc/32150/task/32163/stat : 32163 (java) S 32147 32150 28921 0 -1 1077944384 4151 0 0 0 68 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534028380528 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32164] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32164/stat : 32164 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195712 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534027327968 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32165] ppid=32147 vsize=14093000 memory=21564 CPUtime=1.48 cores=0,2,4,6
/proc/32150/task/32165/stat : 32165 (java) S 32147 32150 28921 0 -1 1077944384 1558 0 0 0 71 77 0 0 20 0 15 0 71195712 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534026275760 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1152112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2369.32 s]
# the end of solver process 32150 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.58 s, system=4.46694 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2369.3 s]
/proc/loadavg: 1.26 1.28 1.36 7/221 32376
/proc/meminfo: memFree=14515580/32770624 swapFree=67108860/67108860
[pid=32150] ppid=32147 vsize=14093000 memory=1152112 CPUtime=2400.01 cores=0,2,4,6
/proc/32150/stat : 32150 (java) S 32147 32150 28921 0 -1 1077944320 121528 0 0 0 239556 445 0 0 20 0 15 0 71195706 14431232000 288028 33554432000 4194304 4196468 140727152359296 140727152341840 140534853000951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
/proc/32150/statm: 3523250 288028 3585 1 0 3485321 0
[pid=32150/tid=32152] ppid=32147 vsize=14093000 memory=1152112 CPUtime=2342.1 cores=0,2,4,6
/proc/32150/task/32152/stat : 32152 (java) R 32147 32150 28921 0 -1 4202560 63563 0 0 0 234149 61 0 0 20 0 15 0 71195706 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534857239536 140534497005833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32153] ppid=32147 vsize=14093000 memory=1152112 CPUtime=10.09 cores=0,2,4,6
/proc/32150/task/32153/stat : 32153 (java) S 32147 32150 28921 0 -1 1077944384 10760 0 0 0 919 90 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534448322960 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32154] ppid=32147 vsize=14093000 memory=1152112 CPUtime=10.04 cores=0,2,4,6
/proc/32150/task/32154/stat : 32154 (java) S 32147 32150 28921 0 -1 1077944384 7974 0 0 0 910 94 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534447270160 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32155] ppid=32147 vsize=14093000 memory=1152112 CPUtime=10.03 cores=0,2,4,6
/proc/32150/task/32155/stat : 32155 (java) S 32147 32150 28921 0 -1 1077944384 7569 0 0 0 914 89 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534446217872 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32156] ppid=32147 vsize=14093000 memory=1152112 CPUtime=10.06 cores=0,2,4,6
/proc/32150/task/32156/stat : 32156 (java) S 32147 32150 28921 0 -1 1077944384 7555 0 0 0 911 95 0 0 20 0 15 0 71195707 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534445165072 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32157] ppid=32147 vsize=14093000 memory=0 CPUtime=13.95 cores=0,2,4,6
/proc/32150/task/32157/stat : 32157 (java) S 32147 32150 28921 0 -1 1077944384 11881 0 0 0 1308 87 0 0 20 0 15 0 71195708 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534034696816 140534853012098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32158] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32158/stat : 32158 (java) S 32147 32150 28921 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 71195709 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534033642784 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32159] ppid=32147 vsize=14093000 memory=148 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32159/stat : 32159 (java) S 32147 32150 28921 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 71195709 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534032590448 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32160] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32160/stat : 32160 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534031538768 140534853019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32161] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0.74 cores=0,2,4,6
/proc/32150/task/32161/stat : 32161 (java) S 32147 32150 28921 0 -1 1077944384 2695 0 0 0 72 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534030485616 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32162] ppid=32147 vsize=14093000 memory=8544 CPUtime=0.73 cores=0,2,4,6
/proc/32150/task/32162/stat : 32162 (java) S 32147 32150 28921 0 -1 1077944384 2403 0 0 0 71 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534029432816 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32163] ppid=32147 vsize=14093000 memory=4616 CPUtime=0.7 cores=0,2,4,6
/proc/32150/task/32163/stat : 32163 (java) S 32147 32150 28921 0 -1 1077944384 4151 0 0 0 68 2 0 0 20 0 15 0 71195711 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534028380528 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32164] ppid=32147 vsize=14093000 memory=1152112 CPUtime=0 cores=0,2,4,6
/proc/32150/task/32164/stat : 32164 (java) S 32147 32150 28921 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71195712 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534027327968 140534853011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
[pid=32150/tid=32165] ppid=32147 vsize=14093000 memory=21564 CPUtime=1.48 cores=0,2,4,6
/proc/32150/task/32165/stat : 32165 (java) S 32147 32150 28921 0 -1 1077944384 1558 0 0 0 71 77 0 0 20 0 15 0 71195712 14431232000 288028 33554432000 4194304 4196468 140727152359296 140534026275760 140534853012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140727152366664 140727152366857 140727152366857 140727152369615 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1152112 KiB
Child status: 143
Real time (s): 2369.32
CPU time (s): 2400.04
CPU user time (s): 2395.58
CPU system time (s): 4.46694
CPU usage (%): 101.297
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1152112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.58
system time used= 4.46694
maximum resident set size= 1152680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 395604
involuntary context switches= 8578
# summary of solver processes directly reported to runsolver:
# pid: 32150
# total CPU time (s): 2400.04
# total CPU user time (s): 2395.58
# total CPU system time (s): 4.46694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4034 second user time and 22.3594 second system time
The end