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 (13872 MiB free)
memory of node 1: 16384 MiB (15380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396218-1568403650/watcher-4396218-1568403650 -o /tmp/evaluation-result-4396218-1568403650/solver-4396218-1568403650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9267 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=442790184 HOME/instance-4396218-1568403650.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12055, runsolver pid=12052
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.26 1.35 1.43 3/220 12112
/proc/meminfo: memFree=29948092/32770624 swapFree=66934788/67108860
[pid=12055] ppid=12052 vsize=10055356 memory=15972 CPUtime=0.09 cores=1,3,5,7
/proc/12055/stat : 12055 (java) S 12052 12055 9235 0 -1 1077944320 4746 13332 0 0 1 0 5 3 20 0 7 0 416636481 10296684544 3993 33554432000 4194304 4196468 140733184819136 140733184801680 140718159511287 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
/proc/12055/statm: 2513839 3993 2028 1 0 2502277 0
[pid=12055/tid=12108] ppid=12052 vsize=10055356 memory=5853399287057580445 CPUtime=0.09 cores=1,3,5,7
/proc/12055/task/12108/stat : 12108 (java) R 12052 12055 9235 0 -1 4202560 2546 13332 0 0 1 0 5 3 20 0 7 0 416636490 10296684544 3993 33554432000 4194304 4196468 140733184819136 140718131354384 140718141985008 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12109] ppid=12052 vsize=10055356 memory=5793855114478545337 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12109/stat : 12109 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 7 0 416636491 10296684544 3993 33554432000 4194304 4196468 140733184819136 140718163753232 140718159521493 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12110] ppid=12052 vsize=10055356 memory=139863468652160 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12110/stat : 12110 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 7 0 416636491 10296684544 3993 33554432000 4194304 4196468 140733184819136 140718095665552 140718159521493 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12111] ppid=12052 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12111/stat : 12111 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 7 0 416636491 10296684544 3993 33554432000 4194304 4196468 140733184819136 140717731482128 140718159521493 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12112] ppid=12052 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12112/stat : 12112 (java) S 12052 12055 9235 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 7 0 416636491 10296684544 3993 33554432000 4194304 4196468 140733184819136 140717730429584 140718159521493 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12113] ppid=12052 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12113/stat : 12113 (java) S 12052 12055 9235 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 7 0 416636492 10296684544 3993 33554432000 4194304 4196468 140733184819136 140717162732016 140718159522434 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 15972 KiB
[startup+0.210254 s]*
/proc/loadavg: 1.26 1.35 1.43 4/229 12121
/proc/meminfo: memFree=29930012/32770624 swapFree=66934788/67108860
[pid=12055] ppid=12052 vsize=10819664 memory=39836 CPUtime=0.26 cores=1,3,5,7
/proc/12055/stat : 12055 (java) S 12052 12055 9235 0 -1 1077944320 7268 13332 0 0 17 1 5 3 20 0 15 0 416636481 11079335936 9959 33554432000 4194304 4196468 140733184819136 140733184801680 140718159511287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
/proc/12055/statm: 2704916 9959 3172 1 0 2667149 0
[pid=12055/tid=12108] ppid=12052 vsize=10819664 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/12055/task/12108/stat : 12108 (java) R 12052 12055 9235 0 -1 4202560 3697 13332 0 0 11 0 5 3 20 0 15 0 416636490 11079335936 9959 33554432000 4194304 4196468 140733184819136 140718131343488 140718143591774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12109] ppid=12052 vsize=10819664 memory=4211973589673442698 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12109/stat : 12109 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636491 11079335936 9959 33554432000 4194304 4196468 140733184819136 140718163753232 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12110] ppid=12052 vsize=10819664 memory=139863468652160 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12110/stat : 12110 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636491 11079335936 9959 33554432000 4194304 4196468 140733184819136 140718095665552 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12111] ppid=12052 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12111/stat : 12111 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636491 11079335936 9959 33554432000 4194304 4196468 140733184819136 140717731482128 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12112] ppid=12052 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12112/stat : 12112 (java) S 12052 12055 9235 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 15 0 416636491 11079335936 9959 33554432000 4194304 4196468 140733184819136 140717730429584 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12113] ppid=12052 vsize=10819664 memory=139863468652160 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12113/stat : 12113 (java) S 12052 12055 9235 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 15 0 416636492 11079335936 9959 33554432000 4194304 4196468 140733184819136 140717162732016 140718159522434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12114] ppid=12052 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12114/stat : 12114 (java) S 12052 12055 9235 0 -1 1077944384 13 13332 0 0 0 0 5 3 20 0 15 0 416636493 11079335936 9959 33554432000 4194304 4196468 140733184819136 140717087253920 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12115] ppid=12052 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12115/stat : 12115 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636493 11079335936 9959 33554432000 4194304 4196468 140733184819136 140716953036272 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12116] ppid=12052 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12116/stat : 12116 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11079335936 9959 33554432000 4194304 4196468 140733184819136 140716712745680 140718159529883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12117] ppid=12052 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12055/task/12117/stat : 12117 (java) S 12052 12055 9235 0 -1 1077944384 368 13332 0 0 1 0 5 3 20 0 15 0 416636496 11079335936 9959 33554432000 4194304 4196468 140733184819136 140717161678832 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12118] ppid=12052 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12055/task/12118/stat : 12118 (java) S 12052 12055 9235 0 -1 1077944384 307 13332 0 0 1 0 5 3 20 0 15 0 416636496 11079335936 9959 33554432000 4194304 4196468 140733184819136 140717160626288 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12119] ppid=12052 vsize=10819664 memory=139863468652160 CPUtime=0.11 cores=1,3,5,7
/proc/12055/task/12119/stat : 12119 (java) R 12052 12055 9235 0 -1 4202560 679 13332 0 0 3 0 5 3 20 0 15 0 416636496 11079335936 9959 33554432000 4194304 4196468 140733184819136 140717159573744 140718152608123 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12120] ppid=12052 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12120/stat : 12120 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11079335936 9959 33554432000 4194304 4196468 140733184819136 140716679187040 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12121] ppid=12052 vsize=10819664 memory=139863468652160 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12121/stat : 12121 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636496 11079335936 9959 33554432000 4194304 4196468 140733184819136 140717158521648 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39836 KiB
[startup+0.310766 s]*
/proc/loadavg: 1.26 1.35 1.43 4/229 12121
/proc/meminfo: memFree=29917476/32770624 swapFree=66934788/67108860
[pid=12055] ppid=12052 vsize=10820148 memory=48668 CPUtime=0.41 cores=1,3,5,7
/proc/12055/stat : 12055 (java) S 12052 12055 9235 0 -1 1077944320 10989 13332 0 0 30 3 5 3 20 0 15 0 416636481 11079831552 12167 33554432000 4194304 4196468 140733184819136 140733184801680 140718159511287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
/proc/12055/statm: 2705037 12167 3304 1 0 2667149 0
[pid=12055/tid=12108] ppid=12052 vsize=10820148 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/12055/task/12108/stat : 12108 (java) R 12052 12055 9235 0 -1 4202560 7337 13332 0 0 20 2 5 3 20 0 15 0 416636490 11079831552 12167 33554432000 4194304 4196468 140733184819136 140718131329376 140718159533213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12109] ppid=12052 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12109/stat : 12109 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636491 11079831552 12167 33554432000 4194304 4196468 140733184819136 140718163753232 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12110] ppid=12052 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12110/stat : 12110 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636491 11079831552 12167 33554432000 4194304 4196468 140733184819136 140718095665552 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12111] ppid=12052 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12111/stat : 12111 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636491 11079831552 12167 33554432000 4194304 4196468 140733184819136 140717731482128 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12112] ppid=12052 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12112/stat : 12112 (java) S 12052 12055 9235 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 15 0 416636491 11079831552 12167 33554432000 4194304 4196468 140733184819136 140717730429584 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12113] ppid=12052 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12113/stat : 12113 (java) S 12052 12055 9235 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 15 0 416636492 11079831552 12167 33554432000 4194304 4196468 140733184819136 140717162732016 140718159522434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12114] ppid=12052 vsize=10820148 memory=139863468652159 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12114/stat : 12114 (java) S 12052 12055 9235 0 -1 1077944384 13 13332 0 0 0 0 5 3 20 0 15 0 416636493 11079831552 12167 33554432000 4194304 4196468 140733184819136 140717087253920 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12115] ppid=12052 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12115/stat : 12115 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636493 11079831552 12167 33554432000 4194304 4196468 140733184819136 140716953036272 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12116] ppid=12052 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12116/stat : 12116 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11079831552 12167 33554432000 4194304 4196468 140733184819136 140716712745680 140718159529883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12117] ppid=12052 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12055/task/12117/stat : 12117 (java) S 12052 12055 9235 0 -1 1077944384 371 13332 0 0 1 0 5 3 20 0 15 0 416636496 11079831552 12167 33554432000 4194304 4196468 140733184819136 140717161678832 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12118] ppid=12052 vsize=10820148 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/12055/task/12118/stat : 12118 (java) S 12052 12055 9235 0 -1 1077944384 328 13332 0 0 2 0 5 3 20 0 15 0 416636496 11079831552 12167 33554432000 4194304 4196468 140733184819136 140717160626288 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12119] ppid=12052 vsize=10820148 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12055/task/12119/stat : 12119 (java) S 12052 12055 9235 0 -1 1077944384 715 13332 0 0 5 0 5 3 20 0 15 0 416636496 11079831552 12167 33554432000 4194304 4196468 140733184819136 140717159573744 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12120] ppid=12052 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12120/stat : 12120 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11079831552 12167 33554432000 4194304 4196468 140733184819136 140716679187040 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12121] ppid=12052 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12121/stat : 12121 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636496 11079831552 12167 33554432000 4194304 4196468 140733184819136 140717158521648 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48668 KiB
[startup+0.70078 s]
/proc/loadavg: 1.26 1.35 1.43 4/229 12121
/proc/meminfo: memFree=29901664/32770624 swapFree=66934788/67108860
[pid=12055] ppid=12052 vsize=10824360 memory=83152 CPUtime=1.11 cores=1,3,5,7
/proc/12055/stat : 12055 (java) S 12052 12055 9235 0 -1 1077944320 15464 13332 0 0 98 5 5 3 20 0 15 0 416636481 11084144640 20788 33554432000 4194304 4196468 140733184819136 140733184801680 140718159511287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
/proc/12055/statm: 2706090 20788 3513 1 0 2668173 0
[pid=12055/tid=12108] ppid=12052 vsize=10824360 memory=2124 CPUtime=0.67 cores=1,3,5,7
/proc/12055/task/12108/stat : 12108 (java) R 12052 12055 9235 0 -1 4202560 10407 13332 0 0 56 3 5 3 20 0 15 0 416636490 11084144640 20788 33554432000 4194304 4196468 140733184819136 140718131335992 140718139110529 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12109] ppid=12052 vsize=10824360 memory=7424 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12109/stat : 12109 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636491 11084144640 20788 33554432000 4194304 4196468 140733184819136 140718163753232 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12110] ppid=12052 vsize=10824360 memory=504 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12110/stat : 12110 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636491 11084144640 20788 33554432000 4194304 4196468 140733184819136 140718095665552 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12111] ppid=12052 vsize=10824360 memory=1564 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12111/stat : 12111 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636491 11084144640 20788 33554432000 4194304 4196468 140733184819136 140717731482128 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12112] ppid=12052 vsize=10824360 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12112/stat : 12112 (java) S 12052 12055 9235 0 -1 1077944384 2 13332 0 0 0 0 5 3 20 0 15 0 416636491 11084144640 20788 33554432000 4194304 4196468 140733184819136 140717730429584 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12113] ppid=12052 vsize=10824360 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12113/stat : 12113 (java) S 12052 12055 9235 0 -1 1077944384 5 13332 0 0 0 0 5 3 20 0 15 0 416636492 11084144640 20788 33554432000 4194304 4196468 140733184819136 140717162732016 140718159522434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12114] ppid=12052 vsize=10824360 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12114/stat : 12114 (java) S 12052 12055 9235 0 -1 1077944384 13 13332 0 0 0 0 5 3 20 0 15 0 416636493 11084144640 20788 33554432000 4194304 4196468 140733184819136 140717087253920 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12115] ppid=12052 vsize=10824360 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12115/stat : 12115 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636493 11084144640 20788 33554432000 4194304 4196468 140733184819136 140716953036272 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12116] ppid=12052 vsize=10824360 memory=12024 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12116/stat : 12116 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11084144640 20788 33554432000 4194304 4196468 140733184819136 140716712745680 140718159529883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12117] ppid=12052 vsize=10824360 memory=2124 CPUtime=0.17 cores=1,3,5,7
/proc/12055/task/12117/stat : 12117 (java) S 12052 12055 9235 0 -1 1077944384 833 13332 0 0 9 0 5 3 20 0 15 0 416636496 11084144640 20788 33554432000 4194304 4196468 140733184819136 140717161678832 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12118] ppid=12052 vsize=10824360 memory=6944652177228980320 CPUtime=0.22 cores=1,3,5,7
/proc/12055/task/12118/stat : 12118 (java) R 12052 12055 9235 0 -1 4202560 928 13332 0 0 14 0 5 3 20 0 15 0 416636496 11084144640 20788 33554432000 4194304 4196468 140733184819136 140717160626288 140718144416784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12119] ppid=12052 vsize=10824360 memory=504 CPUtime=0.25 cores=1,3,5,7
/proc/12055/task/12119/stat : 12119 (java) S 12052 12055 9235 0 -1 1077944384 1054 13332 0 0 17 0 5 3 20 0 15 0 416636496 11084144640 20788 33554432000 4194304 4196468 140733184819136 140717159573744 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12120] ppid=12052 vsize=10824360 memory=1564 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12120/stat : 12120 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11084144640 20788 33554432000 4194304 4196468 140733184819136 140716679187040 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12121] ppid=12052 vsize=10824360 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12121/stat : 12121 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636496 11084144640 20788 33554432000 4194304 4196468 140733184819136 140717158521648 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83152 KiB
[startup+1.50075 s]
/proc/loadavg: 1.26 1.35 1.43 4/229 12121
/proc/meminfo: memFree=29856928/32770624 swapFree=66934788/67108860
[pid=12055] ppid=12052 vsize=10834676 memory=172652 CPUtime=2.41 cores=1,3,5,7
/proc/12055/stat : 12055 (java) S 12052 12055 9235 0 -1 1077944320 22226 13332 0 0 224 9 5 3 20 0 15 0 416636481 11094708224 43163 33554432000 4194304 4196468 140733184819136 140733184801680 140718159511287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
/proc/12055/statm: 2708669 43163 3580 1 0 2670733 0
[pid=12055/tid=12108] ppid=12052 vsize=10834676 memory=3620 CPUtime=1.44 cores=1,3,5,7
/proc/12055/task/12108/stat : 12108 (java) R 12052 12055 9235 0 -1 4202560 15319 13332 0 0 131 5 5 3 20 0 15 0 416636490 11094708224 43163 33554432000 4194304 4196468 140733184819136 140718131311136 140718159533213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12109] ppid=12052 vsize=10834676 memory=23060 CPUtime=0.09 cores=1,3,5,7
/proc/12055/task/12109/stat : 12109 (java) S 12052 12055 9235 0 -1 1077944384 346 13332 0 0 1 0 5 3 20 0 15 0 416636491 11094708224 43163 33554432000 4194304 4196468 140733184819136 140718163753232 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12110] ppid=12052 vsize=10834676 memory=984 CPUtime=0.09 cores=1,3,5,7
/proc/12055/task/12110/stat : 12110 (java) S 12052 12055 9235 0 -1 1077944384 26 13332 0 0 1 0 5 3 20 0 15 0 416636491 11094708224 43163 33554432000 4194304 4196468 140733184819136 140718095665552 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12111] ppid=12052 vsize=10834676 memory=169336 CPUtime=0.09 cores=1,3,5,7
/proc/12055/task/12111/stat : 12111 (java) S 12052 12055 9235 0 -1 1077944384 53 13332 0 0 1 0 5 3 20 0 15 0 416636491 11094708224 43163 33554432000 4194304 4196468 140733184819136 140717731482128 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12112] ppid=12052 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12055/task/12112/stat : 12112 (java) S 12052 12055 9235 0 -1 1077944384 94 13332 0 0 1 0 5 3 20 0 15 0 416636491 11094708224 43163 33554432000 4194304 4196468 140733184819136 140717730429584 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12113] ppid=12052 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12055/task/12113/stat : 12113 (java) S 12052 12055 9235 0 -1 1077944384 154 13332 0 0 1 0 5 3 20 0 15 0 416636492 11094708224 43163 33554432000 4194304 4196468 140733184819136 140717162732016 140718159522434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12114] ppid=12052 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12114/stat : 12114 (java) S 12052 12055 9235 0 -1 1077944384 14 13332 0 0 0 0 5 3 20 0 15 0 416636493 11094708224 43163 33554432000 4194304 4196468 140733184819136 140717087253984 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12115] ppid=12052 vsize=10834676 memory=191888267208048 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12115/stat : 12115 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636493 11094708224 43163 33554432000 4194304 4196468 140733184819136 140716953036288 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12116] ppid=12052 vsize=10834676 memory=3305067 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12116/stat : 12116 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11094708224 43228 33554432000 4194304 4196468 140733184819136 140716712745680 140718159529883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12117] ppid=12052 vsize=10834676 memory=6935649255810949952 CPUtime=0.26 cores=1,3,5,7
/proc/12055/task/12117/stat : 12117 (java) S 12052 12055 9235 0 -1 1077944384 960 13332 0 0 18 0 5 3 20 0 15 0 416636496 11094708224 43228 33554432000 4194304 4196468 140733184819136 140717161678832 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12118] ppid=12052 vsize=10834676 memory=4638778398332764256 CPUtime=0.35 cores=1,3,5,7
/proc/12055/task/12118/stat : 12118 (java) S 12052 12055 9235 0 -1 1077944384 1159 13332 0 0 27 0 5 3 20 0 15 0 416636496 11094708224 43228 33554432000 4194304 4196468 140733184819136 140717160626288 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12119] ppid=12052 vsize=10834676 memory=279726656585968 CPUtime=0.49 cores=1,3,5,7
/proc/12055/task/12119/stat : 12119 (java) S 12052 12055 9235 0 -1 1077944384 1882 13332 0 0 41 0 5 3 20 0 15 0 416636496 11094708224 43228 33554432000 4194304 4196468 140733184819136 140717159573744 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12120] ppid=12052 vsize=10834676 memory=6935649255861348433 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12120/stat : 12120 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11094708224 43228 33554432000 4194304 4196468 140733184819136 140716679187040 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12121] ppid=12052 vsize=10834676 memory=-7014164410424408925 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12121/stat : 12121 (java) S 12052 12055 9235 0 -1 1077944384 1 13332 0 0 0 0 5 3 20 0 15 0 416636496 11094708224 43228 33554432000 4194304 4196468 140733184819136 140717158521648 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
################
# More data... #
################
/proc/12055/task/12108/stat : 12108 (java) R 12052 12055 9235 0 -1 4202560 57765 13332 0 0 236363 32 5 3 20 0 15 0 416636490 11107311616 152277 33554432000 4194304 4196468 140733184819136 140718131347024 140717773548160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12109] ppid=12052 vsize=10846984 memory=609108 CPUtime=7.94 cores=1,3,5,7
/proc/12055/task/12109/stat : 12109 (java) S 12052 12055 9235 0 -1 1077944384 10957 13332 0 0 747 39 5 3 20 0 15 0 416636491 11107311616 152277 33554432000 4194304 4196468 140733184819136 140718163753232 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12110] ppid=12052 vsize=10846984 memory=607032 CPUtime=7.94 cores=1,3,5,7
/proc/12055/task/12110/stat : 12110 (java) S 12052 12055 9235 0 -1 1077944384 10247 13332 0 0 748 38 5 3 20 0 15 0 416636491 11107311616 152277 33554432000 4194304 4196468 140733184819136 140718095665552 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12111] ppid=12052 vsize=10846984 memory=609096 CPUtime=7.97 cores=1,3,5,7
/proc/12055/task/12111/stat : 12111 (java) S 12052 12055 9235 0 -1 1077944384 9453 13332 0 0 747 42 5 3 20 0 15 0 416636491 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717731482128 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12112] ppid=12052 vsize=10846984 memory=609096 CPUtime=7.97 cores=1,3,5,7
/proc/12055/task/12112/stat : 12112 (java) S 12052 12055 9235 0 -1 1077944384 7697 13332 0 0 751 38 5 3 20 0 15 0 416636491 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717730429584 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12113] ppid=12052 vsize=10846984 memory=609096 CPUtime=7.76 cores=1,3,5,7
/proc/12055/task/12113/stat : 12113 (java) S 12052 12055 9235 0 -1 1077944384 11635 13332 0 0 731 37 5 3 20 0 15 0 416636492 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717162732016 140718159522434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12114] ppid=12052 vsize=10846984 memory=609096 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12114/stat : 12114 (java) S 12052 12055 9235 0 -1 1077944384 19 13332 0 0 0 0 5 3 20 0 15 0 416636493 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717087254048 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12115] ppid=12052 vsize=10846984 memory=609096 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12115/stat : 12115 (java) S 12052 12055 9235 0 -1 1077944384 4 13332 0 0 0 0 5 3 20 0 15 0 416636493 11107311616 152277 33554432000 4194304 4196468 140733184819136 140716953036288 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12116] ppid=12052 vsize=10846984 memory=609096 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12116/stat : 12116 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140716712745680 140718159529883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12117] ppid=12052 vsize=10846984 memory=609108 CPUtime=3.76 cores=1,3,5,7
/proc/12055/task/12117/stat : 12117 (java) S 12052 12055 9235 0 -1 1077944384 32210 13332 0 0 364 4 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717161678832 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12118] ppid=12052 vsize=10846984 memory=609108 CPUtime=4.26 cores=1,3,5,7
/proc/12055/task/12118/stat : 12118 (java) S 12052 12055 9235 0 -1 1077944384 36760 13332 0 0 413 5 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717160626288 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12119] ppid=12052 vsize=10846984 memory=279726658160416 CPUtime=1.74 cores=1,3,5,7
/proc/12055/task/12119/stat : 12119 (java) S 12052 12055 9235 0 -1 1077944384 22868 13332 0 0 163 3 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717159573744 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12120] ppid=12052 vsize=10846984 memory=609108 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12120/stat : 12120 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140716679187040 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12121] ppid=12052 vsize=10846984 memory=3620 CPUtime=1.29 cores=1,3,5,7
/proc/12055/task/12121/stat : 12121 (java) S 12052 12055 9235 0 -1 1077944384 825 13332 0 0 57 64 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717158521648 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
Current children cumulated CPU time: 2414.06 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 609108 KiB
[startup+2442.3 s]
/proc/loadavg: 1.52 1.47 1.42 3/228 12494
/proc/meminfo: memFree=30045176/32770624 swapFree=66934824/67108860
[pid=12055] ppid=12052 vsize=10846984 memory=609108 CPUtime=2474.6 cores=1,3,5,7
/proc/12055/stat : 12055 (java) S 12052 12055 9235 0 -1 1077944320 203332 13332 0 0 247187 265 5 3 20 0 15 0 416636481 11107311616 152277 33554432000 4194304 4196468 140733184819136 140733184801680 140718159511287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
/proc/12055/statm: 2711746 152277 3631 1 0 2673805 0
[pid=12055/tid=12108] ppid=12052 vsize=10846984 memory=609108 CPUtime=2423.57 cores=1,3,5,7
/proc/12055/task/12108/stat : 12108 (java) R 12052 12055 9235 0 -1 4202560 58191 13332 0 0 242316 33 5 3 20 0 15 0 416636490 11107311616 152277 33554432000 4194304 4196468 140733184819136 140718131346352 140717763083616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12109] ppid=12052 vsize=10846984 memory=609108 CPUtime=8.15 cores=1,3,5,7
/proc/12055/task/12109/stat : 12109 (java) S 12052 12055 9235 0 -1 1077944384 10981 13332 0 0 766 41 5 3 20 0 15 0 416636491 11107311616 152277 33554432000 4194304 4196468 140733184819136 140718163753232 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12110] ppid=12052 vsize=10846984 memory=609108 CPUtime=8.14 cores=1,3,5,7
/proc/12055/task/12110/stat : 12110 (java) S 12052 12055 9235 0 -1 1077944384 10253 13332 0 0 767 39 5 3 20 0 15 0 416636491 11107311616 152277 33554432000 4194304 4196468 140733184819136 140718095665552 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12111] ppid=12052 vsize=10846984 memory=609108 CPUtime=8.16 cores=1,3,5,7
/proc/12055/task/12111/stat : 12111 (java) S 12052 12055 9235 0 -1 1077944384 9476 13332 0 0 766 42 5 3 20 0 15 0 416636491 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717731482128 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12112] ppid=12052 vsize=10846984 memory=609108 CPUtime=8.17 cores=1,3,5,7
/proc/12055/task/12112/stat : 12112 (java) S 12052 12055 9235 0 -1 1077944384 7856 13332 0 0 770 39 5 3 20 0 15 0 416636491 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717730429584 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12113] ppid=12052 vsize=10846984 memory=609108 CPUtime=7.96 cores=1,3,5,7
/proc/12055/task/12113/stat : 12113 (java) S 12052 12055 9235 0 -1 1077944384 11662 13332 0 0 749 39 5 3 20 0 15 0 416636492 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717162732016 140718159522434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12114] ppid=12052 vsize=10846984 memory=609108 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12114/stat : 12114 (java) S 12052 12055 9235 0 -1 1077944384 19 13332 0 0 0 0 5 3 20 0 15 0 416636493 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717087254048 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12115] ppid=12052 vsize=10846984 memory=609108 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12115/stat : 12115 (java) S 12052 12055 9235 0 -1 1077944384 4 13332 0 0 0 0 5 3 20 0 15 0 416636493 11107311616 152277 33554432000 4194304 4196468 140733184819136 140716953036288 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12116] ppid=12052 vsize=10846984 memory=609108 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12116/stat : 12116 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140716712745680 140718159529883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12117] ppid=12052 vsize=10846984 memory=609108 CPUtime=3.76 cores=1,3,5,7
/proc/12055/task/12117/stat : 12117 (java) S 12052 12055 9235 0 -1 1077944384 32210 13332 0 0 364 4 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717161678832 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12118] ppid=12052 vsize=10846984 memory=609108 CPUtime=4.26 cores=1,3,5,7
/proc/12055/task/12118/stat : 12118 (java) S 12052 12055 9235 0 -1 1077944384 36762 13332 0 0 413 5 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717160626288 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12119] ppid=12052 vsize=10846984 memory=609108 CPUtime=1.74 cores=1,3,5,7
/proc/12055/task/12119/stat : 12119 (java) S 12052 12055 9235 0 -1 1077944384 22870 13332 0 0 163 3 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717159573744 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12120] ppid=12052 vsize=10846984 memory=609108 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12120/stat : 12120 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140716679187040 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12121] ppid=12052 vsize=10846984 memory=14008 CPUtime=1.32 cores=1,3,5,7
/proc/12055/task/12121/stat : 12121 (java) S 12052 12055 9235 0 -1 1077944384 831 13332 0 0 58 66 5 3 20 0 15 0 416636496 11107311616 152277 33554432000 4194304 4196468 140733184819136 140717158521648 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
Current children cumulated CPU time: 2474.6 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 609108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2487.3 s]
/proc/loadavg: 1.64 1.51 1.44 3/228 12498
/proc/meminfo: memFree=30042504/32770624 swapFree=66934824/67108860
[pid=12055] ppid=12052 vsize=10846984 memory=609148 CPUtime=2520.02 cores=1,3,5,7
/proc/12055/stat : 12055 (java) S 12052 12055 9235 0 -1 1077944320 204142 13332 0 0 251725 269 5 3 20 0 15 0 416636481 11107311616 152287 33554432000 4194304 4196468 140733184819136 140733184801680 140718159511287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
/proc/12055/statm: 2711746 152287 3631 1 0 2673805 0
[pid=12055/tid=12108] ppid=12052 vsize=10846984 memory=609148 CPUtime=2468.22 cores=1,3,5,7
/proc/12055/task/12108/stat : 12108 (java) R 12052 12055 9235 0 -1 4202560 58569 13332 0 0 246781 33 5 3 20 0 15 0 416636490 11107311616 152287 33554432000 4194304 4196468 140733184819136 140718131347408 140717775240702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12109] ppid=12052 vsize=10846984 memory=609148 CPUtime=8.29 cores=1,3,5,7
/proc/12055/task/12109/stat : 12109 (java) S 12052 12055 9235 0 -1 1077944384 11155 13332 0 0 780 41 5 3 20 0 15 0 416636491 11107311616 152287 33554432000 4194304 4196468 140733184819136 140718163753232 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12110] ppid=12052 vsize=10846984 memory=609148 CPUtime=8.29 cores=1,3,5,7
/proc/12055/task/12110/stat : 12110 (java) S 12052 12055 9235 0 -1 1077944384 10277 13332 0 0 781 40 5 3 20 0 15 0 416636491 11107311616 152287 33554432000 4194304 4196468 140733184819136 140718095665552 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12111] ppid=12052 vsize=10846984 memory=609148 CPUtime=8.31 cores=1,3,5,7
/proc/12055/task/12111/stat : 12111 (java) S 12052 12055 9235 0 -1 1077944384 9504 13332 0 0 780 43 5 3 20 0 15 0 416636491 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717731482128 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12112] ppid=12052 vsize=10846984 memory=609108 CPUtime=8.33 cores=1,3,5,7
/proc/12055/task/12112/stat : 12112 (java) S 12052 12055 9235 0 -1 1077944384 7863 13332 0 0 785 40 5 3 20 0 15 0 416636491 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717730429584 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12113] ppid=12052 vsize=10846984 memory=609108 CPUtime=8.1 cores=1,3,5,7
/proc/12055/task/12113/stat : 12113 (java) S 12052 12055 9235 0 -1 1077944384 11845 13332 0 0 762 40 5 3 20 0 15 0 416636492 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717162732016 140718159522434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12114] ppid=12052 vsize=10846984 memory=609148 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12114/stat : 12114 (java) S 12052 12055 9235 0 -1 1077944384 19 13332 0 0 0 0 5 3 20 0 15 0 416636493 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717087254048 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12115] ppid=12052 vsize=10846984 memory=609148 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12115/stat : 12115 (java) S 12052 12055 9235 0 -1 1077944384 4 13332 0 0 0 0 5 3 20 0 15 0 416636493 11107311616 152287 33554432000 4194304 4196468 140733184819136 140716953036288 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12116] ppid=12052 vsize=10846984 memory=609148 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12116/stat : 12116 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140716712745680 140718159529883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12117] ppid=12052 vsize=10846984 memory=924 CPUtime=3.76 cores=1,3,5,7
/proc/12055/task/12117/stat : 12117 (java) S 12052 12055 9235 0 -1 1077944384 32212 13332 0 0 364 4 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717161678832 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12118] ppid=12052 vsize=10846984 memory=1656 CPUtime=4.26 cores=1,3,5,7
/proc/12055/task/12118/stat : 12118 (java) S 12052 12055 9235 0 -1 1077944384 36762 13332 0 0 413 5 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717160626288 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12119] ppid=12052 vsize=10846984 memory=609148 CPUtime=1.74 cores=1,3,5,7
/proc/12055/task/12119/stat : 12119 (java) S 12052 12055 9235 0 -1 1077944384 22870 13332 0 0 163 3 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717159573744 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12120] ppid=12052 vsize=10846984 memory=2257 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12120/stat : 12120 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140716679187040 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12121] ppid=12052 vsize=10846984 memory=609148 CPUtime=1.35 cores=1,3,5,7
/proc/12055/task/12121/stat : 12121 (java) S 12052 12055 9235 0 -1 1077944384 845 13332 0 0 60 67 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717158521648 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 609148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2487.32 s]
# the end of solver process 12055 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.33 s, system=2.73349 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2487.3 s]
/proc/loadavg: 1.64 1.51 1.44 3/228 12498
/proc/meminfo: memFree=30042504/32770624 swapFree=66934824/67108860
[pid=12055] ppid=12052 vsize=10846984 memory=609148 CPUtime=2520.02 cores=1,3,5,7
/proc/12055/stat : 12055 (java) S 12052 12055 9235 0 -1 1077944320 204142 13332 0 0 251725 269 5 3 20 0 15 0 416636481 11107311616 152287 33554432000 4194304 4196468 140733184819136 140733184801680 140718159511287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
/proc/12055/statm: 2711746 152287 3631 1 0 2673805 0
[pid=12055/tid=12108] ppid=12052 vsize=10846984 memory=609148 CPUtime=2468.22 cores=1,3,5,7
/proc/12055/task/12108/stat : 12108 (java) R 12052 12055 9235 0 -1 4202560 58569 13332 0 0 246781 33 5 3 20 0 15 0 416636490 11107311616 152287 33554432000 4194304 4196468 140733184819136 140718131347408 140717775240702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12109] ppid=12052 vsize=10846984 memory=609148 CPUtime=8.29 cores=1,3,5,7
/proc/12055/task/12109/stat : 12109 (java) S 12052 12055 9235 0 -1 1077944384 11155 13332 0 0 780 41 5 3 20 0 15 0 416636491 11107311616 152287 33554432000 4194304 4196468 140733184819136 140718163753232 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12110] ppid=12052 vsize=10846984 memory=609148 CPUtime=8.29 cores=1,3,5,7
/proc/12055/task/12110/stat : 12110 (java) S 12052 12055 9235 0 -1 1077944384 10277 13332 0 0 781 40 5 3 20 0 15 0 416636491 11107311616 152287 33554432000 4194304 4196468 140733184819136 140718095665552 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12111] ppid=12052 vsize=10846984 memory=609148 CPUtime=8.31 cores=1,3,5,7
/proc/12055/task/12111/stat : 12111 (java) S 12052 12055 9235 0 -1 1077944384 9504 13332 0 0 780 43 5 3 20 0 15 0 416636491 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717731482128 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12112] ppid=12052 vsize=10846984 memory=609108 CPUtime=8.33 cores=1,3,5,7
/proc/12055/task/12112/stat : 12112 (java) S 12052 12055 9235 0 -1 1077944384 7863 13332 0 0 785 40 5 3 20 0 15 0 416636491 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717730429584 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12113] ppid=12052 vsize=10846984 memory=609108 CPUtime=8.1 cores=1,3,5,7
/proc/12055/task/12113/stat : 12113 (java) S 12052 12055 9235 0 -1 1077944384 11845 13332 0 0 762 40 5 3 20 0 15 0 416636492 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717162732016 140718159522434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12114] ppid=12052 vsize=10846984 memory=609148 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12114/stat : 12114 (java) S 12052 12055 9235 0 -1 1077944384 19 13332 0 0 0 0 5 3 20 0 15 0 416636493 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717087254048 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12115] ppid=12052 vsize=10846984 memory=609148 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12115/stat : 12115 (java) S 12052 12055 9235 0 -1 1077944384 4 13332 0 0 0 0 5 3 20 0 15 0 416636493 11107311616 152287 33554432000 4194304 4196468 140733184819136 140716953036288 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12116] ppid=12052 vsize=10846984 memory=609148 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12116/stat : 12116 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140716712745680 140718159529883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12117] ppid=12052 vsize=10846984 memory=924 CPUtime=3.76 cores=1,3,5,7
/proc/12055/task/12117/stat : 12117 (java) S 12052 12055 9235 0 -1 1077944384 32212 13332 0 0 364 4 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717161678832 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12118] ppid=12052 vsize=10846984 memory=1656 CPUtime=4.26 cores=1,3,5,7
/proc/12055/task/12118/stat : 12118 (java) S 12052 12055 9235 0 -1 1077944384 36762 13332 0 0 413 5 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717160626288 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12119] ppid=12052 vsize=10846984 memory=609148 CPUtime=1.74 cores=1,3,5,7
/proc/12055/task/12119/stat : 12119 (java) S 12052 12055 9235 0 -1 1077944384 22870 13332 0 0 163 3 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717159573744 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12120] ppid=12052 vsize=10846984 memory=2257 CPUtime=0.08 cores=1,3,5,7
/proc/12055/task/12120/stat : 12120 (java) S 12052 12055 9235 0 -1 1077944384 3 13332 0 0 0 0 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140716679187040 140718159521493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
[pid=12055/tid=12121] ppid=12052 vsize=10846984 memory=609148 CPUtime=1.35 cores=1,3,5,7
/proc/12055/task/12121/stat : 12121 (java) S 12052 12055 9235 0 -1 1077944384 845 13332 0 0 60 67 5 3 20 0 15 0 416636496 11107311616 152287 33554432000 4194304 4196468 140733184819136 140717158521648 140718159522434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140733184822000 140733184824517 140733184824517 140733184827343 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 609148 KiB
Child status: 143
Real time (s): 2487.32
CPU time (s): 2520.06
CPU user time (s): 2517.33
CPU system time (s): 2.73349
CPU usage (%): 101.316
Max. virtual memory (cumulated for all children) (KiB): 10849604
Max. memory (cumulated for all children) (KiB): 609148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.33
system time used= 2.73349
maximum resident set size= 613352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 226780
involuntary context switches= 6165
# summary of solver processes directly reported to runsolver:
# pid: 12055
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.33
# total CPU system time (s): 2.73349
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7746 second user time and 20.6091 second system time
The end