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 (62470 MiB free)
  memory of node 1: 64465 MiB (63852 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497958-1751270068/watcher-4497958-1751270068 -o /tmp/evaluation-result-4497958-1751270068/solver-4497958-1751270068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751270066-36244 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497958-1751270068.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=36421, runsolver pid=36418

[startup+0.100059 s]*
/proc/loadavg: 7.12 7.89 6.98 6/337 36439
/proc/meminfo: memFree=129319312/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=18930384 memory=55396 CPUtime=0.12 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 6522 0 0 0 10 2 0 0 20 0 18 0 42684295 19384713216 13849 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4732596 13849 5338 1 0 547587 0
[pid=36421/tid=36423] ppid=36418 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 5023 0 0 0 6 1 0 0 20 0 18 0 42684296 19384713216 13849 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684298 19384713216 13849 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=18930384 memory=56286469452864 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42684299 19384713216 13849 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55396 KiB

[startup+0.205725 s]*
/proc/loadavg: 7.12 7.89 6.98 7/337 36439
/proc/meminfo: memFree=129310880/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=18930384 memory=66048 CPUtime=0.31 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 7003 0 0 0 29 2 0 0 20 0 18 0 42684295 19384713216 16512 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4732596 16512 5434 1 0 547872 0
[pid=36421/tid=36423] ppid=36418 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 5296 0 0 0 16 1 0 0 20 0 18 0 42684296 19384713216 16512 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=18930384 memory=2621 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684298 19384713216 16512 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=18930384 memory=55186957796323 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42684299 19384713216 16512 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66048 KiB

[startup+0.305712 s]*
/proc/loadavg: 7.12 7.89 6.98 6/337 36439
/proc/meminfo: memFree=129244716/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=18930384 memory=126720 CPUtime=0.5 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 9034 0 0 0 46 4 0 0 20 0 18 0 42684295 19384713216 31680 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4732596 31680 5434 1 0 548728 0
[pid=36421/tid=36423] ppid=36418 vsize=18930384 memory=-6000919472773686892 CPUtime=0.25 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 5325 0 0 0 23 2 0 0 20 0 18 0 42684296 19384713216 31680 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684298 19384713216 31680 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42684299 19384713216 31680 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 126720 KiB

[startup+0.700235 s]
/proc/loadavg: 7.12 7.89 6.98 6/338 36440
/proc/meminfo: memFree=129216360/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=18996948 memory=151044 CPUtime=1.27 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 12500 0 0 0 122 5 0 0 20 0 19 0 42684295 19452874752 37761 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4749237 37761 5466 1 0 551306 0
[pid=36421/tid=36423] ppid=36418 vsize=18996948 memory=17536 CPUtime=0.63 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 5389 0 0 0 60 3 0 0 20 0 19 0 42684296 19452874752 37761 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684298 19452874752 37761 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684299 19452874752 37761 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684329 19452874752 37761 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 151044 KiB

[startup+1.5002 s]
/proc/loadavg: 7.12 7.89 6.98 5/339 36441
/proc/meminfo: memFree=129086304/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=191408 CPUtime=2.39 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 13413 0 0 0 233 6 0 0 20 0 20 0 42684295 19521036288 47852 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 47852 5466 1 0 552264 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=0 CPUtime=1.39 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 5443 0 0 0 136 3 0 0 20 0 20 0 42684296 19521036288 47852 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 47852 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 47852 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 47852 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191408 KiB

[startup+3.1055 s]
/proc/loadavg: 6.95 7.85 6.97 5/340 36442
/proc/meminfo: memFree=128914124/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=206284 CPUtime=4.15 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 18127 0 0 0 408 7 0 0 20 0 20 0 42684295 19521036288 51571 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 51571 5466 1 0 552309 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=10752 CPUtime=2.96 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) S 36418 36421 35566 0 -1 4194368 6505 0 0 0 293 3 0 0 20 0 20 0 42684296 19521036288 51571 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=-6000919472773686892 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 51571 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 51571 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 51571 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 4.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 206284 KiB

[startup+6.30017 s]
/proc/loadavg: 6.95 7.85 6.97 5/340 36442
/proc/meminfo: memFree=128502636/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=323596 CPUtime=7.5 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 20468 0 0 0 740 10 0 0 20 0 20 0 42684295 19521036288 80899 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 80899 5466 1 0 552311 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=0 CPUtime=6.03 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 7199 0 0 0 600 3 0 0 20 0 20 0 42684296 19521036288 80899 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 80899 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 80899 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=191408 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 80899 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 323596 KiB

[startup+12.7002 s]
/proc/loadavg: 6.72 7.78 6.96 5/340 36442
/proc/meminfo: memFree=127678340/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=552244 CPUtime=14.04 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 22488 0 0 0 1390 14 0 0 20 0 20 0 42684295 19521036288 138061 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 138061 5466 1 0 658820 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=191408 CPUtime=12.26 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 7647 0 0 0 1223 3 0 0 20 0 20 0 42684296 19521036288 138061 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=519476 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 138061 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 138061 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 138061 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 14.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 552244 KiB

[startup+25.5002 s]
/proc/loadavg: 6.19 7.61 6.91 6/340 36442
/proc/meminfo: memFree=126262248/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=1148256 CPUtime=27.23 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 28050 0 0 0 2697 26 0 0 20 0 20 0 42684295 19521036288 287064 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 287064 5498 1 0 786243 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=940168 CPUtime=24.67 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 8497 0 0 0 2460 7 0 0 20 0 20 0 42684296 19521036288 287064 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=1056096 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 287064 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=940168 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 287064 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 287064 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 27.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1148256 KiB

[startup+51.1057 s]
/proc/loadavg: 5.52 7.34 6.84 5/340 36443
/proc/meminfo: memFree=123418768/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=2521568 CPUtime=54.46 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 41431 0 0 0 5390 56 0 0 20 0 20 0 42684295 19521036288 630392 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 630392 5530 1 0 920380 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=2140996 CPUtime=49.14 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 9944 0 0 0 4903 11 0 0 20 0 20 0 42684296 19521036288 630392 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=2513072 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 630392 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0

################
# More data... #
################

/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 1123 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 1909.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3650604 KiB

[startup+1962.3 s]
/proc/loadavg: 4.08 4.13 4.49 5/340 36544
/proc/meminfo: memFree=115684240/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=3650604 CPUtime=1969.44 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 84075 0 0 0 196815 129 0 0 20 0 20 0 42684295 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 912651 5530 1 0 1142996 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=14848 CPUtime=1950.71 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 28963 0 0 0 195053 18 0 0 20 0 20 0 42684296 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=3650604 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=3650604 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 1969.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3650604 KiB

[startup+2022.3 s]
/proc/loadavg: 4.07 4.12 4.46 5/339 36546
/proc/meminfo: memFree=115560144/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=3650604 CPUtime=2029.51 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 85609 0 0 0 202821 130 0 0 20 0 20 0 42684295 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 912651 5530 1 0 1142996 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=14848 CPUtime=2010.38 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 29478 0 0 0 201019 19 0 0 20 0 20 0 42684296 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 2029.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3650604 KiB

[startup+2031.25 s]
# the end of solver process 36421 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=2037.15 s, system=1.33029 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2022.4 s]
/proc/loadavg: 4.07 4.12 4.46 5/339 36546
/proc/meminfo: memFree=115560144/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=3650604 CPUtime=2029.61 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 85609 0 0 0 202831 130 0 0 20 0 20 0 42684295 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 912651 5530 1 0 1142996 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=164 CPUtime=2010.48 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 29478 0 0 0 201029 19 0 0 20 0 20 0 42684296 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=-6000919472773686892 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 2029.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3650604 KiB

[startup+2025.6 s]
/proc/loadavg: 4.07 4.12 4.45 5/339 36546
/proc/meminfo: memFree=115556088/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=3650604 CPUtime=2032.81 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 85625 0 0 0 203150 131 0 0 20 0 20 0 42684295 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 912651 5530 1 0 1142996 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=3650604 CPUtime=2013.67 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 29494 0 0 0 201348 19 0 0 20 0 20 0 42684296 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 2032.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3650604 KiB

[startup+2028.8 s]
/proc/loadavg: 4.14 4.13 4.46 5/339 36546
/proc/meminfo: memFree=115547648/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=3650604 CPUtime=2036 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 85650 0 0 0 203469 131 0 0 20 0 20 0 42684295 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 912651 5530 1 0 1142996 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=17536 CPUtime=2016.86 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 29519 0 0 0 201667 19 0 0 20 0 20 0 42684296 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=3650604 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 2036 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3650604 KiB

[startup+2030.4 s]
/proc/loadavg: 4.14 4.13 4.46 5/339 36546
/proc/meminfo: memFree=115547672/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=3650604 CPUtime=2037.6 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 85652 0 0 0 203629 131 0 0 20 0 20 0 42684295 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 912651 5530 1 0 1142996 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=3650604 CPUtime=2018.46 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 29521 0 0 0 201827 19 0 0 20 0 20 0 42684296 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 2037.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3650604 KiB

[startup+2030.8 s]
/proc/loadavg: 4.14 4.13 4.46 5/339 36546
/proc/meminfo: memFree=115547672/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19063512 memory=3650604 CPUtime=2038 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 85652 0 0 0 203669 131 0 0 20 0 20 0 42684295 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4765878 912651 5530 1 0 1142996 0
[pid=36421/tid=36423] ppid=36418 vsize=19063512 memory=3650604 CPUtime=2018.86 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) R 36418 36421 35566 0 -1 4194368 29521 0 0 0 201867 19 0 0 20 0 20 0 42684296 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19063512 memory=-6000919472773686892 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 42684299 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36440] ppid=36418 vsize=19063512 memory=3650604 CPUtime=0 cores=1,3
/proc/36421/task/36440/stat : 36440 (Timer-0) S 36418 36421 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684329 19521036288 912651 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 2038 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3650604 KiB

[startup+2031.2 s]
/proc/loadavg: 4.14 4.13 4.46 5/339 36546
/proc/meminfo: memFree=115543576/131249996 swapFree=33010684/33010684
[pid=36421] ppid=36418 vsize=19196640 memory=3650988 CPUtime=2038.41 cores=1,3
/proc/36421/stat : 36421 (java) S 36418 36421 35566 0 -1 4194304 87799 0 0 0 203710 131 0 0 20 0 20 0 42684295 19657359360 912747 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
/proc/36421/statm: 4799160 912747 5530 1 0 1143631 0
[pid=36421/tid=36423] ppid=36418 vsize=19196640 memory=14848 CPUtime=2019.23 cores=1,3
/proc/36421/task/36423/stat : 36423 (java) S 36418 36421 35566 0 -1 4194368 31126 0 0 0 201904 19 0 0 20 0 20 0 42684296 19657359360 912747 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36432] ppid=36418 vsize=19196640 memory=17536 CPUtime=0 cores=1,3
/proc/36421/task/36432/stat : 36432 (Finalizer) S 36418 36421 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684298 19657359360 912747 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
[pid=36421/tid=36439] ppid=36418 vsize=19196640 memory=10752 CPUtime=0 cores=1,3
/proc/36421/task/36439/stat : 36439 (Common-Cleaner) S 36418 36421 35566 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 42684299 19657359360 912747 18446744073709551615 94368641167360 94368641171056 140721287934320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94368641178872 94368641179664 94368649871360 140721287936385 140721287936486 140721287936486 140721287942088 0
Current children cumulated CPU time: 2038.41 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 3650988 KiB

Child status: 10

Real time (s): 2031.25
CPU time (s): 2038.48
CPU user time (s): 2037.15
CPU system time (s): 1.33029
CPU usage (%): 100.356
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 3650988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2037.15
system time used= 1.3303
maximum resident set size= 3651244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66297
involuntary context switches= 4303


# summary of solver processes directly reported to runsolver:
#   pid: 36421
#   total CPU time (s): 2038.48
#   total CPU user time (s): 2037.15
#   total CPU system time (s): 1.33029

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.3109 second user time and 9.45253 second system time

The end