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 (62320 MiB free)
memory of node 1: 64465 MiB (63764 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508188-1751508662/watcher-4508188-1751508662 -o /tmp/evaluation-result-4508188-1751508662/solver-4508188-1751508662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751508662-73426 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4508188-1751508662.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73482, runsolver pid=73467
[startup+0.100058 s]*
/proc/loadavg: 0.88 1.21 2.18 9/333 73552
/proc/meminfo: memFree=129034476/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=18930384 memory=52096 CPUtime=0.09 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 6197 0 11 0 7 2 0 0 20 0 18 0 66543661 19384713216 13024 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4732596 13024 5361 1 0 547264 0
[pid=73482/tid=73498] ppid=73467 vsize=18930384 memory=4026531960 CPUtime=0.05 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 4990 0 11 0 4 1 0 0 20 0 18 0 66543663 19384713216 13024 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66543665 19384713216 13024 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=18930384 memory=58485492697507 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66543666 19384713216 13024 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52096 KiB
[startup+0.205352 s]*
/proc/loadavg: 0.88 1.21 2.18 11/333 73552
/proc/meminfo: memFree=129023260/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=18930384 memory=63968 CPUtime=0.28 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 7067 0 11 0 25 3 0 0 20 0 18 0 66543661 19384713216 15992 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4732596 15992 5425 1 0 547933 0
[pid=73482/tid=73498] ppid=73467 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 5395 0 11 0 14 2 0 0 20 0 18 0 66543663 19384713216 15992 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=18930384 memory=2630 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66543665 19384713216 15992 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66543666 19384713216 15992 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63968 KiB
[startup+0.305863 s]*
/proc/loadavg: 0.88 1.21 2.18 10/333 73552
/proc/meminfo: memFree=128841628/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=18930384 memory=105520 CPUtime=0.47 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 8689 0 11 0 44 3 0 0 20 0 18 0 66543661 19384713216 26380 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4732596 26380 5425 1 0 549004 0
[pid=73482/tid=73498] ppid=73467 vsize=18930384 memory=-6000919476984768872 CPUtime=0.24 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 5444 0 11 0 22 2 0 0 20 0 18 0 66543663 19384713216 26380 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=18930384 memory=-4421386504753997920 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66543665 19384713216 26380 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66543666 19384713216 26380 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 105520 KiB
[startup+0.700241 s]
/proc/loadavg: 0.88 1.21 2.18 14/341 73560
/proc/meminfo: memFree=128636224/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=183760 CPUtime=1.23 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 16399 0 11 0 117 6 0 0 20 0 20 0 66543661 19521036288 45940 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 45940 5489 1 0 554667 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=14976 CPUtime=0.53 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 5588 0 11 0 50 3 0 0 20 0 20 0 66543663 19521036288 45940 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 45940 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 45940 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 45940 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183760 KiB
[startup+1.5002 s]
/proc/loadavg: 0.88 1.21 2.18 10/341 73560
/proc/meminfo: memFree=128534100/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=195180 CPUtime=2.79 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 22247 0 11 0 272 7 0 0 20 0 20 0 66543661 19521036288 48795 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 48795 5521 1 0 554703 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=0 CPUtime=1.26 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 5856 0 11 0 123 3 0 0 20 0 20 0 66543663 19521036288 48795 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 48795 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 48795 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 48795 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195180 KiB
[startup+3.10535 s]
/proc/loadavg: 1.53 1.34 2.22 10/341 73560
/proc/meminfo: memFree=126317740/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=1034376 CPUtime=5.71 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 25164 0 11 0 547 24 0 0 20 0 20 0 66543661 19521036288 258594 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 258594 5553 1 0 836688 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=10752 CPUtime=2.79 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 7080 0 11 0 259 20 0 0 20 0 20 0 66543663 19521036288 258594 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=-6000919476984768872 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 258594 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 258594 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 258594 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1034376 KiB
[startup+6.30019 s]
/proc/loadavg: 1.53 1.34 2.22 7/341 73560
/proc/meminfo: memFree=122505968/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=1132020 CPUtime=10.15 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 27814 0 11 0 988 27 0 0 20 0 20 0 66543661 19521036288 283005 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 283005 5553 1 0 836797 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=0 CPUtime=5.83 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 7994 0 11 0 561 22 0 0 20 0 20 0 66543663 19521036288 283005 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 283005 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 283005 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=195180 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 283005 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 10.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1132020 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 1.44 2.24 6/341 73560
/proc/meminfo: memFree=119724416/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=2050952 CPUtime=16.74 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 29602 0 11 0 1629 45 0 0 20 0 20 0 66543661 19521036288 512738 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 512738 5553 1 0 968423 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=195180 CPUtime=12.07 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 9228 0 11 0 1170 37 0 0 20 0 20 0 66543663 19521036288 512738 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=2050952 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 512738 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=1911580 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 512738 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=1542928 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 512738 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 16.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2050952 KiB
[startup+25.5002 s]
/proc/loadavg: 2.29 1.53 2.26 6/341 73560
/proc/meminfo: memFree=118946552/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=2399216 CPUtime=29.74 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 35456 0 11 0 2920 54 0 0 20 0 20 0 66543661 19521036288 599804 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 599804 5553 1 0 968425 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=2128808 CPUtime=24.65 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 11847 0 11 0 2424 41 0 0 20 0 20 0 66543663 19521036288 599804 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=2399216 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 599804 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 599804 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=2382776 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 599804 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 29.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2399216 KiB
[startup+51.1054 s]
/proc/loadavg: 3.06 1.77 2.32 6/341 73561
/proc/meminfo: memFree=118827664/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=2446384 CPUtime=55.75 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 39512 0 11 0 5519 56 0 0 20 0 20 0 66543661 19521036288 611596 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 611596 5553 1 0 968441 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=2382776 CPUtime=49.68 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 14428 0 11 0 4926 42 0 0 20 0 20 0 66543663 19521036288 611596 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=2446384 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 611596 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=2434092 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=114972408/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=3352264 CPUtime=3180.19 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 124455 0 11 0 317847 172 0 0 20 0 20 0 66543661 19521036288 838066 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 838066 5553 1 0 968964 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=3342020 CPUtime=3134.72 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 66342 0 11 0 313418 54 0 0 20 0 20 0 66543663 19521036288 838066 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 838066 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=3348168 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 1915 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 838066 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=3350216 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 838066 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 3180.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3352264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.14 4.12 6/339 73728
/proc/meminfo: memFree=114959796/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=3356364 CPUtime=3240.26 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 124627 0 11 0 323852 174 0 0 20 0 20 0 66543661 19521036288 839091 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 839091 5553 1 0 968964 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=3342020 CPUtime=3194.32 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 66380 0 11 0 319378 54 0 0 20 0 20 0 66543663 19521036288 839091 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 839091 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 839091 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=3354316 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 839091 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 3240.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3356364 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.12 6/339 73731
/proc/meminfo: memFree=114932352/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=3358412 CPUtime=3300.28 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 124708 0 11 0 329853 175 0 0 20 0 20 0 66543661 19521036288 839603 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 839603 5553 1 0 968964 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=3358412 CPUtime=3253.91 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 66425 0 11 0 325336 55 0 0 20 0 20 0 66543663 19521036288 839603 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 839603 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 839603 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=3358412 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 839603 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 3300.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3358412 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.13 6/340 73737
/proc/meminfo: memFree=114902452/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=3362508 CPUtime=3360.3 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 124971 0 11 0 335853 177 0 0 20 0 20 0 66543661 19521036288 840627 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 840627 5553 1 0 968964 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=3356364 CPUtime=3313.56 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 66666 0 11 0 331301 55 0 0 20 0 20 0 66543663 19521036288 840627 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=3362508 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 840627 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=3360460 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 1918 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 840627 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=3362508 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 840627 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 3360.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3362508 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.13 6/341 73742
/proc/meminfo: memFree=114872880/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=3364556 CPUtime=3420.7 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 127499 0 11 0 341891 179 0 0 20 0 20 0 66543661 19521036288 841139 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 841139 5553 1 0 968964 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=3362508 CPUtime=3373.09 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 68254 0 11 0 337254 55 0 0 20 0 20 0 66543663 19521036288 841139 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=3360460 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 841139 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=3362508 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 1918 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 841139 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=3364556 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 841139 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 3420.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3364556 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.12 6/341 73744
/proc/meminfo: memFree=114840028/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=3368652 CPUtime=3481.04 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 127882 0 11 0 347923 181 0 0 20 0 20 0 66543661 19521036288 842163 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 842163 5553 1 0 968964 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=3362508 CPUtime=3432.56 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 68495 0 11 0 343201 55 0 0 20 0 20 0 66543663 19521036288 842163 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=3360460 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 842163 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=3362508 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 2010 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 842163 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=3366604 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 842163 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 3481.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3368652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.12 6/341 73746
/proc/meminfo: memFree=114803376/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=3380964 CPUtime=3541.36 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 129500 0 11 0 353952 184 0 0 20 0 20 0 66543661 19521036288 845241 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 845241 5553 1 0 968964 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=3366604 CPUtime=3492.02 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 69918 0 11 0 349147 55 0 0 20 0 20 0 66543663 19521036288 845241 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=3368652 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 845241 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=3380964 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 2010 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 845241 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 845241 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 3541.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3380964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3580.8 s]
/proc/loadavg: 4.12 4.13 4.12 7/340 74077
/proc/meminfo: memFree=121891800/131249996 swapFree=33006296/33010684
[pid=73482] ppid=73467 vsize=19063512 memory=3403492 CPUtime=3600.06 cores=1,3
/proc/73482/stat : 73482 (java) S 73467 73482 73414 0 -1 4194304 131473 0 11 0 359820 186 0 0 20 0 20 0 66543661 19521036288 850873 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
/proc/73482/statm: 4765878 850873 5553 1 0 968964 0
[pid=73482/tid=73498] ppid=73467 vsize=19063512 memory=14848 CPUtime=3550.01 cores=1,3
/proc/73482/task/73498/stat : 73498 (java) R 73467 73482 73414 0 -1 4194368 71134 0 11 0 354945 56 0 0 20 0 20 0 66543663 19521036288 850873 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73538] ppid=73467 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/73482/task/73538/stat : 73538 (Finalizer) S 73467 73482 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 850873 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73552] ppid=73467 vsize=19063512 memory=-6000919476984768872 CPUtime=0 cores=1,3
/proc/73482/task/73552/stat : 73552 (Common-Cleaner) S 73467 73482 73414 0 -1 4194368 2048 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 850873 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
[pid=73482/tid=73560] ppid=73467 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/73482/task/73560/stat : 73560 (Timer-0) S 73467 73482 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543710 19521036288 850873 18446744073709551615 94747113439232 94747113442928 140728643833360 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94747113450744 94747113451536 94747122839552 140728643836286 140728643836390 140728643836390 140728643841992 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3403492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3580.88 s]
# the end of solver process 73482 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.32 s, system=1.88523 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3580.88
CPU time (s): 3600.21
CPU user time (s): 3598.32
CPU system time (s): 1.88523
CPU usage (%): 100.54
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3403492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.88523
maximum resident set size= 3404644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134066
page faults= 11
swaps= 0
block input operations= 0
block output operations= 11840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130136
involuntary context switches= 10618
# summary of solver processes directly reported to runsolver:
# pid: 73482
# total CPU time (s): 3600.21
# total CPU user time (s): 3598.32
# total CPU system time (s): 1.88523
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46896 second user time and 15.8093 second system time
The end