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: 63708 MiB (58382 MiB free)
memory of node 1: 64465 MiB (61389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498150-1751273222/watcher-4498150-1751273222 -o /tmp/evaluation-result-4498150-1751273222/solver-4498150-1751273222 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751270061-35890 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4498150-1751273222.opb
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36761, runsolver pid=36758
[startup+0.10006 s]*
/proc/loadavg: 4.53 4.56 4.54 6/339 36779
/proc/meminfo: memFree=122623828/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=18930384 memory=55532 CPUtime=0.12 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 6529 0 0 0 10 2 0 0 20 0 18 0 43000794 19384713216 13883 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4732596 13883 5338 1 0 547587 0
[pid=36761/tid=36763] ppid=36758 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 5038 0 0 0 5 2 0 0 20 0 18 0 43000795 19384713216 13883 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43000797 19384713216 13883 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=18930384 memory=61784027576291 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43000798 19384713216 13883 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55532 KiB
[startup+0.205836 s]*
/proc/loadavg: 4.53 4.56 4.54 7/339 36779
/proc/meminfo: memFree=122619484/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=18930384 memory=64424 CPUtime=0.31 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 7121 0 0 0 28 3 0 0 20 0 18 0 43000794 19384713216 16106 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4732596 16106 5434 1 0 547978 0
[pid=36761/tid=36763] ppid=36758 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 5392 0 0 0 15 2 0 0 20 0 18 0 43000795 19384713216 16106 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=18930384 memory=13937 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43000797 19384713216 16106 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=18930384 memory=60684515935208 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43000798 19384713216 16106 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64424 KiB
[startup+0.305858 s]*
/proc/loadavg: 4.53 4.56 4.54 6/339 36779
/proc/meminfo: memFree=122599004/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=18930384 memory=87900 CPUtime=0.51 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 7896 0 0 0 47 4 0 0 20 0 18 0 43000794 19384713216 21975 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4732596 21975 5434 1 0 548147 0
[pid=36761/tid=36763] ppid=36758 vsize=18930384 memory=-6000919472706381420 CPUtime=0.28 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 5416 0 0 0 25 3 0 0 20 0 18 0 43000795 19384713216 21975 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43000797 19384713216 21975 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43000798 19384713216 21975 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 87900 KiB
[startup+0.700217 s]
/proc/loadavg: 4.53 4.56 4.54 6/340 36780
/proc/meminfo: memFree=122558044/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=167664 CPUtime=1.25 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 11444 0 0 0 118 7 0 0 20 0 20 0 43000794 19521036288 41916 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 41916 5498 1 0 550341 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=17664 CPUtime=0.58 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) S 36758 36761 35399 0 -1 4194368 5560 0 0 0 54 4 0 0 20 0 20 0 43000795 19521036288 41916 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 41916 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 41916 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=4496 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 41916 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167664 KiB
[startup+1.50043 s]
/proc/loadavg: 4.53 4.56 4.54 6/341 36781
/proc/meminfo: memFree=122505936/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=209232 CPUtime=2.83 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 14139 0 0 0 274 9 0 0 20 0 20 0 43000794 19521036288 52308 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 52308 5530 1 0 551713 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=0 CPUtime=1.28 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 5565 0 0 0 123 5 0 0 20 0 20 0 43000795 19521036288 52308 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 52308 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 52308 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=4496 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 52308 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 209232 KiB
[startup+3.10571 s]
/proc/loadavg: 4.53 4.56 4.54 6/341 36781
/proc/meminfo: memFree=122260860/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=439228 CPUtime=5.8 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 20436 0 2 0 566 14 0 0 20 0 20 0 43000794 19521036288 109807 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 109807 5562 1 0 833382 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=11136 CPUtime=2.7 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 5657 0 0 0 263 7 0 0 20 0 20 0 43000795 19521036288 109807 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=-6000919472706381420 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 109807 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 109807 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 109807 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 439228 KiB
[startup+6.30021 s]
/proc/loadavg: 4.57 4.57 4.54 5/341 36781
/proc/meminfo: memFree=121888944/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=895508 CPUtime=9.81 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 23651 0 2 0 959 22 0 0 20 0 20 0 43000794 19521036288 223877 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 223877 5562 1 0 1322214 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=0 CPUtime=5.72 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) S 36758 36761 35399 0 -1 4194368 5941 0 0 0 559 13 0 0 20 0 20 0 43000795 19521036288 223877 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 223877 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 223877 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=209360 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 223877 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 9.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 895508 KiB
[startup+12.7002 s]
/proc/loadavg: 4.60 4.57 4.55 5/341 36781
/proc/meminfo: memFree=121364404/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=1325152 CPUtime=16.58 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 30870 0 2 0 1628 30 0 0 20 0 20 0 43000794 19521036288 331288 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 331288 5562 1 0 1322233 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=209360 CPUtime=11.9 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 7509 0 0 0 1174 16 0 0 20 0 20 0 43000795 19521036288 331288 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=14572 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 331288 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=1312860 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 331288 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 331288 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 16.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325152 KiB
[startup+25.5003 s]
/proc/loadavg: 4.47 4.54 4.54 5/341 36781
/proc/meminfo: memFree=119242440/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=3431020 CPUtime=30.18 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 39819 0 2 0 2947 71 0 0 20 0 20 0 43000794 19521036288 857755 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 857755 5562 1 0 1322306 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=-6000919472706381420 CPUtime=24.39 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 10577 0 0 0 2388 51 0 0 20 0 20 0 43000795 19521036288 857755 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 857755 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 857755 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=14572 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 857755 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 30.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3431020 KiB
[startup+51.1058 s]
/proc/loadavg: 4.31 4.50 4.52 5/341 36782
/proc/meminfo: memFree=118601724/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=4067584 CPUtime=56.49 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 46272 0 2 0 5563 86 0 0 20 0 20 0 43000794 19521036288 1016896 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 1016896 5562 1 0 1466488 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=4067584 CPUtime=49.46 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 13547 0 0 0 4883 63 0 0 20 0 20 0 43000795 19521036288 1016896 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=4067456 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 1016896 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
################
# More data... #
################
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 1722634 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=6890536 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 1735 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 1722634 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=6768 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 1722634 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 3117.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6890536 KiB
[startup+2862.3 s]
/proc/loadavg: 4.98 4.97 4.79 5/339 37139
/proc/meminfo: memFree=103440752/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=6932296 CPUtime=3189.91 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 260216 0 2 0 318537 454 0 0 20 0 20 0 43000794 19521036288 1733074 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 1733074 5594 1 0 1748919 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=14572 CPUtime=2815.41 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 125857 0 0 0 281428 113 0 0 20 0 20 0 43000795 19521036288 1733074 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=2208 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 1733074 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=6932296 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 1735 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 1733074 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=6932296 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 1733074 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 3189.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6932296 KiB
[startup+2922.3 s]
/proc/loadavg: 5.04 4.98 4.81 6/340 37149
/proc/meminfo: memFree=103207460/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=7007304 CPUtime=3262.34 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 264112 0 2 0 325769 465 0 0 20 0 20 0 43000794 19521036288 1751826 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 1751826 5594 1 0 1767718 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=7007304 CPUtime=2874.55 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 128377 0 0 0 287340 115 0 0 20 0 20 0 43000795 19521036288 1751826 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=2208 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 1751826 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=14572 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 1754 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 1751826 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=14572 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 1751826 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 3262.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7007304 KiB
[startup+2982.3 s]
/proc/loadavg: 5.42 5.10 4.86 5/340 37151
/proc/meminfo: memFree=102871724/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=7090696 CPUtime=3335.04 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 266147 0 2 0 333026 478 0 0 20 0 20 0 43000794 19521036288 1772674 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 1772674 5594 1 0 1788610 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=14572 CPUtime=2933.7 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 129965 0 0 0 293253 117 0 0 20 0 20 0 43000795 19521036288 1772674 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=14572 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 1772674 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=7090696 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 1754 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 1772674 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=6974024 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 1772674 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 3335.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7090696 KiB
[startup+3042.3 s]
/proc/loadavg: 5.34 5.14 4.89 6/340 37153
/proc/meminfo: memFree=102470596/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=7157572 CPUtime=3408.03 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 270976 0 2 0 340312 491 0 0 20 0 20 0 43000794 19521036288 1789393 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 1789393 5594 1 0 1805343 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=7090696 CPUtime=2992.78 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 133642 0 0 0 299159 119 0 0 20 0 20 0 43000795 19521036288 1789393 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=7157572 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 1789393 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=7157572 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 1758 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 1789393 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 1789393 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 3408.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7157572 KiB
[startup+3102.3 s]
/proc/loadavg: 5.55 5.24 4.94 7/340 37155
/proc/meminfo: memFree=101919316/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=7257668 CPUtime=3481.14 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 275121 0 2 0 347608 506 0 0 20 0 20 0 43000794 19521036288 1814417 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 1814417 5594 1 0 1830410 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=4496 CPUtime=3051.82 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 136499 0 0 0 305059 123 0 0 20 0 20 0 43000795 19521036288 1814417 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=7215940 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 1814417 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=7157572 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 1762 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 1814417 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=-4050210904893342357 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 1814417 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 3481.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7257668 KiB
[startup+3162.3 s]
/proc/loadavg: 5.24 5.21 4.95 6/340 37157
/proc/meminfo: memFree=101351940/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=7341180 CPUtime=3554.35 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 277685 0 2 0 354916 519 0 0 20 0 20 0 43000794 19521036288 1835295 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 1835295 5594 1 0 1851375 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=7215940 CPUtime=3111.04 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 138612 0 0 0 310979 125 0 0 20 0 20 0 43000795 19521036288 1835295 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=7299580 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 1835295 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=7299580 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 1762 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 1835295 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=14572 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 1835295 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 3554.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7341180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3201.11 s]
/proc/loadavg: 5.54 5.28 4.99 7/339 37160
/proc/meminfo: memFree=101010888/131249996 swapFree=33010684/33010684
[pid=36761] ppid=36758 vsize=19063512 memory=7391356 CPUtime=3600.03 cores=1,3
/proc/36761/stat : 36761 (java) S 36758 36761 35399 0 -1 4194304 280664 0 2 0 359477 526 0 0 20 0 20 0 43000794 19521036288 1847839 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
/proc/36761/statm: 4765878 1847839 5594 1 0 1863913 0
[pid=36761/tid=36763] ppid=36758 vsize=19063512 memory=7215940 CPUtime=3149.27 cores=1,3
/proc/36761/task/36763/stat : 36763 (java) R 36758 36761 35399 0 -1 4194368 140556 0 0 0 314801 126 0 0 20 0 20 0 43000795 19521036288 1847839 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36772] ppid=36758 vsize=19063512 memory=7341308 CPUtime=0 cores=1,3
/proc/36761/task/36772/stat : 36772 (Finalizer) S 36758 36761 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43000797 19521036288 1847839 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36779] ppid=36758 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/36761/task/36779/stat : 36779 (Common-Cleaner) S 36758 36761 35399 0 -1 4194368 1762 0 0 0 0 0 0 0 20 0 20 0 43000798 19521036288 1847839 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
[pid=36761/tid=36780] ppid=36758 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/36761/task/36780/stat : 36780 (Timer-0) S 36758 36761 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43000841 19521036288 1847839 18446744073709551615 94694093615104 94694093618800 140728224957920 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94694093626616 94694093627408 94694105022464 140728224962942 140728224963046 140728224963046 140728224968648 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7391356 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3201.21 s]
# the end of solver process 36761 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.93 s, system=5.29388 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3201.21 s]*
/proc/loadavg: 5.54 5.28 4.99 6/321 37163
/proc/meminfo: memFree=107801300/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3201.21
CPU time (s): 3600.23
CPU user time (s): 3594.93
CPU system time (s): 5.29388
CPU usage (%): 112.464
Max. virtual memory (cumulated for all children) (KiB): 19068348
Max. memory (cumulated for all children) (KiB): 7391356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.93
system time used= 5.29388
maximum resident set size= 7392124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282453
page faults= 2
swaps= 0
block input operations= 152
block output operations= 20320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115380
involuntary context switches= 26339
# summary of solver processes directly reported to runsolver:
# pid: 36761
# total CPU time (s): 3600.23
# total CPU user time (s): 3594.93
# total CPU system time (s): 5.29388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66738 second user time and 14.3462 second system time
The end