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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486313-1751310413/watcher-4486313-1751310413 -o /tmp/evaluation-result-4486313-1751310413/solver-4486313-1751310413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751303214-40820 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4486313-1751310413.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=41844, runsolver pid=41841

[startup+0.100071 s]*
/proc/loadavg: 4.23 4.16 4.17 5/253 41852
/proc/meminfo: memFree=129940092/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41847/stat : 41847 (timeout) S 41844 41847 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720236 2723840 320 18446744073709551615 94766590705664 94766590722177 140722217070656 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94766590736944 94766590739032 94766612762624 140722217077142 140722217077282 140722217077282 140722217082855 0
/proc/41847/statm: 665 320 320 5 0 90 0
[pid=41848] ppid=41847 vsize=26080 memory=7680 CPUtime=0.07 cores=1,3
/proc/41848/stat : 41848 (CASHWMaxSAT-Dis) R 41847 41847 40808 0 -1 4194304 1284 0 0 0 7 0 0 0 20 0 1 0 46720236 26705920 1920 18446744073709551615 4198400 14093885 140735793416176 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49868800 140735793424796 140735793424923 140735793424923 140735793430496 0
/proc/41848/statm: 6520 1920 736 2416 0 3622 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 33064 KiB
Current children cumulated memory: 11776 KiB

[startup+0.214444 s]*
/proc/loadavg: 4.23 4.16 4.17 5/254 41862
/proc/meminfo: memFree=129924096/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41847/stat : 41847 (timeout) S 41844 41847 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720236 2723840 320 18446744073709551615 94766590705664 94766590722177 140722217070656 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94766590736944 94766590739032 94766612762624 140722217077142 140722217077282 140722217077282 140722217082855 0
/proc/41847/statm: 665 320 320 5 0 90 0
[pid=41848] ppid=41847 vsize=31780 memory=13312 CPUtime=0.18 cores=1,3
/proc/41848/stat : 41848 (CASHWMaxSAT-Dis) R 41847 41847 40808 0 -1 4194304 2668 0 0 0 17 1 0 0 20 0 1 0 46720236 32542720 3328 18446744073709551615 4198400 14093885 140735793416176 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49868800 140735793424796 140735793424923 140735793424923 140735793430496 0
/proc/41848/statm: 7945 3328 736 2416 0 5047 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38764 KiB
Current children cumulated memory: 17408 KiB

[startup+0.313096 s]*
/proc/loadavg: 4.23 4.16 4.17 5/254 41862
/proc/meminfo: memFree=129916032/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41847/stat : 41847 (timeout) S 41844 41847 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720236 2723840 320 18446744073709551615 94766590705664 94766590722177 140722217070656 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94766590736944 94766590739032 94766612762624 140722217077142 140722217077282 140722217077282 140722217082855 0
/proc/41847/statm: 665 320 320 5 0 90 0
[pid=41848] ppid=41847 vsize=35744 memory=17280 CPUtime=0.28 cores=1,3
/proc/41848/stat : 41848 (CASHWMaxSAT-Dis) R 41847 41847 40808 0 -1 4194304 3676 0 0 0 26 2 0 0 20 0 1 0 46720236 36601856 4320 18446744073709551615 4198400 14093885 140735793416176 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49868800 140735793424796 140735793424923 140735793424923 140735793430496 0
/proc/41848/statm: 8936 4320 736 2416 0 6038 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 21376 KiB

[startup+0.700433 s]
/proc/loadavg: 4.23 4.16 4.17 4/253 41862
/proc/meminfo: memFree=129908400/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41847/stat : 41847 (timeout) S 41844 41847 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720236 2723840 320 18446744073709551615 94766590705664 94766590722177 140722217070656 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94766590736944 94766590739032 94766612762624 140722217077142 140722217077282 140722217077282 140722217082855 0
/proc/41847/statm: 665 320 320 5 0 90 0
[pid=41848] ppid=41847 vsize=53892 memory=34524 CPUtime=0.65 cores=1,3
/proc/41848/stat : 41848 (CASHWMaxSAT-Dis) R 41847 41847 40808 0 -1 4194304 8013 0 0 0 61 4 0 0 20 0 1 0 46720236 55185408 8631 18446744073709551615 4198400 14093885 140735793416176 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49868800 140735793424796 140735793424923 140735793424923 140735793430496 0
/proc/41848/statm: 13473 8631 768 2416 0 10575 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 60876 KiB
Current children cumulated memory: 38620 KiB

[startup+1.50043 s]
/proc/loadavg: 4.23 4.16 4.17 5/250 41884
/proc/meminfo: memFree=129828352/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41847/stat : 41847 (timeout) S 41844 41847 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720236 2723840 320 18446744073709551615 94766590705664 94766590722177 140722217070656 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94766590736944 94766590739032 94766612762624 140722217077142 140722217077282 140722217077282 140722217082855 0
/proc/41847/statm: 665 320 320 5 0 90 0
[pid=41848] ppid=41847 vsize=83344 memory=64868 CPUtime=1.44 cores=1,3
/proc/41848/stat : 41848 (CASHWMaxSAT-Dis) R 41847 41847 40808 0 -1 4194304 14638 0 0 0 138 6 0 0 20 0 1 0 46720236 85344256 16217 18446744073709551615 4198400 14093885 140735793416176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49868800 140735793424796 140735793424923 140735793424923 140735793430496 0
/proc/41848/statm: 20836 16217 800 2416 0 17938 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 90328 KiB
Current children cumulated memory: 68964 KiB

[startup+3.11337 s]
/proc/loadavg: 4.21 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129692976/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41847/stat : 41847 (timeout) S 41844 41847 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720236 2723840 320 18446744073709551615 94766590705664 94766590722177 140722217070656 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94766590736944 94766590739032 94766612762624 140722217077142 140722217077282 140722217077282 140722217082855 0
/proc/41847/statm: 665 320 320 5 0 90 0
[pid=41848] ppid=41847 vsize=92160 memory=75372 CPUtime=3.05 cores=1,3
/proc/41848/stat : 41848 (CASHWMaxSAT-Dis) R 41847 41847 40808 0 -1 4194304 16255 0 0 0 298 7 0 0 20 0 1 0 46720236 94371840 18843 18446744073709551615 4198400 14093885 140735793416176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49868800 140735793424796 140735793424923 140735793424923 140735793430496 0
/proc/41848/statm: 23040 18843 800 2416 0 20142 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 99144 KiB
Current children cumulated memory: 79468 KiB

[startup+6.30041 s]
/proc/loadavg: 4.21 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129484188/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41847/stat : 41847 (timeout) S 41844 41847 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720236 2723840 320 18446744073709551615 94766590705664 94766590722177 140722217070656 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94766590736944 94766590739032 94766612762624 140722217077142 140722217077282 140722217077282 140722217082855 0
/proc/41847/statm: 665 320 320 5 0 90 0
[pid=41848] ppid=41847 vsize=96588 memory=79868 CPUtime=6.23 cores=1,3
/proc/41848/stat : 41848 (CASHWMaxSAT-Dis) R 41847 41847 40808 0 -1 4194304 16348 0 0 0 616 7 0 0 20 0 1 0 46720236 98906112 19967 18446744073709551615 4198400 14093885 140735793416176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49868800 140735793424796 140735793424923 140735793424923 140735793430496 0
/proc/41848/statm: 24147 19967 800 2416 0 21249 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 103572 KiB
Current children cumulated memory: 83964 KiB

[startup+12.7005 s]
/proc/loadavg: 4.17 4.15 4.17 5/257 41946
/proc/meminfo: memFree=129598920/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41847/stat : 41847 (timeout) S 41844 41847 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720236 2723840 320 18446744073709551615 94766590705664 94766590722177 140722217070656 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94766590736944 94766590739032 94766612762624 140722217077142 140722217077282 140722217077282 140722217082855 0
/proc/41847/statm: 665 320 320 5 0 90 0
[pid=41848] ppid=41847 vsize=138544 memory=111164 CPUtime=12.62 cores=1,3
/proc/41848/stat : 41848 (CASHWMaxSAT-Dis) R 41847 41847 40808 0 -1 4194304 17986 0 0 0 1253 9 0 0 20 0 1 0 46720236 141869056 27791 18446744073709551615 4198400 14093885 140735793416176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49868800 140735793424796 140735793424923 140735793424923 140735793430496 0
/proc/41848/statm: 34636 27791 800 2416 0 31738 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 145528 KiB
Current children cumulated memory: 115260 KiB

[startup+25.5005 s]
/proc/loadavg: 4.15 4.15 4.17 5/257 41947
/proc/meminfo: memFree=129574312/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41847/stat : 41847 (timeout) S 41844 41847 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720236 2723840 320 18446744073709551615 94766590705664 94766590722177 140722217070656 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94766590736944 94766590739032 94766612762624 140722217077142 140722217077282 140722217077282 140722217082855 0
/proc/41847/statm: 665 320 320 5 0 90 0
[pid=41848] ppid=41847 vsize=138540 memory=117804 CPUtime=25.37 cores=1,3
/proc/41848/stat : 41848 (CASHWMaxSAT-Dis) R 41847 41847 40808 0 -1 4194304 18417 0 0 0 2528 9 0 0 20 0 1 0 46720236 141864960 29451 18446744073709551615 4198400 14093885 140735793416176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49868800 140735793424796 140735793424923 140735793424923 140735793430496 0
/proc/41848/statm: 34635 29451 800 2416 0 31737 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 145524 KiB
Current children cumulated memory: 121900 KiB

[startup+51.1133 s]
/proc/loadavg: 4.15 4.15 4.17 5/257 41947
/proc/meminfo: memFree=129537424/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/41847/stat : 41847 (timeout) S 41844 41847 40808 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720236 2723840 320 18446744073709551615 94766590705664 94766590722177 140722217070656 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94766590736944 94766590739032 94766612762624 140722217077142 140722217077282 140722217077282 140722217082855 0
/proc/41847/statm: 665 320 320 5 0 90 0
[pid=41848] ppid=41847 vsize=138540 memory=121900 CPUtime=50.89 cores=1,3
/proc/41848/stat : 41848 (CASHWMaxSAT-Dis) R 41847 41847 40808 0 -1 4194304 18461 0 0 0 5080 9 0 0 20 0 1 0 46720236 141864960 30475 18446744073709551615 4198400 14093885 140735793416176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49868800 140735793424796 140735793424923 140735793424923 140735793430496 0
/proc/41848/statm: 34635 30475 800 2416 0 31737 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 145524 KiB
Current children cumulated memory: 125996 KiB

[startup+102.301 s]
/proc/loadavg: 4.11 4.14 4.16 5/257 41949
/proc/meminfo: memFree=129494992/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=0 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=41847] ppid=41844 vsize=2660 memory=1280 CPUtime=0 cores=1,3

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

/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=42003] ppid=41844 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42003/stat : 42003 (timeout) S 41844 42003 40808 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840037 2723840 352 18446744073709551615 94572665688064 94572665704577 140723729848000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94572665719344 94572665721432 94572672225280 140723729852806 140723729852962 140723729852962 140723729858535 0
/proc/42003/statm: 665 352 352 5 0 90 0
[pid=42004] ppid=42003 vsize=429324 memory=414224 CPUtime=2257.82 cores=1,3
/proc/42004/stat : 42004 (ExactPR-S) R 42003 42003 40808 0 -1 4194304 90226 0 0 0 225247 535 0 0 20 0 1 0 46840037 439627776 103556 18446744073709551615 94235464581120 94235473881157 140725122557392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94235475667264 94235475706344 94235492945920 140725122562462 140725122562599 140725122562599 140725122568172 0
/proc/42004/statm: 107331 103556 3392 2271 0 101969 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418448 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 42128
/proc/meminfo: memFree=128422524/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=1194.4 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 282 31868 0 0 0 0 119395 45 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=42003] ppid=41844 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42003/stat : 42003 (timeout) S 41844 42003 40808 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840037 2723840 352 18446744073709551615 94572665688064 94572665704577 140723729848000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94572665719344 94572665721432 94572672225280 140723729852806 140723729852962 140723729852962 140723729858535 0
/proc/42003/statm: 665 352 352 5 0 90 0
[pid=42004] ppid=42003 vsize=429324 memory=414224 CPUtime=2317.65 cores=1,3
/proc/42004/stat : 42004 (ExactPR-S) R 42003 42003 40808 0 -1 4194304 90226 0 0 0 231223 542 0 0 20 0 1 0 46840037 439627776 103556 18446744073709551615 94235464581120 94235473881157 140725122557392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94235475667264 94235475706344 94235492945920 140725122562462 140725122562599 140725122562599 140725122568172 0
/proc/42004/statm: 107331 103556 3392 2271 0 101969 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423100/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=1194.4 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 282 31868 0 0 0 0 119395 45 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=42003] ppid=41844 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42003/stat : 42003 (timeout) S 41844 42003 40808 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840037 2723840 352 18446744073709551615 94572665688064 94572665704577 140723729848000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94572665719344 94572665721432 94572672225280 140723729852806 140723729852962 140723729852962 140723729858535 0
/proc/42003/statm: 665 352 352 5 0 90 0
[pid=42004] ppid=42003 vsize=429324 memory=414224 CPUtime=2377.49 cores=1,3
/proc/42004/stat : 42004 (ExactPR-S) R 42003 42003 40808 0 -1 4194304 90262 0 0 0 237200 549 0 0 20 0 1 0 46840037 439627776 103556 18446744073709551615 94235464581120 94235473881157 140725122557392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94235475667264 94235475706344 94235492945920 140725122562462 140725122562599 140725122562599 140725122568172 0
/proc/42004/statm: 107331 103556 3392 2271 0 101969 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418448 KiB

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

# cumulated CPU time of all completed processes:  user=3579.64 s, system=6.03151 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423100/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=1194.4 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 282 31868 0 0 0 0 119395 45 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=42003] ppid=41844 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42003/stat : 42003 (timeout) S 41844 42003 40808 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840037 2723840 352 18446744073709551615 94572665688064 94572665704577 140723729848000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94572665719344 94572665721432 94572672225280 140723729852806 140723729852962 140723729852962 140723729858535 0
/proc/42003/statm: 665 352 352 5 0 90 0
[pid=42004] ppid=42003 vsize=429324 memory=414224 CPUtime=2379.2 cores=1,3
/proc/42004/stat : 42004 (ExactPR-S) R 42003 42003 40808 0 -1 4194304 90273 0 0 0 237371 549 0 0 20 0 1 0 46840037 439627776 103556 18446744073709551615 94235464581120 94235473881157 140725122557392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94235475667264 94235475706344 94235492945920 140725122562462 140725122562599 140725122562599 140725122568172 0
/proc/42004/statm: 107331 103556 3392 2271 0 101969 0
Current children cumulated CPU time: 3573.6 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418448 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423100/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=1194.4 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 282 31868 0 0 0 0 119395 45 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=42003] ppid=41844 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42003/stat : 42003 (timeout) S 41844 42003 40808 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840037 2723840 352 18446744073709551615 94572665688064 94572665704577 140723729848000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94572665719344 94572665721432 94572672225280 140723729852806 140723729852962 140723729852962 140723729858535 0
/proc/42003/statm: 665 352 352 5 0 90 0
[pid=42004] ppid=42003 vsize=429324 memory=414224 CPUtime=2385.58 cores=1,3
/proc/42004/stat : 42004 (ExactPR-S) R 42003 42003 40808 0 -1 4194304 90274 0 0 0 238007 551 0 0 20 0 1 0 46840037 439627776 103556 18446744073709551615 94235464581120 94235473881157 140725122557392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94235475667264 94235475706344 94235492945920 140725122562462 140725122562599 140725122562599 140725122568172 0
/proc/42004/statm: 107331 103556 3392 2271 0 101969 0
Current children cumulated CPU time: 3579.98 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418448 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423100/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=1194.4 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 282 31868 0 0 0 0 119395 45 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=42003] ppid=41844 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42003/stat : 42003 (timeout) S 41844 42003 40808 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840037 2723840 352 18446744073709551615 94572665688064 94572665704577 140723729848000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94572665719344 94572665721432 94572672225280 140723729852806 140723729852962 140723729852962 140723729858535 0
/proc/42003/statm: 665 352 352 5 0 90 0
[pid=42004] ppid=42003 vsize=429324 memory=414224 CPUtime=2388.77 cores=1,3
/proc/42004/stat : 42004 (ExactPR-S) R 42003 42003 40808 0 -1 4194304 90274 0 0 0 238326 551 0 0 20 0 1 0 46840037 439627776 103556 18446744073709551615 94235464581120 94235473881157 140725122557392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94235475667264 94235475706344 94235492945920 140725122562462 140725122562599 140725122562599 140725122568172 0
/proc/42004/statm: 107331 103556 3392 2271 0 101969 0
Current children cumulated CPU time: 3583.17 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418448 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 42146
/proc/meminfo: memFree=128740612/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=1194.4 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 282 31868 0 0 0 0 119395 45 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=42003] ppid=41844 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42003/stat : 42003 (timeout) S 41844 42003 40808 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840037 2723840 352 18446744073709551615 94572665688064 94572665704577 140723729848000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94572665719344 94572665721432 94572672225280 140723729852806 140723729852962 140723729852962 140723729858535 0
/proc/42003/statm: 665 352 352 5 0 90 0
[pid=42004] ppid=42003 vsize=429324 memory=414224 CPUtime=2390.36 cores=1,3
/proc/42004/stat : 42004 (ExactPR-S) R 42003 42003 40808 0 -1 4194304 90274 0 0 0 238484 552 0 0 20 0 1 0 46840037 439627776 103556 18446744073709551615 94235464581120 94235473881157 140725122557392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94235475667264 94235475706344 94235492945920 140725122562462 140725122562599 140725122562599 140725122568172 0
/proc/42004/statm: 107331 103556 3392 2271 0 101969 0
Current children cumulated CPU time: 3584.76 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418448 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 42146
/proc/meminfo: memFree=128740612/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=1194.4 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 282 31868 0 0 0 0 119395 45 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=42003] ppid=41844 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42003/stat : 42003 (timeout) S 41844 42003 40808 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840037 2723840 352 18446744073709551615 94572665688064 94572665704577 140723729848000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94572665719344 94572665721432 94572672225280 140723729852806 140723729852962 140723729852962 140723729858535 0
/proc/42003/statm: 665 352 352 5 0 90 0
[pid=42004] ppid=42003 vsize=429324 memory=414224 CPUtime=2390.75 cores=1,3
/proc/42004/stat : 42004 (ExactPR-S) R 42003 42003 40808 0 -1 4194304 90274 0 0 0 238523 552 0 0 20 0 1 0 46840037 439627776 103556 18446744073709551615 94235464581120 94235473881157 140725122557392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94235475667264 94235475706344 94235492945920 140725122562462 140725122562599 140725122562599 140725122568172 0
/proc/42004/statm: 107331 103556 3392 2271 0 101969 0
Current children cumulated CPU time: 3585.15 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418448 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.11 4.09 4/252 42160
/proc/meminfo: memFree=128739440/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=1194.4 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 282 31868 0 0 0 0 119395 45 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
[pid=42003] ppid=41844 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/42003/stat : 42003 (timeout) S 41844 42003 40808 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840037 2723840 352 18446744073709551615 94572665688064 94572665704577 140723729848000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94572665719344 94572665721432 94572672225280 140723729852806 140723729852962 140723729852962 140723729858535 0
/proc/42003/statm: 665 352 352 5 0 90 0
[pid=42004] ppid=42003 vsize=429324 memory=414224 CPUtime=2391.16 cores=1,3
/proc/42004/stat : 42004 (ExactPR-S) R 42003 42003 40808 0 -1 4194304 90274 0 0 0 238564 552 0 0 20 0 1 0 46840037 439627776 103556 18446744073709551615 94235464581120 94235473881157 140725122557392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94235475667264 94235475706344 94235492945920 140725122562462 140725122562599 140725122562599 140725122568172 0
/proc/42004/statm: 107331 103556 3392 2271 0 101969 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418448 KiB

[startup+3596.11 s]
/proc/loadavg: 4.08 4.11 4.09 4/252 42160
/proc/meminfo: memFree=128739440/131382112 swapFree=33010160/33010684
[pid=41844] ppid=41841 vsize=4324 memory=2816 CPUtime=3585.63 cores=1,3
/proc/41844/stat : 41844 (Hybrid-CASHWMax) S 41841 41844 40808 0 -1 4194304 403 123985 0 0 0 0 357962 601 20 0 1 0 46720234 4427776 704 18446744073709551615 94013896241152 94013897135685 140736632502544 0 0 0 2 4 65536 1 0 0 17 3 0 0 0 0 0 94013897374736 94013897422480 94013901131776 140736632510807 140736632510961 140736632510961 140736632516563 0
/proc/41844/statm: 1081 704 640 219 0 143 0
Current children cumulated CPU time: 3585.63 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2816 KiB

Child status: 0

Real time (s): 3596.18
CPU time (s): 3585.67
CPU user time (s): 3579.64
CPU system time (s): 6.03151
CPU usage (%): 99.7078
Max. virtual memory (cumulated for all children) (KiB): 510476
Max. memory (cumulated for all children) (KiB): 418448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.64
system time used= 6.03151
maximum resident set size= 414736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125695
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= 1911
involuntary context switches= 1909


# summary of solver processes directly reported to runsolver:
#   pid: 41844
#   total CPU time (s): 3585.67
#   total CPU user time (s): 3579.64
#   total CPU system time (s): 6.03151

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0699 second user time and 37.583 second system time

The end