runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62937 MiB free)
  memory of node 1: 64465 MiB (63911 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484887-1751301654/watcher-4484887-1751301654 -o /tmp/evaluation-result-4484887-1751301654/solver-4484887-1751301654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751301654-39060 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484887-1751301654.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=39106, runsolver pid=39100

[startup+0.100065 s]*
/proc/loadavg: 1.58 3.18 3.77 5/272 39131
/proc/meminfo: memFree=129828960/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39122] ppid=39106 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/39122/stat : 39122 (timeout) S 39106 39122 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45787919 2723840 352 18446744073709551615 94340814516224 94340814532737 140736273611760 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94340814547504 94340814549592 94340845355008 140736273615254 140736273615394 140736273615394 140736273620967 0
/proc/39122/statm: 665 352 352 5 0 90 0
[pid=39127] ppid=39122 vsize=34544 memory=16128 CPUtime=0.05 cores=0,2
/proc/39127/stat : 39127 (CASHWMaxSAT-Dis) R 39122 39122 39050 0 -1 4194304 3367 0 0 0 5 0 0 0 20 0 1 0 45787920 35373056 4032 18446744073709551615 4198400 14093885 140730548837824 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35090432 140730548844956 140730548845083 140730548845083 140730548850656 0
/proc/39127/statm: 8636 4032 736 2416 0 5738 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 41528 KiB
Current children cumulated memory: 20480 KiB

[startup+0.205913 s]*
/proc/loadavg: 1.58 3.18 3.77 6/272 39131
/proc/meminfo: memFree=129772764/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39122] ppid=39106 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/39122/stat : 39122 (timeout) S 39106 39122 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45787919 2723840 352 18446744073709551615 94340814516224 94340814532737 140736273611760 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94340814547504 94340814549592 94340845355008 140736273615254 140736273615394 140736273615394 140736273620967 0
/proc/39122/statm: 665 352 352 5 0 90 0
[pid=39127] ppid=39122 vsize=54092 memory=35584 CPUtime=0.16 cores=0,2
/proc/39127/stat : 39127 (CASHWMaxSAT-Dis) R 39122 39122 39050 0 -1 4194304 8238 0 0 0 15 1 0 0 20 0 1 0 45787920 55390208 8896 18446744073709551615 4198400 14093885 140730548837824 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35090432 140730548844956 140730548845083 140730548845083 140730548850656 0
/proc/39127/statm: 13523 8896 736 2416 0 10625 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 61076 KiB
Current children cumulated memory: 39936 KiB

[startup+0.30587 s]*
/proc/loadavg: 1.58 3.18 3.77 5/272 39131
/proc/meminfo: memFree=129716064/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39122] ppid=39106 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/39122/stat : 39122 (timeout) S 39106 39122 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45787919 2723840 352 18446744073709551615 94340814516224 94340814532737 140736273611760 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94340814547504 94340814549592 94340845355008 140736273615254 140736273615394 140736273615394 140736273620967 0
/proc/39122/statm: 665 352 352 5 0 90 0
[pid=39127] ppid=39122 vsize=72540 memory=54016 CPUtime=0.26 cores=0,2
/proc/39127/stat : 39127 (CASHWMaxSAT-Dis) R 39122 39122 39050 0 -1 4194304 12854 0 0 0 24 2 0 0 20 0 1 0 45787920 74280960 13504 18446744073709551615 4198400 14093885 140730548837824 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35090432 140730548844956 140730548845083 140730548845083 140730548850656 0
/proc/39127/statm: 18135 13504 736 2416 0 15237 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 79524 KiB
Current children cumulated memory: 58368 KiB

[startup+0.700156 s]
/proc/loadavg: 1.58 3.18 3.77 5/272 39131
/proc/meminfo: memFree=129705228/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39122] ppid=39106 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/39122/stat : 39122 (timeout) S 39106 39122 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45787919 2723840 352 18446744073709551615 94340814516224 94340814532737 140736273611760 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94340814547504 94340814549592 94340845355008 140736273615254 140736273615394 140736273615394 140736273620967 0
/proc/39122/statm: 665 352 352 5 0 90 0
[pid=39127] ppid=39122 vsize=73976 memory=59564 CPUtime=0.65 cores=0,2
/proc/39127/stat : 39127 (CASHWMaxSAT-Dis) R 39122 39122 39050 0 -1 4194304 14871 0 0 0 63 2 0 0 20 0 1 0 45787920 75751424 14891 18446744073709551615 4198400 14093885 140730548837824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35090432 140730548844956 140730548845083 140730548845083 140730548850656 0
/proc/39127/statm: 18494 14891 768 2416 0 15596 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 80960 KiB
Current children cumulated memory: 63916 KiB

[startup+1.50016 s]
/proc/loadavg: 1.58 3.18 3.77 5/272 39131
/proc/meminfo: memFree=129705580/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39122] ppid=39106 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/39122/stat : 39122 (timeout) S 39106 39122 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45787919 2723840 352 18446744073709551615 94340814516224 94340814532737 140736273611760 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94340814547504 94340814549592 94340845355008 140736273615254 140736273615394 140736273615394 140736273620967 0
/proc/39122/statm: 665 352 352 5 0 90 0
[pid=39127] ppid=39122 vsize=76948 memory=61740 CPUtime=1.44 cores=0,2
/proc/39127/stat : 39127 (CASHWMaxSAT-Dis) R 39122 39122 39050 0 -1 4194304 15423 0 0 0 142 2 0 0 20 0 1 0 45787920 78794752 15435 18446744073709551615 4198400 14093885 140730548837824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35090432 140730548844956 140730548845083 140730548845083 140730548850656 0
/proc/39127/statm: 19237 15435 768 2416 0 16339 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 83932 KiB
Current children cumulated memory: 66092 KiB

[startup+3.10555 s]
/proc/loadavg: 1.77 3.19 3.77 5/272 39131
/proc/meminfo: memFree=129682572/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39122] ppid=39106 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/39122/stat : 39122 (timeout) S 39106 39122 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45787919 2723840 352 18446744073709551615 94340814516224 94340814532737 140736273611760 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94340814547504 94340814549592 94340845355008 140736273615254 140736273615394 140736273615394 140736273620967 0
/proc/39122/statm: 665 352 352 5 0 90 0
[pid=39127] ppid=39122 vsize=80416 memory=64812 CPUtime=3.05 cores=0,2
/proc/39127/stat : 39127 (CASHWMaxSAT-Dis) R 39122 39122 39050 0 -1 4194304 16185 0 0 0 302 3 0 0 20 0 1 0 45787920 82345984 16203 18446744073709551615 4198400 14093885 140730548837824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35090432 140730548844956 140730548845083 140730548845083 140730548850656 0
/proc/39127/statm: 20104 16203 768 2416 0 17206 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 87400 KiB
Current children cumulated memory: 69164 KiB

[startup+6.30021 s]
/proc/loadavg: 1.77 3.19 3.77 5/272 39131
/proc/meminfo: memFree=129658524/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39122] ppid=39106 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/39122/stat : 39122 (timeout) S 39106 39122 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45787919 2723840 352 18446744073709551615 94340814516224 94340814532737 140736273611760 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94340814547504 94340814549592 94340845355008 140736273615254 140736273615394 140736273615394 140736273620967 0
/proc/39122/statm: 665 352 352 5 0 90 0
[pid=39127] ppid=39122 vsize=92176 memory=74672 CPUtime=6.23 cores=0,2
/proc/39127/stat : 39127 (CASHWMaxSAT-Dis) R 39122 39122 39050 0 -1 4194304 16992 0 0 0 620 3 0 0 20 0 1 0 45787920 94388224 18668 18446744073709551615 4198400 14093885 140730548837824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35090432 140730548844956 140730548845083 140730548845083 140730548850656 0
/proc/39127/statm: 23044 18668 768 2416 0 20146 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 99160 KiB
Current children cumulated memory: 79024 KiB

[startup+12.7002 s]
/proc/loadavg: 1.95 3.20 3.77 5/272 39131
/proc/meminfo: memFree=129637116/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39122] ppid=39106 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/39122/stat : 39122 (timeout) S 39106 39122 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45787919 2723840 352 18446744073709551615 94340814516224 94340814532737 140736273611760 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94340814547504 94340814549592 94340845355008 140736273615254 140736273615394 140736273615394 140736273620967 0
/proc/39122/statm: 665 352 352 5 0 90 0
[pid=39127] ppid=39122 vsize=99244 memory=84472 CPUtime=12.61 cores=0,2
/proc/39127/stat : 39127 (CASHWMaxSAT-Dis) R 39122 39122 39050 0 -1 4194304 17948 0 0 0 1257 4 0 0 20 0 1 0 45787920 101625856 21118 18446744073709551615 4198400 14093885 140730548837824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35090432 140730548844956 140730548845083 140730548845083 140730548850656 0
/proc/39127/statm: 24811 21118 768 2416 0 21913 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 106228 KiB
Current children cumulated memory: 88824 KiB

[startup+25.5002 s]
/proc/loadavg: 2.41 3.24 3.77 5/272 39132
/proc/meminfo: memFree=129618268/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39122] ppid=39106 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/39122/stat : 39122 (timeout) S 39106 39122 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45787919 2723840 352 18446744073709551615 94340814516224 94340814532737 140736273611760 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94340814547504 94340814549592 94340845355008 140736273615254 140736273615394 140736273615394 140736273620967 0
/proc/39122/statm: 665 352 352 5 0 90 0
[pid=39127] ppid=39122 vsize=99244 memory=84984 CPUtime=25.37 cores=0,2
/proc/39127/stat : 39127 (CASHWMaxSAT-Dis) R 39122 39122 39050 0 -1 4194304 18078 0 0 0 2533 4 0 0 20 0 1 0 45787920 101625856 21246 18446744073709551615 4198400 14093885 140730548837824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35090432 140730548844956 140730548845083 140730548845083 140730548850656 0
/proc/39127/statm: 24811 21246 768 2416 0 21913 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 106228 KiB
Current children cumulated memory: 89336 KiB

[startup+51.1057 s]
/proc/loadavg: 3.01 3.32 3.79 5/272 39132
/proc/meminfo: memFree=129598244/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39122] ppid=39106 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/39122/stat : 39122 (timeout) S 39106 39122 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45787919 2723840 352 18446744073709551615 94340814516224 94340814532737 140736273611760 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94340814547504 94340814549592 94340845355008 140736273615254 140736273615394 140736273615394 140736273620967 0
/proc/39122/statm: 665 352 352 5 0 90 0
[pid=39127] ppid=39122 vsize=103520 memory=88472 CPUtime=50.88 cores=0,2
/proc/39127/stat : 39127 (CASHWMaxSAT-Dis) R 39122 39122 39050 0 -1 4194304 18443 0 0 0 5084 4 0 0 20 0 1 0 45787920 106004480 22118 18446744073709551615 4198400 14093885 140730548837824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35090432 140730548844956 140730548845083 140730548845083 140730548850656 0
/proc/39127/statm: 25880 22118 768 2416 0 22982 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 110504 KiB
Current children cumulated memory: 92824 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 3.44 3.81 5/272 39134
/proc/meminfo: memFree=129585312/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0

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

/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39188] ppid=39106 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/39188/stat : 39188 (timeout) S 39106 39188 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45907721 2723840 320 18446744073709551615 94597064048640 94597064065153 140728138881632 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94597064079920 94597064082008 94597086793728 140728138885510 140728138885666 140728138885666 140728138891239 0
/proc/39188/statm: 665 320 320 5 0 90 0
[pid=39190] ppid=39188 vsize=1431960 memory=1148844 CPUtime=2197.82 cores=0,2
/proc/39190/stat : 39190 (ExactPR-S) R 39188 39188 39050 0 -1 4194304 230387 0 0 0 219574 208 0 0 20 0 1 0 45907721 1466327040 287211 18446744073709551615 93910002417664 93910011717701 140728287741392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93910013503808 93910013542888 93910044012544 140728287746462 140728287746599 140728287746599 140728287752172 0
/proc/39190/statm: 357990 287211 3488 2271 0 352628 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 1438944 KiB
Current children cumulated memory: 1153068 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/271 39309
/proc/meminfo: memFree=126224148/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=1194.39 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 283 23563 0 0 0 0 119423 16 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39188] ppid=39106 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/39188/stat : 39188 (timeout) S 39106 39188 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45907721 2723840 320 18446744073709551615 94597064048640 94597064065153 140728138881632 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94597064079920 94597064082008 94597086793728 140728138885510 140728138885666 140728138885666 140728138891239 0
/proc/39188/statm: 665 320 320 5 0 90 0
[pid=39190] ppid=39188 vsize=1431960 memory=1148844 CPUtime=2257.65 cores=0,2
/proc/39190/stat : 39190 (ExactPR-S) R 39188 39188 39050 0 -1 4194304 230387 0 0 0 225556 209 0 0 20 0 1 0 45907721 1466327040 287211 18446744073709551615 93910002417664 93910011717701 140728287741392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93910013503808 93910013542888 93910044012544 140728287746462 140728287746599 140728287746599 140728287752172 0
/proc/39190/statm: 357990 287211 3488 2271 0 352628 0
Current children cumulated CPU time: 3452.04 s
Current children cumulated vsize: 1438944 KiB
Current children cumulated memory: 1153068 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/272 39312
/proc/meminfo: memFree=126210516/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=1194.39 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 283 23563 0 0 0 0 119423 16 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39188] ppid=39106 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/39188/stat : 39188 (timeout) S 39106 39188 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45907721 2723840 320 18446744073709551615 94597064048640 94597064065153 140728138881632 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94597064079920 94597064082008 94597086793728 140728138885510 140728138885666 140728138885666 140728138891239 0
/proc/39188/statm: 665 320 320 5 0 90 0
[pid=39190] ppid=39188 vsize=1431960 memory=1152940 CPUtime=2317.5 cores=0,2
/proc/39190/stat : 39190 (ExactPR-S) R 39188 39188 39050 0 -1 4194304 230389 0 0 0 231539 211 0 0 20 0 1 0 45907721 1466327040 288235 18446744073709551615 93910002417664 93910011717701 140728287741392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93910013503808 93910013542888 93910044012544 140728287746462 140728287746599 140728287746599 140728287752172 0
/proc/39190/statm: 357990 288235 3488 2271 0 352628 0
Current children cumulated CPU time: 3511.89 s
Current children cumulated vsize: 1438944 KiB
Current children cumulated memory: 1157164 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/272 39316
/proc/meminfo: memFree=126194420/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=1194.39 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 283 23563 0 0 0 0 119423 16 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39188] ppid=39106 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/39188/stat : 39188 (timeout) S 39106 39188 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45907721 2723840 320 18446744073709551615 94597064048640 94597064065153 140728138881632 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94597064079920 94597064082008 94597086793728 140728138885510 140728138885666 140728138885666 140728138891239 0
/proc/39188/statm: 665 320 320 5 0 90 0
[pid=39190] ppid=39188 vsize=1431960 memory=1152940 CPUtime=2377.34 cores=0,2
/proc/39190/stat : 39190 (ExactPR-S) R 39188 39188 39050 0 -1 4194304 230389 0 0 0 237521 213 0 0 20 0 1 0 45907721 1466327040 288235 18446744073709551615 93910002417664 93910011717701 140728287741392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93910013503808 93910013542888 93910044012544 140728287746462 140728287746599 140728287746599 140728287752172 0
/proc/39190/statm: 357990 288235 3488 2271 0 352628 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 1438944 KiB
Current children cumulated memory: 1157164 KiB

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

# cumulated CPU time of all completed processes:  user=3583.18 s, system=2.33536 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.13 4.13 5/272 39316
/proc/meminfo: memFree=126194452/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=1194.39 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 283 23563 0 0 0 0 119423 16 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39188] ppid=39106 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/39188/stat : 39188 (timeout) S 39106 39188 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45907721 2723840 320 18446744073709551615 94597064048640 94597064065153 140728138881632 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94597064079920 94597064082008 94597086793728 140728138885510 140728138885666 140728138885666 140728138891239 0
/proc/39188/statm: 665 320 320 5 0 90 0
[pid=39190] ppid=39188 vsize=1431960 memory=1152940 CPUtime=2379.04 cores=0,2
/proc/39190/stat : 39190 (ExactPR-S) R 39188 39188 39050 0 -1 4194304 230389 0 0 0 237691 213 0 0 20 0 1 0 45907721 1466327040 288235 18446744073709551615 93910002417664 93910011717701 140728287741392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93910013503808 93910013542888 93910044012544 140728287746462 140728287746599 140728287746599 140728287752172 0
/proc/39190/statm: 357990 288235 3488 2271 0 352628 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 1438944 KiB
Current children cumulated memory: 1157164 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.13 4.13 5/272 39317
/proc/meminfo: memFree=126188560/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=1194.39 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 283 23563 0 0 0 0 119423 16 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39188] ppid=39106 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/39188/stat : 39188 (timeout) S 39106 39188 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45907721 2723840 320 18446744073709551615 94597064048640 94597064065153 140728138881632 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94597064079920 94597064082008 94597086793728 140728138885510 140728138885666 140728138885666 140728138891239 0
/proc/39188/statm: 665 320 320 5 0 90 0
[pid=39190] ppid=39188 vsize=1431960 memory=1152940 CPUtime=2385.42 cores=0,2
/proc/39190/stat : 39190 (ExactPR-S) R 39188 39188 39050 0 -1 4194304 230390 0 0 0 238329 213 0 0 20 0 1 0 45907721 1466327040 288235 18446744073709551615 93910002417664 93910011717701 140728287741392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93910013503808 93910013542888 93910044012544 140728287746462 140728287746599 140728287746599 140728287752172 0
/proc/39190/statm: 357990 288235 3488 2271 0 352628 0
Current children cumulated CPU time: 3579.81 s
Current children cumulated vsize: 1438944 KiB
Current children cumulated memory: 1157164 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.13 4.13 5/272 39317
/proc/meminfo: memFree=126188560/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=1194.39 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 283 23563 0 0 0 0 119423 16 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39188] ppid=39106 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/39188/stat : 39188 (timeout) S 39106 39188 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45907721 2723840 320 18446744073709551615 94597064048640 94597064065153 140728138881632 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94597064079920 94597064082008 94597086793728 140728138885510 140728138885666 140728138885666 140728138891239 0
/proc/39188/statm: 665 320 320 5 0 90 0
[pid=39190] ppid=39188 vsize=1431960 memory=1152940 CPUtime=2388.61 cores=0,2
/proc/39190/stat : 39190 (ExactPR-S) R 39188 39188 39050 0 -1 4194304 230390 0 0 0 238648 213 0 0 20 0 1 0 45907721 1466327040 288235 18446744073709551615 93910002417664 93910011717701 140728287741392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93910013503808 93910013542888 93910044012544 140728287746462 140728287746599 140728287746599 140728287752172 0
/proc/39190/statm: 357990 288235 3488 2271 0 352628 0
Current children cumulated CPU time: 3583 s
Current children cumulated vsize: 1438944 KiB
Current children cumulated memory: 1157164 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.13 4.13 5/272 39317
/proc/meminfo: memFree=126196884/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=1194.39 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 283 23563 0 0 0 0 119423 16 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39188] ppid=39106 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/39188/stat : 39188 (timeout) S 39106 39188 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45907721 2723840 320 18446744073709551615 94597064048640 94597064065153 140728138881632 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94597064079920 94597064082008 94597086793728 140728138885510 140728138885666 140728138885666 140728138891239 0
/proc/39188/statm: 665 320 320 5 0 90 0
[pid=39190] ppid=39188 vsize=1431960 memory=1152940 CPUtime=2390.21 cores=0,2
/proc/39190/stat : 39190 (ExactPR-S) R 39188 39188 39050 0 -1 4194304 230390 0 0 0 238808 213 0 0 20 0 1 0 45907721 1466327040 288235 18446744073709551615 93910002417664 93910011717701 140728287741392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93910013503808 93910013542888 93910044012544 140728287746462 140728287746599 140728287746599 140728287752172 0
/proc/39190/statm: 357990 288235 3488 2271 0 352628 0
Current children cumulated CPU time: 3584.6 s
Current children cumulated vsize: 1438944 KiB
Current children cumulated memory: 1157164 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.13 4.13 5/272 39317
/proc/meminfo: memFree=126196884/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=1194.39 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 283 23563 0 0 0 0 119423 16 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
[pid=39188] ppid=39106 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/39188/stat : 39188 (timeout) S 39106 39188 39050 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45907721 2723840 320 18446744073709551615 94597064048640 94597064065153 140728138881632 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94597064079920 94597064082008 94597086793728 140728138885510 140728138885666 140728138885666 140728138891239 0
/proc/39188/statm: 665 320 320 5 0 90 0
[pid=39190] ppid=39188 vsize=1431960 memory=1152940 CPUtime=2391.01 cores=0,2
/proc/39190/stat : 39190 (ExactPR-S) R 39188 39188 39050 0 -1 4194304 230390 0 0 0 238888 213 0 0 20 0 1 0 45907721 1466327040 288235 18446744073709551615 93910002417664 93910011717701 140728287741392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93910013503808 93910013542888 93910044012544 140728287746462 140728287746599 140728287746599 140728287752172 0
/proc/39190/statm: 357990 288235 3488 2271 0 352628 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 1438944 KiB
Current children cumulated memory: 1157164 KiB

[startup+3596.2 s]
/proc/loadavg: 4.09 4.13 4.13 5/272 39317
/proc/meminfo: memFree=126196884/131250000 swapFree=33010684/33010684
[pid=39106] ppid=39100 vsize=4324 memory=2944 CPUtime=3585.49 cores=0,2
/proc/39106/stat : 39106 (Hybrid-CASHWMax) S 39100 39106 39050 0 -1 4194304 479 256628 0 2 0 0 358317 232 20 0 1 0 45787917 4427776 736 18446744073709551615 94550119886848 94550120781381 140735669818944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94550121020432 94550121068176 94550149591040 140735669827927 140735669828081 140735669828081 140735669833683 0
/proc/39106/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.49 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.23
CPU time (s): 3585.51
CPU user time (s): 3583.18
CPU system time (s): 2.33536
CPU usage (%): 99.702
Max. virtual memory (cumulated for all children) (KiB): 1605908
Max. memory (cumulated for all children) (KiB): 1250220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.18
system time used= 2.33536
maximum resident set size= 1245996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257454
page faults= 2
swaps= 0
block input operations= 152
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3289
involuntary context switches= 5183


# summary of solver processes directly reported to runsolver:
#   pid: 39106
#   total CPU time (s): 3585.51
#   total CPU user time (s): 3583.18
#   total CPU system time (s): 2.33536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47201 second user time and 17.6648 second system time

The end