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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486267-1751310412/watcher-4486267-1751310412 -o /tmp/evaluation-result-4486267-1751310412/solver-4486267-1751310412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751303214-40818 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4486267-1751310412.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
Current StackSize limit: 8192 KiB

solver pid=41759, runsolver pid=41754

[startup+0.100073 s]*
/proc/loadavg: 4.23 4.16 4.17 4/251 41765
/proc/meminfo: memFree=129495460/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41762/stat : 41762 (timeout) S 41759 41762 40808 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46720125 2723840 352 18446744073709551615 94748400472064 94748400488577 140732435042320 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94748400503344 94748400505432 94748406546432 140732435048854 140732435048994 140732435048994 140732435054567 0
/proc/41762/statm: 665 352 352 5 0 90 0
[pid=41763] ppid=41762 vsize=26076 memory=7680 CPUtime=0.07 cores=0,2
/proc/41763/stat : 41763 (CASHWMaxSAT-Dis) R 41762 41762 40808 0 -1 4194304 1283 0 0 0 7 0 0 0 20 0 1 0 46720126 26701824 1920 18446744073709551615 4198400 14093885 140725246946112 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32808960 140725246949788 140725246949915 140725246949915 140725246955488 0
/proc/41763/statm: 6519 1920 736 2416 0 3621 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 33060 KiB
Current children cumulated memory: 12160 KiB

[startup+0.213668 s]*
/proc/loadavg: 4.23 4.16 4.17 5/246 41766
/proc/meminfo: memFree=129488704/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41762/stat : 41762 (timeout) S 41759 41762 40808 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46720125 2723840 352 18446744073709551615 94748400472064 94748400488577 140732435042320 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94748400503344 94748400505432 94748406546432 140732435048854 140732435048994 140732435048994 140732435054567 0
/proc/41762/statm: 665 352 352 5 0 90 0
[pid=41763] ppid=41762 vsize=31896 memory=13312 CPUtime=0.18 cores=0,2
/proc/41763/stat : 41763 (CASHWMaxSAT-Dis) R 41762 41762 40808 0 -1 4194304 2699 0 0 0 18 0 0 0 20 0 1 0 46720126 32661504 3328 18446744073709551615 4198400 14093885 140725246946112 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32808960 140725246949788 140725246949915 140725246949915 140725246955488 0
/proc/41763/statm: 7974 3328 736 2416 0 5076 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38880 KiB
Current children cumulated memory: 17792 KiB

[startup+0.3135 s]*
/proc/loadavg: 4.23 4.16 4.17 5/246 41773
/proc/meminfo: memFree=129476660/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41762/stat : 41762 (timeout) S 41759 41762 40808 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46720125 2723840 352 18446744073709551615 94748400472064 94748400488577 140732435042320 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94748400503344 94748400505432 94748406546432 140732435048854 140732435048994 140732435048994 140732435054567 0
/proc/41762/statm: 665 352 352 5 0 90 0
[pid=41763] ppid=41762 vsize=35856 memory=17408 CPUtime=0.28 cores=0,2
/proc/41763/stat : 41763 (CASHWMaxSAT-Dis) R 41762 41762 40808 0 -1 4194304 3715 0 0 0 28 0 0 0 20 0 1 0 46720126 36716544 4352 18446744073709551615 4198400 14093885 140725246946112 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32808960 140725246949788 140725246949915 140725246949915 140725246955488 0
/proc/41763/statm: 8964 4352 736 2416 0 6066 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42840 KiB
Current children cumulated memory: 21888 KiB

[startup+0.700469 s]
/proc/loadavg: 4.23 4.16 4.17 5/245 41779
/proc/meminfo: memFree=129455996/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41762/stat : 41762 (timeout) S 41759 41762 40808 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46720125 2723840 352 18446744073709551615 94748400472064 94748400488577 140732435042320 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94748400503344 94748400505432 94748406546432 140732435048854 140732435048994 140732435048994 140732435054567 0
/proc/41762/statm: 665 352 352 5 0 90 0
[pid=41763] ppid=41762 vsize=53724 memory=33956 CPUtime=0.65 cores=0,2
/proc/41763/stat : 41763 (CASHWMaxSAT-Dis) R 41762 41762 40808 0 -1 4194304 8474 0 0 0 63 2 0 0 20 0 1 0 46720126 55013376 8489 18446744073709551615 4198400 14093885 140725246946112 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32808960 140725246949788 140725246949915 140725246949915 140725246955488 0
/proc/41763/statm: 13431 8489 768 2416 0 10533 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 60708 KiB
Current children cumulated memory: 38436 KiB

[startup+1.50042 s]
/proc/loadavg: 4.23 4.16 4.17 5/248 41818
/proc/meminfo: memFree=129949196/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41762/stat : 41762 (timeout) S 41759 41762 40808 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46720125 2723840 352 18446744073709551615 94748400472064 94748400488577 140732435042320 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94748400503344 94748400505432 94748406546432 140732435048854 140732435048994 140732435048994 140732435054567 0
/proc/41762/statm: 665 352 352 5 0 90 0
[pid=41763] ppid=41762 vsize=83428 memory=66136 CPUtime=1.45 cores=0,2
/proc/41763/stat : 41763 (CASHWMaxSAT-Dis) R 41762 41762 40808 0 -1 4194304 14062 0 0 0 140 5 0 0 20 0 1 0 46720126 85430272 16534 18446744073709551615 4198400 14093885 140725246946112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32808960 140725246949788 140725246949915 140725246949915 140725246955488 0
/proc/41763/statm: 20857 16534 800 2416 0 17959 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 90412 KiB
Current children cumulated memory: 70616 KiB

[startup+3.11319 s]
/proc/loadavg: 4.21 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129800232/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41762/stat : 41762 (timeout) S 41759 41762 40808 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46720125 2723840 352 18446744073709551615 94748400472064 94748400488577 140732435042320 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94748400503344 94748400505432 94748406546432 140732435048854 140732435048994 140732435048994 140732435054567 0
/proc/41762/statm: 665 352 352 5 0 90 0
[pid=41763] ppid=41762 vsize=94964 memory=79520 CPUtime=3.05 cores=0,2
/proc/41763/stat : 41763 (CASHWMaxSAT-Dis) R 41762 41762 40808 0 -1 4194304 15395 0 0 0 300 5 0 0 20 0 1 0 46720126 97243136 19880 18446744073709551615 4198400 14093885 140725246946112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32808960 140725246949788 140725246949915 140725246949915 140725246955488 0
/proc/41763/statm: 23741 19880 800 2416 0 20843 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 101948 KiB
Current children cumulated memory: 84000 KiB

[startup+6.30045 s]
/proc/loadavg: 4.21 4.16 4.17 5/257 41896
/proc/meminfo: memFree=129492252/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41762/stat : 41762 (timeout) S 41759 41762 40808 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46720125 2723840 352 18446744073709551615 94748400472064 94748400488577 140732435042320 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94748400503344 94748400505432 94748406546432 140732435048854 140732435048994 140732435048994 140732435054567 0
/proc/41762/statm: 665 352 352 5 0 90 0
[pid=41763] ppid=41762 vsize=95072 memory=75984 CPUtime=6.23 cores=0,2
/proc/41763/stat : 41763 (CASHWMaxSAT-Dis) R 41762 41762 40808 0 -1 4194304 16780 0 0 0 617 6 0 0 20 0 1 0 46720126 97353728 18996 18446744073709551615 4198400 14093885 140725246946112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32808960 140725246949788 140725246949915 140725246949915 140725246955488 0
/proc/41763/statm: 23768 18996 800 2416 0 20870 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 102056 KiB
Current children cumulated memory: 80464 KiB

[startup+12.7005 s]
/proc/loadavg: 4.19 4.16 4.17 5/257 41946
/proc/meminfo: memFree=129591900/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41762/stat : 41762 (timeout) S 41759 41762 40808 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46720125 2723840 352 18446744073709551615 94748400472064 94748400488577 140732435042320 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94748400503344 94748400505432 94748406546432 140732435048854 140732435048994 140732435048994 140732435054567 0
/proc/41762/statm: 665 352 352 5 0 90 0
[pid=41763] ppid=41762 vsize=106564 memory=91336 CPUtime=12.61 cores=0,2
/proc/41763/stat : 41763 (CASHWMaxSAT-Dis) R 41762 41762 40808 0 -1 4194304 18675 0 0 0 1254 7 0 0 20 0 1 0 46720126 109121536 22834 18446744073709551615 4198400 14093885 140725246946112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32808960 140725246949788 140725246949915 140725246949915 140725246955488 0
/proc/41763/statm: 26641 22834 800 2416 0 23743 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 113548 KiB
Current children cumulated memory: 95816 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=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41762/stat : 41762 (timeout) S 41759 41762 40808 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46720125 2723840 352 18446744073709551615 94748400472064 94748400488577 140732435042320 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94748400503344 94748400505432 94748406546432 140732435048854 140732435048994 140732435048994 140732435054567 0
/proc/41762/statm: 665 352 352 5 0 90 0
[pid=41763] ppid=41762 vsize=119764 memory=97908 CPUtime=25.36 cores=0,2
/proc/41763/stat : 41763 (CASHWMaxSAT-Dis) R 41762 41762 40808 0 -1 4194304 18787 0 0 0 2529 7 0 0 20 0 1 0 46720126 122638336 24477 18446744073709551615 4198400 14093885 140725246946112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32808960 140725246949788 140725246949915 140725246949915 140725246955488 0
/proc/41763/statm: 29941 24477 800 2416 0 27043 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 126748 KiB
Current children cumulated memory: 102388 KiB

[startup+51.1134 s]
/proc/loadavg: 4.15 4.15 4.17 5/257 41947
/proc/meminfo: memFree=129533980/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41762/stat : 41762 (timeout) S 41759 41762 40808 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46720125 2723840 352 18446744073709551615 94748400472064 94748400488577 140732435042320 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94748400503344 94748400505432 94748406546432 140732435048854 140732435048994 140732435048994 140732435054567 0
/proc/41762/statm: 665 352 352 5 0 90 0
[pid=41763] ppid=41762 vsize=119764 memory=99956 CPUtime=50.89 cores=0,2
/proc/41763/stat : 41763 (CASHWMaxSAT-Dis) R 41762 41762 40808 0 -1 4194304 18850 0 0 0 5082 7 0 0 20 0 1 0 46720126 122638336 24989 18446744073709551615 4198400 14093885 140725246946112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32808960 140725246949788 140725246949915 140725246949915 140725246955488 0
/proc/41763/statm: 29941 24989 800 2416 0 27043 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 126748 KiB
Current children cumulated memory: 104436 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/257 41949
/proc/meminfo: memFree=129511080/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=41762] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=42001] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42001/stat : 42001 (timeout) S 41759 42001 40808 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46839926 2723840 352 18446744073709551615 94305674887168 94305674903681 140736738056256 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94305674918448 94305674920536 94305688313856 140736738064774 140736738064930 140736738064930 140736738070503 0
/proc/42001/statm: 665 352 352 5 0 90 0
[pid=42002] ppid=42001 vsize=343760 memory=324504 CPUtime=2257.04 cores=0,2
/proc/42002/stat : 42002 (ExactPR-S) R 42001 42001 40808 0 -1 4194304 105832 0 0 0 225188 516 0 0 20 0 1 0 46839927 352010240 81126 18446744073709551615 93933627645952 93933636945989 140728597800448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93933638732096 93933638771176 93933669646336 140728597805470 140728597805607 140728597805607 140728597811180 0
/proc/42002/statm: 85940 81126 3360 2271 0 80578 0
Current children cumulated CPU time: 3451.68 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 328984 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 42128
/proc/meminfo: memFree=128422524/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=1194.64 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 284 21984 0 0 0 0 119453 11 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=42001] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42001/stat : 42001 (timeout) S 41759 42001 40808 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46839926 2723840 352 18446744073709551615 94305674887168 94305674903681 140736738056256 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94305674918448 94305674920536 94305688313856 140736738064774 140736738064930 140736738064930 140736738070503 0
/proc/42001/statm: 665 352 352 5 0 90 0
[pid=42002] ppid=42001 vsize=343760 memory=324504 CPUtime=2316.87 cores=0,2
/proc/42002/stat : 42002 (ExactPR-S) R 42001 42001 40808 0 -1 4194304 105832 0 0 0 231164 523 0 0 20 0 1 0 46839927 352010240 81126 18446744073709551615 93933627645952 93933636945989 140728597800448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93933638732096 93933638771176 93933669646336 140728597805470 140728597805607 140728597805607 140728597811180 0
/proc/42002/statm: 85940 81126 3360 2271 0 80578 0
Current children cumulated CPU time: 3511.51 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 328984 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 42130
/proc/meminfo: memFree=128423100/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=1194.64 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 284 21984 0 0 0 0 119453 11 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=42001] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42001/stat : 42001 (timeout) S 41759 42001 40808 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46839926 2723840 352 18446744073709551615 94305674887168 94305674903681 140736738056256 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94305674918448 94305674920536 94305688313856 140736738064774 140736738064930 140736738064930 140736738070503 0
/proc/42001/statm: 665 352 352 5 0 90 0
[pid=42002] ppid=42001 vsize=343760 memory=324504 CPUtime=2376.69 cores=0,2
/proc/42002/stat : 42002 (ExactPR-S) R 42001 42001 40808 0 -1 4194304 105832 0 0 0 237145 524 0 0 20 0 1 0 46839927 352010240 81126 18446744073709551615 93933627645952 93933636945989 140728597800448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93933638732096 93933638771176 93933669646336 140728597805470 140728597805607 140728597805607 140728597811180 0
/proc/42002/statm: 85940 81126 3360 2271 0 80578 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 328984 KiB

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

# cumulated CPU time of all completed processes:  user=3579.69 s, system=5.41302 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=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=1194.64 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 284 21984 0 0 0 0 119453 11 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=42001] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42001/stat : 42001 (timeout) S 41759 42001 40808 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46839926 2723840 352 18446744073709551615 94305674887168 94305674903681 140736738056256 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94305674918448 94305674920536 94305688313856 140736738064774 140736738064930 140736738064930 140736738070503 0
/proc/42001/statm: 665 352 352 5 0 90 0
[pid=42002] ppid=42001 vsize=343760 memory=324504 CPUtime=2378.39 cores=0,2
/proc/42002/stat : 42002 (ExactPR-S) R 42001 42001 40808 0 -1 4194304 105832 0 0 0 237315 524 0 0 20 0 1 0 46839927 352010240 81126 18446744073709551615 93933627645952 93933636945989 140728597800448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93933638732096 93933638771176 93933669646336 140728597805470 140728597805607 140728597805607 140728597811180 0
/proc/42002/statm: 85940 81126 3360 2271 0 80578 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 328984 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=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=1194.64 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 284 21984 0 0 0 0 119453 11 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=42001] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42001/stat : 42001 (timeout) S 41759 42001 40808 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46839926 2723840 352 18446744073709551615 94305674887168 94305674903681 140736738056256 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94305674918448 94305674920536 94305688313856 140736738064774 140736738064930 140736738064930 140736738070503 0
/proc/42001/statm: 665 352 352 5 0 90 0
[pid=42002] ppid=42001 vsize=343760 memory=324504 CPUtime=2384.76 cores=0,2
/proc/42002/stat : 42002 (ExactPR-S) R 42001 42001 40808 0 -1 4194304 105832 0 0 0 237951 525 0 0 20 0 1 0 46839927 352010240 81126 18446744073709551615 93933627645952 93933636945989 140728597800448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93933638732096 93933638771176 93933669646336 140728597805470 140728597805607 140728597805607 140728597811180 0
/proc/42002/statm: 85940 81126 3360 2271 0 80578 0
Current children cumulated CPU time: 3579.4 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 328984 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=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=1194.64 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 284 21984 0 0 0 0 119453 11 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=42001] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42001/stat : 42001 (timeout) S 41759 42001 40808 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46839926 2723840 352 18446744073709551615 94305674887168 94305674903681 140736738056256 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94305674918448 94305674920536 94305688313856 140736738064774 140736738064930 140736738064930 140736738070503 0
/proc/42001/statm: 665 352 352 5 0 90 0
[pid=42002] ppid=42001 vsize=343760 memory=324504 CPUtime=2387.95 cores=0,2
/proc/42002/stat : 42002 (ExactPR-S) R 42001 42001 40808 0 -1 4194304 105832 0 0 0 238270 525 0 0 20 0 1 0 46839927 352010240 81126 18446744073709551615 93933627645952 93933636945989 140728597800448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93933638732096 93933638771176 93933669646336 140728597805470 140728597805607 140728597805607 140728597811180 0
/proc/42002/statm: 85940 81126 3360 2271 0 80578 0
Current children cumulated CPU time: 3582.59 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 328984 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423352/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=1194.64 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 284 21984 0 0 0 0 119453 11 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=42001] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42001/stat : 42001 (timeout) S 41759 42001 40808 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46839926 2723840 352 18446744073709551615 94305674887168 94305674903681 140736738056256 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94305674918448 94305674920536 94305688313856 140736738064774 140736738064930 140736738064930 140736738070503 0
/proc/42001/statm: 665 352 352 5 0 90 0
[pid=42002] ppid=42001 vsize=343760 memory=324504 CPUtime=2389.55 cores=0,2
/proc/42002/stat : 42002 (ExactPR-S) R 42001 42001 40808 0 -1 4194304 105832 0 0 0 238430 525 0 0 20 0 1 0 46839927 352010240 81126 18446744073709551615 93933627645952 93933636945989 140728597800448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93933638732096 93933638771176 93933669646336 140728597805470 140728597805607 140728597805607 140728597811180 0
/proc/42002/statm: 85940 81126 3360 2271 0 80578 0
Current children cumulated CPU time: 3584.19 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 328984 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423352/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=1194.64 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 284 21984 0 0 0 0 119453 11 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=42001] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42001/stat : 42001 (timeout) S 41759 42001 40808 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46839926 2723840 352 18446744073709551615 94305674887168 94305674903681 140736738056256 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94305674918448 94305674920536 94305688313856 140736738064774 140736738064930 140736738064930 140736738070503 0
/proc/42001/statm: 665 352 352 5 0 90 0
[pid=42002] ppid=42001 vsize=343760 memory=324504 CPUtime=2389.94 cores=0,2
/proc/42002/stat : 42002 (ExactPR-S) R 42001 42001 40808 0 -1 4194304 105832 0 0 0 238469 525 0 0 20 0 1 0 46839927 352010240 81126 18446744073709551615 93933627645952 93933636945989 140728597800448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93933638732096 93933638771176 93933669646336 140728597805470 140728597805607 140728597805607 140728597811180 0
/proc/42002/statm: 85940 81126 3360 2271 0 80578 0
Current children cumulated CPU time: 3584.58 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 328984 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423352/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=1194.64 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 284 21984 0 0 0 0 119453 11 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
[pid=42001] ppid=41759 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/42001/stat : 42001 (timeout) S 41759 42001 40808 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46839926 2723840 352 18446744073709551615 94305674887168 94305674903681 140736738056256 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94305674918448 94305674920536 94305688313856 140736738064774 140736738064930 140736738064930 140736738070503 0
/proc/42001/statm: 665 352 352 5 0 90 0
[pid=42002] ppid=42001 vsize=343760 memory=324504 CPUtime=2390.36 cores=0,2
/proc/42002/stat : 42002 (ExactPR-S) R 42001 42001 40808 0 -1 4194304 105832 0 0 0 238511 525 0 0 20 0 1 0 46839927 352010240 81126 18446744073709551615 93933627645952 93933636945989 140728597800448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93933638732096 93933638771176 93933669646336 140728597805470 140728597805607 140728597805607 140728597811180 0
/proc/42002/statm: 85940 81126 3360 2271 0 80578 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 328984 KiB

[startup+3596.11 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 42130
/proc/meminfo: memFree=128423352/131382112 swapFree=33010160/33010684
[pid=41759] ppid=41754 vsize=4324 memory=3072 CPUtime=3585.08 cores=0,2
/proc/41759/stat : 41759 (Hybrid-CASHWMax) S 41754 41759 40808 0 -1 4194304 432 130245 0 0 0 0 357968 540 20 0 1 0 46720123 4427776 768 18446744073709551615 94643643682816 94643644577349 140726592287568 0 0 0 2 4 65536 1 0 0 17 2 0 0 0 0 0 94643644816400 94643644864144 94643668152320 140726592289111 140726592289265 140726592289265 140726592294867 0
/proc/41759/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.14
CPU time (s): 3585.11
CPU user time (s): 3579.69
CPU system time (s): 5.41302
CPU usage (%): 99.6932
Max. virtual memory (cumulated for all children) (KiB): 494720
Max. memory (cumulated for all children) (KiB): 442884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.69
system time used= 5.41302
maximum resident set size= 438404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1995
involuntary context switches= 7825


# summary of solver processes directly reported to runsolver:
#   pid: 41759
#   total CPU time (s): 3585.11
#   total CPU user time (s): 3579.69
#   total CPU system time (s): 5.41302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6695 second user time and 39.484 second system time

The end