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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=365259, runsolver pid=365253
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 2.96 3.82 4.00 6/251 365269
/proc/meminfo: memFree=126987968/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 688 610 264 0 134 0
[pid=365265] ppid=365259 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/365265/stat : 365265 (timeout) S 365259 365265 365209 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 66124187 8867840 236 134679101440 94669912129536 94669912164552 140730058114944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94669914261968 94669914264100 94669922889728 140730058122238 140730058122397 140730058122397 140730058129383 0
/proc/365265/statm: 2165 236 212 9 0 87 0
[pid=365267] ppid=365265 vsize=51144 memory=41152 CPUtime=0.1 cores=5,7
/proc/365267/stat : 365267 (CASHWMaxSAT-Dis) R 365265 365265 365209 0 -1 4194304 8110 0 0 0 9 1 0 0 20 0 1 0 66124188 52371456 10288 134679101440 4194304 15356333 140733902725072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33304576 140733902730243 140733902730389 140733902730389 140733902737375 0
/proc/365267/statm: 12786 10288 2634 2726 0 9534 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 69736 KiB
Current children cumulated memory: 44848 KiB

[startup+0.206253 s]*
/proc/loadavg: 2.96 3.82 4.00 6/267 365295
/proc/meminfo: memFree=126872596/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 688 610 264 0 134 0
[pid=365265] ppid=365259 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/365265/stat : 365265 (timeout) S 365259 365265 365209 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 66124187 8867840 236 134679101440 94669912129536 94669912164552 140730058114944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94669914261968 94669914264100 94669922889728 140730058122238 140730058122397 140730058122397 140730058129383 0
/proc/365265/statm: 2165 236 212 9 0 87 0
[pid=365267] ppid=365265 vsize=63432 memory=53148 CPUtime=0.19 cores=5,7
/proc/365267/stat : 365267 (CASHWMaxSAT-Dis) R 365265 365265 365209 0 -1 4194304 11081 0 0 0 18 1 0 0 20 0 1 0 66124188 64954368 13287 134679101440 4194304 15356333 140733902725072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33304576 140733902730243 140733902730389 140733902730389 140733902737375 0
/proc/365267/statm: 15858 13287 2666 2726 0 12606 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 82024 KiB
Current children cumulated memory: 56844 KiB

[startup+0.306396 s]*
/proc/loadavg: 2.96 3.82 4.00 7/267 365295
/proc/meminfo: memFree=126827220/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 688 610 264 0 134 0
[pid=365265] ppid=365259 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/365265/stat : 365265 (timeout) S 365259 365265 365209 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 66124187 8867840 236 134679101440 94669912129536 94669912164552 140730058114944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94669914261968 94669914264100 94669922889728 140730058122238 140730058122397 140730058122397 140730058129383 0
/proc/365265/statm: 2165 236 212 9 0 87 0
[pid=365267] ppid=365265 vsize=64780 memory=54204 CPUtime=0.29 cores=5,7
/proc/365267/stat : 365267 (CASHWMaxSAT-Dis) R 365265 365265 365209 0 -1 4194304 11323 0 0 0 28 1 0 0 20 0 1 0 66124188 66334720 13551 134679101440 4194304 15356333 140733902725072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33304576 140733902730243 140733902730389 140733902730389 140733902737375 0
/proc/365267/statm: 16195 13551 2666 2726 0 12943 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 83372 KiB
Current children cumulated memory: 57900 KiB

[startup+0.700298 s]
/proc/loadavg: 3.04 3.83 4.00 6/267 365295
/proc/meminfo: memFree=126758432/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 688 610 264 0 134 0
[pid=365265] ppid=365259 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/365265/stat : 365265 (timeout) S 365259 365265 365209 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 66124187 8867840 236 134679101440 94669912129536 94669912164552 140730058114944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94669914261968 94669914264100 94669922889728 140730058122238 140730058122397 140730058122397 140730058129383 0
/proc/365265/statm: 2165 236 212 9 0 87 0
[pid=365267] ppid=365265 vsize=90396 memory=77472 CPUtime=0.68 cores=5,7
/proc/365267/stat : 365267 (CASHWMaxSAT-Dis) R 365265 365265 365209 0 -1 4194304 17453 0 0 0 66 2 0 0 20 0 1 0 66124188 92565504 19368 134679101440 4194304 15356333 140733902725072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33304576 140733902730243 140733902730389 140733902730389 140733902737375 0
/proc/365267/statm: 22599 19368 2762 2726 0 19347 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108988 KiB
Current children cumulated memory: 81168 KiB

[startup+1.50032 s]
/proc/loadavg: 3.04 3.83 4.00 6/267 365295
/proc/meminfo: memFree=126484444/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 688 610 264 0 134 0
[pid=365265] ppid=365259 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/365265/stat : 365265 (timeout) S 365259 365265 365209 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 66124187 8867840 236 134679101440 94669912129536 94669912164552 140730058114944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94669914261968 94669914264100 94669922889728 140730058122238 140730058122397 140730058122397 140730058129383 0
/proc/365265/statm: 2165 236 212 9 0 87 0
[pid=365267] ppid=365265 vsize=123840 memory=106492 CPUtime=1.48 cores=5,7
/proc/365267/stat : 365267 (CASHWMaxSAT-Dis) R 365265 365265 365209 0 -1 4194304 24691 0 0 0 144 4 0 0 20 0 1 0 66124188 126812160 26623 134679101440 4194304 15356333 140733902725072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33304576 140733902730243 140733902730389 140733902730389 140733902737375 0
/proc/365267/statm: 30960 26623 2762 2726 0 27708 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 142432 KiB
Current children cumulated memory: 110188 KiB

[startup+3.10609 s]
/proc/loadavg: 3.04 3.83 4.00 6/267 365297
/proc/meminfo: memFree=125646660/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 688 610 264 0 134 0
[pid=365265] ppid=365259 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/365265/stat : 365265 (timeout) S 365259 365265 365209 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 66124187 8867840 236 134679101440 94669912129536 94669912164552 140730058114944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94669914261968 94669914264100 94669922889728 140730058122238 140730058122397 140730058122397 140730058129383 0
/proc/365265/statm: 2165 236 212 9 0 87 0
[pid=365267] ppid=365265 vsize=142820 memory=122596 CPUtime=3.08 cores=5,7
/proc/365267/stat : 365267 (CASHWMaxSAT-Dis) R 365265 365265 365209 0 -1 4194304 28743 0 0 0 304 4 0 0 20 0 1 0 66124188 146247680 30649 134679101440 4194304 15356333 140733902725072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33304576 140733902730243 140733902730389 140733902730389 140733902737375 0
/proc/365267/statm: 35705 30649 2762 2726 0 32453 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 161412 KiB
Current children cumulated memory: 126292 KiB

[startup+6.30024 s]
/proc/loadavg: 3.12 3.83 4.00 6/267 365297
/proc/meminfo: memFree=125209396/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 688 610 264 0 134 0
[pid=365265] ppid=365259 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/365265/stat : 365265 (timeout) S 365259 365265 365209 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 66124187 8867840 236 134679101440 94669912129536 94669912164552 140730058114944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94669914261968 94669914264100 94669922889728 140730058122238 140730058122397 140730058122397 140730058129383 0
/proc/365265/statm: 2165 236 212 9 0 87 0
[pid=365267] ppid=365265 vsize=151444 memory=127348 CPUtime=6.27 cores=5,7
/proc/365267/stat : 365267 (CASHWMaxSAT-Dis) R 365265 365265 365209 0 -1 4194304 29914 0 0 0 622 5 0 0 20 0 1 0 66124188 155078656 31837 134679101440 4194304 15356333 140733902725072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33304576 140733902730243 140733902730389 140733902730389 140733902737375 0
/proc/365267/statm: 37861 31837 2762 2726 0 34609 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 170036 KiB
Current children cumulated memory: 131044 KiB

[startup+12.7003 s]
/proc/loadavg: 3.27 3.85 4.00 6/267 365297
/proc/meminfo: memFree=124243476/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 688 610 264 0 134 0
[pid=365265] ppid=365259 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/365265/stat : 365265 (timeout) S 365259 365265 365209 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 66124187 8867840 236 134679101440 94669912129536 94669912164552 140730058114944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94669914261968 94669914264100 94669922889728 140730058122238 140730058122397 140730058122397 140730058129383 0
/proc/365265/statm: 2165 236 212 9 0 87 0
[pid=365267] ppid=365265 vsize=168776 memory=143452 CPUtime=12.64 cores=5,7
/proc/365267/stat : 365267 (CASHWMaxSAT-Dis) R 365265 365265 365209 0 -1 4194304 33986 0 0 0 1259 5 0 0 20 0 1 0 66124188 172826624 35863 134679101440 4194304 15356333 140733902725072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33304576 140733902730243 140733902730389 140733902730389 140733902737375 0
/proc/365267/statm: 42194 35863 2762 2726 0 38942 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 187368 KiB
Current children cumulated memory: 147148 KiB

[startup+25.5003 s]
/proc/loadavg: 3.38 3.85 4.00 6/267 365301
/proc/meminfo: memFree=124146092/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 688 610 264 0 134 0
[pid=365265] ppid=365259 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/365265/stat : 365265 (timeout) S 365259 365265 365209 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 66124187 8867840 236 134679101440 94669912129536 94669912164552 140730058114944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94669914261968 94669914264100 94669922889728 140730058122238 140730058122397 140730058122397 140730058129383 0
/proc/365265/statm: 2165 236 212 9 0 87 0
[pid=365267] ppid=365265 vsize=168776 memory=145004 CPUtime=25.4 cores=5,7
/proc/365267/stat : 365267 (CASHWMaxSAT-Dis) R 365265 365265 365209 0 -1 4194304 34110 0 0 0 2535 5 0 0 20 0 1 0 66124188 172826624 36251 134679101440 4194304 15356333 140733902725072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33304576 140733902730243 140733902730389 140733902730389 140733902737375 0
/proc/365267/statm: 42194 36251 3047 2726 0 38942 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 187368 KiB
Current children cumulated memory: 148700 KiB

[startup+51.1065 s]
/proc/loadavg: 3.69 3.89 4.00 6/267 365305
/proc/meminfo: memFree=123321888/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 688 610 264 0 134 0
[pid=365265] ppid=365259 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/365265/stat : 365265 (timeout) S 365259 365265 365209 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 66124187 8867840 236 134679101440 94669912129536 94669912164552 140730058114944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94669914261968 94669914264100 94669922889728 140730058122238 140730058122397 140730058122397 140730058129383 0
/proc/365265/statm: 2165 236 212 9 0 87 0
[pid=365267] ppid=365265 vsize=185052 memory=164432 CPUtime=50.92 cores=5,7
/proc/365267/stat : 365267 (CASHWMaxSAT-Dis) R 365265 365265 365209 0 -1 4194304 38788 0 0 0 5086 6 0 0 20 0 1 0 66124188 189493248 41108 134679101440 4194304 15356333 140733902725072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 33304576 140733902730243 140733902730389 140733902730389 140733902737375 0
/proc/365267/statm: 46263 41108 3047 2726 0 43011 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 203644 KiB
Current children cumulated memory: 168128 KiB

[startup+102.3 s]
/proc/loadavg: 3.91 3.92 4.01 6/265 365313
/proc/meminfo: memFree=122249468/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2752 CPUtime=0 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 66124187 10170368 688 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0

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

/proc/366251/statm: 41846 31833 804 745 0 40911 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 185976 KiB
Current children cumulated memory: 131168 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/266 367397
/proc/meminfo: memFree=125490020/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2808 CPUtime=1792.5 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 272 113967 0 0 0 0 179230 20 20 0 1 0 66124187 10170368 702 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 702 610 264 0 134 0
[pid=366250] ppid=365259 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/366250/stat : 366250 (timeout) S 365259 366250 365209 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66303988 8867840 257 134679101440 94063812202496 94063812237512 140730284492384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94063814334928 94063814337060 94063842029568 140730284495860 140730284496029 140730284496029 140730284503015 0
/proc/366250/statm: 2165 257 233 9 0 87 0
[pid=366251] ppid=366250 vsize=168280 memory=128196 CPUtime=1658.96 cores=5,7
/proc/366251/stat : 366251 (Exact) R 366250 366250 365209 0 -1 4194304 19979 0 0 0 165889 7 0 0 20 0 1 0 66303989 172318720 32049 134679101440 4194304 7243121 140724993562912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 35598336 140724993565712 140724993565862 140724993565862 140724993572848 0
/proc/366251/statm: 42070 32049 804 745 0 41135 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 186872 KiB
Current children cumulated memory: 132032 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/264 367407
/proc/meminfo: memFree=125467992/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2808 CPUtime=1792.5 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 272 113967 0 0 0 0 179230 20 20 0 1 0 66124187 10170368 702 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 702 610 264 0 134 0
[pid=366250] ppid=365259 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/366250/stat : 366250 (timeout) S 365259 366250 365209 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66303988 8867840 257 134679101440 94063812202496 94063812237512 140730284492384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94063814334928 94063814337060 94063842029568 140730284495860 140730284496029 140730284496029 140730284503015 0
/proc/366250/statm: 2165 257 233 9 0 87 0
[pid=366251] ppid=366250 vsize=170980 memory=130648 CPUtime=1718.76 cores=5,7
/proc/366251/stat : 366251 (Exact) R 366250 366250 365209 0 -1 4194304 20619 0 0 0 171869 7 0 0 20 0 1 0 66303989 175083520 32662 134679101440 4194304 7243121 140724993562912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 35598336 140724993565712 140724993565862 140724993565862 140724993572848 0
/proc/366251/statm: 42745 32662 804 745 0 41810 0
Current children cumulated CPU time: 3511.26 s
Current children cumulated vsize: 189572 KiB
Current children cumulated memory: 134484 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/263 367417
/proc/meminfo: memFree=125444152/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2808 CPUtime=1792.5 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 272 113967 0 0 0 0 179230 20 20 0 1 0 66124187 10170368 702 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 702 610 264 0 134 0
[pid=366250] ppid=365259 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/366250/stat : 366250 (timeout) S 365259 366250 365209 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66303988 8867840 257 134679101440 94063812202496 94063812237512 140730284492384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94063814334928 94063814337060 94063842029568 140730284495860 140730284496029 140730284496029 140730284503015 0
/proc/366250/statm: 2165 257 233 9 0 87 0
[pid=366251] ppid=366250 vsize=171424 memory=131292 CPUtime=1778.57 cores=5,7
/proc/366251/stat : 366251 (Exact) R 366250 366250 365209 0 -1 4194304 20790 0 0 0 177850 7 0 0 20 0 1 0 66303989 175538176 32823 134679101440 4194304 7243121 140724993562912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 35598336 140724993565712 140724993565862 140724993565862 140724993572848 0
/proc/366251/statm: 42856 32823 804 745 0 41921 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 190016 KiB
Current children cumulated memory: 135128 KiB

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

# cumulated CPU time of all completed processes:  user=3584.49 s, system=0.288709 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.16 4.13 5/263 367418
/proc/meminfo: memFree=125443880/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2808 CPUtime=1792.5 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 272 113967 0 0 0 0 179230 20 20 0 1 0 66124187 10170368 702 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 702 610 264 0 134 0
[pid=366250] ppid=365259 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/366250/stat : 366250 (timeout) S 365259 366250 365209 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66303988 8867840 257 134679101440 94063812202496 94063812237512 140730284492384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94063814334928 94063814337060 94063842029568 140730284495860 140730284496029 140730284496029 140730284503015 0
/proc/366250/statm: 2165 257 233 9 0 87 0
[pid=366251] ppid=366250 vsize=171424 memory=131292 CPUtime=1780.27 cores=5,7
/proc/366251/stat : 366251 (Exact) R 366250 366250 365209 0 -1 4194304 20790 0 0 0 178020 7 0 0 20 0 1 0 66303989 175538176 32823 134679101440 4194304 7243121 140724993562912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 35598336 140724993565712 140724993565862 140724993565862 140724993572848 0
/proc/366251/statm: 42856 32823 804 745 0 41921 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 190016 KiB
Current children cumulated memory: 135128 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.15 4.13 5/263 367418
/proc/meminfo: memFree=125443908/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2808 CPUtime=1792.5 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 272 113967 0 0 0 0 179230 20 20 0 1 0 66124187 10170368 702 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 702 610 264 0 134 0
[pid=366250] ppid=365259 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/366250/stat : 366250 (timeout) S 365259 366250 365209 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66303988 8867840 257 134679101440 94063812202496 94063812237512 140730284492384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94063814334928 94063814337060 94063842029568 140730284495860 140730284496029 140730284496029 140730284503015 0
/proc/366250/statm: 2165 257 233 9 0 87 0
[pid=366251] ppid=366250 vsize=171424 memory=131292 CPUtime=1786.64 cores=5,7
/proc/366251/stat : 366251 (Exact) R 366250 366250 365209 0 -1 4194304 20790 0 0 0 178657 7 0 0 20 0 1 0 66303989 175538176 32823 134679101440 4194304 7243121 140724993562912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 35598336 140724993565712 140724993565862 140724993565862 140724993572848 0
/proc/366251/statm: 42856 32823 804 745 0 41921 0
Current children cumulated CPU time: 3579.14 s
Current children cumulated vsize: 190016 KiB
Current children cumulated memory: 135128 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.15 4.13 5/263 367421
/proc/meminfo: memFree=125440904/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2808 CPUtime=1792.5 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 272 113967 0 0 0 0 179230 20 20 0 1 0 66124187 10170368 702 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 702 610 264 0 134 0
[pid=366250] ppid=365259 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/366250/stat : 366250 (timeout) S 365259 366250 365209 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66303988 8867840 257 134679101440 94063812202496 94063812237512 140730284492384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94063814334928 94063814337060 94063842029568 140730284495860 140730284496029 140730284496029 140730284503015 0
/proc/366250/statm: 2165 257 233 9 0 87 0
[pid=366251] ppid=366250 vsize=171424 memory=131292 CPUtime=1789.83 cores=5,7
/proc/366251/stat : 366251 (Exact) R 366250 366250 365209 0 -1 4194304 20790 0 0 0 178976 7 0 0 20 0 1 0 66303989 175538176 32823 134679101440 4194304 7243121 140724993562912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 35598336 140724993565712 140724993565862 140724993565862 140724993572848 0
/proc/366251/statm: 42856 32823 804 745 0 41921 0
Current children cumulated CPU time: 3582.33 s
Current children cumulated vsize: 190016 KiB
Current children cumulated memory: 135128 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.15 4.13 5/263 367421
/proc/meminfo: memFree=125440904/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2808 CPUtime=1792.5 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 272 113967 0 0 0 0 179230 20 20 0 1 0 66124187 10170368 702 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 702 610 264 0 134 0
[pid=366250] ppid=365259 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/366250/stat : 366250 (timeout) S 365259 366250 365209 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66303988 8867840 257 134679101440 94063812202496 94063812237512 140730284492384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94063814334928 94063814337060 94063842029568 140730284495860 140730284496029 140730284496029 140730284503015 0
/proc/366250/statm: 2165 257 233 9 0 87 0
[pid=366251] ppid=366250 vsize=171424 memory=131292 CPUtime=1791.42 cores=5,7
/proc/366251/stat : 366251 (Exact) R 366250 366250 365209 0 -1 4194304 20792 0 0 0 179135 7 0 0 20 0 1 0 66303989 175538176 32823 134679101440 4194304 7243121 140724993562912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 35598336 140724993565712 140724993565862 140724993565862 140724993572848 0
/proc/366251/statm: 42856 32823 804 745 0 41921 0
Current children cumulated CPU time: 3583.92 s
Current children cumulated vsize: 190016 KiB
Current children cumulated memory: 135128 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.15 4.13 5/263 367421
/proc/meminfo: memFree=125440904/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2808 CPUtime=1792.5 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 272 113967 0 0 0 0 179230 20 20 0 1 0 66124187 10170368 702 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 702 610 264 0 134 0
[pid=366250] ppid=365259 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/366250/stat : 366250 (timeout) S 365259 366250 365209 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66303988 8867840 257 134679101440 94063812202496 94063812237512 140730284492384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94063814334928 94063814337060 94063842029568 140730284495860 140730284496029 140730284496029 140730284503015 0
/proc/366250/statm: 2165 257 233 9 0 87 0
[pid=366251] ppid=366250 vsize=171424 memory=131292 CPUtime=1791.82 cores=5,7
/proc/366251/stat : 366251 (Exact) R 366250 366250 365209 0 -1 4194304 20792 0 0 0 179175 7 0 0 20 0 1 0 66303989 175538176 32823 134679101440 4194304 7243121 140724993562912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 35598336 140724993565712 140724993565862 140724993565862 140724993572848 0
/proc/366251/statm: 42856 32823 804 745 0 41921 0
Current children cumulated CPU time: 3584.32 s
Current children cumulated vsize: 190016 KiB
Current children cumulated memory: 135128 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.15 4.13 5/263 367421
/proc/meminfo: memFree=125440904/131524600 swapFree=131071216/131071996
[pid=365259] ppid=365253 vsize=9932 memory=2808 CPUtime=1792.5 cores=5,7
/proc/365259/stat : 365259 (Hybrid-CASHWMax) S 365253 365259 365209 0 -1 4194304 272 113967 0 0 0 0 179230 20 20 0 1 0 66124187 10170368 702 134679101440 94162313850880 94162314930200 140731413068608 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94162317028656 94162317075844 94162335490048 140731413074894 140731413075053 140731413075053 140731413082068 0
/proc/365259/statm: 2483 702 610 264 0 134 0
[pid=366250] ppid=365259 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/366250/stat : 366250 (timeout) S 365259 366250 365209 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66303988 8867840 257 134679101440 94063812202496 94063812237512 140730284492384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94063814334928 94063814337060 94063842029568 140730284495860 140730284496029 140730284496029 140730284503015 0
/proc/366250/statm: 2165 257 233 9 0 87 0
[pid=366251] ppid=366250 vsize=171424 memory=131292 CPUtime=1792.23 cores=5,7
/proc/366251/stat : 366251 (Exact) R 366250 366250 365209 0 -1 4194304 20792 0 0 0 179216 7 0 0 20 0 1 0 66303989 175538176 32823 134679101440 4194304 7243121 140724993562912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 35598336 140724993565712 140724993565862 140724993565862 140724993572848 0
/proc/366251/statm: 42856 32823 804 745 0 41921 0
Current children cumulated CPU time: 3584.73 s
Current children cumulated vsize: 190016 KiB
Current children cumulated memory: 135128 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3584.78
CPU user time (s): 3584.49
CPU system time (s): 0.288709
CPU usage (%): 99.6871
Max. virtual memory (cumulated for all children) (KiB): 448164
Max. memory (cumulated for all children) (KiB): 400168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.49
system time used= 0.288709
maximum resident set size= 398588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118
involuntary context switches= 2415


# summary of solver processes directly reported to runsolver:
#   pid: 365259
#   total CPU time (s): 3584.78
#   total CPU user time (s): 3584.49
#   total CPU system time (s): 0.288709

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.89215 second user time and 19.0847 second system time

The end