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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456514-1721722436/watcher-4456514-1721722436 -o /tmp/evaluation-result-4456514-1721722436/solver-4456514-1721722436 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721718373-89091 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=515838366 HOME/instance-4456514-1721722436.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=92038, runsolver pid=92035

[startup+0.100133 s]*
/proc/loadavg: 4.12 4.15 4.09 5/255 92039
/proc/meminfo: memFree=106984412/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=71256 memory=49844 CPUtime=0.09 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 13626 0 0 0 8 1 0 0 20 0 1 0 8773042 72966144 12461 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 17814 12461 916 1005 0 16577 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71256 KiB
Current children cumulated memory: 49844 KiB

[startup+0.205488 s]*
/proc/loadavg: 4.12 4.15 4.09 5/255 92039
/proc/meminfo: memFree=106977164/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=77944 memory=56800 CPUtime=0.2 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 16062 0 0 0 19 1 0 0 20 0 1 0 8773042 79814656 14200 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 19486 14200 916 1005 0 18249 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77944 KiB
Current children cumulated memory: 56800 KiB

[startup+0.305444 s]*
/proc/loadavg: 4.12 4.15 4.09 5/255 92039
/proc/meminfo: memFree=106976852/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=78208 memory=57064 CPUtime=0.3 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 16114 0 0 0 29 1 0 0 20 0 1 0 8773042 80084992 14266 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 19552 14266 916 1005 0 18315 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78208 KiB
Current children cumulated memory: 57064 KiB

[startup+0.700219 s]
/proc/loadavg: 4.12 4.15 4.09 5/255 92039
/proc/meminfo: memFree=106935792/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=129260 memory=106552 CPUtime=0.69 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 26285 0 0 0 65 4 0 0 20 0 1 0 8773042 132362240 26638 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 32315 26638 1124 1005 0 31078 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 129260 KiB
Current children cumulated memory: 106552 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.15 4.09 5/255 92039
/proc/meminfo: memFree=106925648/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=129404 memory=110900 CPUtime=1.49 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 26337 0 0 0 145 4 0 0 20 0 1 0 8773042 132509696 27725 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 32351 27725 1124 1005 0 31114 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 129404 KiB
Current children cumulated memory: 110900 KiB

[startup+3.1053 s]
/proc/loadavg: 4.11 4.14 4.09 5/255 92039
/proc/meminfo: memFree=106900724/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=147376 memory=133224 CPUtime=3.09 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 27589 0 0 0 304 5 0 0 20 0 1 0 8773042 150913024 33306 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 36844 33306 1124 1005 0 35607 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 147376 KiB
Current children cumulated memory: 133224 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.14 4.09 5/255 92041
/proc/meminfo: memFree=106880292/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=168916 memory=153296 CPUtime=6.27 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 32565 0 0 0 621 6 0 0 20 0 1 0 8773042 172969984 38324 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 42229 38324 1140 1005 0 40992 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 168916 KiB
Current children cumulated memory: 153296 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.09 5/255 92041
/proc/meminfo: memFree=106874348/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=174220 memory=160568 CPUtime=12.66 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 34435 0 0 0 1259 7 0 0 20 0 1 0 8773042 178401280 40142 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 43555 40142 1140 1005 0 42318 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 160568 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.13 4.09 5/255 92045
/proc/meminfo: memFree=106845392/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=213368 memory=187404 CPUtime=25.42 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 39031 0 0 0 2532 10 0 0 20 0 1 0 8773042 218488832 46851 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 53342 46851 1140 1005 0 52105 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 213368 KiB
Current children cumulated memory: 187404 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.14 4.09 5/255 92048
/proc/meminfo: memFree=106826016/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=218468 memory=198176 CPUtime=50.96 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 40727 0 0 0 5083 13 0 0 20 0 1 0 8773042 223711232 49544 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 54617 49544 1140 1005 0 53380 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 218468 KiB
Current children cumulated memory: 198176 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 92056
/proc/meminfo: memFree=106793136/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=231652 memory=218988 CPUtime=102.04 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 43985 0 0 0 10187 17 0 0 20 0 1 0 8773042 237211648 54747 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 57913 54747 1140 1005 0 56676 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 231652 KiB
Current children cumulated memory: 218988 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/255 92068
/proc/meminfo: memFree=106770532/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=286528 memory=237924 CPUtime=161.89 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 47663 0 0 0 16166 23 0 0 20 0 1 0 8773042 293404672 59481 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 71632 59481 1140 1005 0 70395 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 286528 KiB
Current children cumulated memory: 237924 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/255 92078
/proc/meminfo: memFree=106749324/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=289968 memory=246952 CPUtime=221.74 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 48953 0 0 0 22147 27 0 0 20 0 1 0 8773042 296927232 61738 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 72492 61738 1140 1005 0 71255 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 289968 KiB
Current children cumulated memory: 246952 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.09 5/254 92088
/proc/meminfo: memFree=106738276/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=293796 memory=253356 CPUtime=281.59 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 50054 0 0 0 28128 31 0 0 20 0 1 0 8773042 300847104 63339 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 73449 63339 1140 1005 0 72212 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 293796 KiB
Current children cumulated memory: 253356 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 92099
/proc/meminfo: memFree=106725828/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=296972 memory=256624 CPUtime=341.45 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 50890 0 0 0 34109 36 0 0 20 0 1 0 8773042 304099328 64156 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 74243 64156 1140 1005 0 73006 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 296972 KiB
Current children cumulated memory: 256624 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 92159
/proc/meminfo: memFree=110551956/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=299976 memory=258736 CPUtime=401.29 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 51468 0 0 0 40089 40 0 0 20 0 1 0 8773042 307175424 64684 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 74994 64684 1140 1005 0 73757 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 299976 KiB
Current children cumulated memory: 258736 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 92169
/proc/meminfo: memFree=110510136/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=300496 memory=260536 CPUtime=461.14 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 51935 0 0 0 46070 44 0 0 20 0 1 0 8773042 307707904 65134 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 75124 65134 1140 1005 0 73887 0
Current children cumulated CPU time: 461.14 s

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

Current children cumulated memory: 331436 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 93791
/proc/meminfo: memFree=110156240/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=341120 memory=331448 CPUtime=2915.07 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 66813 0 0 0 291273 234 0 0 20 0 1 0 8773042 349306880 82862 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 85280 82862 1140 1005 0 84043 0
Current children cumulated CPU time: 2915.07 s
Current children cumulated vsize: 341120 KiB
Current children cumulated memory: 331448 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/254 93801
/proc/meminfo: memFree=110154160/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=342148 memory=332616 CPUtime=2974.93 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 67269 0 0 0 297254 239 0 0 20 0 1 0 8773042 350359552 83154 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 85537 83154 1140 1005 0 84300 0
Current children cumulated CPU time: 2974.93 s
Current children cumulated vsize: 342148 KiB
Current children cumulated memory: 332616 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 93812
/proc/meminfo: memFree=110153764/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=342148 memory=332684 CPUtime=3034.78 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 67444 0 0 0 303234 244 0 0 20 0 1 0 8773042 350359552 83171 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 85537 83171 1140 1005 0 84300 0
Current children cumulated CPU time: 3034.78 s
Current children cumulated vsize: 342148 KiB
Current children cumulated memory: 332684 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 93822
/proc/meminfo: memFree=110148040/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=342148 memory=334940 CPUtime=3094.65 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 67699 0 0 0 309216 249 0 0 20 0 1 0 8773042 350359552 83735 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 85537 83735 1140 1005 0 84300 0
Current children cumulated CPU time: 3094.65 s
Current children cumulated vsize: 342148 KiB
Current children cumulated memory: 334940 KiB

[startup+3162.3 s]
/proc/loadavg: 4.57 4.27 4.14 5/255 93833
/proc/meminfo: memFree=110144352/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=342540 memory=335388 CPUtime=3154.51 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 67936 0 0 0 315196 255 0 0 20 0 1 0 8773042 350760960 83847 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 85635 83847 1140 1005 0 84398 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 342540 KiB
Current children cumulated memory: 335388 KiB

[startup+3222.3 s]
/proc/loadavg: 4.31 4.25 4.14 5/255 93843
/proc/meminfo: memFree=110141328/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=343640 memory=335668 CPUtime=3214.37 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 68107 0 0 0 321176 261 0 0 20 0 1 0 8773042 351887360 83917 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 85910 83917 1140 1005 0 84673 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 343640 KiB
Current children cumulated memory: 335668 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.22 4.14 5/255 93854
/proc/meminfo: memFree=110137416/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=344404 memory=336376 CPUtime=3274.22 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 68452 0 0 0 327156 266 0 0 20 0 1 0 8773042 352669696 84094 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 86101 84094 1140 1005 0 84864 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 344404 KiB
Current children cumulated memory: 336376 KiB

[startup+3342.3 s]
/proc/loadavg: 3.83 4.12 4.11 4/248 93895
/proc/meminfo: memFree=111048828/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=345664 memory=337616 CPUtime=3334.07 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 68935 0 0 0 333136 271 0 0 20 0 1 0 8773042 353959936 84404 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 86416 84404 1140 1005 0 85179 0
Current children cumulated CPU time: 3334.07 s
Current children cumulated vsize: 345664 KiB
Current children cumulated memory: 337616 KiB

[startup+3402.3 s]
/proc/loadavg: 3.36 3.93 4.04 3/244 93941
/proc/meminfo: memFree=111401424/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=345664 memory=337748 CPUtime=3393.89 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 69099 0 0 0 339115 274 0 0 20 0 1 0 8773042 353959936 84437 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 86416 84437 1140 1005 0 85179 0
Current children cumulated CPU time: 3393.89 s
Current children cumulated vsize: 345664 KiB
Current children cumulated memory: 337748 KiB

[startup+3462.3 s]
/proc/loadavg: 2.54 3.59 3.92 3/244 93953
/proc/meminfo: memFree=111400712/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=345664 memory=337772 CPUtime=3453.76 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 69264 0 0 0 345098 278 0 0 20 0 1 0 8773042 353959936 84443 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 86416 84443 1140 1005 0 85179 0
Current children cumulated CPU time: 3453.76 s
Current children cumulated vsize: 345664 KiB
Current children cumulated memory: 337772 KiB

[startup+3522.3 s]
/proc/loadavg: 2.31 3.33 3.81 3/244 93964
/proc/meminfo: memFree=111395840/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=347516 memory=339492 CPUtime=3513.61 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 69866 0 0 0 351079 282 0 0 20 0 1 0 8773042 355856384 84873 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 86879 84873 1140 1005 0 85642 0
Current children cumulated CPU time: 3513.61 s
Current children cumulated vsize: 347516 KiB
Current children cumulated memory: 339492 KiB

[startup+3582.3 s]
/proc/loadavg: 2.16 3.10 3.70 3/244 93974
/proc/meminfo: memFree=111394908/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=347516 memory=339688 CPUtime=3573.47 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 70036 0 0 0 357061 286 0 0 20 0 1 0 8773042 355856384 84922 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 86879 84922 1140 1005 0 85642 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 347516 KiB
Current children cumulated memory: 339688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 2.16 3.01 3.64 3/244 93978
/proc/meminfo: memFree=111391960/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=348788 memory=340668 CPUtime=3600 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 70449 0 0 0 359712 288 0 0 20 0 1 0 8773042 357158912 85167 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 87197 85167 1140 1005 0 85960 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 348788 KiB
Current children cumulated memory: 340668 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.15 s, system=2.88425 s

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

[startup+3608.9 s]
/proc/loadavg: 2.16 3.01 3.64 3/244 93978
/proc/meminfo: memFree=111391960/131524600 swapFree=131071996/131071996
[pid=92038] ppid=92035 vsize=348788 memory=340668 CPUtime=3600 cores=5,7
/proc/92038/stat : 92038 (Exact) R 92035 92038 89078 0 -1 4194304 70449 0 0 0 359712 288 0 0 20 0 1 0 8773042 357158912 85167 134679101440 4194304 8309489 140721947032464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 14114816 140721947038654 140721947038823 140721947038823 140721947045839 0
/proc/92038/statm: 87197 85167 1140 1005 0 85960 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 348788 KiB
Current children cumulated memory: 340668 KiB

Child status: 10

Real time (s): 3608.93
CPU time (s): 3600.04
CPU user time (s): 3597.15
CPU system time (s): 2.88425
CPU usage (%): 99.7536
Max. virtual memory (cumulated for all children) (KiB): 348788
Max. memory (cumulated for all children) (KiB): 340668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.15
system time used= 2.88425
maximum resident set size= 340668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70458
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= 46
involuntary context switches= 2182


# summary of solver processes directly reported to runsolver:
#   pid: 92038
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3597.15
#   total CPU system time (s): 2.88425

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63809 second user time and 16.5002 second system time

The end