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 (4109 MiB free)
memory of node 1: 16384 MiB (7796 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295322-1532548159/watcher-4295322-1532548159 -o /tmp/evaluation-result-4295322-1532548159/solver-4295322-1532548159 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31453 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2040963211 -superng HOME/instance-4295322-1532548159.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=32359, runsolver pid=32356
Current StackSize limit: 8192 KiB
[startup+0.100142 s]*
/proc/loadavg: 1.37 1.45 1.41 3/206 32416
/proc/meminfo: memFree=12181080/32770624 swapFree=67108860/67108860
[pid=32359] ppid=32356 vsize=9989820 memory=18856 CPUtime=0.1 cores=1,3,5,7
/proc/32359/stat : 32359 (java) S 32356 32359 31421 0 -1 1077944320 4354 12901 0 0 1 1 5 3 20 0 7 0 72379088 10229575680 4714 33554432000 4194304 4196468 140727284860688 140727284843232 139684929937143 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
/proc/32359/statm: 2497455 4714 1971 1 0 2485893 0
[pid=32359/tid=32412] ppid=32356 vsize=10055356 memory=4279135704013833615 CPUtime=0.09 cores=1,3,5,7
/proc/32359/task/32412/stat : 32412 (java) R 32356 32359 31421 0 -1 1077944384 2156 12901 0 0 1 0 5 3 20 0 7 0 72379097 10296684544 4714 33554432000 4194304 4196468 140727284860688 139684901780240 139684929947349 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32413] ppid=32356 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32413/stat : 32413 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 7 0 72379097 10296684544 4714 33554432000 4194304 4196468 140727284860688 139684934179088 139684929947349 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32414] ppid=32356 vsize=10055356 memory=140071483197056 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32414/stat : 32414 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 7 0 72379097 10296684544 4714 33554432000 4194304 4196468 140727284860688 139684822452624 139684929947349 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32415] ppid=32356 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32415/stat : 32415 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 7 0 72379097 10296684544 4714 33554432000 4194304 4196468 140727284860688 139684821400080 139684929947349 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32416] ppid=32356 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32416/stat : 32416 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 7 0 72379097 10296684544 4714 33554432000 4194304 4196468 140727284860688 139684820347536 139684929947349 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32417] ppid=32356 vsize=10055356 memory=140071483197056 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32417/stat : 32417 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 7 0 72379099 10296684544 4714 33554432000 4194304 4196468 140727284860688 139684389399024 139684929948290 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9989820 KiB
Current children cumulated memory: 18856 KiB
[startup+0.2099 s]*
/proc/loadavg: 1.37 1.45 1.41 3/215 32425
/proc/meminfo: memFree=12161692/32770624 swapFree=67108860/67108860
[pid=32359] ppid=32356 vsize=10819044 memory=46136 CPUtime=0.27 cores=1,3,5,7
/proc/32359/stat : 32359 (java) S 32356 32359 31421 0 -1 1077944320 8915 12901 0 0 17 2 5 3 20 0 15 0 72379088 11078701056 11534 33554432000 4194304 4196468 140727284860688 140727284843232 139684929937143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
/proc/32359/statm: 2704761 11534 2966 1 0 2667149 0
[pid=32359/tid=32412] ppid=32356 vsize=10819044 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/32359/task/32412/stat : 32412 (java) R 32356 32359 31421 0 -1 4202560 5565 12901 0 0 10 1 5 3 20 0 15 0 72379097 11078701056 11534 33554432000 4194304 4196468 140727284860688 139684901761952 139684853014390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32413] ppid=32356 vsize=10819044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32413/stat : 32413 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379097 11078701056 11534 33554432000 4194304 4196468 140727284860688 139684934179088 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32414] ppid=32356 vsize=10819044 memory=140071483197056 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32414/stat : 32414 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379097 11078701056 11534 33554432000 4194304 4196468 140727284860688 139684822452624 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32415] ppid=32356 vsize=10819044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32415/stat : 32415 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379097 11078701056 11534 33554432000 4194304 4196468 140727284860688 139684821400080 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32416] ppid=32356 vsize=10819044 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32416/stat : 32416 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379097 11078701056 11534 33554432000 4194304 4196468 140727284860688 139684820347536 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32417] ppid=32356 vsize=10819044 memory=140071483197056 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32417/stat : 32417 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379099 11078701056 11534 33554432000 4194304 4196468 140727284860688 139684389399024 139684929948290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32418] ppid=32356 vsize=10819044 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32418/stat : 32418 (java) S 32356 32359 31421 0 -1 1077944384 33 12901 0 0 0 0 5 3 20 0 15 0 72379099 11078701056 11534 33554432000 4194304 4196468 140727284860688 139684388345248 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32419] ppid=32356 vsize=10819044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32419/stat : 32419 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379099 11078701056 11534 33554432000 4194304 4196468 140727284860688 139683812074992 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32420] ppid=32356 vsize=10819044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32420/stat : 32420 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11078701056 11534 33554432000 4194304 4196468 140727284860688 139683504675536 139684929955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32421] ppid=32356 vsize=10819044 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32359/task/32421/stat : 32421 (java) S 32356 32359 31421 0 -1 1077944384 510 12901 0 0 1 0 5 3 20 0 15 0 72379102 11078701056 11534 33554432000 4194304 4196468 140727284860688 139684354787312 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32422] ppid=32356 vsize=10819044 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/32359/task/32422/stat : 32422 (java) R 32356 32359 31421 0 -1 1077944384 90 12901 0 0 1 0 5 3 20 0 15 0 72379102 11078701056 11534 33554432000 4194304 4196468 140727284860688 139684353734768 139684929948290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32423] ppid=32356 vsize=10819044 memory=140071483197056 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32423/stat : 32423 (java) R 32356 32359 31421 0 -1 4202560 534 12901 0 0 3 0 5 3 20 0 15 0 72379102 11078701056 11534 33554432000 4194304 4196468 140727284860688 139684352682224 139684929958490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32424] ppid=32356 vsize=10819052 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32424/stat : 32424 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11078709248 11534 33554432000 4194304 4196468 140727284860688 139683471116896 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32425] ppid=32356 vsize=10819052 memory=140071483197056 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32425/stat : 32425 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379103 11078709248 11534 33554432000 4194304 4196468 140727284860688 139684351630128 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819044 KiB
Current children cumulated memory: 46136 KiB
[startup+0.310491 s]*
/proc/loadavg: 1.37 1.45 1.41 3/215 32425
/proc/meminfo: memFree=12149100/32770624 swapFree=67108860/67108860
[pid=32359] ppid=32356 vsize=10819352 memory=54012 CPUtime=0.39 cores=1,3,5,7
/proc/32359/stat : 32359 (java) S 32356 32359 31421 0 -1 1077944320 10096 12901 0 0 29 2 5 3 20 0 15 0 72379088 11079016448 13503 33554432000 4194304 4196468 140727284860688 140727284843232 139684929937143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
/proc/32359/statm: 2704838 13503 3085 1 0 2667149 0
[pid=32359/tid=32412] ppid=32356 vsize=10819352 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/32359/task/32412/stat : 32412 (java) R 32356 32359 31421 0 -1 4202560 6709 12901 0 0 20 2 5 3 20 0 15 0 72379097 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684901749152 139684910212975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32413] ppid=32356 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32413/stat : 32413 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379097 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684934179088 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32414] ppid=32356 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32414/stat : 32414 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379097 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684822452624 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32415] ppid=32356 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32415/stat : 32415 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379097 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684821400080 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32416] ppid=32356 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32416/stat : 32416 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379097 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684820347536 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32417] ppid=32356 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32417/stat : 32417 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379099 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684389399024 139684929948290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32418] ppid=32356 vsize=10819352 memory=140071483197055 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32418/stat : 32418 (java) S 32356 32359 31421 0 -1 1077944384 33 12901 0 0 0 0 5 3 20 0 15 0 72379099 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684388345248 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32419] ppid=32356 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32419/stat : 32419 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379099 11079016448 13503 33554432000 4194304 4196468 140727284860688 139683812074992 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32420] ppid=32356 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32420/stat : 32420 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11079016448 13503 33554432000 4194304 4196468 140727284860688 139683504675536 139684929955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32421] ppid=32356 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32359/task/32421/stat : 32421 (java) S 32356 32359 31421 0 -1 1077944384 510 12901 0 0 1 0 5 3 20 0 15 0 72379102 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684354787312 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32422] ppid=32356 vsize=10819352 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/32359/task/32422/stat : 32422 (java) S 32356 32359 31421 0 -1 1077944384 91 12901 0 0 2 0 5 3 20 0 15 0 72379102 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684353734768 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32423] ppid=32356 vsize=10819352 memory=140071483197056 CPUtime=0.13 cores=1,3,5,7
/proc/32359/task/32423/stat : 32423 (java) S 32356 32359 31421 0 -1 1077944384 545 12901 0 0 5 0 5 3 20 0 15 0 72379102 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684352682224 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32424] ppid=32356 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32424/stat : 32424 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11079016448 13503 33554432000 4194304 4196468 140727284860688 139683471116896 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32425] ppid=32356 vsize=10819352 memory=140071483197056 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32425/stat : 32425 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379103 11079016448 13503 33554432000 4194304 4196468 140727284860688 139684351630128 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54012 KiB
[startup+0.700794 s]
/proc/loadavg: 1.37 1.45 1.41 3/215 32425
/proc/meminfo: memFree=12140292/32770624 swapFree=67108860/67108860
[pid=32359] ppid=32356 vsize=10819352 memory=86160 CPUtime=1 cores=1,3,5,7
/proc/32359/stat : 32359 (java) S 32356 32359 31421 0 -1 1077944320 16172 12901 0 0 88 4 5 3 20 0 15 0 72379088 11079016448 21540 33554432000 4194304 4196468 140727284860688 140727284843232 139684929937143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
/proc/32359/statm: 2704838 21540 3237 1 0 2667149 0
[pid=32359/tid=32412] ppid=32356 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/32359/task/32412/stat : 32412 (java) R 32356 32359 31421 0 -1 4202560 11702 12901 0 0 56 3 5 3 20 0 15 0 72379097 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684901757968 139684914017630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32413] ppid=32356 vsize=10819352 memory=3619116856260172848 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32413/stat : 32413 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379097 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684934179088 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32414] ppid=32356 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32414/stat : 32414 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379097 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684822452624 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32415] ppid=32356 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32415/stat : 32415 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379097 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684821400080 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32416] ppid=32356 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32416/stat : 32416 (java) S 32356 32359 31421 0 -1 1077944384 2 12901 0 0 0 0 5 3 20 0 15 0 72379097 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684820347536 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32417] ppid=32356 vsize=10819352 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32417/stat : 32417 (java) S 32356 32359 31421 0 -1 1077944384 5 12901 0 0 0 0 5 3 20 0 15 0 72379099 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684389399024 139684929948290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32418] ppid=32356 vsize=10819352 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32418/stat : 32418 (java) S 32356 32359 31421 0 -1 1077944384 33 12901 0 0 0 0 5 3 20 0 15 0 72379099 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684388345248 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32419] ppid=32356 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32419/stat : 32419 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379099 11079016448 21540 33554432000 4194304 4196468 140727284860688 139683812074992 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32420] ppid=32356 vsize=10819352 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32420/stat : 32420 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11079016448 21540 33554432000 4194304 4196468 140727284860688 139683504675536 139684929955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32421] ppid=32356 vsize=10819352 memory=11044 CPUtime=0.15 cores=1,3,5,7
/proc/32359/task/32421/stat : 32421 (java) S 32356 32359 31421 0 -1 1077944384 908 12901 0 0 7 0 5 3 20 0 15 0 72379102 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684354787312 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32422] ppid=32356 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/32359/task/32422/stat : 32422 (java) S 32356 32359 31421 0 -1 1077944384 721 12901 0 0 9 0 5 3 20 0 15 0 72379102 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684353734768 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32423] ppid=32356 vsize=10819352 memory=27300 CPUtime=0.21 cores=1,3,5,7
/proc/32359/task/32423/stat : 32423 (java) S 32356 32359 31421 0 -1 1077944384 598 12901 0 0 13 0 5 3 20 0 15 0 72379102 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684352682224 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32424] ppid=32356 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32424/stat : 32424 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11079016448 21540 33554432000 4194304 4196468 140727284860688 139683471116896 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32425] ppid=32356 vsize=10819352 memory=140071365805712 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32425/stat : 32425 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379103 11079016448 21540 33554432000 4194304 4196468 140727284860688 139684351630128 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86160 KiB
[startup+1.50073 s]
/proc/loadavg: 1.37 1.45 1.41 4/215 32425
/proc/meminfo: memFree=12094216/32770624 swapFree=67108860/67108860
[pid=32359] ppid=32356 vsize=10836300 memory=177716 CPUtime=2.31 cores=1,3,5,7
/proc/32359/stat : 32359 (java) S 32356 32359 31421 0 -1 1077944320 23506 12901 0 0 213 10 5 3 20 0 15 0 72379088 11096371200 44429 33554432000 4194304 4196468 140727284860688 140727284843232 139684929937143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
/proc/32359/statm: 2709075 44429 3473 1 0 2670733 0
[pid=32359/tid=32412] ppid=32356 vsize=10836300 memory=10 CPUtime=1.44 cores=1,3,5,7
/proc/32359/task/32412/stat : 32412 (java) R 32356 32359 31421 0 -1 4202560 17332 12901 0 0 130 6 5 3 20 0 15 0 72379097 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684901768608 139684914017630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32413] ppid=32356 vsize=10836300 memory=12 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32413/stat : 32413 (java) S 32356 32359 31421 0 -1 1077944384 19 12901 0 0 0 0 5 3 20 0 15 0 72379097 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684934179088 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32414] ppid=32356 vsize=10836300 memory=19 CPUtime=0.09 cores=1,3,5,7
/proc/32359/task/32414/stat : 32414 (java) S 32356 32359 31421 0 -1 1077944384 190 12901 0 0 1 0 5 3 20 0 15 0 72379097 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684822452624 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32415] ppid=32356 vsize=10836300 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32359/task/32415/stat : 32415 (java) S 32356 32359 31421 0 -1 1077944384 69 12901 0 0 1 0 5 3 20 0 15 0 72379097 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684821400080 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32416] ppid=32356 vsize=10836300 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32359/task/32416/stat : 32416 (java) S 32356 32359 31421 0 -1 1077944384 30 12901 0 0 1 0 5 3 20 0 15 0 72379097 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684820347536 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32417] ppid=32356 vsize=10836300 memory=7017545425871726933 CPUtime=0.09 cores=1,3,5,7
/proc/32359/task/32417/stat : 32417 (java) S 32356 32359 31421 0 -1 1077944384 57 12901 0 0 1 0 5 3 20 0 15 0 72379099 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684389399024 139684929948290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32418] ppid=32356 vsize=10836300 memory=7810480187923654998 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32418/stat : 32418 (java) S 32356 32359 31421 0 -1 1077944384 34 12901 0 0 0 0 5 3 20 0 15 0 72379099 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684388345312 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32419] ppid=32356 vsize=10836300 memory=7161657349976975984 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32419/stat : 32419 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379099 11096371200 44429 33554432000 4194304 4196468 140727284860688 139683812075008 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32420] ppid=32356 vsize=10836300 memory=7011348500760777560 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32420/stat : 32420 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11096371200 44429 33554432000 4194304 4196468 140727284860688 139683504675536 139684929955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32421] ppid=32356 vsize=10836300 memory=7738995495378704487 CPUtime=0.29 cores=1,3,5,7
/proc/32359/task/32421/stat : 32421 (java) S 32356 32359 31421 0 -1 1077944384 1454 12901 0 0 21 0 5 3 20 0 15 0 72379102 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684354787312 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32422] ppid=32356 vsize=10836300 memory=7377268298744687981 CPUtime=0.28 cores=1,3,5,7
/proc/32359/task/32422/stat : 32422 (java) S 32356 32359 31421 0 -1 1077944384 944 12901 0 0 20 0 5 3 20 0 15 0 72379102 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684353734768 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32423] ppid=32356 vsize=10836300 memory=7379808140522975090 CPUtime=0.41 cores=1,3,5,7
/proc/32359/task/32423/stat : 32423 (java) S 32356 32359 31421 0 -1 1077944384 1178 12901 0 0 33 0 5 3 20 0 15 0 72379102 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684352682224 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32424] ppid=32356 vsize=10836300 memory=7590935268139167078 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32424/stat : 32424 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11096371200 44429 33554432000 4194304 4196468 140727284860688 139683471116896 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32425] ppid=32356 vsize=10836300 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32425/stat : 32425 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379103 11096371200 44429 33554432000 4194304 4196468 140727284860688 139684351630128 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
################
# More data... #
################
[startup+4.37192 s]
# the end of solver process 32359 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.34557 s, system=0.279749 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20092 s]
/proc/loadavg: 1.37 1.45 1.41 5/215 32425
/proc/meminfo: memFree=11960592/32770624 swapFree=67108860/67108860
[pid=32359] ppid=32356 vsize=10848608 memory=251148 CPUtime=5.73 cores=1,3,5,7
/proc/32359/stat : 32359 (java) S 32356 32359 31421 0 -1 1077944320 42761 12901 0 0 548 17 5 3 20 0 15 0 72379088 11108974592 62787 33554432000 4194304 4196468 140727284860688 140727284843232 139684929937143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
/proc/32359/statm: 2712152 62787 3494 1 0 2673805 0
[pid=32359/tid=32412] ppid=32356 vsize=10848608 memory=0 CPUtime=3.09 cores=1,3,5,7
/proc/32359/task/32412/stat : 32412 (java) R 32356 32359 31421 0 -1 4202560 28088 12901 0 0 292 9 5 3 20 0 15 0 72379097 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684901741144 139684910582138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32413] ppid=32356 vsize=10848608 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32413/stat : 32413 (java) S 32356 32359 31421 0 -1 1077944384 36 12901 0 0 3 0 5 3 20 0 15 0 72379097 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684934179088 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32414] ppid=32356 vsize=10848608 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32414/stat : 32414 (java) S 32356 32359 31421 0 -1 1077944384 199 12901 0 0 3 0 5 3 20 0 15 0 72379097 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684822452624 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32415] ppid=32356 vsize=10848608 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32415/stat : 32415 (java) S 32356 32359 31421 0 -1 1077944384 84 12901 0 0 3 0 5 3 20 0 15 0 72379097 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684821400080 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32416] ppid=32356 vsize=10848608 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32416/stat : 32416 (java) S 32356 32359 31421 0 -1 1077944384 62 12901 0 0 3 0 5 3 20 0 15 0 72379097 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684820347536 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32417] ppid=32356 vsize=10848608 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32417/stat : 32417 (java) S 32356 32359 31421 0 -1 1077944384 1386 12901 0 0 3 0 5 3 20 0 15 0 72379099 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684389399024 139684929948290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32418] ppid=32356 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32418/stat : 32418 (java) S 32356 32359 31421 0 -1 1077944384 34 12901 0 0 0 0 5 3 20 0 15 0 72379099 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684388345312 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32419] ppid=32356 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32419/stat : 32419 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379099 11108974592 62787 33554432000 4194304 4196468 140727284860688 139683812075008 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32420] ppid=32356 vsize=10848608 memory=3689207229883425325 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32420/stat : 32420 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11108974592 62787 33554432000 4194304 4196468 140727284860688 139683504675536 139684929955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32421] ppid=32356 vsize=10848608 memory=280142732103120 CPUtime=0.88 cores=1,3,5,7
/proc/32359/task/32421/stat : 32421 (java) R 32356 32359 31421 0 -1 4202560 5438 12901 0 0 78 2 5 3 20 0 15 0 72379102 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684354768880 139684915951449 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32422] ppid=32356 vsize=10848608 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/32359/task/32422/stat : 32422 (java) S 32356 32359 31421 0 -1 1077944384 1371 12901 0 0 54 0 5 3 20 0 15 0 72379102 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684353734768 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32423] ppid=32356 vsize=10848608 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/32359/task/32423/stat : 32423 (java) S 32356 32359 31421 0 -1 1077944384 3903 12901 0 0 105 2 5 3 20 0 15 0 72379102 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684352682224 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32424] ppid=32356 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32424/stat : 32424 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11108974592 62787 33554432000 4194304 4196468 140727284860688 139683471116896 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32425] ppid=32356 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32425/stat : 32425 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379103 11108974592 62787 33554432000 4194304 4196468 140727284860688 139684351630128 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 251148 KiB
[startup+4.00063 s]*
/proc/loadavg: 1.42 1.45 1.41 5/215 32425
/proc/meminfo: memFree=11879372/32770624 swapFree=67108860/67108860
[pid=32359] ppid=32356 vsize=10916192 memory=324680 CPUtime=8.42 cores=1,3,5,7
/proc/32359/stat : 32359 (java) S 32356 32359 31421 0 -1 1077944320 73716 12901 0 0 812 22 5 3 20 0 15 0 72379088 11178180608 81170 33554432000 4194304 4196468 140727284860688 140727284843232 139684929937143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
/proc/32359/statm: 2729048 81170 3500 1 0 2690701 0
[pid=32359/tid=32412] ppid=32356 vsize=10916192 memory=0 CPUtime=3.89 cores=1,3,5,7
/proc/32359/task/32412/stat : 32412 (java) R 32356 32359 31421 0 -1 4202560 46159 12901 0 0 370 11 5 3 20 0 15 0 72379097 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684901767696 139684907931152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32413] ppid=32356 vsize=10916192 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32413/stat : 32413 (java) S 32356 32359 31421 0 -1 1077944384 36 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684934179088 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32414] ppid=32356 vsize=10916192 memory=3472463969664366256 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32414/stat : 32414 (java) S 32356 32359 31421 0 -1 1077944384 199 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684822452624 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32415] ppid=32356 vsize=10916192 memory=5795684477813870690 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32415/stat : 32415 (java) S 32356 32359 31421 0 -1 1077944384 84 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684821400080 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32416] ppid=32356 vsize=10916192 memory=3979264768055915062 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32416/stat : 32416 (java) S 32356 32359 31421 0 -1 1077944384 62 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684820347536 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32417] ppid=32356 vsize=10916192 memory=3467970269668173488 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32417/stat : 32417 (java) S 32356 32359 31421 0 -1 1077944384 1415 12901 0 0 3 0 5 3 20 0 15 0 72379099 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684389399024 139684929948290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32418] ppid=32356 vsize=10916192 memory=3474863774068127775 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32418/stat : 32418 (java) S 32356 32359 31421 0 -1 1077944384 34 12901 0 0 0 0 5 3 20 0 15 0 72379099 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684388345312 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32419] ppid=32356 vsize=10916192 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32419/stat : 32419 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379099 11178180608 81170 33554432000 4194304 4196468 140727284860688 139683812075008 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32420] ppid=32356 vsize=10916192 memory=290763875203416420 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32420/stat : 32420 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11178180608 81170 33554432000 4194304 4196468 140727284860688 139683504675536 139684929955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32421] ppid=32356 vsize=10916192 memory=4340187366975877920 CPUtime=1.68 cores=1,3,5,7
/proc/32359/task/32421/stat : 32421 (java) R 32356 32359 31421 0 -1 4202560 13850 12901 0 0 157 3 5 3 20 0 15 0 72379102 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684354774160 139684915054263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32422] ppid=32356 vsize=10916192 memory=7668954370464627011 CPUtime=1.42 cores=1,3,5,7
/proc/32359/task/32422/stat : 32422 (java) R 32356 32359 31421 0 -1 4202560 4727 12901 0 0 133 1 5 3 20 0 15 0 72379102 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684353725744 139684909183881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32423] ppid=32356 vsize=10916192 memory=1399051139730258233 CPUtime=1.44 cores=1,3,5,7
/proc/32359/task/32423/stat : 32423 (java) R 32356 32359 31421 0 -1 1077944384 4945 12901 0 0 133 3 5 3 20 0 15 0 72379102 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684352682224 139684929948290 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32424] ppid=32356 vsize=10916192 memory=-7035114785800479027 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32424/stat : 32424 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11178180608 81170 33554432000 4194304 4196468 140727284860688 139683471116896 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32425] ppid=32356 vsize=10916192 memory=140071483204577 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32425/stat : 32425 (java) S 32356 32359 31421 0 -1 1077944384 7 12901 0 0 0 0 5 3 20 0 15 0 72379103 11178180608 81170 33554432000 4194304 4196468 140727284860688 139684351630128 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
Current children cumulated CPU time: 8.42 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 324680 KiB
[startup+4.20485 s]
/proc/loadavg: 1.42 1.45 1.41 5/215 32425
/proc/meminfo: memFree=11879372/32770624 swapFree=67108860/67108860
[pid=32359] ppid=32356 vsize=10916192 memory=328472 CPUtime=9.09 cores=1,3,5,7
/proc/32359/stat : 32359 (java) S 32356 32359 31421 0 -1 1077944320 74598 12901 0 0 878 23 5 3 20 0 15 0 72379088 11178180608 82118 33554432000 4194304 4196468 140727284860688 140727284843232 139684929937143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
/proc/32359/statm: 2729048 82118 3500 1 0 2690701 0
[pid=32359/tid=32412] ppid=32356 vsize=10916192 memory=6082770343395606631 CPUtime=4.08 cores=1,3,5,7
/proc/32359/task/32412/stat : 32412 (java) R 32356 32359 31421 0 -1 4202560 46387 12901 0 0 389 11 5 3 20 0 15 0 72379097 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684901768352 139684512489152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32413] ppid=32356 vsize=10916192 memory=7381513504230629971 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32413/stat : 32413 (java) S 32356 32359 31421 0 -1 1077944384 36 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684934179088 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32414] ppid=32356 vsize=10916192 memory=7089629476927651940 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32414/stat : 32414 (java) S 32356 32359 31421 0 -1 1077944384 199 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684822452624 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32415] ppid=32356 vsize=10916192 memory=5931329032301859429 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32415/stat : 32415 (java) S 32356 32359 31421 0 -1 1077944384 84 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684821400080 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32416] ppid=32356 vsize=10916192 memory=7444825462488458048 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32416/stat : 32416 (java) S 32356 32359 31421 0 -1 1077944384 62 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684820347536 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32417] ppid=32356 vsize=10916192 memory=7305796620367453341 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32417/stat : 32417 (java) S 32356 32359 31421 0 -1 1077944384 1691 12901 0 0 3 0 5 3 20 0 15 0 72379099 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684389399024 139684929948290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32418] ppid=32356 vsize=10916192 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32418/stat : 32418 (java) S 32356 32359 31421 0 -1 1077944384 34 12901 0 0 0 0 5 3 20 0 15 0 72379099 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684388345312 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32419] ppid=32356 vsize=10916192 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32419/stat : 32419 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379099 11178180608 82118 33554432000 4194304 4196468 140727284860688 139683812075008 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32420] ppid=32356 vsize=10916192 memory=-2023959437020729679 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32420/stat : 32420 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11178180608 82118 33554432000 4194304 4196468 140727284860688 139683504675536 139684929955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32421] ppid=32356 vsize=10916192 memory=6655300316396806240 CPUtime=1.87 cores=1,3,5,7
/proc/32359/task/32421/stat : 32421 (java) R 32356 32359 31421 0 -1 4202560 13929 12901 0 0 176 3 5 3 20 0 15 0 72379102 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684354776912 139684907684495 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32422] ppid=32356 vsize=10916192 memory=6944652177228980320 CPUtime=1.59 cores=1,3,5,7
/proc/32359/task/32422/stat : 32422 (java) R 32356 32359 31421 0 -1 4202560 4795 12901 0 0 150 1 5 3 20 0 15 0 72379102 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684353723568 139684909895334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32423] ppid=32356 vsize=10916192 memory=6944656592455360604 CPUtime=1.55 cores=1,3,5,7
/proc/32359/task/32423/stat : 32423 (java) S 32356 32359 31421 0 -1 1077944384 5174 12901 0 0 144 3 5 3 20 0 15 0 72379102 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684352682224 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32424] ppid=32356 vsize=10916192 memory=6933690279252828305 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32424/stat : 32424 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11178180608 82118 33554432000 4194304 4196468 140727284860688 139683471116896 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32425] ppid=32356 vsize=10916192 memory=-7449383003082255508 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32425/stat : 32425 (java) S 32356 32359 31421 0 -1 1077944384 9 12901 0 0 0 0 5 3 20 0 15 0 72379103 11178180608 82118 33554432000 4194304 4196468 140727284860688 139684351630128 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
Current children cumulated CPU time: 9.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 328472 KiB
[startup+4.30073 s]
/proc/loadavg: 1.42 1.45 1.41 5/215 32425
/proc/meminfo: memFree=11879372/32770624 swapFree=67108860/67108860
[pid=32359] ppid=32356 vsize=10916192 memory=339444 CPUtime=9.43 cores=1,3,5,7
/proc/32359/stat : 32359 (java) S 32356 32359 31421 0 -1 1077944320 74798 12901 0 0 912 23 5 3 20 0 15 0 72379088 11178180608 84861 33554432000 4194304 4196468 140727284860688 140727284843232 139684929937143 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
/proc/32359/statm: 2729048 84861 3501 1 0 2690701 0
[pid=32359/tid=32412] ppid=32356 vsize=10916192 memory=221148 CPUtime=4.18 cores=1,3,5,7
/proc/32359/task/32412/stat : 32412 (java) R 32356 32359 31421 0 -1 4202560 46399 12901 0 0 398 12 5 3 20 0 15 0 72379097 11178180608 84861 33554432000 4194304 4196468 140727284860688 139684901765808 139684512490071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32413] ppid=32356 vsize=10916192 memory=56 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32413/stat : 32413 (java) S 32356 32359 31421 0 -1 1077944384 36 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 85373 33554432000 4194304 4196468 140727284860688 139684934179088 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32414] ppid=32356 vsize=10916192 memory=4368060241939925536 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32414/stat : 32414 (java) S 32356 32359 31421 0 -1 1077944384 199 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 85373 33554432000 4194304 4196468 140727284860688 139684822452624 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32415] ppid=32356 vsize=10916192 memory=294640 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32415/stat : 32415 (java) S 32356 32359 31421 0 -1 1077944384 84 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 85373 33554432000 4194304 4196468 140727284860688 139684821400080 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32416] ppid=32356 vsize=10916192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32416/stat : 32416 (java) S 32356 32359 31421 0 -1 1077944384 62 12901 0 0 3 0 5 3 20 0 15 0 72379097 11178180608 85373 33554432000 4194304 4196468 140727284860688 139684820347536 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32417] ppid=32356 vsize=10916192 memory=2244 CPUtime=0.11 cores=1,3,5,7
/proc/32359/task/32417/stat : 32417 (java) S 32356 32359 31421 0 -1 1077944384 1691 12901 0 0 3 0 5 3 20 0 15 0 72379099 11178180608 85373 33554432000 4194304 4196468 140727284860688 139684389399024 139684929948290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32418] ppid=32356 vsize=10916192 memory=932 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32418/stat : 32418 (java) S 32356 32359 31421 0 -1 1077944384 34 12901 0 0 0 0 5 3 20 0 15 0 72379099 11178180608 85373 33554432000 4194304 4196468 140727284860688 139684388345312 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32419] ppid=32356 vsize=10916192 memory=1584 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32419/stat : 32419 (java) S 32356 32359 31421 0 -1 1077944384 1 12901 0 0 0 0 5 3 20 0 15 0 72379099 11178180608 85373 33554432000 4194304 4196468 140727284860688 139683812075008 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32420] ppid=32356 vsize=10916192 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32420/stat : 32420 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11178180608 85373 33554432000 4194304 4196468 140727284860688 139683504675536 139684929955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32421] ppid=32356 vsize=10916192 memory=8 CPUtime=1.97 cores=1,3,5,7
/proc/32359/task/32421/stat : 32421 (java) R 32356 32359 31421 0 -1 4202560 13968 12901 0 0 186 3 5 3 20 0 15 0 72379102 11178180608 85373 33554432000 4194304 4196468 140727284860688 139684354775984 139684910582154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32422] ppid=32356 vsize=10916192 memory=8 CPUtime=1.68 cores=1,3,5,7
/proc/32359/task/32422/stat : 32422 (java) R 32356 32359 31421 0 -1 4202560 4818 12901 0 0 159 1 5 3 20 0 15 0 72379102 11178180608 85373 33554432000 4194304 4196468 140727284860688 139684353725744 139684911481705 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32423] ppid=32356 vsize=10916192 memory=280142731880880 CPUtime=1.6 cores=1,3,5,7
/proc/32359/task/32423/stat : 32423 (java) R 32356 32359 31421 0 -1 1077944384 5300 12901 0 0 149 3 5 3 20 0 15 0 72379102 11178180608 85373 33554432000 4194304 4196468 140727284860688 139684352682224 139684929948290 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32424] ppid=32356 vsize=10916192 memory=10877 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32424/stat : 32424 (java) S 32356 32359 31421 0 -1 1077944384 3 12901 0 0 0 0 5 3 20 0 15 0 72379102 11178180608 85373 33554432000 4194304 4196468 140727284860688 139683471116896 139684929947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
[pid=32359/tid=32425] ppid=32356 vsize=10916192 memory=20712 CPUtime=0.08 cores=1,3,5,7
/proc/32359/task/32425/stat : 32425 (java) S 32356 32359 31421 0 -1 1077944384 9 12901 0 0 0 0 5 3 20 0 15 0 72379103 11178180608 85373 33554432000 4194304 4196468 140727284860688 139684351630128 139684929948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34504704 140727284865195 140727284868444 140727284868444 140727284871119 0
Current children cumulated CPU time: 9.43 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 339444 KiB
Child status: 0
Real time (s): 4.37197
CPU time (s): 9.62532
CPU user time (s): 9.34557
CPU system time (s): 0.279749
CPU usage (%): 220.16
Max. virtual memory (cumulated for all children) (KiB): 10919004
Max. memory (cumulated for all children) (KiB): 339444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.34557
system time used= 0.279749
maximum resident set size= 352276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6859
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 32359
# total CPU time (s): 9.62532
# total CPU user time (s): 9.34557
# total CPU system time (s): 0.279749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055032 second user time and 0.079532 second system time
The end