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: 63837 MiB (62880 MiB free)
memory of node 1: 64465 MiB (63962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516074-1751237252/watcher-4516074-1751237252 -o /tmp/evaluation-result-4516074-1751237252/solver-4516074-1751237252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751237252-34857 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516074-1751237252.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=34903, runsolver pid=34898
[startup+0.100071 s]*
/proc/loadavg: 1.08 1.49 2.62 9/319 34984
/proc/meminfo: memFree=129811456/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=18930344 memory=45552 CPUtime=0.09 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 5437 0 23 0 5 4 0 0 20 0 18 0 39404559 19384672256 11388 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4732586 11388 4923 1 0 546678 0
[pid=34903/tid=34917] ppid=34898 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 4576 0 23 0 4 2 0 0 20 0 18 0 39404561 19384672256 11388 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=18930344 memory=13926 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39404567 19384672256 11388 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=18930344 memory=57394570986489 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39404568 19384672256 11388 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45552 KiB
[startup+0.215646 s]*
/proc/loadavg: 1.08 1.49 2.62 6/319 34984
/proc/meminfo: memFree=129794524/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=18930384 memory=49904 CPUtime=0.27 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 6137 0 23 0 22 5 0 0 20 0 18 0 39404559 19384713216 12476 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4732596 12476 5371 1 0 547233 0
[pid=34903/tid=34917] ppid=34898 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 4981 0 23 0 14 3 0 0 20 0 18 0 39404561 19384713216 12476 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=18930384 memory=13926 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39404567 19384713216 12476 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39404568 19384713216 12476 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49904 KiB
[startup+0.315 s]*
/proc/loadavg: 1.08 1.49 2.62 7/319 34984
/proc/meminfo: memFree=129764972/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=18930384 memory=58404 CPUtime=0.43 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 6702 0 23 0 37 6 0 0 20 0 18 0 39404559 19384713216 14601 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4732596 14601 5371 1 0 547721 0
[pid=34903/tid=34917] ppid=34898 vsize=18930384 memory=-6000919476934174828 CPUtime=0.25 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 5140 0 23 0 22 3 0 0 20 0 18 0 39404561 19384713216 14601 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39404567 19384713216 14601 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39404568 19384713216 14601 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58404 KiB
[startup+0.700301 s]
/proc/loadavg: 1.08 1.49 2.62 11/306 34990
/proc/meminfo: memFree=129749476/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=18996948 memory=65776 CPUtime=1.11 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 7645 0 23 0 104 7 0 0 20 0 19 0 39404559 19452874752 16444 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4749237 16444 5435 1 0 548523 0
[pid=34903/tid=34917] ppid=34898 vsize=18996948 memory=17408 CPUtime=0.52 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 5313 0 23 0 49 3 0 0 20 0 19 0 39404561 19452874752 16444 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39404567 19452874752 16444 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39404568 19452874752 16444 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39404610 19452874752 16444 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65776 KiB
[startup+1.5003 s]
/proc/loadavg: 1.08 1.49 2.62 7/301 34998
/proc/meminfo: memFree=129724672/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=18996948 memory=94464 CPUtime=2.69 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 14777 0 23 0 259 10 0 0 20 0 19 0 39404559 19452874752 23616 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4749237 23616 5435 1 0 551044 0
[pid=34903/tid=34917] ppid=34898 vsize=18996948 memory=0 CPUtime=1.29 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 5569 0 23 0 125 4 0 0 20 0 19 0 39404561 19452874752 23616 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39404567 19452874752 23616 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39404568 19452874752 23616 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39404610 19452874752 23616 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94464 KiB
[startup+3.10584 s]
/proc/loadavg: 1.08 1.49 2.62 7/326 35057
/proc/meminfo: memFree=129401168/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=202996 CPUtime=4.81 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 17784 0 23 0 467 14 0 0 20 0 20 0 39404559 19521036288 50749 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 50749 5467 1 0 551565 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=11264 CPUtime=2.81 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 6687 0 23 0 275 6 0 0 20 0 20 0 39404561 19521036288 50749 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=-6000919472639207532 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 50749 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 50749 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 50749 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 4.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202996 KiB
[startup+6.30037 s]
/proc/loadavg: 1.47 1.56 2.64 5/328 35059
/proc/meminfo: memFree=129075040/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=262024 CPUtime=8.04 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 18017 0 23 0 788 16 0 0 20 0 20 0 39404559 19521036288 65506 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 65506 5467 1 0 551566 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=0 CPUtime=5.81 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 6712 0 23 0 574 7 0 0 20 0 20 0 39404561 19521036288 65506 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 65506 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 65506 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 65506 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 8.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 262024 KiB
[startup+12.7004 s]
/proc/loadavg: 1.76 1.62 2.65 5/328 35059
/proc/meminfo: memFree=128492884/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=442140 CPUtime=14.92 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 22218 0 23 0 1472 20 0 0 20 0 20 0 39404559 19521036288 110535 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 110535 5467 1 0 551582 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=11264 CPUtime=11.86 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) S 34898 34903 32092 0 -1 4194368 7557 0 23 0 1179 7 0 0 20 0 20 0 39404561 19521036288 110535 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 110535 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 110535 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 110535 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 14.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 442140 KiB
[startup+25.5005 s]
/proc/loadavg: 2.25 1.74 2.67 5/328 35059
/proc/meminfo: memFree=126826288/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=872784 CPUtime=28.02 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 25672 0 23 0 2770 32 0 0 20 0 20 0 39404559 19521036288 218196 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 218196 5467 1 0 808503 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=0 CPUtime=24.14 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 8272 0 23 0 2403 11 0 0 20 0 20 0 39404561 19521036288 218196 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=755944 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 218196 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 218196 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 218196 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 28.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 872784 KiB
[startup+51.1057 s]
/proc/loadavg: 3.01 1.95 2.72 5/328 35059
/proc/meminfo: memFree=123992216/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=1550076 CPUtime=54.14 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 28048 0 23 0 5366 48 0 0 20 0 20 0 39404559 19521036288 387519 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 387519 5499 1 0 940103 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=1422952 CPUtime=48.92 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 8908 0 23 0 4878 14 0 0 20 0 20 0 39404561 19521036288 387519 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=1422952 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 387519 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=1248804 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/328 35229
/proc/meminfo: memFree=99512436/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=8193872 CPUtime=3248.89 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 147217 0 23 0 324499 390 0 0 20 0 20 0 39404559 19521036288 2048468 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 2048468 5499 1 0 2641490 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=14720 CPUtime=3184.85 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 72500 0 23 0 318429 56 0 0 20 0 20 0 39404561 19521036288 2048468 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=7295604 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 2048468 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 1249 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 2048468 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=8193872 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 2048468 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 3248.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8193872 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/328 35231
/proc/meminfo: memFree=99401964/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=8251288 CPUtime=3309.16 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 149490 0 23 0 330523 393 0 0 20 0 20 0 39404559 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 2062822 5499 1 0 2641490 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=8251288 CPUtime=3244.27 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 73490 0 23 0 324371 56 0 0 20 0 20 0 39404561 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=8193872 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=8193872 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 1306 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=8251288 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 3309.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8251288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/328 35233
/proc/meminfo: memFree=99379704/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=8251288 CPUtime=3369.4 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 152144 0 23 0 336543 397 0 0 20 0 20 0 39404559 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 2062822 5499 1 0 2641490 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=5632 CPUtime=3303.72 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 75650 0 23 0 330316 56 0 0 20 0 20 0 39404561 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=8251288 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 1306 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 3369.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8251288 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/328 35235
/proc/meminfo: memFree=99375500/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=8251288 CPUtime=3429.62 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 155614 0 23 0 342563 399 0 0 20 0 20 0 39404559 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 2062822 5499 1 0 2641490 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=17408 CPUtime=3363.21 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 78041 0 23 0 336265 56 0 0 20 0 20 0 39404561 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=8251288 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 1325 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=8251288 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 3429.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8251288 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/327 35237
/proc/meminfo: memFree=99197440/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=8251288 CPUtime=3489.84 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 158196 0 23 0 348580 404 0 0 20 0 20 0 39404559 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 2062822 5499 1 0 2641490 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=17408 CPUtime=3422.71 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 79656 0 23 0 342214 57 0 0 20 0 20 0 39404561 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=8251288 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=8251288 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 1344 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=8251288 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 3489.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8251288 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.10 5/327 35241
/proc/meminfo: memFree=99099360/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=8251288 CPUtime=3549.73 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 160423 0 23 0 354565 408 0 0 20 0 20 0 39404559 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 2062822 5499 1 0 2641490 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=8251288 CPUtime=3482.55 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 81827 0 23 0 348198 57 0 0 20 0 20 0 39404561 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 1344 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 3549.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8251288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3572.3 s]
/proc/loadavg: 4.30 4.20 4.12 4/304 35341
/proc/meminfo: memFree=118113940/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19063512 memory=8251288 CPUtime=3600.02 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 162882 0 23 0 359592 410 0 0 20 0 20 0 39404559 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4765878 2062822 5499 1 0 2641490 0
[pid=34903/tid=34917] ppid=34898 vsize=19063512 memory=8251288 CPUtime=3532.04 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) R 34898 34903 32092 0 -1 4194368 83027 0 23 0 353147 57 0 0 20 0 20 0 39404561 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19063512 memory=-6000919472639207532 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404567 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 1384 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34990] ppid=34898 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/34903/task/34990/stat : 34990 (Timer-0) S 34898 34903 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404610 19521036288 2062822 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8251288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3572.48 s]
# the end of solver process 34903 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.12 s, system=4.13813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3572.41 s]
/proc/loadavg: 4.30 4.20 4.12 4/304 35341
/proc/meminfo: memFree=118113940/131382112 swapFree=33010684/33010684
[pid=34903] ppid=34898 vsize=19263204 memory=8252056 CPUtime=3600.17 cores=4,6
/proc/34903/stat : 34903 (java) S 34898 34903 32092 0 -1 4194304 164782 0 23 0 359606 411 0 0 20 0 21 0 39404559 19725520896 2063014 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
/proc/34903/statm: 4815801 2063014 5531 1 0 2642436 0
[pid=34903/tid=34917] ppid=34898 vsize=19263204 memory=-6000919472639207532 CPUtime=3532.06 cores=4,6
/proc/34903/task/34917/stat : 34917 (java) S 34898 34903 32092 0 -1 4194368 83441 0 23 0 353149 57 0 0 20 0 21 0 39404561 19725520896 2063014 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34951] ppid=34898 vsize=19263204 memory=1920 CPUtime=0 cores=4,6
/proc/34903/task/34951/stat : 34951 (Finalizer) S 34898 34903 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39404567 19725520896 2063014 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
[pid=34903/tid=34981] ppid=34898 vsize=19263204 memory=14720 CPUtime=0 cores=4,6
/proc/34903/task/34981/stat : 34981 (Common-Cleaner) S 34898 34903 32092 0 -1 4194368 1384 0 0 0 0 0 0 0 20 0 21 0 39404568 19725520896 2063014 18446744073709551615 94712742735872 94712742739568 140728345581760 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94712742747384 94712742748176 94712773369856 140728345590145 140728345590246 140728345590246 140728345595848 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 8252056 KiB
Child status: 143
Real time (s): 3572.48
CPU time (s): 3600.25
CPU user time (s): 3596.12
CPU system time (s): 4.13813
CPU usage (%): 100.778
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 8252056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.12
system time used= 4.13813
maximum resident set size= 8252184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164942
page faults= 23
swaps= 0
block input operations= 0
block output operations= 3504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112048
involuntary context switches= 22786
# summary of solver processes directly reported to runsolver:
# pid: 34903
# total CPU time (s): 3600.25
# total CPU user time (s): 3596.12
# total CPU system time (s): 4.13813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9522 second user time and 40.6596 second system time
The end