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 (14658 MiB free)
memory of node 1: 16384 MiB (15657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387683-1568288244/watcher-4387683-1568288244 -o /tmp/evaluation-result-4387683-1568288244/solver-4387683-1568288244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6431 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387683-1568288244.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=7333, runsolver pid=7330
Current StackSize limit: 8192 KiB
[startup+0.100187 s]*
/proc/loadavg: 5.00 4.60 3.64 3/234 7350
/proc/meminfo: memFree=30985768/32770624 swapFree=66992688/67108860
[pid=7333] ppid=7330 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7333/stat : 7333 (scop.sh) S 7330 7333 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405075826 115843072 349 33554432000 4194304 5098028 140734222047872 140734222045128 139921365086844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25239552 140734222054184 140734222054512 140734222054512 140734222057421 0
/proc/7333/statm: 28282 349 296 221 0 87 0
[pid=7336] ppid=7333 vsize=15013720 memory=71484 CPUtime=0.11 cores=1,3,5,7
/proc/7336/stat : 7336 (java) S 7333 7333 5522 0 -1 1077944320 7152 0 0 0 9 2 0 0 20 0 15 0 405075827 15374049280 17871 33554432000 4194304 4196468 140729317015936 140729316998480 140613492023031 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
/proc/7336/statm: 3753430 17871 2888 1 0 3715835 0
[pid=7336/tid=7337] ppid=7333 vsize=15014680 memory=-7828588039587137883 CPUtime=0.09 cores=1,3,5,7
/proc/7336/task/7337/stat : 7337 (java) R 7333 7333 5522 0 -1 4202560 5103 0 0 0 7 2 0 0 20 0 15 0 405075827 15375032320 18069 33554432000 4194304 4196468 140729317015936 140613463807280 140613484702749 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7338] ppid=7333 vsize=15014680 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7338/stat : 7338 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075828 15375032320 18069 33554432000 4194304 4196468 140729317015936 140613496265872 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7339] ppid=7333 vsize=15014680 memory=140001612039808 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7339/stat : 7339 (java) S 7333 7333 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405075828 15375032320 18069 33554432000 4194304 4196468 140729317015936 140613271968784 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7340] ppid=7333 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7340/stat : 7340 (java) S 7333 7333 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405075829 15375032320 18069 33554432000 4194304 4196468 140729317015936 140613270915984 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7341] ppid=7333 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7341/stat : 7341 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075829 15375032320 18069 33554432000 4194304 4196468 140729317015936 140612951075600 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7342] ppid=7333 vsize=15014680 memory=140001612039808 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7342/stat : 7342 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075830 15375032320 18069 33554432000 4194304 4196468 140729317015936 140612553648496 140613492034178 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7343] ppid=7333 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7343/stat : 7343 (java) S 7333 7333 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405075830 15375032320 18069 33554432000 4194304 4196468 140729317015936 140612061881376 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7344] ppid=7333 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7344/stat : 7344 (java) S 7333 7333 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405075831 15375032320 18069 33554432000 4194304 4196468 140729317015936 140611927659376 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7345] ppid=7333 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7345/stat : 7345 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15375032320 18069 33554432000 4194304 4196468 140729317015936 140611553154896 140613492041627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7346] ppid=7333 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7346/stat : 7346 (java) S 7333 7333 5522 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 405075833 15375032320 18069 33554432000 4194304 4196468 140729317015936 140612552596336 140613492034178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7347] ppid=7333 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7347/stat : 7347 (java) S 7333 7333 5522 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405075833 15375032320 18135 33554432000 4194304 4196468 140729317015936 140612551543536 140613492034178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7348] ppid=7333 vsize=15014680 memory=140001612039808 CPUtime=0.01 cores=1,3,5,7
/proc/7336/task/7348/stat : 7348 (java) S 7333 7333 5522 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 405075833 15375032320 18135 33554432000 4194304 4196468 140729317015936 140612550490736 140613492034178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7349] ppid=7333 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7349/stat : 7349 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15375032320 18135 33554432000 4194304 4196468 140729317015936 140611055250144 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7350] ppid=7333 vsize=15014680 memory=140001612039808 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7350/stat : 7350 (java) S 7333 7333 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405075834 15375032320 18135 33554432000 4194304 4196468 140729317015936 140612549438128 140613492034178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 72880 KiB
[startup+0.210863 s]*
/proc/loadavg: 5.00 4.60 3.64 2/234 7350
/proc/meminfo: memFree=30970380/32770624 swapFree=66992688/67108860
[pid=7333] ppid=7330 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7333/stat : 7333 (scop.sh) S 7330 7333 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405075826 115843072 349 33554432000 4194304 5098028 140734222047872 140734222045128 139921365086844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25239552 140734222054184 140734222054512 140734222054512 140734222057421 0
/proc/7333/statm: 28282 349 296 221 0 87 0
[pid=7336] ppid=7333 vsize=15012696 memory=73536 CPUtime=0.12 cores=1,3,5,7
/proc/7336/stat : 7336 (java) S 7333 7333 5522 0 -1 1077944320 9336 0 0 0 9 3 0 0 20 0 15 0 405075827 15373000704 18384 33554432000 4194304 4196468 140729317015936 140729316998480 140613492023031 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
/proc/7336/statm: 3753174 18384 2888 1 0 3715579 0
[pid=7336/tid=7337] ppid=7333 vsize=15012696 memory=7022364632946311227 CPUtime=0.09 cores=1,3,5,7
/proc/7336/task/7337/stat : 7337 (java) D 7333 7333 5522 0 -1 4202560 7083 0 0 0 7 2 0 0 20 0 15 0 405075827 15373000704 18384 33554432000 4194304 4196468 140729317015936 140613463807320 140613478137280 0 4 2 16800973 18446744072099896453 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7338] ppid=7333 vsize=15012696 memory=365 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7338/stat : 7338 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075828 15373000704 18384 33554432000 4194304 4196468 140729317015936 140613496265872 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7339] ppid=7333 vsize=15012696 memory=140001612050492 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7339/stat : 7339 (java) S 7333 7333 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405075828 15373000704 18384 33554432000 4194304 4196468 140729317015936 140613271968784 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7340] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7340/stat : 7340 (java) S 7333 7333 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405075829 15373000704 18384 33554432000 4194304 4196468 140729317015936 140613270915984 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7341] ppid=7333 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7341/stat : 7341 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075829 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612951075600 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7342] ppid=7333 vsize=15012696 memory=140001612039808 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7342/stat : 7342 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075830 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612553648496 140613492034178 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7343] ppid=7333 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7343/stat : 7343 (java) S 7333 7333 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405075830 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612061881376 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7344] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7344/stat : 7344 (java) S 7333 7333 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405075831 15373000704 18384 33554432000 4194304 4196468 140729317015936 140611927659376 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7345] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7345/stat : 7345 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15373000704 18384 33554432000 4194304 4196468 140729317015936 140611553154896 140613492041627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7346] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7346/stat : 7346 (java) S 7333 7333 5522 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 405075833 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612552596336 140613492034178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7347] ppid=7333 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7347/stat : 7347 (java) S 7333 7333 5522 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405075833 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612551543536 140613492034178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7348] ppid=7333 vsize=15012696 memory=140001612039808 CPUtime=0.01 cores=1,3,5,7
/proc/7336/task/7348/stat : 7348 (java) S 7333 7333 5522 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 405075833 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612550490736 140613492034178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7349] ppid=7333 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7349/stat : 7349 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15373000704 18384 33554432000 4194304 4196468 140729317015936 140611055250144 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7350] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7350/stat : 7350 (java) D 7333 7333 5522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 405075834 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612549438048 140613476879118 0 4 2 16800973 18446744072099896453 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74932 KiB
[startup+0.310426 s]*
/proc/loadavg: 5.00 4.60 3.64 2/234 7350
/proc/meminfo: memFree=30973996/32770624 swapFree=66992688/67108860
[pid=7333] ppid=7330 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7333/stat : 7333 (scop.sh) S 7330 7333 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405075826 115843072 349 33554432000 4194304 5098028 140734222047872 140734222045128 139921365086844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25239552 140734222054184 140734222054512 140734222054512 140734222057421 0
/proc/7333/statm: 28282 349 296 221 0 87 0
[pid=7336] ppid=7333 vsize=15012696 memory=73536 CPUtime=0.12 cores=1,3,5,7
/proc/7336/stat : 7336 (java) S 7333 7333 5522 0 -1 1077944320 9336 0 0 0 9 3 0 0 20 0 15 0 405075827 15373000704 18384 33554432000 4194304 4196468 140729317015936 140729316998480 140613492023031 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
/proc/7336/statm: 3753174 18384 2888 1 0 3715579 0
[pid=7336/tid=7337] ppid=7333 vsize=15012696 memory=8317482817917895235 CPUtime=0.09 cores=1,3,5,7
/proc/7336/task/7337/stat : 7337 (java) D 7333 7333 5522 0 -1 4202560 7083 0 0 0 7 2 0 0 20 0 15 0 405075827 15373000704 18384 33554432000 4194304 4196468 140729317015936 140613463807320 140613478137280 0 4 2 16800973 18446744072099896453 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7338] ppid=7333 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7338/stat : 7338 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075828 15373000704 18384 33554432000 4194304 4196468 140729317015936 140613496265872 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7339] ppid=7333 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7339/stat : 7339 (java) S 7333 7333 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405075828 15373000704 18384 33554432000 4194304 4196468 140729317015936 140613271968784 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7340] ppid=7333 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7340/stat : 7340 (java) S 7333 7333 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405075829 15373000704 18384 33554432000 4194304 4196468 140729317015936 140613270915984 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7341] ppid=7333 vsize=15012696 memory=6933954179156714387 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7341/stat : 7341 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075829 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612951075600 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7342] ppid=7333 vsize=15012696 memory=7684433391216329786 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7342/stat : 7342 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075830 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612553648496 140613492034178 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7343] ppid=7333 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7343/stat : 7343 (java) S 7333 7333 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405075830 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612061881376 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7344] ppid=7333 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7344/stat : 7344 (java) S 7333 7333 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405075831 15373000704 18384 33554432000 4194304 4196468 140729317015936 140611927659376 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7345] ppid=7333 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7345/stat : 7345 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15373000704 18384 33554432000 4194304 4196468 140729317015936 140611553154896 140613492041627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7346] ppid=7333 vsize=15012696 memory=-7384621950708166502 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7346/stat : 7346 (java) S 7333 7333 5522 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 405075833 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612552596336 140613492034178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7347] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7347/stat : 7347 (java) S 7333 7333 5522 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405075833 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612551543536 140613492034178 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7348] ppid=7333 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7336/task/7348/stat : 7348 (java) S 7333 7333 5522 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 405075833 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612550490736 140613492034178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7349] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7349/stat : 7349 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15373000704 18384 33554432000 4194304 4196468 140729317015936 140611055250144 140613492033237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7350] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7350/stat : 7350 (java) D 7333 7333 5522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 405075834 15373000704 18384 33554432000 4194304 4196468 140729317015936 140612549438048 140613476879118 0 4 2 16800973 18446744072099896453 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74932 KiB
[startup+0.700873 s]
/proc/loadavg: 5.00 4.60 3.64 5/234 7350
/proc/meminfo: memFree=30966884/32770624 swapFree=66992688/67108860
[pid=7333] ppid=7330 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7333/stat : 7333 (scop.sh) S 7330 7333 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405075826 115843072 349 33554432000 4194304 5098028 140734222047872 140734222045128 139921365086844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25239552 140734222054184 140734222054512 140734222054512 140734222057421 0
/proc/7333/statm: 28282 349 296 221 0 87 0
[pid=7336] ppid=7333 vsize=15012696 memory=93964 CPUtime=0.57 cores=1,3,5,7
/proc/7336/stat : 7336 (java) S 7333 7333 5522 0 -1 1077944320 13626 0 0 0 53 4 0 0 20 0 15 0 405075827 15373000704 23491 33554432000 4194304 4196468 140729317015936 140729316998480 140613492023031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
/proc/7336/statm: 3753174 23491 3081 1 0 3715579 0
[pid=7336/tid=7337] ppid=7333 vsize=15012696 memory=291071491 CPUtime=0.42 cores=1,3,5,7
/proc/7336/task/7337/stat : 7337 (java) R 7333 7333 5522 0 -1 4202560 11092 0 0 0 38 4 0 0 20 0 15 0 405075827 15373000704 23491 33554432000 4194304 4196468 140729317015936 140613463840560 140613472298361 0 4 2 25189581 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7338] ppid=7333 vsize=15012696 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7338/stat : 7338 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075828 15373000704 23491 33554432000 4194304 4196468 140729317015936 140613496265872 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7339] ppid=7333 vsize=15012696 memory=116 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7339/stat : 7339 (java) S 7333 7333 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405075828 15373000704 23491 33554432000 4194304 4196468 140729317015936 140613271968784 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7340] ppid=7333 vsize=15012696 memory=2809143 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7340/stat : 7340 (java) S 7333 7333 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405075829 15373000704 23491 33554432000 4194304 4196468 140729317015936 140613270915984 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7341] ppid=7333 vsize=15012696 memory=2811374 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7341/stat : 7341 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075829 15373000704 23491 33554432000 4194304 4196468 140729317015936 140612951075600 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7342] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7342/stat : 7342 (java) S 7333 7333 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405075830 15373000704 23491 33554432000 4194304 4196468 140729317015936 140612553648496 140613492034178 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7343] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7343/stat : 7343 (java) S 7333 7333 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405075830 15373000704 23491 33554432000 4194304 4196468 140729317015936 140612061881376 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7344] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7344/stat : 7344 (java) S 7333 7333 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405075831 15373000704 23491 33554432000 4194304 4196468 140729317015936 140611927659376 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7345] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7345/stat : 7345 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15373000704 23491 33554432000 4194304 4196468 140729317015936 140611553154896 140613492041627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7346] ppid=7333 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7336/task/7346/stat : 7346 (java) S 7333 7333 5522 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 15 0 405075833 15373000704 23491 33554432000 4194304 4196468 140729317015936 140612552596336 140613492034178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7347] ppid=7333 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7336/task/7347/stat : 7347 (java) S 7333 7333 5522 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 15 0 405075833 15373000704 23491 33554432000 4194304 4196468 140729317015936 140612551543536 140613492034178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7348] ppid=7333 vsize=15012696 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7336/task/7348/stat : 7348 (java) S 7333 7333 5522 0 -1 1077944384 558 0 0 0 9 0 0 0 20 0 15 0 405075833 15373000704 23491 33554432000 4194304 4196468 140729317015936 140612550490736 140613492034178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7349] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7349/stat : 7349 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15373000704 23491 33554432000 4194304 4196468 140729317015936 140611055250144 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7350] ppid=7333 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7350/stat : 7350 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075834 15373000704 23491 33554432000 4194304 4196468 140729317015936 140612549438128 140613492034178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 95360 KiB
[startup+1.50106 s]
/proc/loadavg: 5.00 4.60 3.64 5/234 7350
/proc/meminfo: memFree=30926296/32770624 swapFree=66992688/67108860
[pid=7333] ppid=7330 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7333/stat : 7333 (scop.sh) S 7330 7333 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405075826 115843072 349 33554432000 4194304 5098028 140734222047872 140734222045128 139921365086844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25239552 140734222054184 140734222054512 140734222054512 140734222057421 0
/proc/7333/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/7336/task/7340/stat : 7340 (java) R 7333 7333 5522 0 -1 4202560 23852 0 0 0 61411 248 0 0 20 0 15 0 405075829 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613270915872 140613473670207 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7341] ppid=7333 vsize=15025188 memory=1556 CPUtime=616.98 cores=1,3,5,7
/proc/7336/task/7341/stat : 7341 (java) R 7333 7333 5522 0 -1 4202560 24141 0 0 0 61449 249 0 0 20 0 15 0 405075829 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612951075800 140613473618994 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7342] ppid=7333 vsize=15025188 memory=496 CPUtime=5.11 cores=1,3,5,7
/proc/7336/task/7342/stat : 7342 (java) S 7333 7333 5522 0 -1 1077944384 116255 0 0 0 506 5 0 0 20 0 15 0 405075830 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612553646816 140613492033237 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7343] ppid=7333 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7343/stat : 7343 (java) S 7333 7333 5522 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 405075830 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612061881440 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7344] ppid=7333 vsize=15025188 memory=12014848 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7344/stat : 7344 (java) S 7333 7333 5522 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 405075831 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611927659392 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7345] ppid=7333 vsize=15025188 memory=12014848 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7345/stat : 7345 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611553154896 140613492041627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7346] ppid=7333 vsize=15025188 memory=12028664 CPUtime=6.24 cores=1,3,5,7
/proc/7336/task/7346/stat : 7346 (java) S 7333 7333 5522 0 -1 1077944384 5404 0 0 0 623 1 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612552596384 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7347] ppid=7333 vsize=15025188 memory=1616 CPUtime=6.26 cores=1,3,5,7
/proc/7336/task/7347/stat : 7347 (java) S 7333 7333 5522 0 -1 1077944384 8362 0 0 0 625 1 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612551543584 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7348] ppid=7333 vsize=15025188 memory=12032 CPUtime=1.17 cores=1,3,5,7
/proc/7336/task/7348/stat : 7348 (java) S 7333 7333 5522 0 -1 1077944384 5516 0 0 0 115 2 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612550490496 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7349] ppid=7333 vsize=15025188 memory=16080 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7349/stat : 7349 (java) S 7333 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611055250144 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7350] ppid=7333 vsize=15025188 memory=988 CPUtime=0.5 cores=1,3,5,7
/proc/7336/task/7350/stat : 7350 (java) S 7333 7333 5522 0 -1 1077944384 749 0 0 0 7 43 0 0 20 0 15 0 405075834 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612549438128 140613492034178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12016248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+658.441 s]
# the end of solver process 7333 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.003681 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+660.458 s]
# the end of solver process 7336 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.58 s, system=10.5097 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+659.201 s]
/proc/loadavg: 8.20 7.14 5.28 11/228 7490
/proc/meminfo: memFree=7737236/32770624 swapFree=66992696/67108860
[pid=7336] ppid=7330 vsize=15025188 memory=12014852 CPUtime=2523.26 cores=1,3,5,7
/proc/7336/stat : 7336 (java) S 7330 7333 5522 0 -1 1077944320 253641 0 0 0 251280 1046 0 0 20 0 15 0 405075827 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140729316998480 140613492023031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
/proc/7336/statm: 3756297 3003713 3304 1 0 3717627 0
[pid=7336/tid=7337] ppid=7330 vsize=15025188 memory=1396 CPUtime=33.19 cores=1,3,5,7
/proc/7336/task/7337/stat : 7337 (java) S 7330 7333 5522 0 -1 1077944384 24018 0 0 0 3273 46 0 0 20 0 15 0 405075827 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613463860704 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7338] ppid=7330 vsize=15025188 memory=12014848 CPUtime=617.04 cores=1,3,5,7
/proc/7336/task/7338/stat : 7338 (java) R 7330 7333 5522 0 -1 4202560 21884 0 0 0 61460 244 0 0 20 0 15 0 405075828 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613496266072 140613476720806 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7339] ppid=7330 vsize=15025188 memory=776 CPUtime=618.5 cores=1,3,5,7
/proc/7336/task/7339/stat : 7339 (java) R 7330 7333 5522 0 -1 4202560 22098 0 0 0 61608 242 0 0 20 0 15 0 405075828 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613271968984 140613477008327 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7340] ppid=7330 vsize=15025188 memory=988 CPUtime=617.39 cores=1,3,5,7
/proc/7336/task/7340/stat : 7340 (java) R 7330 7333 5522 0 -1 4202560 23852 0 0 0 61491 248 0 0 20 0 15 0 405075829 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613270915872 140613473618854 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7341] ppid=7330 vsize=15025188 memory=1396 CPUtime=617.75 cores=1,3,5,7
/proc/7336/task/7341/stat : 7341 (java) R 7330 7333 5522 0 -1 4202560 24141 0 0 0 61526 249 0 0 20 0 15 0 405075829 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612951075800 140613473576656 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7342] ppid=7330 vsize=15025188 memory=12014848 CPUtime=5.11 cores=1,3,5,7
/proc/7336/task/7342/stat : 7342 (java) S 7330 7333 5522 0 -1 1077944384 116255 0 0 0 506 5 0 0 20 0 15 0 405075830 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612553646816 140613492033237 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7343] ppid=7330 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7343/stat : 7343 (java) S 7330 7333 5522 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 405075830 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612061881440 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7344] ppid=7330 vsize=15025188 memory=12014848 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7344/stat : 7344 (java) S 7330 7333 5522 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 405075831 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611927659392 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7345] ppid=7330 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7345/stat : 7345 (java) S 7330 7333 5522 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611553154544 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7346] ppid=7330 vsize=15025188 memory=8112282956445269571 CPUtime=6.24 cores=1,3,5,7
/proc/7336/task/7346/stat : 7346 (java) S 7330 7333 5522 0 -1 1077944384 5404 0 0 0 623 1 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612552596384 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7347] ppid=7330 vsize=15025188 memory=12014848 CPUtime=6.26 cores=1,3,5,7
/proc/7336/task/7347/stat : 7347 (java) S 7330 7333 5522 0 -1 1077944384 8362 0 0 0 625 1 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612551543584 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7348] ppid=7330 vsize=15025188 memory=1556 CPUtime=1.17 cores=1,3,5,7
/proc/7336/task/7348/stat : 7348 (java) S 7330 7333 5522 0 -1 1077944384 5516 0 0 0 115 2 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612550490496 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7349] ppid=7330 vsize=15025188 memory=496 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7349/stat : 7349 (java) S 7330 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611055250144 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7350] ppid=7330 vsize=15025188 memory=8112282956445269571 CPUtime=0.5 cores=1,3,5,7
/proc/7336/task/7350/stat : 7350 (java) S 7330 7333 5522 0 -1 1077944384 749 0 0 0 7 43 0 0 20 0 15 0 405075834 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612549438128 140613492034178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
Current cumulated CPU time of completed processes: 0.003681 s
Current children cumulated CPU time: 2523.26 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12014852 KiB
[startup+660.001 s]*
/proc/loadavg: 8.20 7.14 5.28 10/228 7490
/proc/meminfo: memFree=7737488/32770624 swapFree=66992696/67108860
[pid=7336] ppid=7330 vsize=15025188 memory=12014852 CPUtime=2526.49 cores=1,3,5,7
/proc/7336/stat : 7336 (java) S 7330 7333 5522 0 -1 1077944320 253689 0 0 0 251603 1046 0 0 20 0 15 0 405075827 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140729316998480 140613492023031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
/proc/7336/statm: 3756297 3003713 3304 1 0 3717627 0
[pid=7336/tid=7337] ppid=7330 vsize=15025188 memory=8317482817917895235 CPUtime=33.19 cores=1,3,5,7
/proc/7336/task/7337/stat : 7337 (java) S 7330 7333 5522 0 -1 1077944384 24018 0 0 0 3273 46 0 0 20 0 15 0 405075827 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613463860704 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7338] ppid=7330 vsize=15025188 memory=4126316290023845779 CPUtime=617.85 cores=1,3,5,7
/proc/7336/task/7338/stat : 7338 (java) R 7330 7333 5522 0 -1 4202560 21932 0 0 0 61541 244 0 0 20 0 15 0 405075828 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613496266072 140613476477788 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7339] ppid=7330 vsize=15025188 memory=1764 CPUtime=619.31 cores=1,3,5,7
/proc/7336/task/7339/stat : 7339 (java) R 7330 7333 5522 0 -1 4202560 22098 0 0 0 61689 242 0 0 20 0 15 0 405075828 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613271968984 140613476720610 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7340] ppid=7330 vsize=15025188 memory=111632 CPUtime=618.2 cores=1,3,5,7
/proc/7336/task/7340/stat : 7340 (java) R 7330 7333 5522 0 -1 4202560 23852 0 0 0 61572 248 0 0 20 0 15 0 405075829 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613270915872 140613473618864 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7341] ppid=7330 vsize=15025188 memory=808 CPUtime=618.55 cores=1,3,5,7
/proc/7336/task/7341/stat : 7341 (java) R 7330 7333 5522 0 -1 4202560 24141 0 0 0 61606 249 0 0 20 0 15 0 405075829 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612951075800 140613476720678 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7342] ppid=7330 vsize=15025188 memory=1804 CPUtime=5.11 cores=1,3,5,7
/proc/7336/task/7342/stat : 7342 (java) S 7330 7333 5522 0 -1 1077944384 116255 0 0 0 506 5 0 0 20 0 15 0 405075830 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612553646816 140613492033237 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7343] ppid=7330 vsize=15025188 memory=916 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7343/stat : 7343 (java) S 7330 7333 5522 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 405075830 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612061881440 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7344] ppid=7330 vsize=15025188 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7344/stat : 7344 (java) S 7330 7333 5522 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 405075831 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611927659392 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7345] ppid=7330 vsize=15025188 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7345/stat : 7345 (java) S 7330 7333 5522 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611553154544 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7346] ppid=7330 vsize=15025188 memory=2920 CPUtime=6.24 cores=1,3,5,7
/proc/7336/task/7346/stat : 7346 (java) S 7330 7333 5522 0 -1 1077944384 5404 0 0 0 623 1 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612552596384 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7347] ppid=7330 vsize=15025188 memory=2860 CPUtime=6.26 cores=1,3,5,7
/proc/7336/task/7347/stat : 7347 (java) S 7330 7333 5522 0 -1 1077944384 8362 0 0 0 625 1 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612551543584 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7348] ppid=7330 vsize=15025188 memory=1412 CPUtime=1.17 cores=1,3,5,7
/proc/7336/task/7348/stat : 7348 (java) S 7330 7333 5522 0 -1 1077944384 5516 0 0 0 115 2 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612550490496 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7349] ppid=7330 vsize=15025188 memory=3240 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7349/stat : 7349 (java) S 7330 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611055250144 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7350] ppid=7330 vsize=15025188 memory=1396 CPUtime=0.5 cores=1,3,5,7
/proc/7336/task/7350/stat : 7350 (java) S 7330 7333 5522 0 -1 1077944384 749 0 0 0 7 43 0 0 20 0 15 0 405075834 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612549438128 140613492034178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
Current cumulated CPU time of completed processes: 0.003681 s
Current children cumulated CPU time: 2526.49 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12014852 KiB
[startup+660.401 s]
/proc/loadavg: 8.20 7.14 5.28 10/228 7490
/proc/meminfo: memFree=7737488/32770624 swapFree=66992696/67108860
[pid=7336] ppid=7330 vsize=15025188 memory=12014852 CPUtime=2528.01 cores=1,3,5,7
/proc/7336/stat : 7336 (java) S 7330 7333 5522 0 -1 1077944320 253689 0 0 0 251755 1046 0 0 20 0 15 0 405075827 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140729316998480 140613492023031 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
/proc/7336/statm: 3756297 3003713 3304 1 0 3717627 0
[pid=7336/tid=7337] ppid=7330 vsize=15025188 memory=8112282956445269571 CPUtime=33.19 cores=1,3,5,7
/proc/7336/task/7337/stat : 7337 (java) S 7330 7333 5522 0 -1 1077944384 24018 0 0 0 3273 46 0 0 20 0 15 0 405075827 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613463860704 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7338] ppid=7330 vsize=15025188 memory=8556 CPUtime=618.23 cores=1,3,5,7
/proc/7336/task/7338/stat : 7338 (java) R 7330 7333 5522 0 -1 4202560 21932 0 0 0 61579 244 0 0 20 0 15 0 405075828 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613496265872 140613473632863 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7339] ppid=7330 vsize=15025188 memory=1052 CPUtime=619.69 cores=1,3,5,7
/proc/7336/task/7339/stat : 7339 (java) R 7330 7333 5522 0 -1 4202560 22098 0 0 0 61727 242 0 0 20 0 15 0 405075828 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613271968784 140613476722912 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7340] ppid=7330 vsize=15025188 memory=1708 CPUtime=618.58 cores=1,3,5,7
/proc/7336/task/7340/stat : 7340 (java) R 7330 7333 5522 0 -1 4202560 23852 0 0 0 61610 248 0 0 20 0 15 0 405075829 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140613270915984 140613477012647 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7341] ppid=7330 vsize=15025188 memory=3440 CPUtime=618.92 cores=1,3,5,7
/proc/7336/task/7341/stat : 7341 (java) R 7330 7333 5522 0 -1 4202560 24141 0 0 0 61643 249 0 0 20 0 15 0 405075829 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612951075800 140613477012695 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7342] ppid=7330 vsize=15025188 memory=2832 CPUtime=5.12 cores=1,3,5,7
/proc/7336/task/7342/stat : 7342 (java) S 7330 7333 5522 0 -1 1077944384 116255 0 0 0 507 5 0 0 20 0 15 0 405075830 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612553647040 140613492033237 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7343] ppid=7330 vsize=15025188 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7343/stat : 7343 (java) S 7330 7333 5522 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 405075830 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612061881440 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7344] ppid=7330 vsize=15025188 memory=16080 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7344/stat : 7344 (java) S 7330 7333 5522 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 405075831 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611927659392 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7345] ppid=7330 vsize=15025188 memory=988 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7345/stat : 7345 (java) S 7330 7333 5522 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611553154544 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7346] ppid=7330 vsize=15025188 memory=2016 CPUtime=6.24 cores=1,3,5,7
/proc/7336/task/7346/stat : 7346 (java) S 7330 7333 5522 0 -1 1077944384 5404 0 0 0 623 1 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612552596384 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7347] ppid=7330 vsize=15025188 memory=1384 CPUtime=6.26 cores=1,3,5,7
/proc/7336/task/7347/stat : 7347 (java) S 7330 7333 5522 0 -1 1077944384 8362 0 0 0 625 1 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612551543584 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7348] ppid=7330 vsize=15025188 memory=776 CPUtime=1.17 cores=1,3,5,7
/proc/7336/task/7348/stat : 7348 (java) S 7330 7333 5522 0 -1 1077944384 5516 0 0 0 115 2 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612550490496 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7349] ppid=7330 vsize=15025188 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/7336/task/7349/stat : 7349 (java) S 7330 7333 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405075833 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140611055250144 140613492033237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
[pid=7336/tid=7350] ppid=7330 vsize=15025188 memory=8556 CPUtime=0.5 cores=1,3,5,7
/proc/7336/task/7350/stat : 7350 (java) S 7330 7333 5522 0 -1 1077944384 749 0 0 0 7 43 0 0 20 0 15 0 405075834 15385792512 3003713 33554432000 4194304 4196468 140729317015936 140612549438128 140613492034178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 36184064 140729317020399 140729317020826 140729317020826 140729317023695 0
Current cumulated CPU time of completed processes: 0.003681 s
Current children cumulated CPU time: 2528.01 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12014852 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 660.458
CPU time (s): 2528.09
CPU user time (s): 2517.58
CPU system time (s): 10.5097
CPU usage (%): 382.778
Max. virtual memory (cumulated for all children) (KiB): 15141052
Max. memory (cumulated for all children) (KiB): 12016248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.58
system time used= 10.5097
maximum resident set size= 12015120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20564
involuntary context switches= 29856
# summary of solver processes directly reported to runsolver:
# pid: 7333,7336
# total CPU time (s): 2528.09
# total CPU user time (s): 2517.58
# total CPU system time (s): 10.5097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.98219 second user time and 7.36939 second system time
The end