runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500791-1308036279/watcher-3500791-1308036279 -o /var/tmp/evaluation-result-3500791-1308036279/solver-3500791-1308036279 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500791-1308036279.gcnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.65 0.15 0.05 2/219 12080
/proc/meminfo: memFree=12726788/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=11804 CPUtime=0 cores=1,3
/proc/12080/stat : 12080 (runsolver) S 12078 12080 11983 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 1 0 896045335 12087296 51 33554432000 4194304 5436572 140736803581600 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/12080/statm: 2951 51 31 304 0 2643 0
[startup+0.0165431 s]
/proc/loadavg: 0.65 0.15 0.05 2/219 12080
/proc/meminfo: memFree=12726788/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=11804 CPUtime=0 cores=1,3
/proc/12080/stat : 12080 (runsolver) S 12078 12080 11983 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 1 0 896045335 12087296 51 33554432000 4194304 5436572 140736803581600 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/12080/statm: 2951 51 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.100545 s]
/proc/loadavg: 0.65 0.15 0.05 2/219 12080
/proc/meminfo: memFree=12726788/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=11804 CPUtime=0 cores=1,3
/proc/12080/stat : 12080 (runsolver) S 12078 12080 11983 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 1 0 896045335 12087296 56 33554432000 4194304 5436572 140736803581600 18446744073709551615 5057063 0 2147483391 4096 24578 18446744071699199166 0 0 17 1 0 0 0
/proc/12080/statm: 2951 56 36 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.300491 s]
/proc/loadavg: 0.65 0.15 0.05 2/219 12080
/proc/meminfo: memFree=12726788/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=9100 CPUtime=0 cores=1,3
/proc/12080/stat : 12080 (java) S 12078 12080 11983 0 -1 4202496 236 0 0 0 0 0 0 0 15 0 1 0 896045335 9318400 171 33554432000 1073741824 1073778376 140737453853136 18446744073709551615 255106589687 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 0
/proc/12080/statm: 2275 171 131 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100
[startup+0.700409 s]
/proc/loadavg: 0.65 0.15 0.05 2/219 12080
/proc/meminfo: memFree=12726788/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=6363732 CPUtime=0.05 cores=1,3
/proc/12080/stat : 12080 (java) S 12078 12080 11983 0 -1 4202496 8609 0 1 0 4 1 0 0 16 0 18 0 896045335 6516461568 8305 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12080/statm: 1590933 8305 1751 9 0 1581671 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6363732
[startup+1.50128 s]
/proc/loadavg: 0.65 0.15 0.05 4/253 12120
/proc/meminfo: memFree=12367688/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=6433292 CPUtime=0.89 cores=1,3
/proc/12080/stat : 12080 (java) S 12078 12080 11983 0 -1 4202496 46112 0 1 0 83 6 0 0 16 0 18 0 896045335 6587691008 45425 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12080/statm: 1608323 45427 2202 9 0 1599061 0
[pid=12080/tid=12082] ppid=12078 vsize=6433292 CPUtime=0.74 cores=1,3
/proc/12080/task/12082/stat : 12082 (java) R 12078 12080 11983 0 -1 4202560 43151 0 1 0 68 6 0 0 25 0 18 0 896045385 6587691008 45428 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 46912505522510 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12080/tid=12083] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12083/stat : 12083 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896045397 6587691008 45429 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12084] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12084/stat : 12084 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 45430 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12085] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12085/stat : 12085 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 45432 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12086] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12086/stat : 12086 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 45433 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12087] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12087/stat : 12087 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 45434 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12088] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12088/stat : 12088 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 45435 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12089] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12089/stat : 12089 (java) S 12078 12080 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 45436 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12090] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12090/stat : 12090 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 45437 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12091] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12091/stat : 12091 (java) S 12078 12080 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896045398 6587691008 45438 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 0 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12092] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12092/stat : 12092 (java) S 12078 12080 11983 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896045399 6587691008 45439 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12093] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12093/stat : 12093 (java) S 12078 12080 11983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896045399 6587691008 45440 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12094] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12094/stat : 12094 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896045403 6587691008 45441 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118592433 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12095] ppid=12078 vsize=6433292 CPUtime=0.02 cores=1,3
/proc/12080/task/12095/stat : 12095 (java) S 12078 12080 11983 0 -1 4202560 91 0 0 0 2 0 0 0 19 0 18 0 896045403 6587691008 45443 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12096] ppid=12078 vsize=6433292 CPUtime=0.12 cores=1,3
/proc/12080/task/12096/stat : 12096 (java) S 12078 12080 11983 0 -1 4202560 1721 0 0 0 12 0 0 0 18 0 18 0 896045403 6587691008 45444 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12097] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12097/stat : 12097 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 896045403 6587691008 45445 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12098] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12098/stat : 12098 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045403 6587691008 45446 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 6433292
[startup+3.10098 s]
/proc/loadavg: 0.65 0.15 0.05 4/240 12129
/proc/meminfo: memFree=11803516/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=6433292 CPUtime=2.5 cores=1,3
/proc/12080/stat : 12080 (java) S 12078 12080 11983 0 -1 4202496 121263 0 1 0 233 17 0 0 16 0 18 0 896045335 6587691008 120575 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12080/statm: 1608323 120577 2203 9 0 1599061 0
[pid=12080/tid=12082] ppid=12078 vsize=6433292 CPUtime=2.33 cores=1,3
/proc/12080/task/12082/stat : 12082 (java) R 12078 12080 11983 0 -1 4202560 118301 0 1 0 217 16 0 0 25 0 18 0 896045385 6587691008 120578 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 46912505557181 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12080/tid=12083] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12083/stat : 12083 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896045397 6587691008 120579 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12084] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12084/stat : 12084 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 120580 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12085] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12085/stat : 12085 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 120581 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12086] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12086/stat : 12086 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 120583 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12087] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12087/stat : 12087 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 120584 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12088] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12088/stat : 12088 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 120585 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12089] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12089/stat : 12089 (java) S 12078 12080 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 120586 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12090] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12090/stat : 12090 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 120587 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12091] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12091/stat : 12091 (java) S 12078 12080 11983 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896045398 6587691008 120589 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 0 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12092] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12092/stat : 12092 (java) S 12078 12080 11983 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896045399 6587691008 120590 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12093] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12093/stat : 12093 (java) S 12078 12080 11983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896045399 6587691008 120591 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12094] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12094/stat : 12094 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896045403 6587691008 120592 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118592433 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12095] ppid=12078 vsize=6433292 CPUtime=0.02 cores=1,3
/proc/12080/task/12095/stat : 12095 (java) S 12078 12080 11983 0 -1 4202560 91 0 0 0 2 0 0 0 19 0 18 0 896045403 6587691008 120593 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12096] ppid=12078 vsize=6433292 CPUtime=0.12 cores=1,3
/proc/12080/task/12096/stat : 12096 (java) S 12078 12080 11983 0 -1 4202560 1721 0 0 0 12 0 0 0 18 0 18 0 896045403 6587691008 120595 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12097] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12097/stat : 12097 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 896045403 6587691008 120596 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12098] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12098/stat : 12098 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045403 6587691008 120597 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 6433292
Solver just ended. Dumping a history of the last processes samples
[startup+3.50094 s]
/proc/loadavg: 0.65 0.15 0.05 4/240 12129
/proc/meminfo: memFree=11803516/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=6433292 CPUtime=2.89 cores=1,3
/proc/12080/stat : 12080 (java) S 12078 12080 11983 0 -1 4202496 140149 0 1 0 270 19 0 0 16 0 18 0 896045335 6587691008 139461 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12080/statm: 1608323 139463 2203 9 0 1599061 0
[pid=12080/tid=12082] ppid=12078 vsize=6433292 CPUtime=2.74 cores=1,3
/proc/12080/task/12082/stat : 12082 (java) R 12078 12080 11983 0 -1 4202560 137187 0 1 0 255 19 0 0 25 0 18 0 896045385 6587691008 139464 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 46912505522825 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12080/tid=12083] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12083/stat : 12083 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896045397 6587691008 139465 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12084] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12084/stat : 12084 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 139466 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12085] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12085/stat : 12085 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 139467 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12086] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12086/stat : 12086 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 139468 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12087] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12087/stat : 12087 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 139469 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12088] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12088/stat : 12088 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 139470 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12089] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12089/stat : 12089 (java) S 12078 12080 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 139471 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12090] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12090/stat : 12090 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 139473 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12091] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12091/stat : 12091 (java) S 12078 12080 11983 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896045398 6587691008 139473 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 0 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12092] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12092/stat : 12092 (java) S 12078 12080 11983 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896045399 6587691008 139475 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12093] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12093/stat : 12093 (java) S 12078 12080 11983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896045399 6587691008 139476 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12094] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12094/stat : 12094 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896045403 6587691008 139477 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118592433 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12095] ppid=12078 vsize=6433292 CPUtime=0.02 cores=1,3
/proc/12080/task/12095/stat : 12095 (java) S 12078 12080 11983 0 -1 4202560 91 0 0 0 2 0 0 0 19 0 18 0 896045403 6587691008 139478 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12096] ppid=12078 vsize=6433292 CPUtime=0.12 cores=1,3
/proc/12080/task/12096/stat : 12096 (java) S 12078 12080 11983 0 -1 4202560 1721 0 0 0 12 0 0 0 18 0 18 0 896045403 6587691008 139479 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12097] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12097/stat : 12097 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 896045403 6587691008 139480 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12098] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12098/stat : 12098 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045403 6587691008 139482 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 6433292
[startup+4.30077 s]
/proc/loadavg: 0.65 0.15 0.05 4/238 12156
/proc/meminfo: memFree=11415684/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=6433292 CPUtime=3.69 cores=1,3
/proc/12080/stat : 12080 (java) S 12078 12080 11983 0 -1 4202496 177616 0 1 0 345 24 0 0 16 0 18 0 896045335 6587691008 176928 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12080/statm: 1608323 176930 2203 9 0 1599061 0
[pid=12080/tid=12082] ppid=12078 vsize=6433292 CPUtime=3.54 cores=1,3
/proc/12080/task/12082/stat : 12082 (java) R 12078 12080 11983 0 -1 4202560 174654 0 1 0 330 24 0 0 25 0 18 0 896045385 6587691008 176931 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 46912505557524 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12080/tid=12083] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12083/stat : 12083 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896045397 6587691008 176932 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12084] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12084/stat : 12084 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 176933 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12085] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12085/stat : 12085 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 176934 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12086] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12086/stat : 12086 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 176936 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12087] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12087/stat : 12087 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 176937 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12088] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12088/stat : 12088 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 176938 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12089] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12089/stat : 12089 (java) S 12078 12080 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 176939 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12090] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12090/stat : 12090 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6587691008 176940 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12091] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12091/stat : 12091 (java) S 12078 12080 11983 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896045398 6587691008 176942 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 0 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12092] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12092/stat : 12092 (java) S 12078 12080 11983 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896045399 6587691008 176943 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12093] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12093/stat : 12093 (java) S 12078 12080 11983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896045399 6587691008 176944 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12094] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12094/stat : 12094 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896045403 6587691008 176945 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118592433 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12095] ppid=12078 vsize=6433292 CPUtime=0.02 cores=1,3
/proc/12080/task/12095/stat : 12095 (java) S 12078 12080 11983 0 -1 4202560 91 0 0 0 2 0 0 0 19 0 18 0 896045403 6587691008 176946 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12096] ppid=12078 vsize=6433292 CPUtime=0.12 cores=1,3
/proc/12080/task/12096/stat : 12096 (java) S 12078 12080 11983 0 -1 4202560 1721 0 0 0 12 0 0 0 18 0 18 0 896045403 6587691008 176948 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12097] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12097/stat : 12097 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 896045403 6587691008 176949 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12098] ppid=12078 vsize=6433292 CPUtime=0 cores=1,3
/proc/12080/task/12098/stat : 12098 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045403 6587691008 176950 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 6433292
[startup+4.7007 s]
/proc/loadavg: 0.92 0.21 0.07 7/259 12183
/proc/meminfo: memFree=10873240/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=6434320 CPUtime=4.16 cores=1,3
/proc/12080/stat : 12080 (java) S 12078 12080 11983 0 -1 4202496 206326 0 1 0 388 28 0 0 16 0 18 0 896045335 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12080/statm: 1608580 205340 2218 9 0 1599318 0
[pid=12080/tid=12082] ppid=12078 vsize=6434320 CPUtime=3.88 cores=1,3
/proc/12080/task/12082/stat : 12082 (java) R 12078 12080 11983 0 -1 4202560 202321 0 1 0 361 27 0 0 25 0 18 0 896045385 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118594741 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12080/tid=12083] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12083/stat : 12083 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896045397 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12084] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12084/stat : 12084 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12085] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12085/stat : 12085 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12086] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12086/stat : 12086 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12087] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12087/stat : 12087 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12088] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12088/stat : 12088 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12089] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12089/stat : 12089 (java) S 12078 12080 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12090] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12090/stat : 12090 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12091] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12091/stat : 12091 (java) S 12078 12080 11983 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 896045398 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 0 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12092] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12092/stat : 12092 (java) S 12078 12080 11983 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896045399 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12093] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12093/stat : 12093 (java) S 12078 12080 11983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896045399 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12094] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12094/stat : 12094 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896045403 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118592433 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12095] ppid=12078 vsize=6434320 CPUtime=0.09 cores=1,3
/proc/12080/task/12095/stat : 12095 (java) R 12078 12080 11983 0 -1 4202560 492 0 0 0 9 0 0 0 16 0 18 0 896045403 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 47300028888990 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12080/tid=12096] ppid=12078 vsize=6434320 CPUtime=0.16 cores=1,3
/proc/12080/task/12096/stat : 12096 (java) S 12078 12080 11983 0 -1 4202560 2358 0 0 0 16 0 0 0 17 0 18 0 896045403 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12097] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12097/stat : 12097 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 896045403 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12098] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12098/stat : 12098 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045403 6588743680 205340 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 6434320
[startup+4.90067 s]
/proc/loadavg: 0.92 0.21 0.07 7/259 12183
/proc/meminfo: memFree=10873240/32951124 swapFree=67055536/67111528
[pid=12080] ppid=12078 vsize=6434320 CPUtime=4.44 cores=1,3
/proc/12080/stat : 12080 (java) S 12078 12080 11983 0 -1 4202496 212225 0 1 0 415 29 0 0 16 0 18 0 896045335 6588743680 210565 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12080/statm: 1608580 210565 2223 9 0 1599318 0
[pid=12080/tid=12082] ppid=12078 vsize=6434320 CPUtime=4 cores=1,3
/proc/12080/task/12082/stat : 12082 (java) R 12078 12080 11983 0 -1 4202560 207145 0 1 0 372 28 0 0 25 0 18 0 896045385 6588743680 210565 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118594741 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12080/tid=12083] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12083/stat : 12083 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896045397 6588743680 210565 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12084] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12084/stat : 12084 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 210565 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12085] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12085/stat : 12085 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 210565 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12086] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12086/stat : 12086 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 210565 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12087] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12087/stat : 12087 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 210565 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12088] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12088/stat : 12088 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 210565 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12089] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12089/stat : 12089 (java) S 12078 12080 11983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 210565 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12090] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12090/stat : 12090 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896045397 6588743680 210565 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12091] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12091/stat : 12091 (java) S 12078 12080 11983 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 896045398 6588743680 210566 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 0 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12092] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12092/stat : 12092 (java) S 12078 12080 11983 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 896045399 6588743680 210566 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12093] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12093/stat : 12093 (java) S 12078 12080 11983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 896045399 6588743680 210566 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
[pid=12080/tid=12094] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12094/stat : 12094 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 896045403 6588743680 210566 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118592433 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12095] ppid=12078 vsize=6434320 CPUtime=0.15 cores=1,3
/proc/12080/task/12095/stat : 12095 (java) R 12078 12080 11983 0 -1 4202560 509 0 0 0 15 0 0 0 16 0 18 0 896045403 6588743680 210566 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 47300028212368 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12080/tid=12096] ppid=12078 vsize=6434320 CPUtime=0.27 cores=1,3
/proc/12080/task/12096/stat : 12096 (java) S 12078 12080 11983 0 -1 4202560 3416 0 0 0 27 0 0 0 15 0 18 0 896045403 6588743680 210566 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12097] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12097/stat : 12097 (java) S 12078 12080 11983 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 896045403 6588743680 210566 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118584729 0 4 0 16800975 18446604462341122176 0 0 -1 3 0 0 0
[pid=12080/tid=12098] ppid=12078 vsize=6434320 CPUtime=0 cores=1,3
/proc/12080/task/12098/stat : 12098 (java) S 12078 12080 11983 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896045403 6588743680 210567 33554432000 1073741824 1073778376 140734932053088 18446744073709551615 255118585344 0 4 0 16800975 18446604462341122176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 6434320
Child status: 20
Real time (s): 4.95118
CPU time (s): 4.49532
CPU user time (s): 4.16737
CPU system time (s): 0.32795
CPU usage (%): 90.7929
Max. virtual memory (cumulated for all children) (KiB): 6434320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.16737
system time used= 0.32795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212259
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 367
involuntary context switches= 293
runsolver used 0.007998 second user time and 0.022996 second system time
The end