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: 63794 MiB (60696 MiB free)
  memory of node 1: 64507 MiB (59627 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484934-1751301654/watcher-4484934-1751301654 -o /tmp/evaluation-result-4484934-1751301654/solver-4484934-1751301654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751301654-42366 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484934-1751301654.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=42422, runsolver pid=42406
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123205868/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42430] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42430/stat : 42430 (timeout) S 42422 42430 42353 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 45845204 2723840 320 18446744073709551615 94405838577664 94405838594177 140735869080512 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94405838608944 94405838611032 94405853282304 140735869086104 140735869086242 140735869086242 140735869091815 0
/proc/42430/statm: 665 320 320 5 0 90 0
[pid=42432] ppid=42430 vsize=25448 memory=7040 CPUtime=0.04 cores=5,7
/proc/42432/stat : 42432 (CASHWMaxSAT-Dis) R 42430 42430 42353 0 -1 4194304 1096 0 0 0 4 0 0 0 20 0 1 0 45845207 26058752 1760 18446744073709551615 4198400 14093885 140732126539856 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49188864 140732126542237 140732126542363 140732126542363 140732126547936 0
/proc/42432/statm: 6362 1760 736 2416 0 3464 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 32432 KiB
Current children cumulated memory: 11392 KiB

[startup+0.213924 s]*
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123172352/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42430] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42430/stat : 42430 (timeout) S 42422 42430 42353 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 45845204 2723840 320 18446744073709551615 94405838577664 94405838594177 140735869080512 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94405838608944 94405838611032 94405853282304 140735869086104 140735869086242 140735869086242 140735869091815 0
/proc/42430/statm: 665 320 320 5 0 90 0
[pid=42432] ppid=42430 vsize=32464 memory=14080 CPUtime=0.16 cores=5,7
/proc/42432/stat : 42432 (CASHWMaxSAT-Dis) R 42430 42430 42353 0 -1 4194304 2866 0 0 0 15 1 0 0 20 0 1 0 45845207 33243136 3520 18446744073709551615 4198400 14093885 140732126539856 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49188864 140732126542237 140732126542363 140732126542363 140732126547936 0
/proc/42432/statm: 8116 3520 736 2416 0 5218 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 39448 KiB
Current children cumulated memory: 18432 KiB

[startup+0.313844 s]*
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123144128/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42430] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42430/stat : 42430 (timeout) S 42422 42430 42353 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 45845204 2723840 320 18446744073709551615 94405838577664 94405838594177 140735869080512 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94405838608944 94405838611032 94405853282304 140735869086104 140735869086242 140735869086242 140735869091815 0
/proc/42430/statm: 665 320 320 5 0 90 0
[pid=42432] ppid=42430 vsize=39232 memory=20864 CPUtime=0.25 cores=5,7
/proc/42432/stat : 42432 (CASHWMaxSAT-Dis) R 42430 42430 42353 0 -1 4194304 4548 0 0 0 24 1 0 0 20 0 1 0 45845207 40173568 5216 18446744073709551615 4198400 14093885 140732126539856 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49188864 140732126542237 140732126542363 140732126542363 140732126547936 0
/proc/42432/statm: 9808 5216 736 2416 0 6910 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 46216 KiB
Current children cumulated memory: 25216 KiB

[startup+0.700423 s]
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123095744/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42430] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42430/stat : 42430 (timeout) S 42422 42430 42353 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 45845204 2723840 320 18446744073709551615 94405838577664 94405838594177 140735869080512 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94405838608944 94405838611032 94405853282304 140735869086104 140735869086242 140735869086242 140735869091815 0
/proc/42430/statm: 665 320 320 5 0 90 0
[pid=42432] ppid=42430 vsize=66512 memory=47872 CPUtime=0.63 cores=5,7
/proc/42432/stat : 42432 (CASHWMaxSAT-Dis) R 42430 42430 42353 0 -1 4194304 11326 0 0 0 59 4 0 0 20 0 1 0 45845207 68108288 11968 18446744073709551615 4198400 14093885 140732126539856 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49188864 140732126542237 140732126542363 140732126542363 140732126547936 0
/proc/42432/statm: 16628 11968 736 2416 0 13730 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 73496 KiB
Current children cumulated memory: 52224 KiB

[startup+1.50041 s]
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123038400/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42430] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42430/stat : 42430 (timeout) S 42422 42430 42353 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 45845204 2723840 320 18446744073709551615 94405838577664 94405838594177 140735869080512 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94405838608944 94405838611032 94405853282304 140735869086104 140735869086242 140735869086242 140735869091815 0
/proc/42430/statm: 665 320 320 5 0 90 0
[pid=42432] ppid=42430 vsize=73856 memory=59552 CPUtime=1.42 cores=5,7
/proc/42432/stat : 42432 (CASHWMaxSAT-Dis) R 42430 42430 42353 0 -1 4194304 14860 0 0 0 137 5 0 0 20 0 1 0 45845207 75628544 14888 18446744073709551615 4198400 14093885 140732126539856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49188864 140732126542237 140732126542363 140732126542363 140732126547936 0
/proc/42432/statm: 18464 14888 768 2416 0 15566 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 80840 KiB
Current children cumulated memory: 63904 KiB

[startup+3.1131 s]
/proc/loadavg: 0.84 1.62 2.84 7/260 42434
/proc/meminfo: memFree=123031740/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42430] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42430/stat : 42430 (timeout) S 42422 42430 42353 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 45845204 2723840 320 18446744073709551615 94405838577664 94405838594177 140735869080512 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94405838608944 94405838611032 94405853282304 140735869086104 140735869086242 140735869086242 140735869091815 0
/proc/42430/statm: 665 320 320 5 0 90 0
[pid=42432] ppid=42430 vsize=79640 memory=62752 CPUtime=3.03 cores=5,7
/proc/42432/stat : 42432 (CASHWMaxSAT-Dis) R 42430 42430 42353 0 -1 4194304 15681 0 0 0 298 5 0 0 20 0 1 0 45845207 81551360 15688 18446744073709551615 4198400 14093885 140732126539856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49188864 140732126542237 140732126542363 140732126542363 140732126547936 0
/proc/42432/statm: 19910 15688 768 2416 0 17012 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 86624 KiB
Current children cumulated memory: 67104 KiB

[startup+6.30041 s]
/proc/loadavg: 1.10 1.66 2.85 7/260 42434
/proc/meminfo: memFree=123013916/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42430] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42430/stat : 42430 (timeout) S 42422 42430 42353 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 45845204 2723840 320 18446744073709551615 94405838577664 94405838594177 140735869080512 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94405838608944 94405838611032 94405853282304 140735869086104 140735869086242 140735869086242 140735869091815 0
/proc/42430/statm: 665 320 320 5 0 90 0
[pid=42432] ppid=42430 vsize=86948 memory=72364 CPUtime=6.21 cores=5,7
/proc/42432/stat : 42432 (CASHWMaxSAT-Dis) R 42430 42430 42353 0 -1 4194304 17523 0 0 0 615 6 0 0 20 0 1 0 45845207 89034752 18091 18446744073709551615 4198400 14093885 140732126539856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49188864 140732126542237 140732126542363 140732126542363 140732126547936 0
/proc/42432/statm: 21737 18091 768 2416 0 18839 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 93932 KiB
Current children cumulated memory: 76716 KiB

[startup+12.7004 s]
/proc/loadavg: 1.33 1.70 2.85 7/260 42434
/proc/meminfo: memFree=123001380/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42430] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42430/stat : 42430 (timeout) S 42422 42430 42353 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 45845204 2723840 320 18446744073709551615 94405838577664 94405838594177 140735869080512 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94405838608944 94405838611032 94405853282304 140735869086104 140735869086242 140735869086242 140735869091815 0
/proc/42430/statm: 665 320 320 5 0 90 0
[pid=42432] ppid=42430 vsize=94104 memory=79240 CPUtime=12.58 cores=5,7
/proc/42432/stat : 42432 (CASHWMaxSAT-Dis) R 42430 42430 42353 0 -1 4194304 18229 0 0 0 1252 6 0 0 20 0 1 0 45845207 96362496 19810 18446744073709551615 4198400 14093885 140732126539856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49188864 140732126542237 140732126542363 140732126542363 140732126547936 0
/proc/42432/statm: 23526 19810 768 2416 0 20628 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 101088 KiB
Current children cumulated memory: 83592 KiB

[startup+25.5005 s]
/proc/loadavg: 1.99 1.83 2.88 7/260 42434
/proc/meminfo: memFree=122984648/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42430] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42430/stat : 42430 (timeout) S 42422 42430 42353 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 45845204 2723840 320 18446744073709551615 94405838577664 94405838594177 140735869080512 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94405838608944 94405838611032 94405853282304 140735869086104 140735869086242 140735869086242 140735869091815 0
/proc/42430/statm: 665 320 320 5 0 90 0
[pid=42432] ppid=42430 vsize=98524 memory=84256 CPUtime=25.34 cores=5,7
/proc/42432/stat : 42432 (CASHWMaxSAT-Dis) R 42430 42430 42353 0 -1 4194304 19000 0 0 0 2528 6 0 0 20 0 1 0 45845207 100888576 21064 18446744073709551615 4198400 14093885 140732126539856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49188864 140732126542237 140732126542363 140732126542363 140732126547936 0
/proc/42432/statm: 24631 21064 768 2416 0 21733 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 105508 KiB
Current children cumulated memory: 88608 KiB

[startup+51.1133 s]
/proc/loadavg: 2.68 2.00 2.91 7/260 42435
/proc/meminfo: memFree=122960992/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42430] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42430/stat : 42430 (timeout) S 42422 42430 42353 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 45845204 2723840 320 18446744073709551615 94405838577664 94405838594177 140735869080512 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94405838608944 94405838611032 94405853282304 140735869086104 140735869086242 140735869086242 140735869091815 0
/proc/42430/statm: 665 320 320 5 0 90 0
[pid=42432] ppid=42430 vsize=91452 memory=76836 CPUtime=50.88 cores=5,7
/proc/42432/stat : 42432 (CASHWMaxSAT-Dis) R 42430 42430 42353 0 -1 4194304 19951 0 0 0 5081 7 0 0 20 0 1 0 45845207 93646848 19209 18446744073709551615 4198400 14093885 140732126539856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49188864 140732126542237 140732126542363 140732126542363 140732126547936 0
/proc/42432/statm: 22863 19209 768 2416 0 19965 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 98436 KiB
Current children cumulated memory: 81188 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.33 2.97 7/260 42436
/proc/meminfo: memFree=122917672/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0

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

/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42472] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42472/stat : 42472 (timeout) S 42422 42472 42353 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 93867599982592 93867599999105 140728822555568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93867600013872 93867600015960 93867610730496 140728822561157 140728822561314 140728822561314 140728822566887 0
/proc/42472/statm: 665 320 320 5 0 90 0
[pid=42476] ppid=42472 vsize=1223912 memory=1009976 CPUtime=2615.93 cores=5,7
/proc/42476/stat : 42476 (ExactPR-S9) R 42472 42472 42353 0 -1 4194304 226515 0 0 0 260058 1535 0 0 20 0 1 0 45935109 1253285888 252494 18446744073709551615 93932555423744 93932564723845 140726335285424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93932566509888 93932566548968 93932604874752 140726335293852 140726335293990 140726335293990 140726335299563 0
/proc/42476/statm: 305978 252494 3488 2271 0 300616 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 1230896 KiB
Current children cumulated memory: 1014328 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119506848/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=896.52 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 283 25388 0 1 0 0 89631 21 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42472] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42472/stat : 42472 (timeout) S 42422 42472 42353 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 93867599982592 93867599999105 140728822555568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93867600013872 93867600015960 93867610730496 140728822561157 140728822561314 140728822561314 140728822566887 0
/proc/42472/statm: 665 320 320 5 0 90 0
[pid=42476] ppid=42472 vsize=1223912 memory=1009976 CPUtime=2675.78 cores=5,7
/proc/42476/stat : 42476 (ExactPR-S9) R 42472 42472 42353 0 -1 4194304 226515 0 0 0 266041 1537 0 0 20 0 1 0 45935109 1253285888 252494 18446744073709551615 93932555423744 93932564723845 140726335285424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93932566509888 93932566548968 93932604874752 140726335293852 140726335293990 140726335293990 140726335299563 0
/proc/42476/statm: 305978 252494 3488 2271 0 300616 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 1230896 KiB
Current children cumulated memory: 1014328 KiB

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

# cumulated CPU time of all completed processes:  user=3572.65 s, system=15.6357 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119507100/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=896.52 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 283 25388 0 1 0 0 89631 21 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42472] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42472/stat : 42472 (timeout) S 42422 42472 42353 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 93867599982592 93867599999105 140728822555568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93867600013872 93867600015960 93867610730496 140728822561157 140728822561314 140728822561314 140728822566887 0
/proc/42472/statm: 665 320 320 5 0 90 0
[pid=42476] ppid=42472 vsize=1223912 memory=1009976 CPUtime=2677.49 cores=5,7
/proc/42476/stat : 42476 (ExactPR-S9) R 42472 42472 42353 0 -1 4194304 226515 0 0 0 266212 1537 0 0 20 0 1 0 45935109 1253285888 252494 18446744073709551615 93932555423744 93932564723845 140726335285424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93932566509888 93932566548968 93932604874752 140726335293852 140726335293990 140726335293990 140726335299563 0
/proc/42476/statm: 305978 252494 3488 2271 0 300616 0
Current children cumulated CPU time: 3574.01 s
Current children cumulated vsize: 1230896 KiB
Current children cumulated memory: 1014328 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119523984/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=896.52 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 283 25388 0 1 0 0 89631 21 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42472] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42472/stat : 42472 (timeout) S 42422 42472 42353 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 93867599982592 93867599999105 140728822555568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93867600013872 93867600015960 93867610730496 140728822561157 140728822561314 140728822561314 140728822566887 0
/proc/42472/statm: 665 320 320 5 0 90 0
[pid=42476] ppid=42472 vsize=1223912 memory=1009976 CPUtime=2683.86 cores=5,7
/proc/42476/stat : 42476 (ExactPR-S9) R 42472 42472 42353 0 -1 4194304 226515 0 0 0 266849 1537 0 0 20 0 1 0 45935109 1253285888 252494 18446744073709551615 93932555423744 93932564723845 140726335285424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93932566509888 93932566548968 93932604874752 140726335293852 140726335293990 140726335293990 140726335299563 0
/proc/42476/statm: 305978 252494 3488 2271 0 300616 0
Current children cumulated CPU time: 3580.38 s
Current children cumulated vsize: 1230896 KiB
Current children cumulated memory: 1014328 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119520252/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=896.52 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 283 25388 0 1 0 0 89631 21 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42472] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42472/stat : 42472 (timeout) S 42422 42472 42353 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 93867599982592 93867599999105 140728822555568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93867600013872 93867600015960 93867610730496 140728822561157 140728822561314 140728822561314 140728822566887 0
/proc/42472/statm: 665 320 320 5 0 90 0
[pid=42476] ppid=42472 vsize=1223912 memory=1009976 CPUtime=2687.05 cores=5,7
/proc/42476/stat : 42476 (ExactPR-S9) R 42472 42472 42353 0 -1 4194304 226515 0 0 0 267168 1537 0 0 20 0 1 0 45935109 1253285888 252494 18446744073709551615 93932555423744 93932564723845 140726335285424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93932566509888 93932566548968 93932604874752 140726335293852 140726335293990 140726335293990 140726335299563 0
/proc/42476/statm: 305978 252494 3488 2271 0 300616 0
Current children cumulated CPU time: 3583.57 s
Current children cumulated vsize: 1230896 KiB
Current children cumulated memory: 1014328 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.09 7/258 42618
/proc/meminfo: memFree=119520508/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=896.52 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 283 25388 0 1 0 0 89631 21 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42472] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42472/stat : 42472 (timeout) S 42422 42472 42353 0 -1 4194304 113 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 93867599982592 93867599999105 140728822555568 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 93867600013872 93867600015960 93867610730496 140728822561157 140728822561314 140728822561314 140728822566887 0
/proc/42472/statm: 665 320 320 5 0 90 0
[pid=42476] ppid=42472 vsize=1223912 memory=1009976 CPUtime=2690.25 cores=5,7
/proc/42476/stat : 42476 (ExactPR-S9) R 42472 42472 42353 0 -1 4194304 226515 0 0 0 267487 1538 0 0 20 0 1 0 45935109 1253285888 252494 18446744073709551615 93932555423744 93932564723845 140726335285424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93932566509888 93932566548968 93932604874752 140726335293852 140726335293990 140726335293990 140726335299563 0
/proc/42476/statm: 305978 252494 3488 2271 0 300616 0
Current children cumulated CPU time: 3586.77 s
Current children cumulated vsize: 1230896 KiB
Current children cumulated memory: 1014328 KiB

[startup+3597.6 s]
/proc/loadavg: 4.09 4.10 4.09 2/241 42709
/proc/meminfo: memFree=122155152/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=896.52 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 283 25388 0 1 0 0 89631 21 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42472] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42472/stat : 42472 (timeout) S 42422 42472 42353 0 -1 4194304 113 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 93867599982592 93867599999105 140728822555568 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 93867600013872 93867600015960 93867610730496 140728822561157 140728822561314 140728822561314 140728822566887 0
/proc/42472/statm: 665 320 320 5 0 90 0
[pid=42476] ppid=42472 vsize=1223912 memory=1009976 CPUtime=2691.05 cores=5,7
/proc/42476/stat : 42476 (ExactPR-S9) R 42472 42472 42353 0 -1 4194304 226515 0 0 0 267567 1538 0 0 20 0 1 0 45935109 1253285888 252494 18446744073709551615 93932555423744 93932564723845 140726335285424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93932566509888 93932566548968 93932604874752 140726335293852 140726335293990 140726335293990 140726335299563 0
/proc/42476/statm: 305978 252494 3488 2271 0 300616 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 1230896 KiB
Current children cumulated memory: 1014328 KiB

[startup+3598 s]*
/proc/loadavg: 4.09 4.10 4.09 3/241 42709
/proc/meminfo: memFree=122155152/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=896.52 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 283 25388 0 1 0 0 89631 21 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42472] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42472/stat : 42472 (timeout) S 42422 42472 42353 0 -1 4194304 113 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 93867599982592 93867599999105 140728822555568 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 93867600013872 93867600015960 93867610730496 140728822561157 140728822561314 140728822561314 140728822566887 0
/proc/42472/statm: 665 320 320 5 0 90 0
[pid=42476] ppid=42472 vsize=1223912 memory=1009976 CPUtime=2691.46 cores=5,7
/proc/42476/stat : 42476 (ExactPR-S9) R 42472 42472 42353 0 -1 4194304 226515 0 0 0 267608 1538 0 0 20 0 1 0 45935109 1253285888 252494 18446744073709551615 93932555423744 93932564723845 140726335285424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93932566509888 93932566548968 93932604874752 140726335293852 140726335293990 140726335293990 140726335299563 0
/proc/42476/statm: 305978 252494 3488 2271 0 300616 0
Current children cumulated CPU time: 3587.98 s
Current children cumulated vsize: 1230896 KiB
Current children cumulated memory: 1014328 KiB

[startup+3598.2 s]
/proc/loadavg: 4.09 4.10 4.09 3/241 42709
/proc/meminfo: memFree=122155152/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=896.52 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 283 25388 0 1 0 0 89631 21 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
[pid=42472] ppid=42422 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/42472/stat : 42472 (timeout) S 42422 42472 42353 0 -1 4194304 113 0 0 0 0 0 0 0 20 0 1 0 45935107 2723840 320 18446744073709551615 93867599982592 93867599999105 140728822555568 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 93867600013872 93867600015960 93867610730496 140728822561157 140728822561314 140728822561314 140728822566887 0
/proc/42472/statm: 665 320 320 5 0 90 0
[pid=42476] ppid=42472 vsize=1223912 memory=1009976 CPUtime=2691.64 cores=5,7
/proc/42476/stat : 42476 (ExactPR-S9) R 42472 42472 42353 0 -1 4194304 226515 0 0 0 267626 1538 0 0 20 0 1 0 45935109 1253285888 252494 18446744073709551615 93932555423744 93932564723845 140726335285424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93932566509888 93932566548968 93932604874752 140726335293852 140726335293990 140726335293990 140726335299563 0
/proc/42476/statm: 305978 252494 3488 2271 0 300616 0
Current children cumulated CPU time: 3588.16 s
Current children cumulated vsize: 1230896 KiB
Current children cumulated memory: 1014328 KiB

[startup+3598.3 s]
/proc/loadavg: 4.09 4.10 4.09 3/241 42709
/proc/meminfo: memFree=122155152/131382112 swapFree=33010684/33010684
[pid=42422] ppid=42406 vsize=4324 memory=3072 CPUtime=3588.24 cores=5,7
/proc/42422/stat : 42422 (Hybrid-CASHWMax) S 42406 42422 42353 0 -1 4194304 374 253163 0 1 0 0 357264 1560 20 0 1 0 45845201 4427776 768 18446744073709551615 94468111081472 94468111976005 140723521218944 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94468112215056 94468112262800 94468117680128 140723521227093 140723521227248 140723521227248 140723521232850 0
/proc/42422/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3588.24 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3598.35
CPU time (s): 3588.29
CPU user time (s): 3572.65
CPU system time (s): 15.6357
CPU usage (%): 99.7204
Max. virtual memory (cumulated for all children) (KiB): 1583180
Max. memory (cumulated for all children) (KiB): 1086996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.65
system time used= 15.6357
maximum resident set size= 1082644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255411
page faults= 1
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2152
involuntary context switches= 1558


# summary of solver processes directly reported to runsolver:
#   pid: 42422
#   total CPU time (s): 3588.29
#   total CPU user time (s): 3572.65
#   total CPU system time (s): 15.6357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9936 second user time and 37.37 second system time

The end