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: 63794 MiB (52617 MiB free)
memory of node 1: 64507 MiB (44163 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521638-1751588299/watcher-4521638-1751588299 -o /tmp/evaluation-result-4521638-1751588299/solver-4521638-1751588299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751584695-83034 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4521638-1751588299.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=83653, runsolver pid=83650
[startup+0.10007 s]*
/proc/loadavg: 4.75 4.74 4.74 7/324 83671
/proc/meminfo: memFree=99066344/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=18930384 memory=48052 CPUtime=0.11 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 5743 0 0 0 7 4 0 0 20 0 18 0 74508761 19384713216 12013 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4732596 12013 5272 1 0 546942 0
[pid=83653/tid=83655] ppid=83650 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 4610 0 0 0 4 2 0 0 20 0 18 0 74508763 19384713216 12045 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74508767 19384713216 12045 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=18930384 memory=61792617516369 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74508768 19384713216 12045 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48052 KiB
[startup+0.213622 s]*
/proc/loadavg: 4.75 4.74 4.74 6/324 83671
/proc/meminfo: memFree=99050888/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=18930384 memory=52268 CPUtime=0.28 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 6213 0 0 0 23 5 0 0 20 0 18 0 74508761 19384713216 13067 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4732596 13067 5368 1 0 547310 0
[pid=83653/tid=83655] ppid=83650 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 4979 0 0 0 14 3 0 0 20 0 18 0 74508763 19384713216 13067 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74508767 19384713216 13067 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74508768 19384713216 13067 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52268 KiB
[startup+0.313495 s]*
/proc/loadavg: 4.75 4.74 4.74 6/324 83671
/proc/meminfo: memFree=99034252/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=18930384 memory=58436 CPUtime=0.42 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 6705 0 0 0 37 5 0 0 20 0 18 0 74508761 19384713216 14609 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4732596 14609 5368 1 0 547732 0
[pid=83653/tid=83655] ppid=83650 vsize=18930384 memory=-6000919507066186087 CPUtime=0.25 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) S 83650 83653 83023 0 -1 4194368 5156 0 0 0 22 3 0 0 20 0 18 0 74508763 19384713216 14609 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74508767 19384713216 14609 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74508768 19384713216 14609 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58436 KiB
[startup+0.700347 s]
/proc/loadavg: 4.75 4.74 4.74 7/324 83671
/proc/meminfo: memFree=99008920/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=18996948 memory=66344 CPUtime=1.12 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 7772 0 0 0 106 6 0 0 20 0 19 0 74508761 19452874752 16586 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4749237 16586 5496 1 0 548603 0
[pid=83653/tid=83655] ppid=83650 vsize=18996948 memory=18688 CPUtime=0.61 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 5393 0 0 0 57 4 0 0 20 0 19 0 74508763 19452874752 16586 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74508767 19452874752 16586 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74508768 19452874752 16586 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=18996948 memory=4892 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74508812 19452874752 16586 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66344 KiB
[startup+1.50029 s]
/proc/loadavg: 4.75 4.74 4.74 7/325 83672
/proc/meminfo: memFree=98949876/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=18996948 memory=96144 CPUtime=2.7 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 14261 0 0 0 262 8 0 0 20 0 19 0 74508761 19452874752 24036 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4749237 24036 5496 1 0 551349 0
[pid=83653/tid=83655] ppid=83650 vsize=18996948 memory=0 CPUtime=1.37 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 5636 0 0 0 133 4 0 0 20 0 19 0 74508763 19452874752 24036 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74508767 19452874752 24036 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74508768 19452874752 24036 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=18996948 memory=4892 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74508812 19452874752 24036 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96144 KiB
[startup+3.10583 s]
/proc/loadavg: 4.77 4.74 4.75 6/326 83673
/proc/meminfo: memFree=98359712/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=200372 CPUtime=4.83 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 16978 0 0 0 472 11 0 0 20 0 20 0 74508761 19521036288 50093 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 50093 5496 1 0 551878 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=11264 CPUtime=2.83 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 6777 0 0 0 277 6 0 0 20 0 20 0 74508763 19521036288 50093 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=-6000919507066186087 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 50093 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 74508768 19521036288 50093 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74508812 19521036288 50093 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 200372 KiB
[startup+6.30042 s]
/proc/loadavg: 4.77 4.74 4.75 8/326 83673
/proc/meminfo: memFree=98232736/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=253472 CPUtime=8.27 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 17685 0 0 0 813 14 0 0 20 0 20 0 74508761 19521036288 63368 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 63368 5496 1 0 551880 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=0 CPUtime=5.93 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 6785 0 0 0 587 6 0 0 20 0 20 0 74508763 19521036288 63368 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 63368 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 74508768 19521036288 63368 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=19063512 memory=98476 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74508812 19521036288 63368 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 8.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 253472 KiB
[startup+12.7004 s]
/proc/loadavg: 4.88 4.77 4.75 7/326 83673
/proc/meminfo: memFree=97363124/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=548604 CPUtime=14.94 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 21515 0 0 0 1473 21 0 0 20 0 20 0 74508761 19521036288 137151 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 137151 5496 1 0 695990 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=98476 CPUtime=11.96 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 7578 0 0 0 1189 7 0 0 20 0 20 0 74508763 19521036288 137151 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 137151 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=493308 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 74508768 19521036288 137151 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74508812 19521036288 137151 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 14.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 548604 KiB
[startup+25.5007 s]
/proc/loadavg: 4.90 4.77 4.76 8/326 83674
/proc/meminfo: memFree=95424892/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=1065672 CPUtime=28.37 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 25062 0 0 0 2804 33 0 0 20 0 20 0 74508761 19521036288 266418 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 266418 5496 1 0 934125 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=-6000919507066186087 CPUtime=24.31 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 8269 0 0 0 2421 10 0 0 20 0 20 0 74508763 19521036288 266418 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 266418 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 74508768 19521036288 266418 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74508812 19521036288 266418 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 28.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1065672 KiB
[startup+51.1133 s]
/proc/loadavg: 4.86 4.78 4.76 6/326 83674
/proc/meminfo: memFree=93620436/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=1692864 CPUtime=54.59 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 26718 0 0 0 5411 48 0 0 20 0 20 0 74508761 19521036288 423216 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 423216 5528 1 0 934151 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=1692864 CPUtime=49.17 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 8884 0 0 0 4906 11 0 0 20 0 20 0 74508763 19521036288 423216 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=1565736 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 423216 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=792804 CPUtime=0 cores=0,2
################
# More data... #
################
Current children cumulated memory: 8933268 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.57 4.67 5/327 84041
/proc/meminfo: memFree=87515020/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=9236372 CPUtime=3318.07 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 178343 0 0 0 331399 408 0 0 20 0 20 0 74508761 19521036288 2309093 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 2309093 5528 1 0 2631301 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=7985040 CPUtime=3238.46 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 95591 0 0 0 323794 52 0 0 20 0 20 0 74508763 19521036288 2309093 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=9236372 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 2309093 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=8933268 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 1100 0 0 0 0 0 0 0 20 0 20 0 74508768 19521036288 2309093 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=19063512 memory=8933268 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74508812 19521036288 2309093 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 3318.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9236372 KiB
[startup+3342.3 s]
/proc/loadavg: 4.45 4.57 4.67 6/327 84043
/proc/meminfo: memFree=86103400/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=9424788 CPUtime=3378.17 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 181196 0 0 0 337402 415 0 0 20 0 20 0 74508761 19521036288 2356197 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 2356197 5528 1 0 2631301 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=7985040 CPUtime=3298.01 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 98320 0 0 0 329748 53 0 0 20 0 20 0 74508763 19521036288 2356197 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=9236372 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 2356197 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 1100 0 0 0 0 0 0 0 20 0 20 0 74508768 19521036288 2356197 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=19063512 memory=9424788 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74508812 19521036288 2356197 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 3378.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9424788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.43 4.55 4.66 5/327 84045
/proc/meminfo: memFree=84946776/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=9721748 CPUtime=3438.36 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 184344 0 0 0 343411 425 0 0 20 0 20 0 74508761 19521036288 2430437 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 2430437 5528 1 0 2631301 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=14720 CPUtime=3357.43 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 100708 0 0 0 335690 53 0 0 20 0 20 0 74508763 19521036288 2430437 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 2430437 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=9721748 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 1111 0 0 0 0 0 0 0 20 0 20 0 74508768 19521036288 2430437 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=19063512 memory=9721748 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74508812 19521036288 2430437 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 3438.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9721748 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.53 4.64 5/327 84047
/proc/meminfo: memFree=84402296/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=10251920 CPUtime=3500.28 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 192715 0 0 0 349585 443 0 0 20 0 20 0 74508761 19521036288 2562980 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 2562980 5528 1 0 3111893 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=9721748 CPUtime=3417.16 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 105565 0 0 0 341652 64 0 0 20 0 20 0 74508763 19521036288 2562980 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=10075792 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 2562980 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=10227344 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 1113 0 0 0 0 0 0 0 20 0 20 0 74508768 19521036288 2562980 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=19063512 memory=10213008 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74508812 19521036288 2562980 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 3500.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10251920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.45 4.52 4.63 5/327 84048
/proc/meminfo: memFree=82837940/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=10458772 CPUtime=3560.93 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 196881 0 0 0 355642 451 0 0 20 0 20 0 74508761 19521036288 2614693 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 2614693 5528 1 0 3111893 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=9721748 CPUtime=3476.16 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 108308 0 0 0 347551 65 0 0 20 0 20 0 74508763 19521036288 2614693 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=10368656 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 2614693 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 1168 0 0 0 0 0 0 0 20 0 20 0 74508768 19521036288 2614693 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74508812 19521036288 2614693 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 3560.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10458772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3561.5 s]
/proc/loadavg: 4.40 4.50 4.62 5/328 84053
/proc/meminfo: memFree=82116880/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19063512 memory=10458772 CPUtime=3600.03 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 198507 0 0 0 359550 453 0 0 20 0 20 0 74508761 19521036288 2614693 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4765878 2614693 5528 1 0 3111899 0
[pid=83653/tid=83655] ppid=83650 vsize=19063512 memory=10458772 CPUtime=3515.24 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 109741 0 0 0 351458 66 0 0 20 0 20 0 74508763 19521036288 2614693 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19063512 memory=10368656 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74508767 19521036288 2614693 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19063512 memory=10458772 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 1290 0 0 0 0 0 0 0 20 0 20 0 74508768 19521036288 2614693 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83672] ppid=83650 vsize=19063512 memory=10458772 CPUtime=0 cores=0,2
/proc/83653/task/83672/stat : 83672 (Timer-0) S 83650 83653 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74508812 19521036288 2614693 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10458772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3561.77 s]
# the end of solver process 83653 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.96 s, system=4.57336 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3561.61 s]
/proc/loadavg: 4.40 4.50 4.62 5/328 84053
/proc/meminfo: memFree=82116880/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19263204 memory=10459540 CPUtime=3600.23 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 200781 0 0 0 359569 454 0 0 20 0 21 0 74508761 19725520896 2614885 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4815801 2614885 5560 1 0 3112823 0
[pid=83653/tid=83655] ppid=83650 vsize=19263204 memory=5632 CPUtime=3515.33 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 110027 0 0 0 351467 66 0 0 20 0 21 0 74508763 19725520896 2614885 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19263204 memory=10458772 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 74508767 19725520896 2614885 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19263204 memory=10458772 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 1290 0 0 0 0 0 0 0 20 0 21 0 74508768 19725520896 2614885 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 10459540 KiB
[startup+3561.7 s]
/proc/loadavg: 4.40 4.50 4.62 5/328 84053
/proc/meminfo: memFree=82116880/131382112 swapFree=33009904/33010684
[pid=83653] ppid=83650 vsize=19263204 memory=10459540 CPUtime=3600.42 cores=0,2
/proc/83653/stat : 83653 (java) S 83650 83653 83023 0 -1 4194304 200799 0 0 0 359588 454 0 0 20 0 21 0 74508761 19725520896 2614885 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
/proc/83653/statm: 4815801 2614885 5560 1 0 3112823 0
[pid=83653/tid=83655] ppid=83650 vsize=19263204 memory=10458772 CPUtime=3515.42 cores=0,2
/proc/83653/task/83655/stat : 83655 (java) R 83650 83653 83023 0 -1 4194368 110027 0 0 0 351476 66 0 0 20 0 21 0 74508763 19725520896 2614885 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83664] ppid=83650 vsize=19263204 memory=10368656 CPUtime=0 cores=0,2
/proc/83653/task/83664/stat : 83664 (Finalizer) S 83650 83653 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 74508767 19725520896 2614885 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
[pid=83653/tid=83671] ppid=83650 vsize=19263204 memory=10458772 CPUtime=0 cores=0,2
/proc/83653/task/83671/stat : 83671 (Common-Cleaner) S 83650 83653 83023 0 -1 4194368 1290 0 0 0 0 0 0 0 20 0 21 0 74508768 19725520896 2614885 18446744073709551615 94220010205184 94220010208880 140723182218800 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94220010216696 94220010217488 94220011864064 140723182221697 140723182221798 140723182221798 140723182227400 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 10459540 KiB
Child status: 143
Real time (s): 3561.77
CPU time (s): 3600.53
CPU user time (s): 3595.96
CPU system time (s): 4.57336
CPU usage (%): 101.088
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 10459540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.96
system time used= 4.57336
maximum resident set size= 10459668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112567
involuntary context switches= 11928
# summary of solver processes directly reported to runsolver:
# pid: 83653
# total CPU time (s): 3600.53
# total CPU user time (s): 3595.96
# total CPU system time (s): 4.57336
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8721 second user time and 36.2533 second system time
The end