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 (1634 MiB free)
memory of node 1: 16384 MiB (3820 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305726-1534077564/watcher-4305726-1534077564 -o /tmp/evaluation-result-4305726-1534077564/solver-4305726-1534077564 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305726-1534077564.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=25153, runsolver pid=25150
Current StackSize limit: 8192 KiB
[startup+0.100146 s]*
/proc/loadavg: 2.28 3.02 3.18 3/217 25170
/proc/meminfo: memFree=5524360/32770624 swapFree=67058752/67108860
[pid=25153] ppid=25150 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/25153/stat : 25153 (scop.sh) S 25150 25153 20606 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225319615 115843072 348 33554432000 4194304 5098028 140729552730896 140729552728152 139726769410684 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13193216 140729552733249 140729552733447 140729552733447 140729552736205 0
/proc/25153/statm: 28282 348 296 221 0 87 0
[pid=25156] ppid=25153 vsize=15012476 memory=72436 CPUtime=0.11 cores=1,3,5,7
/proc/25156/stat : 25156 (java) S 25153 25153 20606 0 -1 1077944320 6222 0 0 0 10 1 0 0 20 0 15 0 225319615 15372775424 18109 33554432000 4194304 4196468 140725496646880 140725496629424 139771678224119 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
/proc/25156/statm: 3753119 18109 2768 1 0 3715579 0
[pid=25156/tid=25157] ppid=25153 vsize=15012476 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/25156/task/25157/stat : 25157 (java) R 25153 25153 20606 0 -1 4202560 4322 0 0 0 8 1 0 0 20 0 15 0 225319615 15372775424 18109 33554432000 4194304 4196468 140725496646880 139771650036104 139771658499933 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25158] ppid=25153 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25158/stat : 25158 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 18109 33554432000 4194304 4196468 140725496646880 139771682466448 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25159] ppid=25153 vsize=15012476 memory=140628656993920 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25159/stat : 25159 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 18109 33554432000 4194304 4196468 140725496646880 139771458169360 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25160] ppid=25153 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25160/stat : 25160 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 18175 33554432000 4194304 4196468 140725496646880 139771137485200 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25161] ppid=25153 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25161/stat : 25161 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 18175 33554432000 4194304 4196468 140725496646880 139771136432400 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25162] ppid=25153 vsize=15012476 memory=140628656993920 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25162/stat : 25162 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319618 15372775424 18175 33554432000 4194304 4196468 140725496646880 139770446461808 139771678235266 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25163] ppid=25153 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25163/stat : 25163 (java) S 25153 25153 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225319619 15372775424 18175 33554432000 4194304 4196468 140725496646880 139770315400736 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25164] ppid=25153 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25164/stat : 25164 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319619 15372775424 18175 33554432000 4194304 4196468 140725496646880 139770046965104 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25165] ppid=25153 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25165/stat : 25165 (java) S 25153 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319621 15372775424 18175 33554432000 4194304 4196468 140725496646880 139769672456528 139771678242715 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25166] ppid=25153 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25166/stat : 25166 (java) S 25153 25153 20606 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 225319621 15372775424 18175 33554432000 4194304 4196468 140725496646880 139770445408624 139771678235266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25167] ppid=25153 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25167/stat : 25167 (java) S 25153 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319621 15372775424 18175 33554432000 4194304 4196468 140725496646880 139770444355824 139771678235266 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25168] ppid=25153 vsize=15012476 memory=140628656993920 CPUtime=0.01 cores=1,3,5,7
/proc/25156/task/25168/stat : 25168 (java) S 25153 25153 20606 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 225319622 15372775424 18175 33554432000 4194304 4196468 140725496646880 139770443303024 139771678235266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25169] ppid=25153 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25169/stat : 25169 (java) S 25153 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319622 15372775424 18175 33554432000 4194304 4196468 140725496646880 139769174550752 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25170] ppid=25153 vsize=15012476 memory=140628656993920 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25170/stat : 25170 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319622 15372775424 18175 33554432000 4194304 4196468 140725496646880 139770442251440 139771678235266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73828 KiB
[startup+0.21059 s]*
/proc/loadavg: 2.28 3.02 3.18 3/217 25170
/proc/meminfo: memFree=5510904/32770624 swapFree=67058752/67108860
[pid=25153] ppid=25150 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/25153/stat : 25153 (scop.sh) S 25150 25153 20606 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225319615 115843072 348 33554432000 4194304 5098028 140729552730896 140729552728152 139726769410684 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13193216 140729552733249 140729552733447 140729552733447 140729552736205 0
/proc/25153/statm: 28282 348 296 221 0 87 0
[pid=25156] ppid=25153 vsize=15012476 memory=85488 CPUtime=0.25 cores=1,3,5,7
/proc/25156/stat : 25156 (java) S 25153 25153 20606 0 -1 1077944320 9763 0 0 0 23 2 0 0 20 0 15 0 225319615 15372775424 21372 33554432000 4194304 4196468 140725496646880 140725496629424 139771678224119 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
/proc/25156/statm: 3753119 21372 2883 1 0 3715579 0
[pid=25156/tid=25157] ppid=25153 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/25156/task/25157/stat : 25157 (java) R 25153 25153 20606 0 -1 4202560 7668 0 0 0 17 2 0 0 20 0 15 0 225319615 15372775424 21372 33554432000 4194304 4196468 140725496646880 139771650032864 139771138673802 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25158] ppid=25153 vsize=15012476 memory=12684 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25158/stat : 25158 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 21372 33554432000 4194304 4196468 140725496646880 139771682466448 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25159] ppid=25153 vsize=15012476 memory=140628658157154 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25159/stat : 25159 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 21372 33554432000 4194304 4196468 140725496646880 139771458169360 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25160] ppid=25153 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25160/stat : 25160 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 21372 33554432000 4194304 4196468 140725496646880 139771137485200 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25161] ppid=25153 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25161/stat : 25161 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 21372 33554432000 4194304 4196468 140725496646880 139771136432400 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25162] ppid=25153 vsize=15012476 memory=140628656993920 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25162/stat : 25162 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319618 15372775424 21372 33554432000 4194304 4196468 140725496646880 139770446461808 139771678235266 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25163] ppid=25153 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25163/stat : 25163 (java) S 25153 25153 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225319619 15372775424 21372 33554432000 4194304 4196468 140725496646880 139770315400736 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25164] ppid=25153 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25164/stat : 25164 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319619 15372775424 21372 33554432000 4194304 4196468 140725496646880 139770046965104 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25165] ppid=25153 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25165/stat : 25165 (java) S 25153 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319621 15372775424 21372 33554432000 4194304 4196468 140725496646880 139769672456528 139771678242715 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25166] ppid=25153 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25156/task/25166/stat : 25166 (java) R 25153 25153 20606 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 225319621 15372775424 21372 33554432000 4194304 4196468 140725496646880 139770445408624 139771678235266 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25167] ppid=25153 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25167/stat : 25167 (java) R 25153 25153 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 225319621 15372775424 21372 33554432000 4194304 4196468 140725496646880 139770444355824 139771671209161 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25168] ppid=25153 vsize=15012476 memory=140628656993920 CPUtime=0.03 cores=1,3,5,7
/proc/25156/task/25168/stat : 25168 (java) R 25153 25153 20606 0 -1 4202560 303 0 0 0 3 0 0 0 20 0 15 0 225319622 15372775424 21372 33554432000 4194304 4196468 140725496646880 139770443303024 139771658195304 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25169] ppid=25153 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25169/stat : 25169 (java) S 25153 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319622 15372775424 21372 33554432000 4194304 4196468 140725496646880 139769174550752 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25170] ppid=25153 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25170/stat : 25170 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319622 15372775424 21372 33554432000 4194304 4196468 140725496646880 139770442251440 139771678235266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86880 KiB
[startup+0.310641 s]*
/proc/loadavg: 2.28 3.02 3.18 3/217 25170
/proc/meminfo: memFree=5506712/32770624 swapFree=67058752/67108860
[pid=25153] ppid=25150 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/25153/stat : 25153 (scop.sh) S 25150 25153 20606 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225319615 115843072 348 33554432000 4194304 5098028 140729552730896 140729552728152 139726769410684 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13193216 140729552733249 140729552733447 140729552733447 140729552736205 0
/proc/25153/statm: 28282 348 296 221 0 87 0
[pid=25156] ppid=25153 vsize=15012476 memory=89712 CPUtime=0.42 cores=1,3,5,7
/proc/25156/stat : 25156 (java) S 25153 25153 20606 0 -1 1077944320 10374 0 0 0 39 3 0 0 20 0 15 0 225319615 15372775424 22428 33554432000 4194304 4196468 140725496646880 140725496629424 139771678224119 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
/proc/25156/statm: 3753119 22428 2978 1 0 3715579 0
[pid=25156/tid=25157] ppid=25153 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25156/task/25157/stat : 25157 (java) R 25153 25153 20606 0 -1 4202560 8113 0 0 0 27 2 0 0 20 0 15 0 225319615 15372775424 22428 33554432000 4194304 4196468 140725496646880 139771650019120 139771678245466 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25158] ppid=25153 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25158/stat : 25158 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 22494 33554432000 4194304 4196468 140725496646880 139771682466448 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25159] ppid=25153 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25159/stat : 25159 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 22494 33554432000 4194304 4196468 140725496646880 139771458169360 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25160] ppid=25153 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25160/stat : 25160 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 22494 33554432000 4194304 4196468 140725496646880 139771137485200 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25161] ppid=25153 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25161/stat : 25161 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319617 15372775424 22494 33554432000 4194304 4196468 140725496646880 139771136432400 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25162] ppid=25153 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25162/stat : 25162 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319618 15372775424 22494 33554432000 4194304 4196468 140725496646880 139770446461808 139771678235266 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25163] ppid=25153 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25163/stat : 25163 (java) S 25153 25153 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225319619 15372775424 22494 33554432000 4194304 4196468 140725496646880 139770315400736 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25164] ppid=25153 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25164/stat : 25164 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319619 15372775424 22494 33554432000 4194304 4196468 140725496646880 139770046965104 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25165] ppid=25153 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25165/stat : 25165 (java) S 25153 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319621 15372775424 22494 33554432000 4194304 4196468 140725496646880 139769672456528 139771678242715 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25166] ppid=25153 vsize=15012476 memory=4426078206164241782 CPUtime=0.01 cores=1,3,5,7
/proc/25156/task/25166/stat : 25166 (java) R 25153 25153 20606 0 -1 4202560 464 0 0 0 1 0 0 0 20 0 15 0 225319621 15372775424 22494 33554432000 4194304 4196468 140725496646880 139770445408624 139771658924416 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25167] ppid=25153 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25156/task/25167/stat : 25167 (java) R 25153 25153 20606 0 -1 1077944384 132 0 0 0 3 0 0 0 20 0 15 0 225319621 15372775424 22494 33554432000 4194304 4196468 140725496646880 139770444355824 139771678235266 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25168] ppid=25153 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25156/task/25168/stat : 25168 (java) R 25153 25153 20606 0 -1 4202560 336 0 0 0 7 0 0 0 20 0 15 0 225319622 15372775424 22494 33554432000 4194304 4196468 140725496646880 139770443303024 139771657544400 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25169] ppid=25153 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25169/stat : 25169 (java) S 25153 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319622 15372775424 22494 33554432000 4194304 4196468 140725496646880 139769174550752 139771678234325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25170] ppid=25153 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25170/stat : 25170 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319622 15372775424 22494 33554432000 4194304 4196468 140725496646880 139770442251440 139771678235266 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91104 KiB
[startup+0.700794 s]
/proc/loadavg: 2.28 3.02 3.18 3/217 25170
/proc/meminfo: memFree=5482404/32770624 swapFree=67058752/67108860
[pid=25153] ppid=25150 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/25153/stat : 25153 (scop.sh) S 25150 25153 20606 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225319615 115843072 348 33554432000 4194304 5098028 140729552730896 140729552728152 139726769410684 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13193216 140729552733249 140729552733447 140729552733447 140729552736205 0
/proc/25153/statm: 28282 348 296 221 0 87 0
[pid=25156] ppid=25153 vsize=15018748 memory=130756 CPUtime=1.02 cores=1,3,5,7
/proc/25156/stat : 25156 (java) S 25153 25153 20606 0 -1 1077944320 17346 0 0 0 96 6 0 0 20 0 15 0 225319615 15379197952 32689 33554432000 4194304 4196468 140725496646880 140725496629424 139771678224119 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
/proc/25156/statm: 3754687 32689 3127 1 0 3716091 0
[pid=25156/tid=25157] ppid=25153 vsize=15018748 memory=60072 CPUtime=0.67 cores=1,3,5,7
/proc/25156/task/25157/stat : 25157 (java) R 25153 25153 20606 0 -1 4202560 14564 0 0 0 62 5 0 0 20 0 15 0 225319615 15379197952 32689 33554432000 4194304 4196468 140725496646880 139771650055344 139771678246141 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25158] ppid=25153 vsize=15018748 memory=780 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25158/stat : 25158 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319617 15379197952 32689 33554432000 4194304 4196468 140725496646880 139771682466448 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25159] ppid=25153 vsize=15018748 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25159/stat : 25159 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319617 15379197952 32689 33554432000 4194304 4196468 140725496646880 139771458169360 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25160] ppid=25153 vsize=15018748 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25160/stat : 25160 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319617 15379197952 32689 33554432000 4194304 4196468 140725496646880 139771137485200 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25161] ppid=25153 vsize=15018748 memory=976 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25161/stat : 25161 (java) S 25153 25153 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225319617 15379197952 32689 33554432000 4194304 4196468 140725496646880 139771136432400 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25162] ppid=25153 vsize=15018748 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25162/stat : 25162 (java) S 25153 25153 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225319618 15379197952 32689 33554432000 4194304 4196468 140725496646880 139770446461808 139771678235266 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25163] ppid=25153 vsize=15018748 memory=1024 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25163/stat : 25163 (java) S 25153 25153 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225319619 15379197952 32689 33554432000 4194304 4196468 140725496646880 139770315400736 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25164] ppid=25153 vsize=15018748 memory=3172 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25164/stat : 25164 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319619 15379197952 32689 33554432000 4194304 4196468 140725496646880 139770046965104 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25165] ppid=25153 vsize=15018748 memory=2076 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25165/stat : 25165 (java) S 25153 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319621 15379197952 32689 33554432000 4194304 4196468 140725496646880 139769672456528 139771678242715 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25166] ppid=25153 vsize=15018748 memory=9004 CPUtime=0.09 cores=1,3,5,7
/proc/25156/task/25166/stat : 25166 (java) S 25153 25153 20606 0 -1 1077944384 719 0 0 0 9 0 0 0 20 0 15 0 225319621 15379197952 32689 33554432000 4194304 4196468 140725496646880 139770445408624 139771678235266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25167] ppid=25153 vsize=15018748 memory=768 CPUtime=0.09 cores=1,3,5,7
/proc/25156/task/25167/stat : 25167 (java) S 25153 25153 20606 0 -1 1077944384 288 0 0 0 9 0 0 0 20 0 15 0 225319621 15379197952 32689 33554432000 4194304 4196468 140725496646880 139770444355824 139771678235266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25168] ppid=25153 vsize=15018748 memory=736 CPUtime=0.15 cores=1,3,5,7
/proc/25156/task/25168/stat : 25168 (java) R 25153 25153 20606 0 -1 4202560 440 0 0 0 15 0 0 0 20 0 15 0 225319622 15379197952 32689 33554432000 4194304 4196468 140725496646880 139770443303024 139771662304606 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25169] ppid=25153 vsize=15018748 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25169/stat : 25169 (java) S 25153 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319622 15379197952 32689 33554432000 4194304 4196468 140725496646880 139769174550752 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25170] ppid=25153 vsize=15018748 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25170/stat : 25170 (java) S 25153 25153 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225319622 15379197952 32689 33554432000 4194304 4196468 140725496646880 139770442251440 139771678235266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132148 KiB
[startup+1.50082 s]
/proc/loadavg: 2.28 3.02 3.18 5/217 25170
/proc/meminfo: memFree=5360032/32770624 swapFree=67058752/67108860
[pid=25153] ppid=25150 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/25153/stat : 25153 (scop.sh) S 25150 25153 20606 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225319615 115843072 348 33554432000 4194304 5098028 140729552730896 140729552728152 139726769410684 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13193216 140729552733249 140729552733447 140729552733447 140729552736205 0
/proc/25153/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+947.211 s]
/proc/loadavg: 4.43 5.03 4.39 6/221 25303
/proc/meminfo: memFree=12248292/32770624 swapFree=67058884/67108860
[pid=25156] ppid=25150 vsize=15024968 memory=12073744 CPUtime=2521 cores=1,3,5,7
/proc/25156/stat : 25156 (java) S 25150 25153 20606 0 -1 1077944320 15681415 0 0 0 246714 5386 0 0 20 0 15 0 225319615 15385567232 3018436 33554432000 4194304 4196468 140725496646880 140725496629424 139771678224119 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
/proc/25156/statm: 3756242 3018436 3237 1 0 3717627 0
[pid=25156/tid=25157] ppid=25150 vsize=15024968 memory=800 CPUtime=417.3 cores=1,3,5,7
/proc/25156/task/25157/stat : 25157 (java) S 25150 25153 20606 0 -1 1077944384 623698 0 0 0 41603 127 0 0 20 0 15 0 225319615 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771650062496 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25158] ppid=25150 vsize=15024968 memory=1796 CPUtime=521.83 cores=1,3,5,7
/proc/25156/task/25158/stat : 25158 (java) R 25150 25153 20606 0 -1 4202560 4401248 0 0 0 50878 1305 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771682466648 139771663209403 0 4 2 25189581 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25159] ppid=25150 vsize=15024968 memory=4486604260213485459 CPUtime=522.53 cores=1,3,5,7
/proc/25156/task/25159/stat : 25159 (java) R 25150 25153 20606 0 -1 4202560 3359034 0 0 0 50887 1366 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771458169248 139771663174724 0 4 2 25189581 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25160] ppid=25150 vsize=15024968 memory=6944656592455360604 CPUtime=522.24 cores=1,3,5,7
/proc/25156/task/25160/stat : 25160 (java) R 25150 25153 20606 0 -1 4202560 3536144 0 0 0 50921 1303 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771137485400 139771659820076 0 4 2 25189581 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25161] ppid=25150 vsize=15024968 memory=281257007624068 CPUtime=522.59 cores=1,3,5,7
/proc/25156/task/25161/stat : 25161 (java) R 25150 25153 20606 0 -1 4202560 3534805 0 0 0 51010 1249 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771136432600 139771663174724 0 4 2 25189581 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25162] ppid=25150 vsize=15024968 memory=281257008061720 CPUtime=3.39 cores=1,3,5,7
/proc/25156/task/25162/stat : 25162 (java) S 25150 25153 20606 0 -1 1077944384 175449 0 0 0 326 13 0 0 20 0 15 0 225319618 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770446460128 139771678234325 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25163] ppid=25150 vsize=15024968 memory=912 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25163/stat : 25163 (java) S 25150 25153 20606 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 225319619 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770315400800 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25164] ppid=25150 vsize=15024968 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25164/stat : 25164 (java) S 25150 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319619 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770046965120 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25165] ppid=25150 vsize=15024968 memory=3424 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25165/stat : 25165 (java) S 25150 25153 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139769672456176 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25166] ppid=25150 vsize=15024968 memory=2588 CPUtime=4.19 cores=1,3,5,7
/proc/25156/task/25166/stat : 25166 (java) S 25150 25153 20606 0 -1 1077944384 16881 0 0 0 416 3 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770445408384 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25167] ppid=25150 vsize=15024968 memory=4104 CPUtime=5.06 cores=1,3,5,7
/proc/25156/task/25167/stat : 25167 (java) S 25150 25153 20606 0 -1 1077944384 13836 0 0 0 504 2 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770444355872 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25168] ppid=25150 vsize=15024968 memory=6791534058613427641 CPUtime=1.11 cores=1,3,5,7
/proc/25156/task/25168/stat : 25168 (java) S 25150 25153 20606 0 -1 1077944384 18174 0 0 0 109 2 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770443303072 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25169] ppid=25150 vsize=15024968 memory=12073744 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25169/stat : 25169 (java) S 25150 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139769174550752 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25170] ppid=25150 vsize=15024968 memory=976 CPUtime=0.67 cores=1,3,5,7
/proc/25156/task/25170/stat : 25170 (java) S 25150 25153 20606 0 -1 1077944384 814 0 0 0 34 33 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770442251440 139771678235266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
Current cumulated CPU time of completed processes: 0.003672 s
Current children cumulated CPU time: 2521 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12073744 KiB
[startup+948.001 s]*
/proc/loadavg: 4.43 5.03 4.39 6/221 25303
/proc/meminfo: memFree=12248164/32770624 swapFree=67058884/67108860
[pid=25156] ppid=25150 vsize=15024968 memory=12073744 CPUtime=2524.11 cores=1,3,5,7
/proc/25156/stat : 25156 (java) S 25150 25153 20606 0 -1 1077944320 15681582 0 0 0 247025 5386 0 0 20 0 15 0 225319615 15385567232 3018436 33554432000 4194304 4196468 140725496646880 140725496629424 139771678224119 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
/proc/25156/statm: 3756242 3018436 3237 1 0 3717627 0
[pid=25156/tid=25157] ppid=25150 vsize=15024968 memory=-7824251494390519401 CPUtime=417.3 cores=1,3,5,7
/proc/25156/task/25157/stat : 25157 (java) S 25150 25153 20606 0 -1 1077944384 623698 0 0 0 41603 127 0 0 20 0 15 0 225319615 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771650062496 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25158] ppid=25150 vsize=15024968 memory=4872558044660077418 CPUtime=522.62 cores=1,3,5,7
/proc/25156/task/25158/stat : 25158 (java) R 25150 25153 20606 0 -1 4202560 4401248 0 0 0 50957 1305 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771682466336 139771662681587 0 4 2 25189581 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25159] ppid=25150 vsize=15024968 memory=816 CPUtime=523.3 cores=1,3,5,7
/proc/25156/task/25159/stat : 25159 (java) R 25150 25153 20606 0 -1 4202560 3359034 0 0 0 50964 1366 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771458169480 139771670852327 0 4 2 25189581 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25160] ppid=25150 vsize=15024968 memory=1932 CPUtime=523.02 cores=1,3,5,7
/proc/25156/task/25160/stat : 25160 (java) R 25150 25153 20606 0 -1 4202560 3536144 0 0 0 50998 1304 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771137485008 139771670852327 0 4 2 25189581 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25161] ppid=25150 vsize=15024968 memory=2076 CPUtime=523.37 cores=1,3,5,7
/proc/25156/task/25161/stat : 25161 (java) R 25150 25153 20606 0 -1 4202560 3534805 0 0 0 51088 1249 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771136432208 139771670852327 0 4 2 25189581 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25162] ppid=25150 vsize=15024968 memory=12073744 CPUtime=3.4 cores=1,3,5,7
/proc/25156/task/25162/stat : 25162 (java) S 25150 25153 20606 0 -1 1077944384 175616 0 0 0 327 13 0 0 20 0 15 0 225319618 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770446460352 139771678234325 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25163] ppid=25150 vsize=15024968 memory=32276 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25163/stat : 25163 (java) S 25150 25153 20606 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 225319619 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770315400800 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25164] ppid=25150 vsize=15024968 memory=13808 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25164/stat : 25164 (java) S 25150 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319619 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770046965120 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25165] ppid=25150 vsize=15024968 memory=524 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25165/stat : 25165 (java) S 25150 25153 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139769672456176 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25166] ppid=25150 vsize=15024968 memory=6791534058613427641 CPUtime=4.19 cores=1,3,5,7
/proc/25156/task/25166/stat : 25166 (java) S 25150 25153 20606 0 -1 1077944384 16881 0 0 0 416 3 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770445408384 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25167] ppid=25150 vsize=15024968 memory=1528 CPUtime=5.06 cores=1,3,5,7
/proc/25156/task/25167/stat : 25167 (java) S 25150 25153 20606 0 -1 1077944384 13836 0 0 0 504 2 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770444355872 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25168] ppid=25150 vsize=15024968 memory=924 CPUtime=1.11 cores=1,3,5,7
/proc/25156/task/25168/stat : 25168 (java) S 25150 25153 20606 0 -1 1077944384 18174 0 0 0 109 2 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770443303072 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25169] ppid=25150 vsize=15024968 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25169/stat : 25169 (java) S 25150 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139769174550752 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25170] ppid=25150 vsize=15024968 memory=1392 CPUtime=0.67 cores=1,3,5,7
/proc/25156/task/25170/stat : 25170 (java) S 25150 25153 20606 0 -1 1077944384 814 0 0 0 34 33 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770442251440 139771678235266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
Current cumulated CPU time of completed processes: 0.003672 s
Current children cumulated CPU time: 2524.11 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12073744 KiB
[startup+948.801 s]
/proc/loadavg: 4.43 5.03 4.39 6/221 25303
/proc/meminfo: memFree=12248164/32770624 swapFree=67058884/67108860
[pid=25156] ppid=25150 vsize=15024968 memory=12073744 CPUtime=2527.18 cores=1,3,5,7
/proc/25156/stat : 25156 (java) S 25150 25153 20606 0 -1 1077944320 15681584 0 0 0 247331 5387 0 0 20 0 15 0 225319615 15385567232 3018436 33554432000 4194304 4196468 140725496646880 140725496629424 139771678224119 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
/proc/25156/statm: 3756242 3018436 3237 1 0 3717627 0
[pid=25156/tid=25157] ppid=25150 vsize=15024968 memory=1548 CPUtime=417.3 cores=1,3,5,7
/proc/25156/task/25157/stat : 25157 (java) S 25150 25153 20606 0 -1 1077944384 623698 0 0 0 41603 127 0 0 20 0 15 0 225319615 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771650062496 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25158] ppid=25150 vsize=15024968 memory=1432 CPUtime=523.41 cores=1,3,5,7
/proc/25156/task/25158/stat : 25158 (java) R 25150 25153 20606 0 -1 4202560 4401248 0 0 0 51036 1305 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771682466336 139771659833805 0 4 2 25189581 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25159] ppid=25150 vsize=15024968 memory=816 CPUtime=524.05 cores=1,3,5,7
/proc/25156/task/25159/stat : 25159 (java) R 25150 25153 20606 0 -1 4202560 3359034 0 0 0 51039 1366 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771458169480 139771670852327 0 4 2 25189581 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25160] ppid=25150 vsize=15024968 memory=140628504275537 CPUtime=523.78 cores=1,3,5,7
/proc/25156/task/25160/stat : 25160 (java) R 25150 25153 20606 0 -1 4202560 3536144 0 0 0 51074 1304 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771137485008 139771670852327 0 4 2 25189581 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25161] ppid=25150 vsize=15024968 memory=8025788805588675948 CPUtime=524.13 cores=1,3,5,7
/proc/25156/task/25161/stat : 25161 (java) R 25150 25153 20606 0 -1 4202560 3534805 0 0 0 51164 1249 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771136432208 139771670852327 0 4 2 25189581 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25162] ppid=25150 vsize=15024968 memory=7595440001688102255 CPUtime=3.4 cores=1,3,5,7
/proc/25156/task/25162/stat : 25162 (java) S 25150 25153 20606 0 -1 1077944384 175616 0 0 0 327 13 0 0 20 0 15 0 225319618 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770446460352 139771678234325 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25163] ppid=25150 vsize=15024968 memory=912 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25163/stat : 25163 (java) S 25150 25153 20606 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 225319619 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770315400800 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25164] ppid=25150 vsize=15024968 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25164/stat : 25164 (java) S 25150 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319619 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770046965120 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25165] ppid=25150 vsize=15024968 memory=3424 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25165/stat : 25165 (java) S 25150 25153 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139769672456176 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25166] ppid=25150 vsize=15024968 memory=3284 CPUtime=4.19 cores=1,3,5,7
/proc/25156/task/25166/stat : 25166 (java) S 25150 25153 20606 0 -1 1077944384 16881 0 0 0 416 3 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770445408384 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25167] ppid=25150 vsize=15024968 memory=12073744 CPUtime=5.06 cores=1,3,5,7
/proc/25156/task/25167/stat : 25167 (java) S 25150 25153 20606 0 -1 1077944384 13836 0 0 0 504 2 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770444355872 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25168] ppid=25150 vsize=15024968 memory=1408 CPUtime=1.11 cores=1,3,5,7
/proc/25156/task/25168/stat : 25168 (java) S 25150 25153 20606 0 -1 1077944384 18174 0 0 0 109 2 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770443303072 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25169] ppid=25150 vsize=15024968 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25169/stat : 25169 (java) S 25150 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139769174550752 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25170] ppid=25150 vsize=15024968 memory=4104 CPUtime=0.67 cores=1,3,5,7
/proc/25156/task/25170/stat : 25170 (java) S 25150 25153 20606 0 -1 1077944384 816 0 0 0 34 33 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770442251440 139771678235266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
Current cumulated CPU time of completed processes: 0.003672 s
Current children cumulated CPU time: 2527.18 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12073744 KiB
[startup+949.001 s]*
/proc/loadavg: 4.43 5.03 4.39 5/221 25303
/proc/meminfo: memFree=12248288/32770624 swapFree=67058884/67108860
[pid=25156] ppid=25150 vsize=15024968 memory=12073744 CPUtime=2527.98 cores=1,3,5,7
/proc/25156/stat : 25156 (java) S 25150 25153 20606 0 -1 1077944320 15681584 0 0 0 247411 5387 0 0 20 0 15 0 225319615 15385567232 3018436 33554432000 4194304 4196468 140725496646880 140725496629424 139771678224119 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
/proc/25156/statm: 3756242 3018436 3237 1 0 3717627 0
[pid=25156/tid=25157] ppid=25150 vsize=15024968 memory=-7824251494390519401 CPUtime=417.3 cores=1,3,5,7
/proc/25156/task/25157/stat : 25157 (java) S 25150 25153 20606 0 -1 1077944384 623698 0 0 0 41603 127 0 0 20 0 15 0 225319615 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771650062496 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25158] ppid=25150 vsize=15024968 memory=4872558044660077418 CPUtime=523.62 cores=1,3,5,7
/proc/25156/task/25158/stat : 25158 (java) R 25150 25153 20606 0 -1 4202560 4401248 0 0 0 51057 1305 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771682466336 139771663220523 0 4 2 25189581 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25159] ppid=25150 vsize=15024968 memory=9004 CPUtime=524.24 cores=1,3,5,7
/proc/25156/task/25159/stat : 25159 (java) R 25150 25153 20606 0 -1 4202560 3359034 0 0 0 51058 1366 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771458169480 139771670852327 0 4 2 25189581 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25160] ppid=25150 vsize=15024968 memory=12073744 CPUtime=523.98 cores=1,3,5,7
/proc/25156/task/25160/stat : 25160 (java) R 25150 25153 20606 0 -1 4202560 3536144 0 0 0 51094 1304 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771137485008 139771670852327 0 4 2 25189581 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25161] ppid=25150 vsize=15024968 memory=12073744 CPUtime=524.33 cores=1,3,5,7
/proc/25156/task/25161/stat : 25161 (java) R 25150 25153 20606 0 -1 4202560 3534805 0 0 0 51184 1249 0 0 20 0 15 0 225319617 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139771136432208 139771670852327 0 4 2 25189581 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25162] ppid=25150 vsize=15024968 memory=7904 CPUtime=3.4 cores=1,3,5,7
/proc/25156/task/25162/stat : 25162 (java) S 25150 25153 20606 0 -1 1077944384 175616 0 0 0 327 13 0 0 20 0 15 0 225319618 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770446460352 139771678234325 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25163] ppid=25150 vsize=15024968 memory=800 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25163/stat : 25163 (java) S 25150 25153 20606 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 225319619 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770315400800 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25164] ppid=25150 vsize=15024968 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25164/stat : 25164 (java) S 25150 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319619 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770046965120 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25165] ppid=25150 vsize=15024968 memory=912 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25165/stat : 25165 (java) S 25150 25153 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139769672456176 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25166] ppid=25150 vsize=15024968 memory=3848 CPUtime=4.19 cores=1,3,5,7
/proc/25156/task/25166/stat : 25166 (java) S 25150 25153 20606 0 -1 1077944384 16881 0 0 0 416 3 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770445408384 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25167] ppid=25150 vsize=15024968 memory=3424 CPUtime=5.06 cores=1,3,5,7
/proc/25156/task/25167/stat : 25167 (java) S 25150 25153 20606 0 -1 1077944384 13836 0 0 0 504 2 0 0 20 0 15 0 225319621 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770444355872 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25168] ppid=25150 vsize=15024968 memory=2588 CPUtime=1.11 cores=1,3,5,7
/proc/25156/task/25168/stat : 25168 (java) S 25150 25153 20606 0 -1 1077944384 18174 0 0 0 109 2 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770443303072 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25169] ppid=25150 vsize=15024968 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/25156/task/25169/stat : 25169 (java) S 25150 25153 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139769174550752 139771678234325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
[pid=25156/tid=25170] ppid=25150 vsize=15024968 memory=1408 CPUtime=0.67 cores=1,3,5,7
/proc/25156/task/25170/stat : 25170 (java) S 25150 25153 20606 0 -1 1077944384 816 0 0 0 34 33 0 0 20 0 15 0 225319622 15385567232 3018436 33554432000 4194304 4196468 140725496646880 139770442251440 139771678235266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 33054720 140725496652807 140725496653105 140725496653105 140725496655823 0
Current cumulated CPU time of completed processes: 0.003672 s
Current children cumulated CPU time: 2527.98 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12073744 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 949.369
CPU time (s): 2528.37
CPU user time (s): 2474.14
CPU system time (s): 54.2357
CPU usage (%): 266.321
Max. virtual memory (cumulated for all children) (KiB): 15138096
Max. memory (cumulated for all children) (KiB): 12075136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2474.14
system time used= 54.2357
maximum resident set size= 12073924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15682695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37499
involuntary context switches= 30379
# summary of solver processes directly reported to runsolver:
# pid: 25153,25156
# total CPU time (s): 2528.37
# total CPU user time (s): 2474.14
# total CPU system time (s): 54.2357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02845 second user time and 9.92659 second system time
The end