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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (60775 MiB free)
  memory of node 1: 64507 MiB (59722 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498378-1751272214/watcher-4498378-1751272214 -o /tmp/evaluation-result-4498378-1751272214/solver-4498378-1751272214 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751268232-37888 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=27383631 --ls=360 --inp-dombreaklim=0 HOME/instance-4498378-1751272214.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=38497, runsolver pid=38494

[startup+0.100073 s]*
/proc/loadavg: 4.09 4.09 4.02 5/250 38498
/proc/meminfo: memFree=123364784/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=50808 memory=26164 CPUtime=0.1 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 6673 0 0 0 8 2 0 0 20 0 1 0 42901194 52027392 6541 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 12702 6541 1024 1200 0 11182 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50808 KiB
Current children cumulated memory: 26164 KiB

[startup+0.214596 s]*
/proc/loadavg: 4.09 4.09 4.02 5/250 38498
/proc/meminfo: memFree=123334228/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=67548 memory=42736 CPUtime=0.22 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 11855 0 0 0 17 5 0 0 20 0 1 0 42901194 69169152 10684 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 16887 10684 1024 1200 0 15367 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 67548 KiB
Current children cumulated memory: 42736 KiB

[startup+0.314461 s]*
/proc/loadavg: 4.09 4.09 4.02 5/250 38498
/proc/meminfo: memFree=123322320/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=85056 memory=62056 CPUtime=0.32 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 15157 0 0 0 25 7 0 0 20 0 1 0 42901194 87097344 15514 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 21264 15514 1024 1200 0 19744 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 85056 KiB
Current children cumulated memory: 62056 KiB

[startup+0.700358 s]
/proc/loadavg: 4.09 4.09 4.02 5/250 38498
/proc/meminfo: memFree=123292140/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=145056 memory=122144 CPUtime=0.68 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 25345 0 0 0 57 11 0 0 20 0 1 0 42901194 148537344 30536 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 36264 30536 1024 1200 0 34744 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 145056 KiB
Current children cumulated memory: 122144 KiB

[startup+1.50037 s]
/proc/loadavg: 4.09 4.09 4.02 5/250 38498
/proc/meminfo: memFree=123200972/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=290452 memory=262196 CPUtime=1.48 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 44513 0 0 0 130 18 0 0 20 0 1 0 42901194 297422848 65549 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72613 65549 1024 1200 0 71093 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 290452 KiB
Current children cumulated memory: 262196 KiB

[startup+3.11364 s]
/proc/loadavg: 4.09 4.09 4.02 5/250 38498
/proc/meminfo: memFree=123103896/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=291476 memory=262836 CPUtime=3.09 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 44691 0 0 0 291 18 0 0 20 0 1 0 42901194 298471424 65709 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72869 65709 1024 1200 0 71349 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 262836 KiB

[startup+6.30036 s]
/proc/loadavg: 4.25 4.12 4.03 5/250 38498
/proc/meminfo: memFree=123104236/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=291476 memory=262836 CPUtime=6.27 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 44717 0 0 0 608 19 0 0 20 0 1 0 42901194 298471424 65709 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72869 65709 1024 1200 0 71349 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 262836 KiB

[startup+12.7004 s]
/proc/loadavg: 4.39 4.15 4.04 5/250 38498
/proc/meminfo: memFree=123104548/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=291476 memory=262836 CPUtime=12.65 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 44740 0 0 0 1246 19 0 0 20 0 1 0 42901194 298471424 65709 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72869 65709 1024 1200 0 71349 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 262836 KiB

[startup+25.5004 s]
/proc/loadavg: 4.74 4.24 4.07 5/250 38498
/proc/meminfo: memFree=123104548/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=291476 memory=262836 CPUtime=25.41 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 44774 0 0 0 2522 19 0 0 20 0 1 0 42901194 298471424 65709 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72869 65709 1024 1200 0 71349 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 262836 KiB

[startup+51.1136 s]
/proc/loadavg: 4.83 4.30 4.10 5/250 38499
/proc/meminfo: memFree=123104332/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=291476 memory=262836 CPUtime=50.95 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 44796 0 0 0 5076 19 0 0 20 0 1 0 42901194 298471424 65709 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72869 65709 1024 1200 0 71349 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 262836 KiB

[startup+102.3 s]
/proc/loadavg: 4.52 4.30 4.11 5/251 38502
/proc/meminfo: memFree=123103808/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=291476 memory=262836 CPUtime=101.99 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 44966 0 0 0 10180 19 0 0 20 0 1 0 42901194 298471424 65709 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72869 65709 1024 1200 0 71349 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 262836 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.26 4.10 5/252 38505
/proc/meminfo: memFree=123084940/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=291476 memory=262836 CPUtime=161.81 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 45013 0 0 0 16162 19 0 0 20 0 1 0 42901194 298471424 65709 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72869 65709 1024 1200 0 71349 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 262836 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.22 4.09 5/252 38507
/proc/meminfo: memFree=123065344/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=291476 memory=262836 CPUtime=221.61 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 45059 0 0 0 22142 19 0 0 20 0 1 0 42901194 298471424 65709 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72869 65709 1024 1200 0 71349 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 262836 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.20 4.09 5/253 38516
/proc/meminfo: memFree=123074772/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=291476 memory=265780 CPUtime=281.41 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 45149 0 0 0 28122 19 0 0 20 0 1 0 42901194 298471424 66445 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72869 66445 1024 1200 0 71349 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 265780 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.17 4.09 5/252 38518
/proc/meminfo: memFree=123058552/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=291476 memory=272180 CPUtime=341.25 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 45172 0 0 0 34106 19 0 0 20 0 1 0 42901194 298471424 68045 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 72869 68045 1024 1200 0 71349 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 272180 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.15 4.09 5/252 38520
/proc/meminfo: memFree=122366432/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=796732 memory=759624 CPUtime=401.09 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 88965 0 0 0 40070 39 0 0 20 0 1 0 42901194 815853568 189906 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 199183 189906 1248 1200 0 197663 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 796732 KiB
Current children cumulated memory: 759624 KiB

[startup+462.3 s]
/proc/loadavg: 4.69 4.31 4.15 5/250 38522
/proc/meminfo: memFree=122131532/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=1033488 memory=928740 CPUtime=460.94 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 113591 0 0 0 46044 50 0 0 20 0 1 0 42901194 1058291712 232185 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 258372 232185 1248 1200 0 256852 0
Current children cumulated CPU time: 460.94 s

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

Current children cumulated memory: 2315308 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 38643
/proc/meminfo: memFree=120147672/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2476276 memory=2336300 CPUtime=2914.72 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 418769 0 0 0 291262 210 0 0 20 0 1 0 42901194 2535706624 584075 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 619069 584075 1248 1200 0 617549 0
Current children cumulated CPU time: 2914.72 s
Current children cumulated vsize: 2476276 KiB
Current children cumulated memory: 2336300 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 38645
/proc/meminfo: memFree=120114220/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2476276 memory=2347436 CPUtime=2974.57 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 419397 0 0 0 297245 212 0 0 20 0 1 0 42901194 2535706624 586859 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 619069 586859 1248 1200 0 617549 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 2476276 KiB
Current children cumulated memory: 2347436 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 38660
/proc/meminfo: memFree=120120616/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2476276 memory=2359084 CPUtime=3034.42 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 420511 0 0 0 303230 212 0 0 20 0 1 0 42901194 2535706624 589771 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 619069 589771 1248 1200 0 617549 0
Current children cumulated CPU time: 3034.42 s
Current children cumulated vsize: 2476276 KiB
Current children cumulated memory: 2359084 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 38662
/proc/meminfo: memFree=120082620/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2476276 memory=2370860 CPUtime=3094.27 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 421055 0 0 0 309215 212 0 0 20 0 1 0 42901194 2535706624 592715 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 619069 592715 1248 1200 0 617549 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 2476276 KiB
Current children cumulated memory: 2370860 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 38664
/proc/meminfo: memFree=120079036/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2485780 memory=2390108 CPUtime=3154.13 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 423373 0 0 0 315200 213 0 0 20 0 1 0 42901194 2545438720 597527 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 621445 597527 1248 1200 0 619925 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 2485780 KiB
Current children cumulated memory: 2390108 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 38666
/proc/meminfo: memFree=120009100/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2541852 memory=2452956 CPUtime=3213.97 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 435221 0 0 0 321182 215 0 0 20 0 1 0 42901194 2602856448 613239 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 635463 613239 1248 1200 0 633943 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 2541852 KiB
Current children cumulated memory: 2452956 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 38674
/proc/meminfo: memFree=119906068/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2610948 memory=2528060 CPUtime=3273.82 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 449132 0 0 0 327165 217 0 0 20 0 1 0 42901194 2673610752 632015 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 652737 632015 1248 1200 0 651217 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 2610948 KiB
Current children cumulated memory: 2528060 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 38678
/proc/meminfo: memFree=119894980/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2624200 memory=2542060 CPUtime=3333.68 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 451176 0 0 0 333150 218 0 0 20 0 1 0 42901194 2687180800 635515 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 656050 635515 1248 1200 0 654530 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 2624200 KiB
Current children cumulated memory: 2542060 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 38680
/proc/meminfo: memFree=119895716/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2624200 memory=2542060 CPUtime=3393.54 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 451423 0 0 0 339136 218 0 0 20 0 1 0 42901194 2687180800 635515 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 656050 635515 1248 1200 0 654530 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 2624200 KiB
Current children cumulated memory: 2542060 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/250 38682
/proc/meminfo: memFree=119867732/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2682804 memory=2583296 CPUtime=3453.39 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 462233 0 0 0 345120 219 0 0 20 0 1 0 42901194 2747191296 645824 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 670701 645824 1248 1200 0 669181 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 2682804 KiB
Current children cumulated memory: 2583296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 38684
/proc/meminfo: memFree=119848516/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2698256 memory=2597272 CPUtime=3513.24 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 465721 0 0 0 351103 221 0 0 20 0 1 0 42901194 2763014144 649318 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 674564 649318 1248 1200 0 673044 0
Current children cumulated CPU time: 3513.24 s
Current children cumulated vsize: 2698256 KiB
Current children cumulated memory: 2597272 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/250 38686
/proc/meminfo: memFree=119805408/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2735496 memory=2627036 CPUtime=3573.09 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 473086 0 0 0 357087 222 0 0 20 0 1 0 42901194 2801147904 656759 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 683874 656759 1248 1200 0 682354 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 2735496 KiB
Current children cumulated memory: 2627036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 38687
/proc/meminfo: memFree=119789784/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2758432 memory=2643036 CPUtime=3600.02 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 477782 0 0 0 359779 223 0 0 20 0 1 0 42901194 2824634368 660759 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 689608 660759 1248 1200 0 688088 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2758432 KiB
Current children cumulated memory: 2643036 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.91 s, system=2.25063 s

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

[startup+3609.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 38687
/proc/meminfo: memFree=119789784/131382112 swapFree=33010684/33010684
[pid=38497] ppid=38494 vsize=2384604 memory=2340988 CPUtime=3600.12 cores=1,3
/proc/38497/stat : 38497 (Exact) R 38494 38497 37869 0 -1 4194304 477916 0 0 0 359789 223 0 0 20 0 1 0 42901194 2441834496 585247 18446744073709551615 4198400 9112445 140726593012320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 32047104 140726593018152 140726593018349 140726593018349 140726593023951 0
/proc/38497/statm: 596151 585247 1280 1200 0 594631 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 2384604 KiB
Current children cumulated memory: 2340988 KiB

Child status: 10

Real time (s): 3609.43
CPU time (s): 3600.16
CPU user time (s): 3597.91
CPU system time (s): 2.25063
CPU usage (%): 99.7433
Max. virtual memory (cumulated for all children) (KiB): 2758432
Max. memory (cumulated for all children) (KiB): 2643036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.91
system time used= 2.25063
maximum resident set size= 2643292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477920
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= 137
involuntary context switches= 2939


# summary of solver processes directly reported to runsolver:
#   pid: 38497
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3597.91
#   total CPU system time (s): 2.25063

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5114 second user time and 33.115 second system time

The end