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: 63968 MiB (60319 MiB free)
  memory of node 1: 64473 MiB (62980 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437883-1722960929/watcher-4437883-1722960929 -o /tmp/evaluation-result-4437883-1722960929/solver-4437883-1722960929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722960830-342221 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437883-1722960929.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=343641, runsolver pid=343638

[startup+0.10089 s]*
/proc/loadavg: 3.43 1.89 1.77 5/273 343645
/proc/meminfo: memFree=126234380/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 679 601 264 0 134 0
[pid=343644] ppid=343641 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/343644/stat : 343644 (timeout) S 343641 343644 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62689923 8867840 254 134679101440 94804970405888 94804970440904 140725540552144 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94804972538320 94804972540452 94804987457536 140725540557822 140725540557981 140725540557981 140725540564967 0
/proc/343644/statm: 2165 254 229 9 0 87 0
[pid=343645] ppid=343644 vsize=43488 memory=34752 CPUtime=0.09 cores=0,2
/proc/343645/stat : 343645 (CASHWMaxSAT-Dis) R 343644 343644 342211 0 -1 4194304 6498 0 0 0 8 1 0 0 20 0 1 0 62689923 44531712 8688 134679101440 4194304 15356333 140723540617712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54550528 140723540624387 140723540624533 140723540624533 140723540631519 0
/proc/343645/statm: 10872 8688 2746 2726 0 7620 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62080 KiB
Current children cumulated memory: 38484 KiB

[startup+0.205926 s]*
/proc/loadavg: 3.43 1.89 1.77 5/273 343645
/proc/meminfo: memFree=126232364/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 679 601 264 0 134 0
[pid=343644] ppid=343641 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/343644/stat : 343644 (timeout) S 343641 343644 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62689923 8867840 254 134679101440 94804970405888 94804970440904 140725540552144 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94804972538320 94804972540452 94804987457536 140725540557822 140725540557981 140725540557981 140725540564967 0
/proc/343644/statm: 2165 254 229 9 0 87 0
[pid=343645] ppid=343644 vsize=45292 memory=36324 CPUtime=0.19 cores=0,2
/proc/343645/stat : 343645 (CASHWMaxSAT-Dis) R 343644 343644 342211 0 -1 4194304 6927 0 0 0 18 1 0 0 20 0 1 0 62689923 46379008 9081 134679101440 4194304 15356333 140723540617712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54550528 140723540624387 140723540624533 140723540624533 140723540631519 0
/proc/343645/statm: 11323 9081 2746 2726 0 8071 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63884 KiB
Current children cumulated memory: 40056 KiB

[startup+0.305892 s]*
/proc/loadavg: 3.43 1.89 1.77 5/273 343645
/proc/meminfo: memFree=126231356/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 679 601 264 0 134 0
[pid=343644] ppid=343641 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/343644/stat : 343644 (timeout) S 343641 343644 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62689923 8867840 254 134679101440 94804970405888 94804970440904 140725540552144 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94804972538320 94804972540452 94804987457536 140725540557822 140725540557981 140725540557981 140725540564967 0
/proc/343644/statm: 2165 254 229 9 0 87 0
[pid=343645] ppid=343644 vsize=47704 memory=38760 CPUtime=0.29 cores=0,2
/proc/343645/stat : 343645 (CASHWMaxSAT-Dis) R 343644 343644 342211 0 -1 4194304 7486 0 0 0 28 1 0 0 20 0 1 0 62689923 48848896 9690 134679101440 4194304 15356333 140723540617712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54550528 140723540624387 140723540624533 140723540624533 140723540631519 0
/proc/343645/statm: 11926 9690 2762 2726 0 8674 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66296 KiB
Current children cumulated memory: 42492 KiB

[startup+0.700303 s]
/proc/loadavg: 3.43 1.89 1.77 5/273 343645
/proc/meminfo: memFree=126227324/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 679 601 264 0 134 0
[pid=343644] ppid=343641 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/343644/stat : 343644 (timeout) S 343641 343644 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62689923 8867840 254 134679101440 94804970405888 94804970440904 140725540552144 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94804972538320 94804972540452 94804987457536 140725540557822 140725540557981 140725540557981 140725540564967 0
/proc/343644/statm: 2165 254 229 9 0 87 0
[pid=343645] ppid=343644 vsize=50144 memory=40824 CPUtime=0.68 cores=0,2
/proc/343645/stat : 343645 (CASHWMaxSAT-Dis) R 343644 343644 342211 0 -1 4194304 8057 0 0 0 67 1 0 0 20 0 1 0 62689923 51347456 10206 134679101440 4194304 15356333 140723540617712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54550528 140723540624387 140723540624533 140723540624533 140723540631519 0
/proc/343645/statm: 12536 10206 2762 2726 0 9284 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68736 KiB
Current children cumulated memory: 44556 KiB

[startup+1.50027 s]
/proc/loadavg: 3.43 1.89 1.77 5/273 343645
/proc/meminfo: memFree=126222080/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 679 601 264 0 134 0
[pid=343644] ppid=343641 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/343644/stat : 343644 (timeout) S 343641 343644 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62689923 8867840 254 134679101440 94804970405888 94804970440904 140725540552144 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94804972538320 94804972540452 94804987457536 140725540557822 140725540557981 140725540557981 140725540564967 0
/proc/343644/statm: 2165 254 229 9 0 87 0
[pid=343645] ppid=343644 vsize=52568 memory=42672 CPUtime=1.48 cores=0,2
/proc/343645/stat : 343645 (CASHWMaxSAT-Dis) R 343644 343644 342211 0 -1 4194304 8529 0 0 0 147 1 0 0 20 0 1 0 62689923 53829632 10668 134679101440 4194304 15356333 140723540617712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54550528 140723540624387 140723540624533 140723540624533 140723540631519 0
/proc/343645/statm: 13142 10668 2762 2726 0 9890 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71160 KiB
Current children cumulated memory: 46404 KiB

[startup+3.10613 s]
/proc/loadavg: 3.47 1.93 1.78 5/273 343645
/proc/meminfo: memFree=126203888/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 679 601 264 0 134 0
[pid=343644] ppid=343641 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/343644/stat : 343644 (timeout) S 343641 343644 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62689923 8867840 254 134679101440 94804970405888 94804970440904 140725540552144 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94804972538320 94804972540452 94804987457536 140725540557822 140725540557981 140725540557981 140725540564967 0
/proc/343644/statm: 2165 254 229 9 0 87 0
[pid=343645] ppid=343644 vsize=66824 memory=55608 CPUtime=3.07 cores=0,2
/proc/343645/stat : 343645 (CASHWMaxSAT-Dis) R 343644 343644 342211 0 -1 4194304 11763 0 0 0 306 1 0 0 20 0 1 0 62689923 68427776 13902 134679101440 4194304 15356333 140723540617712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54550528 140723540624387 140723540624533 140723540624533 140723540631519 0
/proc/343645/statm: 16706 13902 2762 2726 0 13454 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 85416 KiB
Current children cumulated memory: 59340 KiB

[startup+6.30022 s]
/proc/loadavg: 3.47 1.93 1.78 5/273 343647
/proc/meminfo: memFree=126171320/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 679 601 264 0 134 0
[pid=343644] ppid=343641 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/343644/stat : 343644 (timeout) S 343641 343644 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62689923 8867840 254 134679101440 94804970405888 94804970440904 140725540552144 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94804972538320 94804972540452 94804987457536 140725540557822 140725540557981 140725540557981 140725540564967 0
/proc/343644/statm: 2165 254 229 9 0 87 0
[pid=343645] ppid=343644 vsize=108004 memory=95736 CPUtime=6.26 cores=0,2
/proc/343645/stat : 343645 (CASHWMaxSAT-Dis) R 343644 343644 342211 0 -1 4194304 21771 0 0 0 624 2 0 0 20 0 1 0 62689923 110596096 23934 134679101440 4194304 15356333 140723540617712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54550528 140723540624387 140723540624533 140723540624533 140723540631519 0
/proc/343645/statm: 27001 23934 2762 2726 0 23749 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126596 KiB
Current children cumulated memory: 99468 KiB

[startup+12.7002 s]
/proc/loadavg: 3.56 2.00 1.80 5/273 343647
/proc/meminfo: memFree=126143836/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 679 601 264 0 134 0
[pid=343644] ppid=343641 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/343644/stat : 343644 (timeout) S 343641 343644 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62689923 8867840 254 134679101440 94804970405888 94804970440904 140725540552144 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94804972538320 94804972540452 94804987457536 140725540557822 140725540557981 140725540557981 140725540564967 0
/proc/343644/statm: 2165 254 229 9 0 87 0
[pid=343645] ppid=343644 vsize=124560 memory=109048 CPUtime=12.64 cores=0,2
/proc/343645/stat : 343645 (CASHWMaxSAT-Dis) R 343644 343644 342211 0 -1 4194304 26221 0 0 0 1261 3 0 0 20 0 1 0 62689923 127549440 27262 134679101440 4194304 15356333 140723540617712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54550528 140723540624387 140723540624533 140723540624533 140723540631519 0
/proc/343645/statm: 31140 27262 2762 2726 0 27888 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 143152 KiB
Current children cumulated memory: 112780 KiB

[startup+25.5003 s]
/proc/loadavg: 3.62 2.06 1.83 5/270 343648
/proc/meminfo: memFree=125908608/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 679 601 264 0 134 0
[pid=343644] ppid=343641 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/343644/stat : 343644 (timeout) S 343641 343644 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62689923 8867840 254 134679101440 94804970405888 94804970440904 140725540552144 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94804972538320 94804972540452 94804987457536 140725540557822 140725540557981 140725540557981 140725540564967 0
/proc/343644/statm: 2165 254 229 9 0 87 0
[pid=343645] ppid=343644 vsize=127620 memory=112212 CPUtime=25.4 cores=0,2
/proc/343645/stat : 343645 (CASHWMaxSAT-Dis) R 343644 343644 342211 0 -1 4194304 27053 0 0 0 2537 3 0 0 20 0 1 0 62689923 130682880 28053 134679101440 4194304 15356333 140723540617712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54550528 140723540624387 140723540624533 140723540624533 140723540631519 0
/proc/343645/statm: 31905 28053 2762 2726 0 28653 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 146212 KiB
Current children cumulated memory: 115944 KiB

[startup+51.1059 s]
/proc/loadavg: 3.82 2.24 1.89 5/270 343705
/proc/meminfo: memFree=126552188/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 679 601 264 0 134 0
[pid=343644] ppid=343641 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/343644/stat : 343644 (timeout) S 343641 343644 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62689923 8867840 254 134679101440 94804970405888 94804970440904 140725540552144 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94804972538320 94804972540452 94804987457536 140725540557822 140725540557981 140725540557981 140725540564967 0
/proc/343644/statm: 2165 254 229 9 0 87 0
[pid=343645] ppid=343644 vsize=159264 memory=142108 CPUtime=50.91 cores=0,2
/proc/343645/stat : 343645 (CASHWMaxSAT-Dis) R 343644 343644 342211 0 -1 4194304 34678 0 0 0 5087 4 0 0 20 0 1 0 62689923 163086336 35527 134679101440 4194304 15356333 140723540617712 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 54550528 140723540624387 140723540624533 140723540624533 140723540631519 0
/proc/343645/statm: 39816 35527 2762 2726 0 36564 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 177856 KiB
Current children cumulated memory: 145840 KiB

[startup+102.3 s]
/proc/loadavg: 3.99 2.55 2.02 5/270 343712
/proc/meminfo: memFree=126352612/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62689923 10170368 679 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0

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

/proc/344651/statm: 48636 47093 820 745 0 47701 0
Current children cumulated CPU time: 3389.8 s
Current children cumulated vsize: 213136 KiB
Current children cumulated memory: 192120 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/266 345530
/proc/meminfo: memFree=125385832/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2772 CPUtime=1791.78 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 273 86134 0 0 0 0 179122 56 20 0 1 0 62689923 10170368 693 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 693 601 264 0 134 0
[pid=344650] ppid=343641 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344650/stat : 344650 (timeout) S 343641 344650 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62869723 8867840 244 134679101440 94103075205120 94103075240136 140730498075520 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94103077337552 94103077339684 94103101997056 140730498077684 140730498077853 140730498077853 140730498084839 0
/proc/344650/statm: 2165 244 220 9 0 87 0
[pid=344651] ppid=344650 vsize=194928 memory=188752 CPUtime=1657.79 cores=0,2
/proc/344651/stat : 344651 (Exact) R 344650 344650 342211 0 -1 4194304 25210 0 0 0 165769 10 0 0 20 0 1 0 62869723 199606272 47188 134679101440 4194304 7243121 140722881591120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 33017856 140722881598480 140722881598630 140722881598630 140722881605616 0
/proc/344651/statm: 48732 47188 820 745 0 47797 0
Current children cumulated CPU time: 3449.57 s
Current children cumulated vsize: 213520 KiB
Current children cumulated memory: 192500 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/266 345663
/proc/meminfo: memFree=126202800/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2772 CPUtime=1791.78 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 273 86134 0 0 0 0 179122 56 20 0 1 0 62689923 10170368 693 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 693 601 264 0 134 0
[pid=344650] ppid=343641 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344650/stat : 344650 (timeout) S 343641 344650 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62869723 8867840 244 134679101440 94103075205120 94103075240136 140730498075520 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94103077337552 94103077339684 94103101997056 140730498077684 140730498077853 140730498077853 140730498084839 0
/proc/344650/statm: 2165 244 220 9 0 87 0
[pid=344651] ppid=344650 vsize=195124 memory=188952 CPUtime=1717.55 cores=0,2
/proc/344651/stat : 344651 (Exact) R 344650 344650 342211 0 -1 4194304 25323 0 0 0 171745 10 0 0 20 0 1 0 62869723 199806976 47238 134679101440 4194304 7243121 140722881591120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 33017856 140722881598480 140722881598630 140722881598630 140722881605616 0
/proc/344651/statm: 48781 47238 820 745 0 47846 0
Current children cumulated CPU time: 3509.33 s
Current children cumulated vsize: 213716 KiB
Current children cumulated memory: 192700 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 345675
/proc/meminfo: memFree=125736676/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2772 CPUtime=1791.78 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 273 86134 0 0 0 0 179122 56 20 0 1 0 62689923 10170368 693 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 693 601 264 0 134 0
[pid=344650] ppid=343641 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344650/stat : 344650 (timeout) S 343641 344650 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62869723 8867840 244 134679101440 94103075205120 94103075240136 140730498075520 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94103077337552 94103077339684 94103101997056 140730498077684 140730498077853 140730498077853 140730498084839 0
/proc/344650/statm: 2165 244 220 9 0 87 0
[pid=344651] ppid=344650 vsize=196404 memory=190036 CPUtime=1777.32 cores=0,2
/proc/344651/stat : 344651 (Exact) R 344650 344650 342211 0 -1 4194304 25687 0 0 0 177722 10 0 0 20 0 1 0 62869723 201117696 47509 134679101440 4194304 7243121 140722881591120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 33017856 140722881598480 140722881598630 140722881598630 140722881605616 0
/proc/344651/statm: 49101 47509 820 745 0 48166 0
Current children cumulated CPU time: 3569.1 s
Current children cumulated vsize: 214996 KiB
Current children cumulated memory: 193784 KiB

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

# cumulated CPU time of all completed processes:  user=3582.12 s, system=0.679942 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.09 5/265 345746
/proc/meminfo: memFree=125838712/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2772 CPUtime=1791.78 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 273 86134 0 0 0 0 179122 56 20 0 1 0 62689923 10170368 693 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 693 601 264 0 134 0
[pid=344650] ppid=343641 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344650/stat : 344650 (timeout) S 343641 344650 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62869723 8867840 244 134679101440 94103075205120 94103075240136 140730498075520 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94103077337552 94103077339684 94103101997056 140730498077684 140730498077853 140730498077853 140730498084839 0
/proc/344650/statm: 2165 244 220 9 0 87 0
[pid=344651] ppid=344650 vsize=196404 memory=190036 CPUtime=1779.02 cores=0,2
/proc/344651/stat : 344651 (Exact) R 344650 344650 342211 0 -1 4194304 25687 0 0 0 177892 10 0 0 20 0 1 0 62869723 201117696 47509 134679101440 4194304 7243121 140722881591120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 33017856 140722881598480 140722881598630 140722881598630 140722881605616 0
/proc/344651/statm: 49101 47509 820 745 0 48166 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 214996 KiB
Current children cumulated memory: 193784 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 345747
/proc/meminfo: memFree=125733836/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2772 CPUtime=1791.78 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 273 86134 0 0 0 0 179122 56 20 0 1 0 62689923 10170368 693 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 693 601 264 0 134 0
[pid=344650] ppid=343641 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344650/stat : 344650 (timeout) S 343641 344650 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62869723 8867840 244 134679101440 94103075205120 94103075240136 140730498075520 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94103077337552 94103077339684 94103101997056 140730498077684 140730498077853 140730498077853 140730498084839 0
/proc/344650/statm: 2165 244 220 9 0 87 0
[pid=344651] ppid=344650 vsize=196404 memory=190036 CPUtime=1785.39 cores=0,2
/proc/344651/stat : 344651 (Exact) R 344650 344650 342211 0 -1 4194304 25687 0 0 0 178529 10 0 0 20 0 1 0 62869723 201117696 47509 134679101440 4194304 7243121 140722881591120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 33017856 140722881598480 140722881598630 140722881598630 140722881605616 0
/proc/344651/statm: 49101 47509 820 745 0 48166 0
Current children cumulated CPU time: 3577.17 s
Current children cumulated vsize: 214996 KiB
Current children cumulated memory: 193784 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.12 4.09 6/265 345747
/proc/meminfo: memFree=125765752/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2772 CPUtime=1791.78 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 273 86134 0 0 0 0 179122 56 20 0 1 0 62689923 10170368 693 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 693 601 264 0 134 0
[pid=344650] ppid=343641 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344650/stat : 344650 (timeout) S 343641 344650 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62869723 8867840 244 134679101440 94103075205120 94103075240136 140730498075520 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94103077337552 94103077339684 94103101997056 140730498077684 140730498077853 140730498077853 140730498084839 0
/proc/344650/statm: 2165 244 220 9 0 87 0
[pid=344651] ppid=344650 vsize=196404 memory=190036 CPUtime=1788.58 cores=0,2
/proc/344651/stat : 344651 (Exact) R 344650 344650 342211 0 -1 4194304 25687 0 0 0 178848 10 0 0 20 0 1 0 62869723 201117696 47509 134679101440 4194304 7243121 140722881591120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 33017856 140722881598480 140722881598630 140722881598630 140722881605616 0
/proc/344651/statm: 49101 47509 820 745 0 48166 0
Current children cumulated CPU time: 3580.36 s
Current children cumulated vsize: 214996 KiB
Current children cumulated memory: 193784 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 345747
/proc/meminfo: memFree=125765724/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2772 CPUtime=1791.78 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 273 86134 0 0 0 0 179122 56 20 0 1 0 62689923 10170368 693 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 693 601 264 0 134 0
[pid=344650] ppid=343641 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344650/stat : 344650 (timeout) S 343641 344650 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62869723 8867840 244 134679101440 94103075205120 94103075240136 140730498075520 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94103077337552 94103077339684 94103101997056 140730498077684 140730498077853 140730498077853 140730498084839 0
/proc/344650/statm: 2165 244 220 9 0 87 0
[pid=344651] ppid=344650 vsize=196404 memory=190036 CPUtime=1790.17 cores=0,2
/proc/344651/stat : 344651 (Exact) R 344650 344650 342211 0 -1 4194304 25687 0 0 0 179007 10 0 0 20 0 1 0 62869723 201117696 47509 134679101440 4194304 7243121 140722881591120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 33017856 140722881598480 140722881598630 140722881598630 140722881605616 0
/proc/344651/statm: 49101 47509 820 745 0 48166 0
Current children cumulated CPU time: 3581.95 s
Current children cumulated vsize: 214996 KiB
Current children cumulated memory: 193784 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 345747
/proc/meminfo: memFree=125765724/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2772 CPUtime=1791.78 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 273 86134 0 0 0 0 179122 56 20 0 1 0 62689923 10170368 693 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 693 601 264 0 134 0
[pid=344650] ppid=343641 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344650/stat : 344650 (timeout) S 343641 344650 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62869723 8867840 244 134679101440 94103075205120 94103075240136 140730498075520 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94103077337552 94103077339684 94103101997056 140730498077684 140730498077853 140730498077853 140730498084839 0
/proc/344650/statm: 2165 244 220 9 0 87 0
[pid=344651] ppid=344650 vsize=196404 memory=190036 CPUtime=1790.57 cores=0,2
/proc/344651/stat : 344651 (Exact) R 344650 344650 342211 0 -1 4194304 25687 0 0 0 179047 10 0 0 20 0 1 0 62869723 201117696 47509 134679101440 4194304 7243121 140722881591120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 33017856 140722881598480 140722881598630 140722881598630 140722881605616 0
/proc/344651/statm: 49101 47509 820 745 0 48166 0
Current children cumulated CPU time: 3582.35 s
Current children cumulated vsize: 214996 KiB
Current children cumulated memory: 193784 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.12 4.09 5/265 345749
/proc/meminfo: memFree=125765500/131524600 swapFree=131071216/131071996
[pid=343641] ppid=343638 vsize=9932 memory=2772 CPUtime=1791.78 cores=0,2
/proc/343641/stat : 343641 (Hybrid-CASHWMax) S 343638 343641 342211 0 -1 4194304 273 86134 0 0 0 0 179122 56 20 0 1 0 62689923 10170368 693 134679101440 94556292644864 94556293724184 140726975545040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94556295822640 94556295869828 94556297625600 140726975546318 140726975546477 140726975546477 140726975553492 0
/proc/343641/statm: 2483 693 601 264 0 134 0
[pid=344650] ppid=343641 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/344650/stat : 344650 (timeout) S 343641 344650 342211 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62869723 8867840 244 134679101440 94103075205120 94103075240136 140730498075520 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94103077337552 94103077339684 94103101997056 140730498077684 140730498077853 140730498077853 140730498084839 0
/proc/344650/statm: 2165 244 220 9 0 87 0
[pid=344651] ppid=344650 vsize=196404 memory=190036 CPUtime=1790.97 cores=0,2
/proc/344651/stat : 344651 (Exact) R 344650 344650 342211 0 -1 4194304 25687 0 0 0 179087 10 0 0 20 0 1 0 62869723 201117696 47509 134679101440 4194304 7243121 140722881591120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 33017856 140722881598480 140722881598630 140722881598630 140722881605616 0
/proc/344651/statm: 49101 47509 820 745 0 48166 0
Current children cumulated CPU time: 3582.75 s
Current children cumulated vsize: 214996 KiB
Current children cumulated memory: 193784 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3582.8
CPU user time (s): 3582.12
CPU system time (s): 0.679942
CPU usage (%): 99.6322
Max. virtual memory (cumulated for all children) (KiB): 396528
Max. memory (cumulated for all children) (KiB): 366324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.12
system time used= 0.679942
maximum resident set size= 362592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 25407


# summary of solver processes directly reported to runsolver:
#   pid: 343641
#   total CPU time (s): 3582.8
#   total CPU user time (s): 3582.12
#   total CPU system time (s): 0.679942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07063 second user time and 17.7767 second system time

The end