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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484695-1751308088/watcher-4484695-1751308088 -o /tmp/evaluation-result-4484695-1751308088/solver-4484695-1751308088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751304475-38395 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1851068493 --ls=360 --inp-dombreaklim=0 HOME/instance-4484695-1751308088.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100061 s]*
/proc/loadavg: 4.08 4.09 4.06 5/249 38813
/proc/meminfo: memFree=126595376/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=38216 memory=14628 CPUtime=0.11 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 3110 0 0 0 10 1 0 0 20 0 1 0 46487457 39133184 3657 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 9554 3657 1024 1200 0 8034 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38216 KiB
Current children cumulated memory: 14628 KiB

[startup+0.213117 s]*
/proc/loadavg: 4.08 4.09 4.06 5/249 38813
/proc/meminfo: memFree=126587564/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=46816 memory=25008 CPUtime=0.21 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 5049 0 0 0 20 1 0 0 20 0 1 0 46487457 47939584 6252 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 11704 6252 1024 1200 0 10184 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46816 KiB
Current children cumulated memory: 25008 KiB

[startup+0.313066 s]*
/proc/loadavg: 4.08 4.09 4.06 5/249 38813
/proc/meminfo: memFree=126587912/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=49060 memory=27952 CPUtime=0.32 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 5788 0 0 0 30 2 0 0 20 0 1 0 46487457 50237440 6988 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 12265 6988 1024 1200 0 10745 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 49060 KiB
Current children cumulated memory: 27952 KiB

[startup+0.700309 s]
/proc/loadavg: 4.08 4.09 4.06 5/249 38813
/proc/meminfo: memFree=126563844/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=51860 CPUtime=0.69 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9480 0 0 0 66 3 0 0 20 0 1 0 46487457 74973184 12965 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 12965 1024 1200 0 16784 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 51860 KiB

[startup+1.50031 s]
/proc/loadavg: 4.08 4.09 4.06 5/249 38813
/proc/meminfo: memFree=126559748/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=51860 CPUtime=1.48 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9480 0 0 0 145 3 0 0 20 0 1 0 46487457 74973184 12965 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 12965 1024 1200 0 16784 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 51860 KiB

[startup+3.11293 s]
/proc/loadavg: 4.08 4.09 4.06 5/250 38815
/proc/meminfo: memFree=126560280/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=51860 CPUtime=3.09 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9487 0 0 0 306 3 0 0 20 0 1 0 46487457 74973184 12965 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 12965 1024 1200 0 16784 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 51860 KiB

[startup+6.30029 s]
/proc/loadavg: 4.07 4.09 4.06 5/250 38815
/proc/meminfo: memFree=126560532/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=51860 CPUtime=6.27 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9494 0 0 0 624 3 0 0 20 0 1 0 46487457 74973184 12965 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 12965 1024 1200 0 16784 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 51860 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.06 5/250 38815
/proc/meminfo: memFree=126560532/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=51860 CPUtime=12.65 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9501 0 0 0 1262 3 0 0 20 0 1 0 46487457 74973184 12965 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 12965 1024 1200 0 16784 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 51860 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.07 5/250 38815
/proc/meminfo: memFree=126524300/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=52244 CPUtime=25.41 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9612 0 0 0 2538 3 0 0 20 0 1 0 46487457 74973184 13061 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 13061 1024 1200 0 16784 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 52244 KiB

[startup+51.1131 s]
/proc/loadavg: 4.15 4.11 4.07 5/250 38815
/proc/meminfo: memFree=126524508/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=52244 CPUtime=50.95 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9625 0 0 0 5092 3 0 0 20 0 1 0 46487457 74973184 13061 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 13061 1024 1200 0 16784 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 52244 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.07 5/251 38820
/proc/meminfo: memFree=126507308/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=52244 CPUtime=101.98 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9639 0 0 0 10195 3 0 0 20 0 1 0 46487457 74973184 13061 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 13061 1024 1200 0 16784 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 52244 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/251 38826
/proc/meminfo: memFree=126497904/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=52244 CPUtime=161.8 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9646 0 0 0 16177 3 0 0 20 0 1 0 46487457 74973184 13061 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 13061 1024 1200 0 16784 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 52244 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/251 38828
/proc/meminfo: memFree=126466336/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=52244 CPUtime=221.62 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9653 0 0 0 22159 3 0 0 20 0 1 0 46487457 74973184 13061 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 13061 1024 1200 0 16784 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 52244 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/251 38830
/proc/meminfo: memFree=126452636/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=52244 CPUtime=281.44 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9660 0 0 0 28141 3 0 0 20 0 1 0 46487457 74973184 13061 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 13061 1024 1200 0 16784 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 52244 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.07 5/250 38832
/proc/meminfo: memFree=126444500/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=73216 memory=52372 CPUtime=341.26 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 9674 0 0 0 34123 3 0 0 20 0 1 0 46487457 74973184 13093 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 18304 13093 1024 1200 0 16784 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 73216 KiB
Current children cumulated memory: 52372 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.08 5/251 38879
/proc/meminfo: memFree=126029592/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=275592 memory=247376 CPUtime=401.08 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 29814 0 0 0 40096 12 0 0 20 0 1 0 46487457 282206208 61844 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 68898 61844 1280 1200 0 67378 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 275592 KiB
Current children cumulated memory: 247376 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.07 5/251 38881
/proc/meminfo: memFree=125992112/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=295856 memory=266944 CPUtime=460.91 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 34204 0 0 0 46075 16 0 0 20 0 1 0 46487457 302956544 66736 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 73964 66736 1280 1200 0 72444 0
Current children cumulated CPU time: 460.91 s

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

Current children cumulated memory: 377368 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.21 4.15 5/250 39097
/proc/meminfo: memFree=128114132/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=433448 memory=378776 CPUtime=2912.96 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 51150 0 0 0 291203 93 0 0 20 0 1 0 46487457 443850752 94694 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 108362 94694 1280 1200 0 106842 0
Current children cumulated CPU time: 2912.96 s
Current children cumulated vsize: 433448 KiB
Current children cumulated memory: 378776 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/250 39099
/proc/meminfo: memFree=128116140/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=433448 memory=378776 CPUtime=2972.77 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 51152 0 0 0 297181 96 0 0 20 0 1 0 46487457 443850752 94694 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 108362 94694 1280 1200 0 106842 0
Current children cumulated CPU time: 2972.77 s
Current children cumulated vsize: 433448 KiB
Current children cumulated memory: 378776 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/250 39101
/proc/meminfo: memFree=128118924/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=433448 memory=378776 CPUtime=3032.57 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 51155 0 0 0 303159 98 0 0 20 0 1 0 46487457 443850752 94694 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 108362 94694 1280 1200 0 106842 0
Current children cumulated CPU time: 3032.57 s
Current children cumulated vsize: 433448 KiB
Current children cumulated memory: 378776 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/250 39103
/proc/meminfo: memFree=128112684/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=435340 memory=380696 CPUtime=3092.37 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 51766 0 0 0 309137 100 0 0 20 0 1 0 46487457 445788160 95174 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 108835 95174 1280 1200 0 107315 0
Current children cumulated CPU time: 3092.37 s
Current children cumulated vsize: 435340 KiB
Current children cumulated memory: 380696 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/250 39105
/proc/meminfo: memFree=128054396/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=436520 memory=381848 CPUtime=3152.17 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 52078 0 0 0 315116 101 0 0 20 0 1 0 46487457 446996480 95462 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 109130 95462 1280 1200 0 107610 0
Current children cumulated CPU time: 3152.17 s
Current children cumulated vsize: 436520 KiB
Current children cumulated memory: 381848 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/249 39109
/proc/meminfo: memFree=128059676/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=436520 memory=381848 CPUtime=3211.97 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 52079 0 0 0 321094 103 0 0 20 0 1 0 46487457 446996480 95462 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 109130 95462 1280 1200 0 107610 0
Current children cumulated CPU time: 3211.97 s
Current children cumulated vsize: 436520 KiB
Current children cumulated memory: 381848 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/250 39116
/proc/meminfo: memFree=128067944/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=437436 memory=382744 CPUtime=3271.76 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 52425 0 0 0 327071 105 0 0 20 0 1 0 46487457 447934464 95686 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 109359 95686 1280 1200 0 107839 0
Current children cumulated CPU time: 3271.76 s
Current children cumulated vsize: 437436 KiB
Current children cumulated memory: 382744 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/250 39118
/proc/meminfo: memFree=128039836/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=437436 memory=382744 CPUtime=3331.56 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 52426 0 0 0 333049 107 0 0 20 0 1 0 46487457 447934464 95686 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 109359 95686 1280 1200 0 107839 0
Current children cumulated CPU time: 3331.56 s
Current children cumulated vsize: 437436 KiB
Current children cumulated memory: 382744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/250 39120
/proc/meminfo: memFree=128023840/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=438424 memory=383768 CPUtime=3391.35 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 52692 0 0 0 339027 108 0 0 20 0 1 0 46487457 448946176 95942 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 109606 95942 1280 1200 0 108086 0
Current children cumulated CPU time: 3391.35 s
Current children cumulated vsize: 438424 KiB
Current children cumulated memory: 383768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/250 39122
/proc/meminfo: memFree=128027472/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=438424 memory=383768 CPUtime=3451.15 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 52830 0 0 0 345006 109 0 0 20 0 1 0 46487457 448946176 95942 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 109606 95942 1280 1200 0 108086 0
Current children cumulated CPU time: 3451.15 s
Current children cumulated vsize: 438424 KiB
Current children cumulated memory: 383768 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.10 4.11 5/250 39124
/proc/meminfo: memFree=128021864/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=439376 memory=384664 CPUtime=3510.94 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 53068 0 0 0 350983 111 0 0 20 0 1 0 46487457 449921024 96166 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 109844 96166 1280 1200 0 108324 0
Current children cumulated CPU time: 3510.94 s
Current children cumulated vsize: 439376 KiB
Current children cumulated memory: 384664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/249 39126
/proc/meminfo: memFree=128019964/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=439920 memory=385304 CPUtime=3570.73 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 53212 0 0 0 356961 112 0 0 20 0 1 0 46487457 450478080 96326 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 109980 96326 1280 1200 0 108460 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 439920 KiB
Current children cumulated memory: 385304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.07 4.10 4.10 5/249 39127
/proc/meminfo: memFree=128022724/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=440192 memory=385560 CPUtime=3600.03 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 53398 0 0 0 359890 113 0 0 20 0 1 0 46487457 450756608 96390 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 110048 96390 1280 1200 0 108528 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 440192 KiB
Current children cumulated memory: 385560 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.72 s]
# the end of solver process 38812 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.92 s, system=1.13329 s

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

[startup+3611.7 s]
/proc/loadavg: 4.07 4.10 4.10 5/249 39127
/proc/meminfo: memFree=128022724/131382120 swapFree=33010684/33010684
[pid=38812] ppid=38809 vsize=440192 memory=385560 CPUtime=3600.03 cores=0,2
/proc/38812/stat : 38812 (Exact) R 38809 38812 38382 0 -1 4194304 53398 0 0 0 359890 113 0 0 20 0 1 0 46487457 450756608 96390 18446744073709551615 4198400 9112445 140734580635472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24551424 140734580640038 140734580640237 140734580640237 140734580645839 0
/proc/38812/statm: 110048 96390 1280 1200 0 108528 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 440192 KiB
Current children cumulated memory: 385560 KiB

Child status: 10

Real time (s): 3611.72
CPU time (s): 3600.05
CPU user time (s): 3598.92
CPU system time (s): 1.13329
CPU usage (%): 99.6771
Max. virtual memory (cumulated for all children) (KiB): 440192
Max. memory (cumulated for all children) (KiB): 385560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.92
system time used= 1.13329
maximum resident set size= 424672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 7950


# summary of solver processes directly reported to runsolver:
#   pid: 38812
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.92
#   total CPU system time (s): 1.13329

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6827 second user time and 34.2264 second system time

The end