runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (63111 MiB free)
memory of node 1: 64473 MiB (63727 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424507-1720874152/watcher-4424507-1720874152 -o /tmp/evaluation-result-4424507-1720874152/solver-4424507-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1720874164-707245 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424507-1720874152.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=707297, runsolver pid=707293
[startup+0.100099 s]*
/proc/loadavg: 0.08 0.09 0.09 1/276 707323
/proc/meminfo: memFree=129849724/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=18175400 memory=28644 CPUtime=0 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 2361 0 6 0 0 0 0 0 20 0 7 0 139581360 18611609600 7161 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16784588 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4543850 7161 3646 1 0 542675 0
[pid=707297/tid=707299] ppid=707293 vsize=18175400 memory=4026531971 CPUtime=0 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) D 707293 707297 707233 0 -1 4194368 1799 0 6 0 0 0 0 0 20 0 7 0 139581361 18611609600 7161 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 6 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 28644 KiB
[startup+0.20499 s]*
/proc/loadavg: 0.08 0.09 0.09 1/276 707323
/proc/meminfo: memFree=129842924/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=18175400 memory=30536 CPUtime=0.01 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 2800 0 7 0 0 1 0 0 20 0 7 0 139581360 18611609600 7634 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16784588 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4543850 7634 3677 1 0 542675 0
[pid=707297/tid=707299] ppid=707293 vsize=18175400 memory=3461362060219711619 CPUtime=0 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) D 707293 707297 707233 0 -1 4194368 2238 0 7 0 0 0 0 0 20 0 7 0 139581361 18611609600 7634 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 19 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 30536 KiB
[startup+0.304546 s]*
/proc/loadavg: 0.08 0.09 0.09 1/285 707335
/proc/meminfo: memFree=129803464/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=18175400 memory=34888 CPUtime=0.01 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 3863 0 8 0 0 1 0 0 20 0 7 0 139581360 18611609600 8722 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16784588 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4543850 8722 3706 1 0 542675 0
[pid=707297/tid=707299] ppid=707293 vsize=18175400 memory=-8816754380848407228 CPUtime=0.01 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) D 707293 707297 707233 0 -1 4194368 3301 0 8 0 0 1 0 0 20 0 7 0 139581361 18611609600 8722 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 29 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 34888 KiB
[startup+0.700305 s]
/proc/loadavg: 0.08 0.09 0.09 9/325 707375
/proc/meminfo: memFree=129756136/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=18975048 memory=55612 CPUtime=0.06 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 6564 0 24 0 4 2 0 0 20 0 18 0 139581360 19430449152 13903 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4743762 13903 5558 1 0 548743 0
[pid=707297/tid=707299] ppid=707293 vsize=18975048 memory=1856 CPUtime=0.04 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) D 707293 707297 707233 0 -1 4194368 5424 0 18 0 2 2 0 0 20 0 18 0 139581361 19430449152 13903 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 64 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=18975048 memory=39476 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 139581410 19430449152 13903 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55612 KiB
[startup+1.50178 s]
/proc/loadavg: 0.48 0.17 0.12 13/330 707380
/proc/meminfo: memFree=129687136/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=180940 CPUtime=1.24 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 15888 0 24 0 118 6 0 0 20 0 20 0 139581360 19566772224 45235 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 45235 5803 1 0 555158 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=0 CPUtime=0.62 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 6309 0 18 0 58 4 0 0 20 0 20 0 139581361 19566772224 45235 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=11640 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 45235 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=39476 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 45235 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180940 KiB
[startup+3.11276 s]
/proc/loadavg: 0.48 0.17 0.12 11/335 707585
/proc/meminfo: memFree=122537136/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=196872 CPUtime=4.41 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 27692 0 24 0 433 8 0 0 20 0 20 0 139581360 19566772224 49218 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 49218 5858 1 0 557804 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=11640 CPUtime=2.18 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 7253 0 18 0 213 5 0 0 20 0 20 0 139581361 19566772224 49218 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 49218 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=2248 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 49218 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=39476 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 49218 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196872 KiB
[startup+6.30028 s]
/proc/loadavg: 0.92 0.27 0.15 10/335 707785
/proc/meminfo: memFree=126085020/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=585524 CPUtime=8.46 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 29164 0 24 0 830 16 0 0 20 0 20 0 139581360 19566772224 146381 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 146381 5861 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=0 CPUtime=5.33 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 7536 0 18 0 521 12 0 0 20 0 20 0 139581361 19566772224 146381 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=39476 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 146381 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=249560 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 146381 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=11640 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 146381 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 8.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 585524 KiB
[startup+12.7003 s]
/proc/loadavg: 1.17 0.33 0.17 6/338 707854
/proc/meminfo: memFree=124052636/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=966548 CPUtime=14.89 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 31433 0 24 0 1464 25 0 0 20 0 20 0 139581360 19566772224 241637 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 241637 5861 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=798596 CPUtime=11.7 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 9065 0 18 0 1150 20 0 0 20 0 20 0 139581361 19566772224 241637 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 241637 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 241637 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=11640 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 241637 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 14.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 966548 KiB
[startup+25.5003 s]
/proc/loadavg: 1.53 0.43 0.20 5/337 707923
/proc/meminfo: memFree=121055576/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=1189900 CPUtime=27.81 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 39673 0 24 0 2750 31 0 0 20 0 20 0 139581360 19566772224 297475 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 297475 5861 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=798596 CPUtime=24.41 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 10892 0 18 0 2416 25 0 0 20 0 20 0 139581361 19566772224 297475 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 297475 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=11640 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 297475 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=1040396 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 297475 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 27.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1189900 KiB
[startup+51.1062 s]
/proc/loadavg: 2.57 0.79 0.33 5/337 707926
/proc/meminfo: memFree=119866916/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=1343540 CPUtime=53.37 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 46878 0 24 0 5302 35 0 0 20 0 20 0 139581360 19566772224 335885 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 335885 5861 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=1343540 CPUtime=49.82 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 14281 0 18 0 4955 27 0 0 20 0 20 0 139581361 19566772224 335885 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=1343540 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 335885 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=1343528 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 335885 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 335885 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 53.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1343540 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.34 0.54 5/338 707936
/proc/meminfo: memFree=119520696/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=1366212 CPUtime=104.56 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 52913 0 24 0 10419 37 0 0 20 0 20 0 139581360 19566772224 341553 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 341553 5862 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=0 CPUtime=100.67 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 17608 0 18 0 10039 28 0 0 20 0 20 0 139581361 19566772224 341553 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=1856 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 341553 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=1364156 CPUtime=0 cores=1,3
################
# More data... #
################
[pid=707297] ppid=707293 vsize=19108176 memory=1417000 CPUtime=233.4 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 75359 0 24 0 23297 43 0 0 20 0 20 0 139581360 19566772224 354250 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 354250 5877 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=-8958900343598916284 CPUtime=227.9 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 22629 0 18 0 22762 28 0 0 20 0 20 0 139581361 19566772224 354250 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=1405248 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 354250 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=1410848 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 192 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 354250 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=1414952 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 354250 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 233.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1417000 KiB
[startup+243.2 s]
/proc/loadavg: 4.12 2.39 1.05 6/338 707968
/proc/meminfo: memFree=119246296/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=1421100 CPUtime=246.18 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 75765 0 24 0 24574 44 0 0 20 0 20 0 139581360 19566772224 355275 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 355275 5877 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=11640 CPUtime=240.62 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 22973 0 18 0 24034 28 0 0 20 0 20 0 139581361 19566772224 355275 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=1421096 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 355275 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=1856 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 231 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 355275 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=2248 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 355275 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 246.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1421100 KiB
[startup+256 s]*
/proc/loadavg: 4.17 2.49 1.11 5/338 707970
/proc/meminfo: memFree=119235276/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=1425308 CPUtime=259.25 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 83722 0 24 0 25880 45 0 0 20 0 20 0 139581360 19566772224 356327 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 356327 5877 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=-8526548182301582012 CPUtime=253.37 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 23624 0 18 0 25309 28 0 0 20 0 20 0 139581361 19566772224 356327 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=2656 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 356327 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=4900 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 231 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 356327 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=2821064 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 356327 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 259.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1425308 KiB
[startup+262.4 s]
/proc/loadavg: 4.16 2.52 1.12 5/338 707970
/proc/meminfo: memFree=119233468/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=1427408 CPUtime=265.64 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 84270 0 24 0 26518 46 0 0 20 0 20 0 139581360 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 356852 5877 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=2248 CPUtime=259.7 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 23716 0 18 0 25942 28 0 0 20 0 20 0 139581361 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=39476 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=35236 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 231 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=12420 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 265.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1427408 KiB
[startup+264 s]*
/proc/loadavg: 4.16 2.52 1.12 5/338 707972
/proc/meminfo: memFree=119233412/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=1427408 CPUtime=267.24 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 84315 0 24 0 26678 46 0 0 20 0 20 0 139581360 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 356852 5877 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=-8526548182301582012 CPUtime=261.31 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 23719 0 18 0 26103 28 0 0 20 0 20 0 139581361 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=-8693842174769807008 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=20120 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 231 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=5404 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 267.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1427408 KiB
[startup+264.8 s]
/proc/loadavg: 4.16 2.52 1.12 5/338 707972
/proc/meminfo: memFree=119233412/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=1427408 CPUtime=268.04 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 84315 0 24 0 26758 46 0 0 20 0 20 0 139581360 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 356852 5877 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=1427408 CPUtime=262.1 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 23719 0 18 0 26182 28 0 0 20 0 20 0 139581361 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=-8958900343598916284 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=12420 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 231 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=2112 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 356852 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 268.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1427408 KiB
[startup+265.6 s]
/proc/loadavg: 4.16 2.52 1.12 5/338 707972
/proc/meminfo: memFree=119233412/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=1427424 CPUtime=268.88 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 85099 0 24 0 26842 46 0 0 20 0 20 0 139581360 19566772224 356856 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 356856 5877 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=11640 CPUtime=262.9 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 24173 0 18 0 26262 28 0 0 20 0 20 0 139581361 19566772224 356856 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=1427408 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 356856 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=11640 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 231 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 356856 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=35236 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 356856 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 268.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1427424 KiB
[startup+265.8 s]
/proc/loadavg: 4.16 2.52 1.12 5/338 707972
/proc/meminfo: memFree=119233412/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19108176 memory=1427424 CPUtime=269.08 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 85099 0 24 0 26862 46 0 0 20 0 20 0 139581360 19566772224 356856 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777044 356856 5877 1 0 558221 0
[pid=707297/tid=707299] ppid=707293 vsize=19108176 memory=1427368 CPUtime=263.1 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) R 707293 707297 707233 0 -1 4194368 24173 0 18 0 26282 28 0 0 20 0 20 0 139581361 19566772224 356856 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19108176 memory=-8958900343598916284 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139581410 19566772224 356856 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19108176 memory=11640 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 231 0 0 0 0 0 0 0 20 0 20 0 139581417 19566772224 356856 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19108176 memory=1427408 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581463 19566772224 356856 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 269.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1427424 KiB
[startup+265.902 s]
/proc/loadavg: 4.16 2.52 1.12 5/338 707972
/proc/meminfo: memFree=119233412/131524600 swapFree=131071996/131071996
[pid=707297] ppid=707293 vsize=19109204 memory=1427508 CPUtime=269.19 cores=1,3
/proc/707297/stat : 707297 (java) S 707293 707297 707233 0 -1 1077936128 86287 0 24 0 26873 46 0 0 20 0 21 0 139581360 19567824896 356877 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
/proc/707297/statm: 4777301 356877 5877 1 0 558509 0
[pid=707297/tid=707299] ppid=707293 vsize=19109204 memory=35236 CPUtime=263.2 cores=1,3
/proc/707297/task/707299/stat : 707299 (java) S 707293 707297 707233 0 -1 1077936192 25331 0 18 0 26292 28 0 0 20 0 21 0 139581361 19567824896 356877 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 81 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707352] ppid=707293 vsize=19109204 memory=1436112 CPUtime=0 cores=1,3
/proc/707297/task/707352/stat : 707352 (Finalizer) S 707293 707297 707233 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 139581410 19567824896 356877 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707380] ppid=707293 vsize=19109204 memory=1425308 CPUtime=0 cores=1,3
/proc/707297/task/707380/stat : 707380 (Common-Cleaner) S 707293 707297 707233 0 -1 1077936192 231 0 0 0 0 0 0 0 20 0 21 0 139581417 19567824896 356877 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
[pid=707297/tid=707384] ppid=707293 vsize=19109204 memory=5468 CPUtime=0 cores=1,3
/proc/707297/task/707384/stat : 707384 (Timer-0) S 707293 707297 707233 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 139581463 19567824896 356877 134679101440 94826826633216 94826826636912 140728391783776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94826826644728 94826826645520 94826849120256 140728391791574 140728391791687 140728391791687 140728391798728 0
Current children cumulated CPU time: 269.19 s
Current children cumulated vsize: 19109204 KiB
Current children cumulated memory: 1427508 KiB
Child status: 30
Real time (s): 265.932
CPU time (s): 269.238
CPU user time (s): 268.761
CPU system time (s): 0.476799
CPU usage (%): 101.243
Max. virtual memory (cumulated for all children) (KiB): 19109204
Max. memory (cumulated for all children) (KiB): 1436112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 268.761
system time used= 0.476799
maximum resident set size= 1436112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87121
page faults= 24
swaps= 0
block input operations= 5504
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10104
involuntary context switches= 534
# summary of solver processes directly reported to runsolver:
# pid: 707297
# total CPU time (s): 269.238
# total CPU user time (s): 268.761
# total CPU system time (s): 0.476799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.638684 second user time and 1.39488 second system time
The end