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: 63665 MiB (55710 MiB free)
  memory of node 1: 64507 MiB (55145 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523772-1751590926/watcher-4523772-1751590926 -o /tmp/evaluation-result-4523772-1751590926/solver-4523772-1751590926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751588898-87921 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4523772-1751590926.opb 3600 HOME 

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=88468, runsolver pid=88465

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.14 4.06 5/274 88472
/proc/meminfo: memFree=113515972/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88471] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88471/stat : 88471 (timeout) S 88468 88471 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74770364 2723840 352 18446744073709551615 93951636545536 93951636562049 140721120386544 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93951636576816 93951636578904 93951664295936 140721120389526 140721120389666 140721120389666 140721120395239 0
/proc/88471/statm: 665 352 352 5 0 90 0
[pid=88472] ppid=88471 vsize=25976 memory=11392 CPUtime=0.07 cores=1,3
/proc/88472/stat : 88472 (CASHWMaxSAT-Dis) R 88471 88471 87909 0 -1 4194304 2095 0 0 0 7 0 0 0 20 0 1 0 74770365 26599424 2848 18446744073709551615 4198400 14817773 140731634505344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49082368 140731634514332 140731634514459 140731634514459 140731634520032 0
/proc/88472/statm: 6494 2848 864 2593 0 3387 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32960 KiB
Current children cumulated memory: 15744 KiB

[startup+0.205889 s]*
/proc/loadavg: 4.11 4.14 4.06 5/274 88472
/proc/meminfo: memFree=113508380/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88471] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88471/stat : 88471 (timeout) S 88468 88471 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74770364 2723840 352 18446744073709551615 93951636545536 93951636562049 140721120386544 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93951636576816 93951636578904 93951664295936 140721120389526 140721120389666 140721120389666 140721120395239 0
/proc/88471/statm: 665 352 352 5 0 90 0
[pid=88472] ppid=88471 vsize=34604 memory=19968 CPUtime=0.18 cores=1,3
/proc/88472/stat : 88472 (CASHWMaxSAT-Dis) R 88471 88471 87909 0 -1 4194304 4219 0 0 0 17 1 0 0 20 0 1 0 74770365 35434496 4992 18446744073709551615 4198400 14817773 140731634505344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49082368 140731634514332 140731634514459 140731634514459 140731634520032 0
/proc/88472/statm: 8651 4992 864 2593 0 5544 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41588 KiB
Current children cumulated memory: 24320 KiB

[startup+0.305803 s]*
/proc/loadavg: 4.11 4.14 4.06 5/274 88472
/proc/meminfo: memFree=113496284/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88471] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88471/stat : 88471 (timeout) S 88468 88471 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74770364 2723840 352 18446744073709551615 93951636545536 93951636562049 140721120386544 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93951636576816 93951636578904 93951664295936 140721120389526 140721120389666 140721120389666 140721120395239 0
/proc/88471/statm: 665 352 352 5 0 90 0
[pid=88472] ppid=88471 vsize=42812 memory=28032 CPUtime=0.28 cores=1,3
/proc/88472/stat : 88472 (CASHWMaxSAT-Dis) R 88471 88471 87909 0 -1 4194304 6228 0 0 0 27 1 0 0 20 0 1 0 74770365 43839488 7008 18446744073709551615 4198400 14817773 140731634505344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49082368 140731634514332 140731634514459 140731634514459 140731634520032 0
/proc/88472/statm: 10703 7008 864 2593 0 7596 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 49796 KiB
Current children cumulated memory: 32384 KiB

[startup+0.70018 s]
/proc/loadavg: 4.11 4.14 4.06 5/274 88472
/proc/meminfo: memFree=113480156/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88471] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88471/stat : 88471 (timeout) S 88468 88471 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74770364 2723840 352 18446744073709551615 93951636545536 93951636562049 140721120386544 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93951636576816 93951636578904 93951664295936 140721120389526 140721120389666 140721120389666 140721120395239 0
/proc/88471/statm: 665 352 352 5 0 90 0
[pid=88472] ppid=88471 vsize=74560 memory=56704 CPUtime=0.67 cores=1,3
/proc/88472/stat : 88472 (CASHWMaxSAT-Dis) R 88471 88471 87909 0 -1 4194304 13416 0 0 0 65 2 0 0 20 0 1 0 74770365 76349440 14176 18446744073709551615 4198400 14817773 140731634505344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49082368 140731634514332 140731634514459 140731634514459 140731634520032 0
/proc/88472/statm: 18640 14176 864 2593 0 15533 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81544 KiB
Current children cumulated memory: 61056 KiB

[startup+1.50018 s]
/proc/loadavg: 4.10 4.14 4.06 5/274 88472
/proc/meminfo: memFree=113395600/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88471] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88471/stat : 88471 (timeout) S 88468 88471 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74770364 2723840 352 18446744073709551615 93951636545536 93951636562049 140721120386544 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93951636576816 93951636578904 93951664295936 140721120389526 140721120389666 140721120389666 140721120395239 0
/proc/88471/statm: 665 352 352 5 0 90 0
[pid=88472] ppid=88471 vsize=229352 memory=192976 CPUtime=1.47 cores=1,3
/proc/88472/stat : 88472 (CASHWMaxSAT-Dis) R 88471 88471 87909 0 -1 4194304 32630 0 0 0 140 7 0 0 20 0 1 0 74770365 234856448 48244 18446744073709551615 4198400 14817773 140731634505344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49082368 140731634514332 140731634514459 140731634514459 140731634520032 0
/proc/88472/statm: 57338 48244 896 2593 0 54231 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 236336 KiB
Current children cumulated memory: 197328 KiB

[startup+3.10562 s]
/proc/loadavg: 4.10 4.14 4.06 5/274 88472
/proc/meminfo: memFree=113175960/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88471] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88471/stat : 88471 (timeout) S 88468 88471 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74770364 2723840 352 18446744073709551615 93951636545536 93951636562049 140721120386544 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93951636576816 93951636578904 93951664295936 140721120389526 140721120389666 140721120389666 140721120395239 0
/proc/88471/statm: 665 352 352 5 0 90 0
[pid=88472] ppid=88471 vsize=331716 memory=304048 CPUtime=3.06 cores=1,3
/proc/88472/stat : 88472 (CASHWMaxSAT-Dis) R 88471 88471 87909 0 -1 4194304 41086 0 0 0 296 10 0 0 20 0 1 0 74770365 339677184 76012 18446744073709551615 4198400 14817773 140731634505344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49082368 140731634514332 140731634514459 140731634514459 140731634520032 0
/proc/88472/statm: 82929 76012 1152 2593 0 79822 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 338700 KiB
Current children cumulated memory: 308400 KiB

[startup+6.30017 s]
/proc/loadavg: 4.09 4.14 4.06 5/274 88472
/proc/meminfo: memFree=112875524/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88471] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88471/stat : 88471 (timeout) S 88468 88471 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74770364 2723840 352 18446744073709551615 93951636545536 93951636562049 140721120386544 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93951636576816 93951636578904 93951664295936 140721120389526 140721120389666 140721120389666 140721120395239 0
/proc/88471/statm: 665 352 352 5 0 90 0
[pid=88472] ppid=88471 vsize=727592 memory=607228 CPUtime=6.26 cores=1,3
/proc/88472/stat : 88472 (CASHWMaxSAT-Dis) R 88471 88471 87909 0 -1 4194304 65446 0 0 0 605 21 0 0 20 0 1 0 74770365 745054208 151807 18446744073709551615 4198400 14817773 140731634505344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49082368 140731634514332 140731634514459 140731634514459 140731634520032 0
/proc/88472/statm: 181898 151807 1152 2593 0 178791 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 734576 KiB
Current children cumulated memory: 611580 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.14 4.06 5/274 88472
/proc/meminfo: memFree=111508296/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88471] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88471/stat : 88471 (timeout) S 88468 88471 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74770364 2723840 352 18446744073709551615 93951636545536 93951636562049 140721120386544 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93951636576816 93951636578904 93951664295936 140721120389526 140721120389666 140721120389666 140721120395239 0
/proc/88471/statm: 665 352 352 5 0 90 0
[pid=88472] ppid=88471 vsize=1168436 memory=1053436 CPUtime=12.64 cores=1,3
/proc/88472/stat : 88472 (CASHWMaxSAT-Dis) R 88471 88471 87909 0 -1 4194304 95103 0 0 0 1226 38 0 0 20 0 1 0 74770365 1196478464 263359 18446744073709551615 4198400 14817773 140731634505344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49082368 140731634514332 140731634514459 140731634514459 140731634520032 0
/proc/88472/statm: 292109 263359 1152 2593 0 289002 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1175420 KiB
Current children cumulated memory: 1057788 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.15 4.06 5/274 88472
/proc/meminfo: memFree=108313676/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88471] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88471/stat : 88471 (timeout) S 88468 88471 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74770364 2723840 352 18446744073709551615 93951636545536 93951636562049 140721120386544 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93951636576816 93951636578904 93951664295936 140721120389526 140721120389666 140721120389666 140721120395239 0
/proc/88471/statm: 665 352 352 5 0 90 0
[pid=88472] ppid=88471 vsize=4812472 memory=4409404 CPUtime=25.4 cores=1,3
/proc/88472/stat : 88472 (CASHWMaxSAT-Dis) R 88471 88471 87909 0 -1 4194304 511244 0 0 0 2379 161 0 0 20 0 1 0 74770365 4927971328 1102351 18446744073709551615 4198400 14817773 140731634505344 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49082368 140731634514332 140731634514459 140731634514459 140731634520032 0
/proc/88472/statm: 1203118 1102351 1216 2593 0 1200011 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4819456 KiB
Current children cumulated memory: 4413756 KiB

[startup+51.1059 s]
/proc/loadavg: 4.09 4.13 4.06 5/274 88473
/proc/meminfo: memFree=109155520/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88471] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88471/stat : 88471 (timeout) S 88468 88471 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74770364 2723840 352 18446744073709551615 93951636545536 93951636562049 140721120386544 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93951636576816 93951636578904 93951664295936 140721120389526 140721120389666 140721120389666 140721120395239 0
/proc/88471/statm: 665 352 352 5 0 90 0
[pid=88472] ppid=88471 vsize=4883880 memory=4473504 CPUtime=50.94 cores=1,3
/proc/88472/stat : 88472 (CASHWMaxSAT-Dis) R 88471 88471 87909 0 -1 4194304 520242 0 0 0 4930 164 0 0 20 0 1 0 74770365 5001093120 1118376 18446744073709551615 4198400 14817773 140731634505344 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 49082368 140731634514332 140731634514459 140731634514459 140731634520032 0
/proc/88472/statm: 1220970 1118376 1216 2593 0 1217863 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4890864 KiB
Current children cumulated memory: 4477856 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.06 5/274 88475
/proc/meminfo: memFree=109379504/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0

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

/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88533] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88533/stat : 88533 (timeout) S 88468 88533 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74890170 2723840 352 18446744073709551615 94542439751680 94542439768193 140728003735344 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94542439782960 94542439785048 94542441754624 140728003737990 140728003738146 140728003738146 140728003743719 0
/proc/88533/statm: 665 352 352 5 0 90 0
[pid=88534] ppid=88533 vsize=930408 memory=880740 CPUtime=941.31 cores=1,3
/proc/88534/stat : 88534 (ExactPR-S) R 88533 88533 87909 0 -1 4194304 251808 0 0 0 94084 47 0 0 20 0 1 0 74890171 952737792 220185 18446744073709551615 94589777281024 94589786581061 140729687190512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94589788367168 94589788406248 94589811384320 140729687198110 140729687198247 140729687198247 140729687203820 0
/proc/88534/statm: 232602 220185 3520 2271 0 227240 0
Current children cumulated CPU time: 2136.11 s
Current children cumulated vsize: 937392 KiB
Current children cumulated memory: 885092 KiB

[startup+2202.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 88859
/proc/meminfo: memFree=122048616/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=1194.8 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 282 763825 0 0 0 0 118145 1335 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88533] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88533/stat : 88533 (timeout) S 88468 88533 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74890170 2723840 352 18446744073709551615 94542439751680 94542439768193 140728003735344 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94542439782960 94542439785048 94542441754624 140728003737990 140728003738146 140728003738146 140728003743719 0
/proc/88533/statm: 665 352 352 5 0 90 0
[pid=88534] ppid=88533 vsize=808308 memory=781448 CPUtime=1001.14 cores=1,3
/proc/88534/stat : 88534 (ExactPR-S) R 88533 88533 87909 0 -1 4194304 251931 0 0 0 100067 47 0 0 20 0 1 0 74890171 827707392 195362 18446744073709551615 94589777281024 94589786581061 140729687190512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94589788367168 94589788406248 94589811384320 140729687198110 140729687198247 140729687198247 140729687203820 0
/proc/88534/statm: 202077 195362 3520 2271 0 196715 0
Current children cumulated CPU time: 2195.94 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785800 KiB

[startup+2260.64 s]
# the end of solver process 88468 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2240.22 s, system=13.8948 s

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

[startup+2227.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 88860
/proc/meminfo: memFree=122006784/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=1194.8 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 282 763825 0 0 0 0 118145 1335 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88533] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88533/stat : 88533 (timeout) S 88468 88533 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74890170 2723840 352 18446744073709551615 94542439751680 94542439768193 140728003735344 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94542439782960 94542439785048 94542441754624 140728003737990 140728003738146 140728003738146 140728003743719 0
/proc/88533/statm: 665 352 352 5 0 90 0
[pid=88534] ppid=88533 vsize=808308 memory=781448 CPUtime=1025.97 cores=1,3
/proc/88534/stat : 88534 (ExactPR-S) R 88533 88533 87909 0 -1 4194304 251931 0 0 0 102548 49 0 0 20 0 1 0 74890171 827707392 195362 18446744073709551615 94589777281024 94589786581061 140729687190512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94589788367168 94589788406248 94589811384320 140729687198110 140729687198247 140729687198247 140729687203820 0
/proc/88534/statm: 202077 195362 3520 2271 0 196715 0
Current children cumulated CPU time: 2220.77 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785800 KiB

[startup+2240 s]*
/proc/loadavg: 4.10 4.09 4.09 5/271 88860
/proc/meminfo: memFree=122020220/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=1194.8 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 282 763825 0 0 0 0 118145 1335 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88533] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88533/stat : 88533 (timeout) S 88468 88533 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74890170 2723840 352 18446744073709551615 94542439751680 94542439768193 140728003735344 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94542439782960 94542439785048 94542441754624 140728003737990 140728003738146 140728003738146 140728003743719 0
/proc/88533/statm: 665 352 352 5 0 90 0
[pid=88534] ppid=88533 vsize=808308 memory=781448 CPUtime=1038.75 cores=1,3
/proc/88534/stat : 88534 (ExactPR-S) R 88533 88533 87909 0 -1 4194304 251931 0 0 0 103825 50 0 0 20 0 1 0 74890171 827707392 195362 18446744073709551615 94589777281024 94589786581061 140729687190512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94589788367168 94589788406248 94589811384320 140729687198110 140729687198247 140729687198247 140729687203820 0
/proc/88534/statm: 202077 195362 3520 2271 0 196715 0
Current children cumulated CPU time: 2233.55 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785800 KiB

[startup+2252.8 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 88862
/proc/meminfo: memFree=122003836/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=1194.8 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 282 763825 0 0 0 0 118145 1335 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88533] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88533/stat : 88533 (timeout) S 88468 88533 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74890170 2723840 352 18446744073709551615 94542439751680 94542439768193 140728003735344 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94542439782960 94542439785048 94542441754624 140728003737990 140728003738146 140728003738146 140728003743719 0
/proc/88533/statm: 665 352 352 5 0 90 0
[pid=88534] ppid=88533 vsize=808308 memory=781448 CPUtime=1051.5 cores=1,3
/proc/88534/stat : 88534 (ExactPR-S) R 88533 88533 87909 0 -1 4194304 251931 0 0 0 105099 51 0 0 20 0 1 0 74890171 827707392 195362 18446744073709551615 94589777281024 94589786581061 140729687190512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94589788367168 94589788406248 94589811384320 140729687198110 140729687198247 140729687198247 140729687203820 0
/proc/88534/statm: 202077 195362 3520 2271 0 196715 0
Current children cumulated CPU time: 2246.3 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785800 KiB

[startup+2256 s]*
/proc/loadavg: 4.07 4.09 4.09 5/272 88862
/proc/meminfo: memFree=122001688/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=1194.8 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 282 763825 0 0 0 0 118145 1335 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88533] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88533/stat : 88533 (timeout) S 88468 88533 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74890170 2723840 352 18446744073709551615 94542439751680 94542439768193 140728003735344 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94542439782960 94542439785048 94542441754624 140728003737990 140728003738146 140728003738146 140728003743719 0
/proc/88533/statm: 665 352 352 5 0 90 0
[pid=88534] ppid=88533 vsize=808308 memory=781448 CPUtime=1054.7 cores=1,3
/proc/88534/stat : 88534 (ExactPR-S) R 88533 88533 87909 0 -1 4194304 251931 0 0 0 105418 52 0 0 20 0 1 0 74890171 827707392 195362 18446744073709551615 94589777281024 94589786581061 140729687190512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94589788367168 94589788406248 94589811384320 140729687198110 140729687198247 140729687198247 140729687203820 0
/proc/88534/statm: 202077 195362 3520 2271 0 196715 0
Current children cumulated CPU time: 2249.5 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785800 KiB

[startup+2259.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 88862
/proc/meminfo: memFree=121960736/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=1194.8 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 282 763825 0 0 0 0 118145 1335 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88533] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88533/stat : 88533 (timeout) S 88468 88533 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74890170 2723840 352 18446744073709551615 94542439751680 94542439768193 140728003735344 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94542439782960 94542439785048 94542441754624 140728003737990 140728003738146 140728003738146 140728003743719 0
/proc/88533/statm: 665 352 352 5 0 90 0
[pid=88534] ppid=88533 vsize=808308 memory=781448 CPUtime=1057.89 cores=1,3
/proc/88534/stat : 88534 (ExactPR-S) R 88533 88533 87909 0 -1 4194304 252023 0 0 0 105737 52 0 0 20 0 1 0 74890171 827707392 195362 18446744073709551615 94589777281024 94589786581061 140729687190512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94589788367168 94589788406248 94589811384320 140729687198110 140729687198247 140729687198247 140729687203820 0
/proc/88534/statm: 202077 195362 3520 2271 0 196715 0
Current children cumulated CPU time: 2252.69 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785800 KiB

[startup+2260 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 88862
/proc/meminfo: memFree=121960736/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=1194.8 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 282 763825 0 0 0 0 118145 1335 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88533] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88533/stat : 88533 (timeout) S 88468 88533 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74890170 2723840 352 18446744073709551615 94542439751680 94542439768193 140728003735344 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94542439782960 94542439785048 94542441754624 140728003737990 140728003738146 140728003738146 140728003743719 0
/proc/88533/statm: 665 352 352 5 0 90 0
[pid=88534] ppid=88533 vsize=808308 memory=781448 CPUtime=1058.69 cores=1,3
/proc/88534/stat : 88534 (ExactPR-S) R 88533 88533 87909 0 -1 4194304 252023 0 0 0 105817 52 0 0 20 0 1 0 74890171 827707392 195362 18446744073709551615 94589777281024 94589786581061 140729687190512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94589788367168 94589788406248 94589811384320 140729687198110 140729687198247 140729687198247 140729687203820 0
/proc/88534/statm: 202077 195362 3520 2271 0 196715 0
Current children cumulated CPU time: 2253.49 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785800 KiB

[startup+2260.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 88862
/proc/meminfo: memFree=121960736/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=1194.8 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 282 763825 0 0 0 0 118145 1335 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
[pid=88533] ppid=88468 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/88533/stat : 88533 (timeout) S 88468 88533 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74890170 2723840 352 18446744073709551615 94542439751680 94542439768193 140728003735344 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94542439782960 94542439785048 94542441754624 140728003737990 140728003738146 140728003738146 140728003743719 0
/proc/88533/statm: 665 352 352 5 0 90 0
[pid=88534] ppid=88533 vsize=808308 memory=781448 CPUtime=1059.08 cores=1,3
/proc/88534/stat : 88534 (ExactPR-S) R 88533 88533 87909 0 -1 4194304 252023 0 0 0 105856 52 0 0 20 0 1 0 74890171 827707392 195362 18446744073709551615 94589777281024 94589786581061 140729687190512 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94589788367168 94589788406248 94589811384320 140729687198110 140729687198247 140729687198247 140729687203820 0
/proc/88534/statm: 202077 195362 3520 2271 0 196715 0
Current children cumulated CPU time: 2253.88 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785800 KiB

[startup+2260.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 88862
/proc/meminfo: memFree=121960736/131249996 swapFree=33010672/33010684
[pid=88468] ppid=88465 vsize=4324 memory=2944 CPUtime=2254.09 cores=1,3
/proc/88468/stat : 88468 (Hybrid-CASHWMax) S 88465 88468 87909 0 -1 4194304 302 1015976 0 0 0 0 224021 1388 20 0 1 0 74770363 4427776 736 18446744073709551615 94805677801472 94805678696005 140721658516400 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 94805678935056 94805678982800 94805685239808 140721658521943 140721658522097 140721658522097 140721658527699 0
/proc/88468/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2254.09 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2260.64
CPU time (s): 2254.11
CPU user time (s): 2240.22
CPU system time (s): 13.8948
CPU usage (%): 99.7115
Max. virtual memory (cumulated for all children) (KiB): 6935844
Max. memory (cumulated for all children) (KiB): 6377116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2240.22
system time used= 13.8948
maximum resident set size= 6416680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1016994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 998
involuntary context switches= 3730


# summary of solver processes directly reported to runsolver:
#   pid: 88468
#   total CPU time (s): 2254.11
#   total CPU user time (s): 2240.22
#   total CPU system time (s): 13.8948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76642 second user time and 11.0908 second system time

The end