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 (15218 MiB free)
memory of node 1: 16384 MiB (15596 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388160-1568296366/watcher-4388160-1568296366 -o /tmp/evaluation-result-4388160-1568296366/solver-4388160-1568296366 -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-4388160-1568296366.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
Current StackSize limit: 8192 KiB
solver pid=9765, runsolver pid=9762
[startup+0.100058 s]*
/proc/loadavg: 2.12 2.08 2.55 4/235 9782
/proc/meminfo: memFree=31494156/32770624 swapFree=66992904/67108860
[pid=9765] ppid=9762 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9765/stat : 9765 (scop.sh) S 9762 9765 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405888148 115843072 349 33554432000 4194304 5098028 140722494988816 140722494986072 140703295832700 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31535104 140722494993192 140722494993520 140722494993520 140722494996429 0
/proc/9765/statm: 28282 349 296 221 0 87 0
[pid=9768] ppid=9765 vsize=15012696 memory=72152 CPUtime=0.11 cores=1,3,5,7
/proc/9768/stat : 9768 (java) S 9765 9765 5522 0 -1 1077944320 6301 0 0 0 9 2 0 0 20 0 15 0 405888148 15373000704 18038 33554432000 4194304 4196468 140732667194432 140732667176976 139720194854647 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
/proc/9768/statm: 3753174 18038 2915 1 0 3715579 0
[pid=9768/tid=9769] ppid=9765 vsize=15012696 memory=-7828588039587137883 CPUtime=0.09 cores=1,3,5,7
/proc/9768/task/9769/stat : 9769 (java) R 9765 9765 5522 0 -1 4202560 4202 0 0 0 7 2 0 0 20 0 15 0 405888149 15373000704 18103 33554432000 4194304 4196468 140732667194432 139720166648552 139720194866582 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9770] ppid=9765 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9770/stat : 9770 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 18103 33554432000 4194304 4196468 140732667194432 139720199097488 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9771] ppid=9765 vsize=15012696 memory=140291370583680 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9771/stat : 9771 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 18103 33554432000 4194304 4196468 140732667194432 139719990180880 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9772] ppid=9765 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9772/stat : 9772 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 18169 33554432000 4194304 4196468 140732667194432 139719989128080 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9773] ppid=9765 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9773/stat : 9773 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 18169 33554432000 4194304 4196468 140732667194432 139719988075280 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9774] ppid=9765 vsize=15012696 memory=140291370583680 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9774/stat : 9774 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888152 15373000704 18169 33554432000 4194304 4196468 140732667194432 139719164762480 139720194865794 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9775] ppid=9765 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9775/stat : 9775 (java) S 9765 9765 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405888152 15373000704 18169 33554432000 4194304 4196468 140732667194432 139718775792672 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9776] ppid=9765 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9776/stat : 9776 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888153 15373000704 18169 33554432000 4194304 4196468 140732667194432 139718507357040 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9777] ppid=9765 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9777/stat : 9777 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 18169 33554432000 4194304 4196468 140732667194432 139718132848464 139720194873243 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9778] ppid=9765 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9778/stat : 9778 (java) S 9765 9765 5522 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 18169 33554432000 4194304 4196468 140732667194432 139719163710320 139720194865794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9779] ppid=9765 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9779/stat : 9779 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 18169 33554432000 4194304 4196468 140732667194432 139719162657520 139720194865794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9780] ppid=9765 vsize=15012696 memory=140291370583680 CPUtime=0.01 cores=1,3,5,7
/proc/9768/task/9780/stat : 9780 (java) R 9765 9765 5522 0 -1 4202560 409 0 0 0 1 0 0 0 20 0 15 0 405888155 15373000704 18169 33554432000 4194304 4196468 140732667194432 139719161604720 139720173223286 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9781] ppid=9765 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9781/stat : 9781 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 18169 33554432000 4194304 4196468 140732667194432 139717634943712 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9782] ppid=9765 vsize=15012696 memory=140291370583680 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9782/stat : 9782 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 18169 33554432000 4194304 4196468 140732667194432 139719160552112 139720194865794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73548 KiB
[startup+0.211143 s]*
/proc/loadavg: 2.11 2.08 2.54 4/235 9782
/proc/meminfo: memFree=31475404/32770624 swapFree=66992904/67108860
[pid=9765] ppid=9762 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9765/stat : 9765 (scop.sh) S 9762 9765 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405888148 115843072 349 33554432000 4194304 5098028 140722494988816 140722494986072 140703295832700 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31535104 140722494993192 140722494993520 140722494993520 140722494996429 0
/proc/9765/statm: 28282 349 296 221 0 87 0
[pid=9768] ppid=9765 vsize=15012696 memory=88012 CPUtime=0.25 cores=1,3,5,7
/proc/9768/stat : 9768 (java) S 9765 9765 5522 0 -1 1077944320 11561 0 0 0 21 4 0 0 20 0 15 0 405888148 15373000704 22003 33554432000 4194304 4196468 140732667194432 140732667176976 139720194854647 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
/proc/9768/statm: 3753174 22003 2922 1 0 3715579 0
[pid=9768/tid=9769] ppid=9765 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/9768/task/9769/stat : 9769 (java) R 9765 9765 5522 0 -1 4202560 9314 0 0 0 17 3 0 0 20 0 15 0 405888149 15373000704 22003 33554432000 4194304 4196468 140732667194432 139720166670288 139720194866582 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9770] ppid=9765 vsize=15012696 memory=365 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9770/stat : 9770 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 22003 33554432000 4194304 4196468 140732667194432 139720199097488 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9771] ppid=9765 vsize=15012696 memory=140291370593698 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9771/stat : 9771 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 22003 33554432000 4194304 4196468 140732667194432 139719990180880 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9772] ppid=9765 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9772/stat : 9772 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 22003 33554432000 4194304 4196468 140732667194432 139719989128080 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9773] ppid=9765 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9773/stat : 9773 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 22003 33554432000 4194304 4196468 140732667194432 139719988075280 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9774] ppid=9765 vsize=15012696 memory=140291370583680 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9774/stat : 9774 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888152 15373000704 22003 33554432000 4194304 4196468 140732667194432 139719164762480 139720194865794 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9775] ppid=9765 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9775/stat : 9775 (java) S 9765 9765 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405888152 15373000704 22003 33554432000 4194304 4196468 140732667194432 139718775792672 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9776] ppid=9765 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9776/stat : 9776 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888153 15373000704 22003 33554432000 4194304 4196468 140732667194432 139718507357040 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9777] ppid=9765 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9777/stat : 9777 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 22003 33554432000 4194304 4196468 140732667194432 139718132848464 139720194873243 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9778] ppid=9765 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9768/task/9778/stat : 9778 (java) S 9765 9765 5522 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 15 0 405888155 15373000704 22003 33554432000 4194304 4196468 140732667194432 139719163710320 139720194865794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9779] ppid=9765 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9779/stat : 9779 (java) S 9765 9765 5522 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 22003 33554432000 4194304 4196468 140732667194432 139719162657520 139720194865794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9780] ppid=9765 vsize=15012696 memory=140291370583680 CPUtime=0.03 cores=1,3,5,7
/proc/9768/task/9780/stat : 9780 (java) R 9765 9765 5522 0 -1 4202560 435 0 0 0 3 0 0 0 20 0 15 0 405888155 15373000704 22003 33554432000 4194304 4196468 140732667194432 139719161604720 139720180568959 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9781] ppid=9765 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9781/stat : 9781 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 22003 33554432000 4194304 4196468 140732667194432 139717634943712 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9782] ppid=9765 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9782/stat : 9782 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 22003 33554432000 4194304 4196468 140732667194432 139719160552112 139720194865794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89408 KiB
[startup+0.311838 s]*
/proc/loadavg: 2.11 2.08 2.54 3/235 9782
/proc/meminfo: memFree=31473100/32770624 swapFree=66992904/67108860
[pid=9765] ppid=9762 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9765/stat : 9765 (scop.sh) S 9762 9765 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405888148 115843072 349 33554432000 4194304 5098028 140722494988816 140722494986072 140703295832700 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31535104 140722494993192 140722494993520 140722494993520 140722494996429 0
/proc/9765/statm: 28282 349 296 221 0 87 0
[pid=9768] ppid=9765 vsize=15012696 memory=92252 CPUtime=0.43 cores=1,3,5,7
/proc/9768/stat : 9768 (java) S 9765 9765 5522 0 -1 1077944320 12050 0 0 0 39 4 0 0 20 0 15 0 405888148 15373000704 23063 33554432000 4194304 4196468 140732667194432 140732667176976 139720194854647 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
/proc/9768/statm: 3753174 23063 3069 1 0 3715579 0
[pid=9768/tid=9769] ppid=9765 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/9768/task/9769/stat : 9769 (java) R 9765 9765 5522 0 -1 4202560 9610 0 0 0 27 3 0 0 20 0 15 0 405888149 15373000704 23063 33554432000 4194304 4196468 140732667194432 139720166684720 139720176418203 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9770] ppid=9765 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9770/stat : 9770 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 23063 33554432000 4194304 4196468 140732667194432 139720199097488 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9771] ppid=9765 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9771/stat : 9771 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 23063 33554432000 4194304 4196468 140732667194432 139719990180880 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9772] ppid=9765 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9772/stat : 9772 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 23063 33554432000 4194304 4196468 140732667194432 139719989128080 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9773] ppid=9765 vsize=15012696 memory=7079758230011356562 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9773/stat : 9773 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888150 15373000704 23063 33554432000 4194304 4196468 140732667194432 139719988075280 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9774] ppid=9765 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9774/stat : 9774 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888152 15373000704 23063 33554432000 4194304 4196468 140732667194432 139719164762480 139720194865794 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9775] ppid=9765 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9775/stat : 9775 (java) S 9765 9765 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405888152 15373000704 23063 33554432000 4194304 4196468 140732667194432 139718775792672 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9776] ppid=9765 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9776/stat : 9776 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888153 15373000704 23063 33554432000 4194304 4196468 140732667194432 139718507357040 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9777] ppid=9765 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9777/stat : 9777 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 23063 33554432000 4194304 4196468 140732667194432 139718132848464 139720194873243 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9778] ppid=9765 vsize=15012696 memory=-7384621950708166502 CPUtime=0.03 cores=1,3,5,7
/proc/9768/task/9778/stat : 9778 (java) S 9765 9765 5522 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 405888155 15373000704 23063 33554432000 4194304 4196468 140732667194432 139719163710320 139720194865794 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9779] ppid=9765 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9768/task/9779/stat : 9779 (java) S 9765 9765 5522 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 405888155 15373000704 23063 33554432000 4194304 4196468 140732667194432 139719162657520 139720194865794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9780] ppid=9765 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9768/task/9780/stat : 9780 (java) S 9765 9765 5522 0 -1 1077944384 478 0 0 0 7 0 0 0 20 0 15 0 405888155 15373000704 23063 33554432000 4194304 4196468 140732667194432 139719161604720 139720194865794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9781] ppid=9765 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9781/stat : 9781 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 23063 33554432000 4194304 4196468 140732667194432 139717634943712 139720194864853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9782] ppid=9765 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9782/stat : 9782 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888155 15373000704 23063 33554432000 4194304 4196468 140732667194432 139719160552112 139720194865794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93648 KiB
[startup+0.700776 s]
/proc/loadavg: 2.11 2.08 2.54 3/235 9782
/proc/meminfo: memFree=31450528/32770624 swapFree=66992904/67108860
[pid=9765] ppid=9762 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9765/stat : 9765 (scop.sh) S 9762 9765 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405888148 115843072 349 33554432000 4194304 5098028 140722494988816 140722494986072 140703295832700 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31535104 140722494993192 140722494993520 140722494993520 140722494996429 0
/proc/9765/statm: 28282 349 296 221 0 87 0
[pid=9768] ppid=9765 vsize=15018968 memory=131268 CPUtime=1.02 cores=1,3,5,7
/proc/9768/stat : 9768 (java) S 9765 9765 5522 0 -1 1077944320 19604 0 0 0 96 6 0 0 20 0 15 0 405888148 15379423232 32817 33554432000 4194304 4196468 140732667194432 140732667176976 139720194854647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
/proc/9768/statm: 3754742 32817 3186 1 0 3716091 0
[pid=9768/tid=9769] ppid=9765 vsize=15018968 memory=291071491 CPUtime=0.68 cores=1,3,5,7
/proc/9768/task/9769/stat : 9769 (java) R 9765 9765 5522 0 -1 4202560 16657 0 0 0 63 5 0 0 20 0 15 0 405888149 15379423232 32817 33554432000 4194304 4196468 140732667194432 139720166690672 139720194876573 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9770] ppid=9765 vsize=15018968 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9770/stat : 9770 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15379423232 32817 33554432000 4194304 4196468 140732667194432 139720199097488 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9771] ppid=9765 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9771/stat : 9771 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15379423232 32817 33554432000 4194304 4196468 140732667194432 139719990180880 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9772] ppid=9765 vsize=15018968 memory=2809143 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9772/stat : 9772 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888150 15379423232 32817 33554432000 4194304 4196468 140732667194432 139719989128080 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9773] ppid=9765 vsize=15018968 memory=2811382 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9773/stat : 9773 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888150 15379423232 32817 33554432000 4194304 4196468 140732667194432 139719988075280 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9774] ppid=9765 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9774/stat : 9774 (java) S 9765 9765 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405888152 15379423232 32817 33554432000 4194304 4196468 140732667194432 139719164762480 139720194865794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9775] ppid=9765 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9775/stat : 9775 (java) S 9765 9765 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405888152 15379423232 32817 33554432000 4194304 4196468 140732667194432 139718775792672 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9776] ppid=9765 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9776/stat : 9776 (java) S 9765 9765 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405888153 15379423232 32817 33554432000 4194304 4196468 140732667194432 139718507357040 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9777] ppid=9765 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9777/stat : 9777 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15379423232 32817 33554432000 4194304 4196468 140732667194432 139718132848464 139720194873243 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9778] ppid=9765 vsize=15018968 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9768/task/9778/stat : 9778 (java) S 9765 9765 5522 0 -1 1077944384 706 0 0 0 9 0 0 0 20 0 15 0 405888155 15379423232 32817 33554432000 4194304 4196468 140732667194432 139719163710320 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9779] ppid=9765 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9768/task/9779/stat : 9779 (java) S 9765 9765 5522 0 -1 1077944384 324 0 0 0 8 0 0 0 20 0 15 0 405888155 15379423232 32817 33554432000 4194304 4196468 140732667194432 139719162657520 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9780] ppid=9765 vsize=15018968 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/9768/task/9780/stat : 9780 (java) R 9765 9765 5522 0 -1 4202560 579 0 0 0 15 0 0 0 20 0 15 0 405888155 15379423232 32817 33554432000 4194304 4196468 140732667194432 139719161604720 139720194875994 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9781] ppid=9765 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9781/stat : 9781 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15379423232 32817 33554432000 4194304 4196468 140732667194432 139717634943712 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9782] ppid=9765 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9782/stat : 9782 (java) S 9765 9765 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405888155 15379423232 32817 33554432000 4194304 4196468 140732667194432 139719160552112 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132664 KiB
[startup+1.50086 s]
/proc/loadavg: 2.11 2.08 2.54 5/235 9782
/proc/meminfo: memFree=30898284/32770624 swapFree=66992904/67108860
[pid=9765] ppid=9762 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9765/stat : 9765 (scop.sh) S 9762 9765 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405888148 115843072 349 33554432000 4194304 5098028 140722494988816 140722494986072 140703295832700 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31535104 140722494993192 140722494993520 140722494993520 140722494996429 0
/proc/9765/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/9765/stat : 9765 (scop.sh) S 9762 9765 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405888148 115843072 349 33554432000 4194304 5098028 140722494988816 140722494986072 140703295832700 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31535104 140722494993192 140722494993520 140722494993520 140722494996429 0
/proc/9765/statm: 28282 349 296 221 0 87 0
[pid=9768] ppid=9765 vsize=15025188 memory=12071016 CPUtime=2391.02 cores=1,3,5,7
/proc/9768/stat : 9768 (java) S 9765 9765 5522 0 -1 1077944320 367658 0 0 0 238160 942 0 0 20 0 15 0 405888148 15385792512 3017754 33554432000 4194304 4196468 140732667194432 140732667176976 139720194854647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
/proc/9768/statm: 3756297 3017754 3304 1 0 3717627 0
[pid=9768/tid=9769] ppid=9765 vsize=15025188 memory=8317482817917895235 CPUtime=1079.68 cores=1,3,5,7
/proc/9768/task/9769/stat : 9769 (java) R 9765 9765 5522 0 -1 4202560 79853 0 0 0 107912 56 0 0 20 0 15 0 405888149 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139720166693072 139719673575232 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9770] ppid=9765 vsize=15025188 memory=2832 CPUtime=323.6 cores=1,3,5,7
/proc/9768/task/9770/stat : 9770 (java) S 9765 9765 5522 0 -1 1077944384 39140 0 0 0 32136 224 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139720199097488 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9771] ppid=9765 vsize=15025188 memory=5896 CPUtime=324 cores=1,3,5,7
/proc/9768/task/9771/stat : 9771 (java) S 9765 9765 5522 0 -1 1077944384 42056 0 0 0 32178 222 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719990180880 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9772] ppid=9765 vsize=15025188 memory=664 CPUtime=324.4 cores=1,3,5,7
/proc/9768/task/9772/stat : 9772 (java) S 9765 9765 5522 0 -1 1077944384 38424 0 0 0 32237 203 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719989128080 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9773] ppid=9765 vsize=15025188 memory=4872558044660077418 CPUtime=324.78 cores=1,3,5,7
/proc/9768/task/9773/stat : 9773 (java) S 9765 9765 5522 0 -1 1077944384 38211 0 0 0 32281 197 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719988075280 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9774] ppid=9765 vsize=15025188 memory=916 CPUtime=1.76 cores=1,3,5,7
/proc/9768/task/9774/stat : 9774 (java) S 9765 9765 5522 0 -1 1077944384 61368 0 0 0 171 5 0 0 20 0 15 0 405888152 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719164762480 139720194865794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9775] ppid=9765 vsize=15025188 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9775/stat : 9775 (java) S 9765 9765 5522 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 405888152 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718775792736 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9776] ppid=9765 vsize=15025188 memory=2896 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9776/stat : 9776 (java) S 9765 9765 5522 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 405888153 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718507357056 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9777] ppid=9765 vsize=15025188 memory=2924 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9777/stat : 9777 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718132848464 139720194873243 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9778] ppid=9765 vsize=15025188 memory=1412 CPUtime=5.53 cores=1,3,5,7
/proc/9768/task/9778/stat : 9778 (java) S 9765 9765 5522 0 -1 1077944384 25141 0 0 0 550 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719163710320 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9779] ppid=9765 vsize=15025188 memory=3300 CPUtime=5.35 cores=1,3,5,7
/proc/9768/task/9779/stat : 9779 (java) S 9765 9765 5522 0 -1 1077944384 20252 0 0 0 532 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719162657520 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9780] ppid=9765 vsize=15025188 memory=1396 CPUtime=1.13 cores=1,3,5,7
/proc/9768/task/9780/stat : 9780 (java) S 9765 9765 5522 0 -1 1077944384 19969 0 0 0 110 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719161604720 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9781] ppid=9765 vsize=15025188 memory=12071004 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9781/stat : 9781 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139717634943712 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9782] ppid=9765 vsize=15025188 memory=4104 CPUtime=0.71 cores=1,3,5,7
/proc/9768/task/9782/stat : 9782 (java) S 9765 9765 5522 0 -1 1077944384 1830 0 0 0 36 35 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719160552112 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
Current children cumulated CPU time: 2391.02 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12072412 KiB
[startup+1412.8 s]
/proc/loadavg: 4.55 3.62 2.89 3/230 10501
/proc/meminfo: memFree=17313748/32770624 swapFree=66992948/67108860
[pid=9765] ppid=9762 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9765/stat : 9765 (scop.sh) S 9762 9765 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405888148 115843072 349 33554432000 4194304 5098028 140722494988816 140722494986072 140703295832700 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31535104 140722494993192 140722494993520 140722494993520 140722494996429 0
/proc/9765/statm: 28282 349 296 221 0 87 0
[pid=9768] ppid=9765 vsize=15025188 memory=12071016 CPUtime=2391.82 cores=1,3,5,7
/proc/9768/stat : 9768 (java) S 9765 9765 5522 0 -1 1077944320 367730 0 0 0 238240 942 0 0 20 0 15 0 405888148 15385792512 3017754 33554432000 4194304 4196468 140732667194432 140732667176976 139720194854647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
/proc/9768/statm: 3756297 3017754 3304 1 0 3717627 0
[pid=9768/tid=9769] ppid=9765 vsize=15025188 memory=8112282956445269571 CPUtime=1080.47 cores=1,3,5,7
/proc/9768/task/9769/stat : 9769 (java) R 9765 9765 5522 0 -1 4202560 79872 0 0 0 107991 56 0 0 20 0 15 0 405888149 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139720166692960 139719675977576 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9770] ppid=9765 vsize=15025188 memory=1156 CPUtime=323.6 cores=1,3,5,7
/proc/9768/task/9770/stat : 9770 (java) S 9765 9765 5522 0 -1 1077944384 39140 0 0 0 32136 224 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139720199097488 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9771] ppid=9765 vsize=15025188 memory=1000 CPUtime=324 cores=1,3,5,7
/proc/9768/task/9771/stat : 9771 (java) S 9765 9765 5522 0 -1 1077944384 42056 0 0 0 32178 222 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719990180880 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9772] ppid=9765 vsize=15025188 memory=14008 CPUtime=324.4 cores=1,3,5,7
/proc/9768/task/9772/stat : 9772 (java) S 9765 9765 5522 0 -1 1077944384 38424 0 0 0 32237 203 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719989128080 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9773] ppid=9765 vsize=15025188 memory=4924 CPUtime=324.78 cores=1,3,5,7
/proc/9768/task/9773/stat : 9773 (java) S 9765 9765 5522 0 -1 1077944384 38211 0 0 0 32281 197 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719988075280 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9774] ppid=9765 vsize=15025188 memory=8112282956445269571 CPUtime=1.76 cores=1,3,5,7
/proc/9768/task/9774/stat : 9774 (java) S 9765 9765 5522 0 -1 1077944384 61368 0 0 0 171 5 0 0 20 0 15 0 405888152 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719164762480 139720194865794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9775] ppid=9765 vsize=15025188 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9775/stat : 9775 (java) S 9765 9765 5522 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 405888152 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718775792736 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9776] ppid=9765 vsize=15025188 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9776/stat : 9776 (java) S 9765 9765 5522 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 405888153 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718507357056 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9777] ppid=9765 vsize=15025188 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9777/stat : 9777 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718132848464 139720194873243 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9778] ppid=9765 vsize=15025188 memory=2124 CPUtime=5.53 cores=1,3,5,7
/proc/9768/task/9778/stat : 9778 (java) S 9765 9765 5522 0 -1 1077944384 25141 0 0 0 550 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719163710320 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9779] ppid=9765 vsize=15025188 memory=1556 CPUtime=5.35 cores=1,3,5,7
/proc/9768/task/9779/stat : 9779 (java) S 9765 9765 5522 0 -1 1077944384 20252 0 0 0 532 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719162657520 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9780] ppid=9765 vsize=15025188 memory=12071004 CPUtime=1.13 cores=1,3,5,7
/proc/9768/task/9780/stat : 9780 (java) S 9765 9765 5522 0 -1 1077944384 20022 0 0 0 110 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719161604720 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9781] ppid=9765 vsize=15025188 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9781/stat : 9781 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139717634943712 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9782] ppid=9765 vsize=15025188 memory=288230621803970871 CPUtime=0.71 cores=1,3,5,7
/proc/9768/task/9782/stat : 9782 (java) S 9765 9765 5522 0 -1 1077944384 1830 0 0 0 36 35 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719160552112 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
Current children cumulated CPU time: 2391.82 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12072412 KiB
[startup+1413 s]*
/proc/loadavg: 4.55 3.62 2.89 3/230 10501
/proc/meminfo: memFree=16860148/32770624 swapFree=66992948/67108860
[pid=9765] ppid=9762 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9765/stat : 9765 (scop.sh) S 9762 9765 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405888148 115843072 349 33554432000 4194304 5098028 140722494988816 140722494986072 140703295832700 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31535104 140722494993192 140722494993520 140722494993520 140722494996429 0
/proc/9765/statm: 28282 349 296 221 0 87 0
[pid=9768] ppid=9765 vsize=15025188 memory=12071016 CPUtime=2392.06 cores=1,3,5,7
/proc/9768/stat : 9768 (java) S 9765 9765 5522 0 -1 1077944320 368840 0 0 0 238264 942 0 0 20 0 15 0 405888148 15385792512 3017754 33554432000 4194304 4196468 140732667194432 140732667176976 139720194854647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
/proc/9768/statm: 3756297 3017754 3304 1 0 3717627 0
[pid=9768/tid=9769] ppid=9765 vsize=15025188 memory=8317482817917895235 CPUtime=1080.68 cores=1,3,5,7
/proc/9768/task/9769/stat : 9769 (java) R 9765 9765 5522 0 -1 4202560 79949 0 0 0 108012 56 0 0 20 0 15 0 405888149 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139720166687216 139719669114155 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9770] ppid=9765 vsize=15025188 memory=4872558044660077418 CPUtime=323.6 cores=1,3,5,7
/proc/9768/task/9770/stat : 9770 (java) S 9765 9765 5522 0 -1 1077944384 39140 0 0 0 32136 224 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139720199097488 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9771] ppid=9765 vsize=15025188 memory=1804 CPUtime=324 cores=1,3,5,7
/proc/9768/task/9771/stat : 9771 (java) S 9765 9765 5522 0 -1 1077944384 42056 0 0 0 32178 222 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719990180880 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9772] ppid=9765 vsize=15025188 memory=916 CPUtime=324.4 cores=1,3,5,7
/proc/9768/task/9772/stat : 9772 (java) S 9765 9765 5522 0 -1 1077944384 38424 0 0 0 32237 203 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719989128080 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9773] ppid=9765 vsize=15025188 memory=3848 CPUtime=324.78 cores=1,3,5,7
/proc/9768/task/9773/stat : 9773 (java) S 9765 9765 5522 0 -1 1077944384 38211 0 0 0 32281 197 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719988075280 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9774] ppid=9765 vsize=15025188 memory=2896 CPUtime=1.76 cores=1,3,5,7
/proc/9768/task/9774/stat : 9774 (java) S 9765 9765 5522 0 -1 1077944384 61368 0 0 0 171 5 0 0 20 0 15 0 405888152 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719164762480 139720194865794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9775] ppid=9765 vsize=15025188 memory=2924 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9775/stat : 9775 (java) S 9765 9765 5522 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 405888152 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718775792736 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9776] ppid=9765 vsize=15025188 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9776/stat : 9776 (java) S 9765 9765 5522 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 405888153 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718507357056 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9777] ppid=9765 vsize=15025188 memory=3300 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9777/stat : 9777 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718132848464 139720194873243 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9778] ppid=9765 vsize=15025188 memory=1396 CPUtime=5.55 cores=1,3,5,7
/proc/9768/task/9778/stat : 9778 (java) S 9765 9765 5522 0 -1 1077944384 25591 0 0 0 552 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719163710320 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9779] ppid=9765 vsize=15025188 memory=12071004 CPUtime=5.36 cores=1,3,5,7
/proc/9768/task/9779/stat : 9779 (java) S 9765 9765 5522 0 -1 1077944384 20504 0 0 0 533 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719162657520 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9780] ppid=9765 vsize=15025188 memory=4104 CPUtime=1.14 cores=1,3,5,7
/proc/9768/task/9780/stat : 9780 (java) S 9765 9765 5522 0 -1 1077944384 20353 0 0 0 111 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719161604720 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9781] ppid=9765 vsize=15025188 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9781/stat : 9781 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139717634943712 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9782] ppid=9765 vsize=15025188 memory=2540 CPUtime=0.71 cores=1,3,5,7
/proc/9768/task/9782/stat : 9782 (java) S 9765 9765 5522 0 -1 1077944384 1830 0 0 0 36 35 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719160552112 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
Current children cumulated CPU time: 2392.06 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12072412 KiB
[startup+1413.11 s]
/proc/loadavg: 4.55 3.62 2.89 3/230 10501
/proc/meminfo: memFree=16860148/32770624 swapFree=66992948/67108860
[pid=9765] ppid=9762 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9765/stat : 9765 (scop.sh) S 9762 9765 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405888148 115843072 349 33554432000 4194304 5098028 140722494988816 140722494986072 140703295832700 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31535104 140722494993192 140722494993520 140722494993520 140722494996429 0
/proc/9765/statm: 28282 349 296 221 0 87 0
[pid=9768] ppid=9765 vsize=15025188 memory=12071016 CPUtime=2392.2 cores=1,3,5,7
/proc/9768/stat : 9768 (java) S 9765 9765 5522 0 -1 1077944320 369380 0 0 0 238278 942 0 0 20 0 15 0 405888148 15385792512 3017754 33554432000 4194304 4196468 140732667194432 140732667176976 139720194854647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
/proc/9768/statm: 3756297 3017754 3304 1 0 3717627 0
[pid=9768/tid=9769] ppid=9765 vsize=15025188 memory=12071016 CPUtime=1080.78 cores=1,3,5,7
/proc/9768/task/9769/stat : 9769 (java) R 9765 9765 5522 0 -1 4202560 79949 0 0 0 108022 56 0 0 20 0 15 0 405888149 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139720166687216 139719675062464 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9770] ppid=9765 vsize=15025188 memory=12071016 CPUtime=323.6 cores=1,3,5,7
/proc/9768/task/9770/stat : 9770 (java) S 9765 9765 5522 0 -1 1077944384 39140 0 0 0 32136 224 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139720199097488 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9771] ppid=9765 vsize=15025188 memory=1396 CPUtime=324 cores=1,3,5,7
/proc/9768/task/9771/stat : 9771 (java) S 9765 9765 5522 0 -1 1077944384 42056 0 0 0 32178 222 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719990180880 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9772] ppid=9765 vsize=15025188 memory=776 CPUtime=324.4 cores=1,3,5,7
/proc/9768/task/9772/stat : 9772 (java) S 9765 9765 5522 0 -1 1077944384 38424 0 0 0 32237 203 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719989128080 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9773] ppid=9765 vsize=15025188 memory=1396 CPUtime=324.78 cores=1,3,5,7
/proc/9768/task/9773/stat : 9773 (java) S 9765 9765 5522 0 -1 1077944384 38211 0 0 0 32281 197 0 0 20 0 15 0 405888150 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719988075280 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9774] ppid=9765 vsize=15025188 memory=1396 CPUtime=1.76 cores=1,3,5,7
/proc/9768/task/9774/stat : 9774 (java) S 9765 9765 5522 0 -1 1077944384 61368 0 0 0 171 5 0 0 20 0 15 0 405888152 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719164762480 139720194865794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9775] ppid=9765 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9775/stat : 9775 (java) S 9765 9765 5522 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 405888152 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718775792736 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9776] ppid=9765 vsize=15025188 memory=12071004 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9776/stat : 9776 (java) S 9765 9765 5522 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 405888153 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718507357056 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9777] ppid=9765 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9777/stat : 9777 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139718132848464 139720194873243 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9778] ppid=9765 vsize=15025188 memory=1396 CPUtime=5.56 cores=1,3,5,7
/proc/9768/task/9778/stat : 9778 (java) S 9765 9765 5522 0 -1 1077944384 25763 0 0 0 553 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719163710320 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9779] ppid=9765 vsize=15025188 memory=1396 CPUtime=5.38 cores=1,3,5,7
/proc/9768/task/9779/stat : 9779 (java) S 9765 9765 5522 0 -1 1077944384 20872 0 0 0 535 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719162657520 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9780] ppid=9765 vsize=15025188 memory=928 CPUtime=1.14 cores=1,3,5,7
/proc/9768/task/9780/stat : 9780 (java) S 9765 9765 5522 0 -1 1077944384 20353 0 0 0 111 3 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719161604720 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9781] ppid=9765 vsize=15025188 memory=12071004 CPUtime=0 cores=1,3,5,7
/proc/9768/task/9781/stat : 9781 (java) S 9765 9765 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139717634943712 139720194864853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
[pid=9768/tid=9782] ppid=9765 vsize=15025188 memory=1396 CPUtime=0.71 cores=1,3,5,7
/proc/9768/task/9782/stat : 9782 (java) S 9765 9765 5522 0 -1 1077944384 1830 0 0 0 36 35 0 0 20 0 15 0 405888155 15385792512 3017754 33554432000 4194304 4196468 140732667194432 139719160552112 139720194865794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31035392 140732667200239 140732667200666 140732667200666 140732667203535 0
Current children cumulated CPU time: 2392.2 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12072412 KiB
Child status: 0
Real time (s): 1413.2
CPU time (s): 2392.3
CPU user time (s): 2382.83
CPU system time (s): 9.47091
CPU usage (%): 169.282
Max. virtual memory (cumulated for all children) (KiB): 15138452
Max. memory (cumulated for all children) (KiB): 12072412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2382.83
system time used= 9.47091
maximum resident set size= 12071228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54141
involuntary context switches= 17158
# summary of solver processes directly reported to runsolver:
# pid: 9765
# total CPU time (s): 2392.3
# total CPU user time (s): 2382.83
# total CPU system time (s): 9.47091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.20661 second user time and 14.4678 second system time
The end