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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523727-1751594917/watcher-4523727-1751594917 -o /tmp/evaluation-result-4523727-1751594917/solver-4523727-1751594917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751588478-81715 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4523727-1751594917.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=82865, runsolver pid=82862
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.08 4.12 4.09 5/272 82869
/proc/meminfo: memFree=120604636/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82868/stat : 82868 (timeout) S 82865 82868 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75170114 2723840 352 18446744073709551615 93899250397184 93899250413697 140733838616240 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93899250428464 93899250430552 93899265474560 140733838621078 140733838621218 140733838621218 140733838626791 0
/proc/82868/statm: 665 352 352 5 0 90 0
[pid=82869] ppid=82868 vsize=29496 memory=10752 CPUtime=0.07 cores=0,2
/proc/82869/stat : 82869 (CASHWMaxSAT-Dis) R 82868 82868 81700 0 -1 4194304 2063 0 0 0 7 0 0 0 20 0 1 0 75170115 30203904 2688 18446744073709551615 4198400 14093885 140733543889616 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45187072 140733543893404 140733543893531 140733543893531 140733543899104 0
/proc/82869/statm: 7374 2688 736 2416 0 4476 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 36480 KiB
Current children cumulated memory: 15232 KiB

[startup+0.205871 s]*
/proc/loadavg: 4.08 4.12 4.09 5/272 82869
/proc/meminfo: memFree=120604636/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82868/stat : 82868 (timeout) S 82865 82868 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75170114 2723840 352 18446744073709551615 93899250397184 93899250413697 140733838616240 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93899250428464 93899250430552 93899265474560 140733838621078 140733838621218 140733838621218 140733838626791 0
/proc/82868/statm: 665 352 352 5 0 90 0
[pid=82869] ppid=82868 vsize=38268 memory=19328 CPUtime=0.17 cores=0,2
/proc/82869/stat : 82869 (CASHWMaxSAT-Dis) R 82868 82868 81700 0 -1 4194304 4203 0 0 0 17 0 0 0 20 0 1 0 75170115 39186432 4832 18446744073709551615 4198400 14093885 140733543889616 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45187072 140733543893404 140733543893531 140733543893531 140733543899104 0
/proc/82869/statm: 9567 4832 736 2416 0 6669 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 45252 KiB
Current children cumulated memory: 23808 KiB

[startup+0.30585 s]*
/proc/loadavg: 4.08 4.12 4.09 5/272 82869
/proc/meminfo: memFree=120602872/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82868/stat : 82868 (timeout) S 82865 82868 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75170114 2723840 352 18446744073709551615 93899250397184 93899250413697 140733838616240 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93899250428464 93899250430552 93899265474560 140733838621078 140733838621218 140733838621218 140733838626791 0
/proc/82868/statm: 665 352 352 5 0 90 0
[pid=82869] ppid=82868 vsize=46364 memory=27392 CPUtime=0.28 cores=0,2
/proc/82869/stat : 82869 (CASHWMaxSAT-Dis) R 82868 82868 81700 0 -1 4194304 6209 0 0 0 27 1 0 0 20 0 1 0 75170115 47476736 6848 18446744073709551615 4198400 14093885 140733543889616 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45187072 140733543893404 140733543893531 140733543893531 140733543899104 0
/proc/82869/statm: 11591 6848 736 2416 0 8693 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 53348 KiB
Current children cumulated memory: 31872 KiB

[startup+0.700243 s]
/proc/loadavg: 4.08 4.12 4.09 5/272 82869
/proc/meminfo: memFree=120580696/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82868/stat : 82868 (timeout) S 82865 82868 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75170114 2723840 352 18446744073709551615 93899250397184 93899250413697 140733838616240 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93899250428464 93899250430552 93899265474560 140733838621078 140733838621218 140733838621218 140733838626791 0
/proc/82868/statm: 665 352 352 5 0 90 0
[pid=82869] ppid=82868 vsize=78460 memory=56960 CPUtime=0.66 cores=0,2
/proc/82869/stat : 82869 (CASHWMaxSAT-Dis) R 82868 82868 81700 0 -1 4194304 13595 0 0 0 64 2 0 0 20 0 1 0 75170115 80343040 14240 18446744073709551615 4198400 14093885 140733543889616 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45187072 140733543893404 140733543893531 140733543893531 140733543899104 0
/proc/82869/statm: 19615 14240 736 2416 0 16717 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85444 KiB
Current children cumulated memory: 61440 KiB

[startup+1.50024 s]
/proc/loadavg: 4.08 4.12 4.09 5/272 82869
/proc/meminfo: memFree=120504080/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82868/stat : 82868 (timeout) S 82865 82868 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75170114 2723840 352 18446744073709551615 93899250397184 93899250413697 140733838616240 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93899250428464 93899250430552 93899265474560 140733838621078 140733838621218 140733838621218 140733838626791 0
/proc/82868/statm: 665 352 352 5 0 90 0
[pid=82869] ppid=82868 vsize=206860 memory=183480 CPUtime=1.46 cores=0,2
/proc/82869/stat : 82869 (CASHWMaxSAT-Dis) R 82868 82868 81700 0 -1 4194304 29882 0 0 0 138 8 0 0 20 0 1 0 75170115 211824640 45870 18446744073709551615 4198400 14093885 140733543889616 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45187072 140733543893404 140733543893531 140733543893531 140733543899104 0
/proc/82869/statm: 51715 45870 768 2416 0 48817 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 213844 KiB
Current children cumulated memory: 187960 KiB

[startup+3.10573 s]
/proc/loadavg: 4.08 4.12 4.09 5/272 82869
/proc/meminfo: memFree=120307316/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82868/stat : 82868 (timeout) S 82865 82868 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75170114 2723840 352 18446744073709551615 93899250397184 93899250413697 140733838616240 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93899250428464 93899250430552 93899265474560 140733838621078 140733838621218 140733838621218 140733838626791 0
/proc/82868/statm: 665 352 352 5 0 90 0
[pid=82869] ppid=82868 vsize=333220 memory=302120 CPUtime=3.06 cores=0,2
/proc/82869/stat : 82869 (CASHWMaxSAT-Dis) R 82868 82868 81700 0 -1 4194304 39227 0 0 0 294 12 0 0 20 0 1 0 75170115 341217280 75530 18446744073709551615 4198400 14093885 140733543889616 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45187072 140733543893404 140733543893531 140733543893531 140733543899104 0
/proc/82869/statm: 83305 75530 992 2416 0 80407 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 340204 KiB
Current children cumulated memory: 306600 KiB

[startup+6.30023 s]
/proc/loadavg: 4.15 4.13 4.09 5/272 82869
/proc/meminfo: memFree=120004424/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82868/stat : 82868 (timeout) S 82865 82868 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75170114 2723840 352 18446744073709551615 93899250397184 93899250413697 140733838616240 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93899250428464 93899250430552 93899265474560 140733838621078 140733838621218 140733838621218 140733838626791 0
/proc/82868/statm: 665 352 352 5 0 90 0
[pid=82869] ppid=82868 vsize=621488 memory=599888 CPUtime=6.25 cores=0,2
/proc/82869/stat : 82869 (CASHWMaxSAT-Dis) R 82868 82868 81700 0 -1 4194304 62747 0 0 0 602 23 0 0 20 0 1 0 75170115 636403712 149972 18446744073709551615 4198400 14093885 140733543889616 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45187072 140733543893404 140733543893531 140733543893531 140733543899104 0
/proc/82869/statm: 155372 149972 992 2416 0 152474 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 628472 KiB
Current children cumulated memory: 604368 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.09 5/272 82869
/proc/meminfo: memFree=119482828/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82868/stat : 82868 (timeout) S 82865 82868 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75170114 2723840 352 18446744073709551615 93899250397184 93899250413697 140733838616240 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93899250428464 93899250430552 93899265474560 140733838621078 140733838621218 140733838621218 140733838626791 0
/proc/82868/statm: 665 352 352 5 0 90 0
[pid=82869] ppid=82868 vsize=1168328 memory=1049892 CPUtime=12.63 cores=0,2
/proc/82869/stat : 82869 (CASHWMaxSAT-Dis) R 82868 82868 81700 0 -1 4194304 93334 0 0 0 1223 40 0 0 20 0 1 0 75170115 1196367872 262473 18446744073709551615 4198400 14093885 140733543889616 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45187072 140733543893404 140733543893531 140733543893531 140733543899104 0
/proc/82869/statm: 292082 262473 992 2416 0 289184 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1175312 KiB
Current children cumulated memory: 1054372 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/272 82869
/proc/meminfo: memFree=116489756/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82868/stat : 82868 (timeout) S 82865 82868 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75170114 2723840 352 18446744073709551615 93899250397184 93899250413697 140733838616240 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93899250428464 93899250430552 93899265474560 140733838621078 140733838621218 140733838621218 140733838626791 0
/proc/82868/statm: 665 352 352 5 0 90 0
[pid=82869] ppid=82868 vsize=4501924 memory=3816636 CPUtime=25.4 cores=0,2
/proc/82869/stat : 82869 (CASHWMaxSAT-Dis) R 82868 82868 81700 0 -1 4194304 254790 0 0 0 2426 114 0 0 20 0 1 0 75170115 4609970176 954159 18446744073709551615 4198400 14093885 140733543889616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45187072 140733543893404 140733543893531 140733543893531 140733543899104 0
/proc/82869/statm: 1125481 954159 992 2416 0 1122583 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4508908 KiB
Current children cumulated memory: 3821116 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.13 4.09 5/272 82870
/proc/meminfo: memFree=115802360/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82868/stat : 82868 (timeout) S 82865 82868 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75170114 2723840 352 18446744073709551615 93899250397184 93899250413697 140733838616240 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93899250428464 93899250430552 93899265474560 140733838621078 140733838621218 140733838621218 140733838626791 0
/proc/82868/statm: 665 352 352 5 0 90 0
[pid=82869] ppid=82868 vsize=5532480 memory=4819256 CPUtime=50.93 cores=0,2
/proc/82869/stat : 82869 (CASHWMaxSAT-Dis) R 82868 82868 81700 0 -1 4194304 330419 0 0 0 4937 156 0 0 20 0 1 0 75170115 5665259520 1204814 18446744073709551615 4198400 14093885 140733543889616 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 45187072 140733543893404 140733543893531 140733543893531 140733543899104 0
/proc/82869/statm: 1383120 1204814 992 2416 0 1380222 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 5539464 KiB
Current children cumulated memory: 4823736 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 82872
/proc/meminfo: memFree=116292884/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=82868] ppid=82865 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/83056/statm: 217342 202281 3392 2271 0 211980 0
Current children cumulated CPU time: 2016.08 s
Current children cumulated vsize: 876352 KiB
Current children cumulated memory: 813476 KiB

[startup+2082.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 83155
/proc/meminfo: memFree=122355988/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=1194.52 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 286 338706 0 0 0 0 119244 208 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=83055] ppid=82865 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83055/stat : 83055 (timeout) S 82865 83055 81700 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75289921 2723840 320 18446744073709551615 93827206426624 93827206443137 140734465567328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93827206457904 93827206459992 93827222253568 140734465575302 140734465575458 140734465575458 140734465581031 0
/proc/83055/statm: 665 320 320 5 0 90 0
[pid=83056] ppid=83055 vsize=869368 memory=810148 CPUtime=881.39 cores=0,2
/proc/83056/stat : 83056 (ExactPR-S) R 83055 83055 81700 0 -1 4194304 190937 0 0 0 88102 37 0 0 20 0 1 0 75289921 890232832 202537 18446744073709551615 94385738289152 94385747589189 140728260358384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94385749375296 94385749414376 94385781870592 140728260360606 140728260360743 140728260360743 140728260366316 0
/proc/83056/statm: 217342 202537 3392 2271 0 211980 0
Current children cumulated CPU time: 2075.91 s
Current children cumulated vsize: 876352 KiB
Current children cumulated memory: 814500 KiB

[startup+2142.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 83157
/proc/meminfo: memFree=122220756/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=1194.52 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 286 338706 0 0 0 0 119244 208 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=83055] ppid=82865 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83055/stat : 83055 (timeout) S 82865 83055 81700 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75289921 2723840 320 18446744073709551615 93827206426624 93827206443137 140734465567328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93827206457904 93827206459992 93827222253568 140734465575302 140734465575458 140734465575458 140734465581031 0
/proc/83055/statm: 665 320 320 5 0 90 0
[pid=83056] ppid=83055 vsize=869368 memory=815012 CPUtime=941.21 cores=0,2
/proc/83056/stat : 83056 (ExactPR-S) R 83055 83055 81700 0 -1 4194304 190945 0 0 0 94084 37 0 0 20 0 1 0 75289921 890232832 203753 18446744073709551615 94385738289152 94385747589189 140728260358384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94385749375296 94385749414376 94385781870592 140728260360606 140728260360743 140728260360743 140728260366316 0
/proc/83056/statm: 217342 203753 3392 2271 0 211980 0
Current children cumulated CPU time: 2135.73 s
Current children cumulated vsize: 876352 KiB
Current children cumulated memory: 819364 KiB

[startup+2202.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 83160
/proc/meminfo: memFree=122299156/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=1194.52 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 286 338706 0 0 0 0 119244 208 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=83055] ppid=82865 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83055/stat : 83055 (timeout) S 82865 83055 81700 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75289921 2723840 320 18446744073709551615 93827206426624 93827206443137 140734465567328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93827206457904 93827206459992 93827222253568 140734465575302 140734465575458 140734465575458 140734465581031 0
/proc/83055/statm: 665 320 320 5 0 90 0
[pid=83056] ppid=83055 vsize=707888 memory=678056 CPUtime=1001.04 cores=0,2
/proc/83056/stat : 83056 (ExactPR-S) R 83055 83055 81700 0 -1 4194304 191174 0 0 0 100066 38 0 0 20 0 1 0 75289921 724877312 169514 18446744073709551615 94385738289152 94385747589189 140728260358384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94385749375296 94385749414376 94385781870592 140728260360606 140728260360743 140728260360743 140728260366316 0
/proc/83056/statm: 176972 169514 3392 2271 0 171610 0
Current children cumulated CPU time: 2195.56 s
Current children cumulated vsize: 714872 KiB
Current children cumulated memory: 682408 KiB

[startup+2262.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 83163
/proc/meminfo: memFree=122252112/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=1194.52 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 286 338706 0 0 0 0 119244 208 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=83055] ppid=82865 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83055/stat : 83055 (timeout) S 82865 83055 81700 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75289921 2723840 320 18446744073709551615 93827206426624 93827206443137 140734465567328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93827206457904 93827206459992 93827222253568 140734465575302 140734465575458 140734465575458 140734465581031 0
/proc/83055/statm: 665 320 320 5 0 90 0
[pid=83056] ppid=83055 vsize=695296 memory=667896 CPUtime=1060.88 cores=0,2
/proc/83056/stat : 83056 (ExactPR-S) R 83055 83055 81700 0 -1 4194304 191182 0 0 0 106045 43 0 0 20 0 1 0 75289921 711983104 166974 18446744073709551615 94385738289152 94385747589189 140728260358384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94385749375296 94385749414376 94385781870592 140728260360606 140728260360743 140728260360743 140728260366316 0
/proc/83056/statm: 173824 166974 3424 2271 0 168462 0
Current children cumulated CPU time: 2255.4 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 672248 KiB

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

# cumulated CPU time of all completed processes:  user=2260.4 s, system=2.53924 s

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

[startup+2265.6 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 83163
/proc/meminfo: memFree=122256212/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=1194.52 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 286 338706 0 0 0 0 119244 208 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=83055] ppid=82865 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83055/stat : 83055 (timeout) S 82865 83055 81700 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75289921 2723840 320 18446744073709551615 93827206426624 93827206443137 140734465567328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93827206457904 93827206459992 93827222253568 140734465575302 140734465575458 140734465575458 140734465581031 0
/proc/83055/statm: 665 320 320 5 0 90 0
[pid=83056] ppid=83055 vsize=695296 memory=671992 CPUtime=1064.17 cores=0,2
/proc/83056/stat : 83056 (ExactPR-S) R 83055 83055 81700 0 -1 4194304 191184 0 0 0 106374 43 0 0 20 0 1 0 75289921 711983104 167998 18446744073709551615 94385738289152 94385747589189 140728260358384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94385749375296 94385749414376 94385781870592 140728260360606 140728260360743 140728260360743 140728260366316 0
/proc/83056/statm: 173824 167998 3424 2271 0 168462 0
Current children cumulated CPU time: 2258.69 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 676344 KiB

[startup+2267.2 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 83163
/proc/meminfo: memFree=122256212/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=1194.52 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 286 338706 0 0 0 0 119244 208 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=83055] ppid=82865 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83055/stat : 83055 (timeout) S 82865 83055 81700 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75289921 2723840 320 18446744073709551615 93827206426624 93827206443137 140734465567328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93827206457904 93827206459992 93827222253568 140734465575302 140734465575458 140734465575458 140734465581031 0
/proc/83055/statm: 665 320 320 5 0 90 0
[pid=83056] ppid=83055 vsize=695296 memory=674040 CPUtime=1065.76 cores=0,2
/proc/83056/stat : 83056 (ExactPR-S) R 83055 83055 81700 0 -1 4194304 191185 0 0 0 106533 43 0 0 20 0 1 0 75289921 711983104 168510 18446744073709551615 94385738289152 94385747589189 140728260358384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94385749375296 94385749414376 94385781870592 140728260360606 140728260360743 140728260360743 140728260366316 0
/proc/83056/statm: 173824 168510 3424 2271 0 168462 0
Current children cumulated CPU time: 2260.28 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 678392 KiB

[startup+2268.8 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 83163
/proc/meminfo: memFree=122256212/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=1194.52 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 286 338706 0 0 0 0 119244 208 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=83055] ppid=82865 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83055/stat : 83055 (timeout) S 82865 83055 81700 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75289921 2723840 320 18446744073709551615 93827206426624 93827206443137 140734465567328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93827206457904 93827206459992 93827222253568 140734465575302 140734465575458 140734465575458 140734465581031 0
/proc/83055/statm: 665 320 320 5 0 90 0
[pid=83056] ppid=83055 vsize=695296 memory=674040 CPUtime=1067.36 cores=0,2
/proc/83056/stat : 83056 (ExactPR-S) R 83055 83055 81700 0 -1 4194304 191185 0 0 0 106693 43 0 0 20 0 1 0 75289921 711983104 168510 18446744073709551615 94385738289152 94385747589189 140728260358384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94385749375296 94385749414376 94385781870592 140728260360606 140728260360743 140728260360743 140728260366316 0
/proc/83056/statm: 173824 168510 3424 2271 0 168462 0
Current children cumulated CPU time: 2261.88 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 678392 KiB

[startup+2269.6 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 83163
/proc/meminfo: memFree=122256716/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=1194.52 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 286 338706 0 0 0 0 119244 208 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=83055] ppid=82865 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83055/stat : 83055 (timeout) S 82865 83055 81700 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75289921 2723840 320 18446744073709551615 93827206426624 93827206443137 140734465567328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93827206457904 93827206459992 93827222253568 140734465575302 140734465575458 140734465575458 140734465581031 0
/proc/83055/statm: 665 320 320 5 0 90 0
[pid=83056] ppid=83055 vsize=695296 memory=674040 CPUtime=1068.16 cores=0,2
/proc/83056/stat : 83056 (ExactPR-S) R 83055 83055 81700 0 -1 4194304 191185 0 0 0 106773 43 0 0 20 0 1 0 75289921 711983104 168510 18446744073709551615 94385738289152 94385747589189 140728260358384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94385749375296 94385749414376 94385781870592 140728260360606 140728260360743 140728260360743 140728260366316 0
/proc/83056/statm: 173824 168510 3424 2271 0 168462 0
Current children cumulated CPU time: 2262.68 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 678392 KiB

[startup+2269.8 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 83163
/proc/meminfo: memFree=122256716/131249996 swapFree=33010160/33010684
[pid=82865] ppid=82862 vsize=4324 memory=3072 CPUtime=1194.52 cores=0,2
/proc/82865/stat : 82865 (Hybrid-CASHWMax) S 82862 82865 81700 0 -1 4194304 286 338706 0 0 0 0 119244 208 20 0 1 0 75170113 4427776 768 18446744073709551615 94029503971328 94029504865861 140735450642224 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029505104912 94029505152656 94029526487040 140735450650967 140735450651121 140735450651121 140735450656723 0
/proc/82865/statm: 1081 768 704 219 0 143 0
[pid=83055] ppid=82865 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83055/stat : 83055 (timeout) S 82865 83055 81700 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 75289921 2723840 320 18446744073709551615 93827206426624 93827206443137 140734465567328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93827206457904 93827206459992 93827222253568 140734465575302 140734465575458 140734465575458 140734465581031 0
/proc/83055/statm: 665 320 320 5 0 90 0
[pid=83056] ppid=83055 vsize=695296 memory=674040 CPUtime=1068.36 cores=0,2
/proc/83056/stat : 83056 (ExactPR-S) R 83055 83055 81700 0 -1 4194304 191185 0 0 0 106793 43 0 0 20 0 1 0 75289921 711983104 168510 18446744073709551615 94385738289152 94385747589189 140728260358384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94385749375296 94385749414376 94385781870592 140728260360606 140728260360743 140728260360743 140728260366316 0
/proc/83056/statm: 173824 168510 3424 2271 0 168462 0
Current children cumulated CPU time: 2262.88 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 678392 KiB

Child status: 0

Real time (s): 2269.85
CPU time (s): 2262.94
CPU user time (s): 2260.4
CPU system time (s): 2.53924
CPU usage (%): 99.6955
Max. virtual memory (cumulated for all children) (KiB): 6191524
Max. memory (cumulated for all children) (KiB): 5430840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2260.4
system time used= 2.53924
maximum resident set size= 5426360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 531048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 823
involuntary context switches= 5013


# summary of solver processes directly reported to runsolver:
#   pid: 82865
#   total CPU time (s): 2262.94
#   total CPU user time (s): 2260.4
#   total CPU system time (s): 2.53924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.97702 second user time and 11.2313 second system time

The end