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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502490-1751438558/watcher-4502490-1751438558 -o /tmp/evaluation-result-4502490-1751438558/solver-4502490-1751438558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751434956-60911 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4502490-1751438558.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=61445, runsolver pid=61442
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 1.02 1.07 1.17 2/247 61449
/proc/meminfo: memFree=125578340/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61448/stat : 61448 (timeout) S 61445 61448 59758 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59534457 2723840 352 18446744073709551615 93960361246720 93960361263233 140721887766416 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93960361278000 93960361280088 93960365805568 140721887771032 140721887771170 140721887771170 140721887776743 0
/proc/61448/statm: 665 352 352 5 0 90 0
[pid=61449] ppid=61448 vsize=30896 memory=12416 CPUtime=0.08 cores=0,2
/proc/61449/stat : 61449 (CASHWMaxSAT-Dis) R 61448 61448 59758 0 -1 4194304 2436 0 0 0 8 0 0 0 20 0 1 0 59534458 31637504 3104 18446744073709551615 4198400 14093885 140736616359664 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36282368 140736616364445 140736616364571 140736616364571 140736616370144 0
/proc/61449/statm: 7724 3104 736 2416 0 4826 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 37880 KiB
Current children cumulated memory: 16896 KiB

[startup+0.20517 s]*
/proc/loadavg: 1.02 1.07 1.17 2/247 61449
/proc/meminfo: memFree=125562212/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61448/stat : 61448 (timeout) S 61445 61448 59758 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59534457 2723840 352 18446744073709551615 93960361246720 93960361263233 140721887766416 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93960361278000 93960361280088 93960365805568 140721887771032 140721887771170 140721887771170 140721887776743 0
/proc/61448/statm: 665 352 352 5 0 90 0
[pid=61449] ppid=61448 vsize=49576 memory=30848 CPUtime=0.19 cores=0,2
/proc/61449/stat : 61449 (CASHWMaxSAT-Dis) R 61448 61448 59758 0 -1 4194304 7061 0 0 0 18 1 0 0 20 0 1 0 59534458 50765824 7712 18446744073709551615 4198400 14093885 140736616359664 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36282368 140736616364445 140736616364571 140736616364571 140736616370144 0
/proc/61449/statm: 12394 7712 736 2416 0 9496 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56560 KiB
Current children cumulated memory: 35328 KiB

[startup+0.30518 s]*
/proc/loadavg: 1.02 1.07 1.17 2/247 61449
/proc/meminfo: memFree=125546100/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61448/stat : 61448 (timeout) S 61445 61448 59758 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59534457 2723840 352 18446744073709551615 93960361246720 93960361263233 140721887766416 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93960361278000 93960361280088 93960365805568 140721887771032 140721887771170 140721887771170 140721887776743 0
/proc/61448/statm: 665 352 352 5 0 90 0
[pid=61449] ppid=61448 vsize=68144 memory=49536 CPUtime=0.28 cores=0,2
/proc/61449/stat : 61449 (CASHWMaxSAT-Dis) R 61448 61448 59758 0 -1 4194304 11714 0 0 0 27 1 0 0 20 0 1 0 59534458 69779456 12384 18446744073709551615 4198400 14093885 140736616359664 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36282368 140736616364445 140736616364571 140736616364571 140736616370144 0
/proc/61449/statm: 17036 12384 736 2416 0 14138 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 75128 KiB
Current children cumulated memory: 54016 KiB

[startup+0.700148 s]
/proc/loadavg: 1.02 1.07 1.17 2/247 61449
/proc/meminfo: memFree=125513848/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61448/stat : 61448 (timeout) S 61445 61448 59758 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59534457 2723840 352 18446744073709551615 93960361246720 93960361263233 140721887766416 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93960361278000 93960361280088 93960365805568 140721887771032 140721887771170 140721887771170 140721887776743 0
/proc/61448/statm: 665 352 352 5 0 90 0
[pid=61449] ppid=61448 vsize=101004 memory=85144 CPUtime=0.68 cores=0,2
/proc/61449/stat : 61449 (CASHWMaxSAT-Dis) R 61448 61448 59758 0 -1 4194304 20404 0 0 0 65 3 0 0 20 0 1 0 59534458 103428096 21286 18446744073709551615 4198400 14093885 140736616359664 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36282368 140736616364445 140736616364571 140736616364571 140736616370144 0
/proc/61449/statm: 25251 21286 768 2416 0 22353 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107988 KiB
Current children cumulated memory: 89624 KiB

[startup+1.50014 s]
/proc/loadavg: 1.02 1.07 1.17 2/247 61449
/proc/meminfo: memFree=125513848/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61448/stat : 61448 (timeout) S 61445 61448 59758 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59534457 2723840 352 18446744073709551615 93960361246720 93960361263233 140721887766416 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93960361278000 93960361280088 93960365805568 140721887771032 140721887771170 140721887771170 140721887776743 0
/proc/61448/statm: 665 352 352 5 0 90 0
[pid=61449] ppid=61448 vsize=101004 memory=85144 CPUtime=1.47 cores=0,2
/proc/61449/stat : 61449 (CASHWMaxSAT-Dis) R 61448 61448 59758 0 -1 4194304 20404 0 0 0 144 3 0 0 20 0 1 0 59534458 103428096 21286 18446744073709551615 4198400 14093885 140736616359664 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36282368 140736616364445 140736616364571 140736616364571 140736616370144 0
/proc/61449/statm: 25251 21286 768 2416 0 22353 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 107988 KiB
Current children cumulated memory: 89624 KiB

[startup+3.10501 s]
/proc/loadavg: 1.02 1.07 1.17 2/247 61449
/proc/meminfo: memFree=125385436/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61448/stat : 61448 (timeout) S 61445 61448 59758 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59534457 2723840 352 18446744073709551615 93960361246720 93960361263233 140721887766416 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93960361278000 93960361280088 93960365805568 140721887771032 140721887771170 140721887771170 140721887776743 0
/proc/61448/statm: 665 352 352 5 0 90 0
[pid=61449] ppid=61448 vsize=224284 memory=205952 CPUtime=3.07 cores=0,2
/proc/61449/stat : 61449 (CASHWMaxSAT-Dis) R 61448 61448 59758 0 -1 4194304 36341 0 0 0 300 7 0 0 20 0 1 0 59534458 229666816 51488 18446744073709551615 4198400 14093885 140736616359664 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36282368 140736616364445 140736616364571 140736616364571 140736616370144 0
/proc/61449/statm: 56071 51488 768 2416 0 53173 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 231268 KiB
Current children cumulated memory: 210432 KiB

[startup+6.30014 s]
/proc/loadavg: 1.02 1.07 1.17 2/247 61449
/proc/meminfo: memFree=125197420/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61448/stat : 61448 (timeout) S 61445 61448 59758 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59534457 2723840 352 18446744073709551615 93960361246720 93960361263233 140721887766416 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93960361278000 93960361280088 93960365805568 140721887771032 140721887771170 140721887771170 140721887776743 0
/proc/61448/statm: 665 352 352 5 0 90 0
[pid=61449] ppid=61448 vsize=442892 memory=401484 CPUtime=6.26 cores=0,2
/proc/61449/stat : 61449 (CASHWMaxSAT-Dis) R 61448 61448 59758 0 -1 4194304 57960 0 0 0 613 13 0 0 20 0 1 0 59534458 453521408 100371 18446744073709551615 4198400 14093885 140736616359664 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36282368 140736616364445 140736616364571 140736616364571 140736616370144 0
/proc/61449/statm: 110723 100371 768 2416 0 107825 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 449876 KiB
Current children cumulated memory: 405964 KiB

[startup+12.7002 s]
/proc/loadavg: 1.02 1.07 1.16 2/247 61449
/proc/meminfo: memFree=124913120/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61448/stat : 61448 (timeout) S 61445 61448 59758 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59534457 2723840 352 18446744073709551615 93960361246720 93960361263233 140721887766416 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93960361278000 93960361280088 93960365805568 140721887771032 140721887771170 140721887771170 140721887776743 0
/proc/61448/statm: 665 352 352 5 0 90 0
[pid=61449] ppid=61448 vsize=819412 memory=716240 CPUtime=12.65 cores=0,2
/proc/61449/stat : 61449 (CASHWMaxSAT-Dis) R 61448 61448 59758 0 -1 4194304 89301 0 0 0 1241 24 0 0 20 0 1 0 59534458 839077888 179060 18446744073709551615 4198400 14093885 140736616359664 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36282368 140736616364445 140736616364571 140736616364571 140736616370144 0
/proc/61449/statm: 204853 179060 768 2416 0 201955 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 826396 KiB
Current children cumulated memory: 720720 KiB

[startup+25.5002 s]
/proc/loadavg: 1.01 1.06 1.16 2/247 61450
/proc/meminfo: memFree=122179864/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61448/stat : 61448 (timeout) S 61445 61448 59758 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59534457 2723840 352 18446744073709551615 93960361246720 93960361263233 140721887766416 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93960361278000 93960361280088 93960365805568 140721887771032 140721887771170 140721887771170 140721887776743 0
/proc/61448/statm: 665 352 352 5 0 90 0
[pid=61449] ppid=61448 vsize=4069708 memory=3602652 CPUtime=25.42 cores=0,2
/proc/61449/stat : 61449 (CASHWMaxSAT-Dis) R 61448 61448 59758 0 -1 4194304 248054 0 0 0 2446 96 0 0 20 0 1 0 59534458 4167380992 900663 18446744073709551615 4198400 14093885 140736616359664 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36282368 140736616364445 140736616364571 140736616364571 140736616370144 0
/proc/61449/statm: 1017427 900663 768 2416 0 1014529 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4076692 KiB
Current children cumulated memory: 3607132 KiB

[startup+51.1055 s]
/proc/loadavg: 1.01 1.06 1.16 2/247 61450
/proc/meminfo: memFree=120164376/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61448/stat : 61448 (timeout) S 61445 61448 59758 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59534457 2723840 352 18446744073709551615 93960361246720 93960361263233 140721887766416 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93960361278000 93960361280088 93960365805568 140721887771032 140721887771170 140721887771170 140721887776743 0
/proc/61448/statm: 665 352 352 5 0 90 0
[pid=61449] ppid=61448 vsize=5460224 memory=5117956 CPUtime=50.96 cores=0,2
/proc/61449/stat : 61449 (CASHWMaxSAT-Dis) R 61448 61448 59758 0 -1 4194304 385252 0 0 0 4952 144 0 0 20 0 1 0 59534458 5591269376 1279489 18446744073709551615 4198400 14093885 140736616359664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36282368 140736616364445 140736616364571 140736616364571 140736616370144 0
/proc/61449/statm: 1365056 1279489 768 2416 0 1362158 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 5467208 KiB
Current children cumulated memory: 5122436 KiB

[startup+102.3 s]
/proc/loadavg: 1.04 1.06 1.15 2/247 61453
/proc/meminfo: memFree=120410796/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61448] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61489] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61489/stat : 61489 (timeout) S 61445 61489 59758 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 59624365 2723840 352 18446744073709551615 93865997299712 93865997316225 140733588684320 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93865997330992 93865997333080 93866010054656 140733588691333 140733588691490 140733588691490 140733588697063 0
/proc/61489/statm: 665 352 352 5 0 90 0
[pid=61490] ppid=61489 vsize=1020476 memory=988616 CPUtime=2557.71 cores=0,2
/proc/61490/stat : 61490 (ExactPR-S9) R 61489 61489 59758 0 -1 4194304 174151 0 0 0 255440 331 0 0 20 0 1 0 59624365 1044967424 247154 18446744073709551615 94755511599104 94755520899205 140721050605568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94755522685248 94755522724328 94755563196416 140721050610076 140721050610214 140721050610214 140721050615787 0
/proc/61490/statm: 255119 247154 3456 2271 0 249757 0
Current children cumulated CPU time: 3454.03 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 993096 KiB

[startup+3522.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/247 61630
/proc/meminfo: memFree=124583876/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=896.32 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 284 555876 0 0 0 0 89390 242 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61489] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61489/stat : 61489 (timeout) S 61445 61489 59758 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 59624365 2723840 352 18446744073709551615 93865997299712 93865997316225 140733588684320 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93865997330992 93865997333080 93866010054656 140733588691333 140733588691490 140733588691490 140733588697063 0
/proc/61489/statm: 665 352 352 5 0 90 0
[pid=61490] ppid=61489 vsize=1020476 memory=988616 CPUtime=2617.57 cores=0,2
/proc/61490/stat : 61490 (ExactPR-S9) R 61489 61489 59758 0 -1 4194304 174181 0 0 0 261414 343 0 0 20 0 1 0 59624365 1044967424 247154 18446744073709551615 94755511599104 94755520899205 140721050605568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94755522685248 94755522724328 94755563196416 140721050610076 140721050610214 140721050610214 140721050615787 0
/proc/61490/statm: 255119 247154 3456 2271 0 249757 0
Current children cumulated CPU time: 3513.89 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 993096 KiB

[startup+3582.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/247 61632
/proc/meminfo: memFree=124584800/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=896.32 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 284 555876 0 0 0 0 89390 242 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61489] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61489/stat : 61489 (timeout) S 61445 61489 59758 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 59624365 2723840 352 18446744073709551615 93865997299712 93865997316225 140733588684320 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93865997330992 93865997333080 93866010054656 140733588691333 140733588691490 140733588691490 140733588697063 0
/proc/61489/statm: 665 352 352 5 0 90 0
[pid=61490] ppid=61489 vsize=1020476 memory=988616 CPUtime=2677.44 cores=0,2
/proc/61490/stat : 61490 (ExactPR-S9) R 61489 61489 59758 0 -1 4194304 174194 0 0 0 267398 346 0 0 20 0 1 0 59624365 1044967424 247154 18446744073709551615 94755511599104 94755520899205 140721050605568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94755522685248 94755522724328 94755563196416 140721050610076 140721050610214 140721050610214 140721050615787 0
/proc/61490/statm: 255119 247154 3456 2271 0 249757 0
Current children cumulated CPU time: 3573.76 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 993096 KiB

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

# cumulated CPU time of all completed processes:  user=3581.85 s, system=5.92018 s

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

[startup+3584 s]*
/proc/loadavg: 1.06 1.08 1.09 2/247 61632
/proc/meminfo: memFree=124585052/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=896.32 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 284 555876 0 0 0 0 89390 242 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61489] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61489/stat : 61489 (timeout) S 61445 61489 59758 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 59624365 2723840 352 18446744073709551615 93865997299712 93865997316225 140733588684320 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93865997330992 93865997333080 93866010054656 140733588691333 140733588691490 140733588691490 140733588697063 0
/proc/61489/statm: 665 352 352 5 0 90 0
[pid=61490] ppid=61489 vsize=1020476 memory=988616 CPUtime=2679.15 cores=0,2
/proc/61490/stat : 61490 (ExactPR-S9) R 61489 61489 59758 0 -1 4194304 174194 0 0 0 267569 346 0 0 20 0 1 0 59624365 1044967424 247154 18446744073709551615 94755511599104 94755520899205 140721050605568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94755522685248 94755522724328 94755563196416 140721050610076 140721050610214 140721050610214 140721050615787 0
/proc/61490/statm: 255119 247154 3456 2271 0 249757 0
Current children cumulated CPU time: 3575.47 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 993096 KiB

[startup+3590.4 s]
/proc/loadavg: 1.06 1.08 1.09 2/247 61632
/proc/meminfo: memFree=124585052/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=896.32 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 284 555876 0 0 0 0 89390 242 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61489] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61489/stat : 61489 (timeout) S 61445 61489 59758 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 59624365 2723840 352 18446744073709551615 93865997299712 93865997316225 140733588684320 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93865997330992 93865997333080 93866010054656 140733588691333 140733588691490 140733588691490 140733588697063 0
/proc/61489/statm: 665 352 352 5 0 90 0
[pid=61490] ppid=61489 vsize=1020476 memory=988616 CPUtime=2685.53 cores=0,2
/proc/61490/stat : 61490 (ExactPR-S9) R 61489 61489 59758 0 -1 4194304 174194 0 0 0 268206 347 0 0 20 0 1 0 59624365 1044967424 247154 18446744073709551615 94755511599104 94755520899205 140721050605568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94755522685248 94755522724328 94755563196416 140721050610076 140721050610214 140721050610214 140721050615787 0
/proc/61490/statm: 255119 247154 3456 2271 0 249757 0
Current children cumulated CPU time: 3581.85 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 993096 KiB

[startup+3593.6 s]
/proc/loadavg: 1.13 1.09 1.09 2/247 61632
/proc/meminfo: memFree=124585052/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=896.32 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 284 555876 0 0 0 0 89390 242 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61489] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61489/stat : 61489 (timeout) S 61445 61489 59758 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 59624365 2723840 352 18446744073709551615 93865997299712 93865997316225 140733588684320 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93865997330992 93865997333080 93866010054656 140733588691333 140733588691490 140733588691490 140733588697063 0
/proc/61489/statm: 665 352 352 5 0 90 0
[pid=61490] ppid=61489 vsize=1020476 memory=988616 CPUtime=2688.72 cores=0,2
/proc/61490/stat : 61490 (ExactPR-S9) R 61489 61489 59758 0 -1 4194304 174195 0 0 0 268525 347 0 0 20 0 1 0 59624365 1044967424 247154 18446744073709551615 94755511599104 94755520899205 140721050605568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94755522685248 94755522724328 94755563196416 140721050610076 140721050610214 140721050610214 140721050615787 0
/proc/61490/statm: 255119 247154 3456 2271 0 249757 0
Current children cumulated CPU time: 3585.04 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 993096 KiB

[startup+3595.2 s]
/proc/loadavg: 1.13 1.09 1.09 2/247 61632
/proc/meminfo: memFree=124585052/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=896.32 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 284 555876 0 0 0 0 89390 242 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61489] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61489/stat : 61489 (timeout) S 61445 61489 59758 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 59624365 2723840 352 18446744073709551615 93865997299712 93865997316225 140733588684320 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93865997330992 93865997333080 93866010054656 140733588691333 140733588691490 140733588691490 140733588697063 0
/proc/61489/statm: 665 352 352 5 0 90 0
[pid=61490] ppid=61489 vsize=1020476 memory=988616 CPUtime=2690.32 cores=0,2
/proc/61490/stat : 61490 (ExactPR-S9) R 61489 61489 59758 0 -1 4194304 174195 0 0 0 268685 347 0 0 20 0 1 0 59624365 1044967424 247154 18446744073709551615 94755511599104 94755520899205 140721050605568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94755522685248 94755522724328 94755563196416 140721050610076 140721050610214 140721050610214 140721050615787 0
/proc/61490/statm: 255119 247154 3456 2271 0 249757 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 993096 KiB

[startup+3596 s]*
/proc/loadavg: 1.12 1.09 1.09 2/247 61632
/proc/meminfo: memFree=124585052/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=896.32 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 284 555876 0 0 0 0 89390 242 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61489] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61489/stat : 61489 (timeout) S 61445 61489 59758 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 59624365 2723840 352 18446744073709551615 93865997299712 93865997316225 140733588684320 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93865997330992 93865997333080 93866010054656 140733588691333 140733588691490 140733588691490 140733588697063 0
/proc/61489/statm: 665 352 352 5 0 90 0
[pid=61490] ppid=61489 vsize=1020476 memory=988616 CPUtime=2691.12 cores=0,2
/proc/61490/stat : 61490 (ExactPR-S9) R 61489 61489 59758 0 -1 4194304 174195 0 0 0 268765 347 0 0 20 0 1 0 59624365 1044967424 247154 18446744073709551615 94755511599104 94755520899205 140721050605568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94755522685248 94755522724328 94755563196416 140721050610076 140721050610214 140721050610214 140721050615787 0
/proc/61490/statm: 255119 247154 3456 2271 0 249757 0
Current children cumulated CPU time: 3587.44 s
Current children cumulated vsize: 1027460 KiB
Current children cumulated memory: 993096 KiB

[startup+3596.2 s]
/proc/loadavg: 1.12 1.09 1.09 2/247 61632
/proc/meminfo: memFree=124585052/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=896.32 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 284 555876 0 0 0 0 89390 242 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
[pid=61489] ppid=61445 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61489/stat : 61489 (timeout) S 61445 61489 59758 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 59624365 2723840 352 18446744073709551615 93865997299712 93865997316225 140733588684320 0 0 0 0 3293184 73735 1 0 0 17 2 0 0 0 0 0 93865997330992 93865997333080 93866010054656 140733588691333 140733588691490 140733588691490 140733588697063 0
/proc/61489/statm: 665 352 352 5 0 90 0
[pid=61490] ppid=61489 vsize=736956 memory=718908 CPUtime=2691.32 cores=0,2
/proc/61490/stat : 61490 (ExactPR-S9) R 61489 61489 59758 0 -1 4194304 174203 0 0 0 268785 347 0 0 20 0 1 0 59624365 754642944 179727 18446744073709551615 94755511599104 94755520899205 140721050605568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94755522685248 94755522724328 94755563196416 140721050610076 140721050610214 140721050610214 140721050615787 0
/proc/61490/statm: 184239 179727 3552 2271 0 178877 0
Current children cumulated CPU time: 3587.64 s
Current children cumulated vsize: 743940 KiB
Current children cumulated memory: 723388 KiB

[startup+3596.3 s]
/proc/loadavg: 1.12 1.09 1.09 2/247 61632
/proc/meminfo: memFree=124585052/131250000 swapFree=33010684/33010684
[pid=61445] ppid=61442 vsize=4324 memory=3072 CPUtime=3587.74 cores=0,2
/proc/61445/stat : 61445 (Hybrid-CASHWMax) S 61442 61445 59758 0 -1 4194304 312 730207 0 0 0 0 358184 590 20 0 1 0 59534456 4427776 768 18446744073709551615 93980060934144 93980061828677 140727709396416 0 0 0 2 4 65536 1 0 0 17 0 0 0 0 0 0 93980062067728 93980062115472 93980082483200 140727709403477 140727709403632 140727709403632 140727709409234 0
/proc/61445/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3587.74 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.34
CPU time (s): 3587.77
CPU user time (s): 3581.85
CPU system time (s): 5.92018
CPU usage (%): 99.7617
Max. virtual memory (cumulated for all children) (KiB): 8509372
Max. memory (cumulated for all children) (KiB): 7551220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.85
system time used= 5.92018
maximum resident set size= 7546740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 732084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1366
involuntary context switches= 7857


# summary of solver processes directly reported to runsolver:
#   pid: 61445
#   total CPU time (s): 3587.77
#   total CPU user time (s): 3581.85
#   total CPU system time (s): 5.92018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53519 second user time and 14.7727 second system time

The end