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: 63931 MiB (61691 MiB free)
  memory of node 1: 64510 MiB (62617 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438257-1722959936/watcher-4438257-1722959936 -o /tmp/evaluation-result-4438257-1722959936/solver-4438257-1722959936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722959025-338387 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438257-1722959936.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=339277, runsolver pid=339274
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 4.09 4.10 4.08 5/266 339281
/proc/meminfo: memFree=127277204/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=339280] ppid=339277 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/339280/stat : 339280 (timeout) S 339277 339280 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62592930 8867840 230 134679101440 94513141067776 94513141102792 140728407109968 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94513143200208 94513143202340 94513153064960 140728407114764 140728407114909 140728407114909 140728407121895 0
/proc/339280/statm: 2165 230 205 9 0 87 0
[pid=339281] ppid=339280 vsize=36656 memory=18272 CPUtime=0.09 cores=1,3
/proc/339281/stat : 339281 (CASHWMaxSAT-Dis) R 339280 339280 338375 0 -1 4194304 3916 0 0 0 9 0 0 0 20 0 1 0 62592931 37535744 4568 134679101440 4194304 14093885 140721481392304 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22351872 140721481401362 140721481401494 140721481401494 140721481408480 0
/proc/339281/statm: 9164 4568 750 2417 0 6266 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55248 KiB
Current children cumulated memory: 22040 KiB

[startup+0.205827 s]*
/proc/loadavg: 4.09 4.10 4.08 5/266 339281
/proc/meminfo: memFree=127263932/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=339280] ppid=339277 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/339280/stat : 339280 (timeout) S 339277 339280 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62592930 8867840 230 134679101440 94513141067776 94513141102792 140728407109968 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94513143200208 94513143202340 94513153064960 140728407114764 140728407114909 140728407114909 140728407121895 0
/proc/339280/statm: 2165 230 205 9 0 87 0
[pid=339281] ppid=339280 vsize=51408 memory=32720 CPUtime=0.19 cores=1,3
/proc/339281/stat : 339281 (CASHWMaxSAT-Dis) R 339280 339280 338375 0 -1 4194304 8053 0 0 0 19 0 0 0 20 0 1 0 62592931 52641792 8180 134679101440 4194304 14093885 140721481392304 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22351872 140721481401362 140721481401494 140721481401494 140721481408480 0
/proc/339281/statm: 12852 8180 782 2417 0 9954 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70000 KiB
Current children cumulated memory: 36488 KiB

[startup+0.305863 s]*
/proc/loadavg: 4.09 4.10 4.08 5/266 339281
/proc/meminfo: memFree=127244716/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=339280] ppid=339277 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/339280/stat : 339280 (timeout) S 339277 339280 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62592930 8867840 230 134679101440 94513141067776 94513141102792 140728407109968 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94513143200208 94513143202340 94513153064960 140728407114764 140728407114909 140728407114909 140728407121895 0
/proc/339280/statm: 2165 230 205 9 0 87 0
[pid=339281] ppid=339280 vsize=77480 memory=57716 CPUtime=0.3 cores=1,3
/proc/339281/stat : 339281 (CASHWMaxSAT-Dis) R 339280 339280 338375 0 -1 4194304 11376 0 0 0 29 1 0 0 20 0 1 0 62592931 79339520 14429 134679101440 4194304 14093885 140721481392304 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22351872 140721481401362 140721481401494 140721481401494 140721481408480 0
/proc/339281/statm: 19370 14429 782 2417 0 16472 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96072 KiB
Current children cumulated memory: 61484 KiB

[startup+0.700326 s]
/proc/loadavg: 4.09 4.10 4.08 5/266 339281
/proc/meminfo: memFree=127179156/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=339280] ppid=339277 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/339280/stat : 339280 (timeout) S 339277 339280 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62592930 8867840 230 134679101440 94513141067776 94513141102792 140728407109968 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94513143200208 94513143202340 94513153064960 140728407114764 140728407114909 140728407114909 140728407121895 0
/proc/339280/statm: 2165 230 205 9 0 87 0
[pid=339281] ppid=339280 vsize=161788 memory=150548 CPUtime=0.68 cores=1,3
/proc/339281/stat : 339281 (CASHWMaxSAT-Dis) R 339280 339280 338375 0 -1 4194304 35300 0 0 0 64 4 0 0 20 0 1 0 62592931 165670912 37637 134679101440 4194304 14093885 140721481392304 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22351872 140721481401362 140721481401494 140721481401494 140721481408480 0
/proc/339281/statm: 40447 37637 2366 2417 0 37549 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 180380 KiB
Current children cumulated memory: 154316 KiB

[startup+1.50027 s]
/proc/loadavg: 4.08 4.10 4.08 5/266 339281
/proc/meminfo: memFree=127122000/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=339280] ppid=339277 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/339280/stat : 339280 (timeout) S 339277 339280 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62592930 8867840 230 134679101440 94513141067776 94513141102792 140728407109968 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94513143200208 94513143202340 94513153064960 140728407114764 140728407114909 140728407114909 140728407121895 0
/proc/339280/statm: 2165 230 205 9 0 87 0
[pid=339281] ppid=339280 vsize=208664 memory=195752 CPUtime=1.48 cores=1,3
/proc/339281/stat : 339281 (CASHWMaxSAT-Dis) R 339280 339280 338375 0 -1 4194304 45465 0 0 0 142 6 0 0 20 0 1 0 62592931 213671936 48938 134679101440 4194304 14093885 140721481392304 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22351872 140721481401362 140721481401494 140721481401494 140721481408480 0
/proc/339281/statm: 52166 48938 2526 2417 0 49268 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 227256 KiB
Current children cumulated memory: 199520 KiB

[startup+3.10573 s]
/proc/loadavg: 4.08 4.10 4.08 5/266 339283
/proc/meminfo: memFree=127102496/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=339280] ppid=339277 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/339280/stat : 339280 (timeout) S 339277 339280 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62592930 8867840 230 134679101440 94513141067776 94513141102792 140728407109968 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94513143200208 94513143202340 94513153064960 140728407114764 140728407114909 140728407114909 140728407121895 0
/proc/339280/statm: 2165 230 205 9 0 87 0
[pid=339281] ppid=339280 vsize=210796 memory=197592 CPUtime=3.08 cores=1,3
/proc/339281/stat : 339281 (CASHWMaxSAT-Dis) R 339280 339280 338375 0 -1 4194304 45915 0 0 0 302 6 0 0 20 0 1 0 62592931 215855104 49398 134679101440 4194304 14093885 140721481392304 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22351872 140721481401362 140721481401494 140721481401494 140721481408480 0
/proc/339281/statm: 52699 49398 2526 2417 0 49801 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 229388 KiB
Current children cumulated memory: 201360 KiB

[startup+6.30029 s]
/proc/loadavg: 4.08 4.10 4.08 5/266 339283
/proc/meminfo: memFree=127100372/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=339280] ppid=339277 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/339280/stat : 339280 (timeout) S 339277 339280 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62592930 8867840 230 134679101440 94513141067776 94513141102792 140728407109968 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94513143200208 94513143202340 94513153064960 140728407114764 140728407114909 140728407114909 140728407121895 0
/proc/339280/statm: 2165 230 205 9 0 87 0
[pid=339281] ppid=339280 vsize=210796 memory=197592 CPUtime=6.27 cores=1,3
/proc/339281/stat : 339281 (CASHWMaxSAT-Dis) R 339280 339280 338375 0 -1 4194304 45917 0 0 0 621 6 0 0 20 0 1 0 62592931 215855104 49398 134679101440 4194304 14093885 140721481392304 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22351872 140721481401362 140721481401494 140721481401494 140721481408480 0
/proc/339281/statm: 52699 49398 2526 2417 0 49801 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 229388 KiB
Current children cumulated memory: 201360 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.08 5/266 339283
/proc/meminfo: memFree=127098200/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=339280] ppid=339277 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/339280/stat : 339280 (timeout) S 339277 339280 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62592930 8867840 230 134679101440 94513141067776 94513141102792 140728407109968 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94513143200208 94513143202340 94513153064960 140728407114764 140728407114909 140728407114909 140728407121895 0
/proc/339280/statm: 2165 230 205 9 0 87 0
[pid=339281] ppid=339280 vsize=211392 memory=197592 CPUtime=12.65 cores=1,3
/proc/339281/stat : 339281 (CASHWMaxSAT-Dis) R 339280 339280 338375 0 -1 4194304 45923 0 0 0 1259 6 0 0 20 0 1 0 62592931 216465408 49398 134679101440 4194304 14093885 140721481392304 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22351872 140721481401362 140721481401494 140721481401494 140721481408480 0
/proc/339281/statm: 52848 49398 2526 2417 0 49950 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 229984 KiB
Current children cumulated memory: 201360 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.09 4.07 5/266 339286
/proc/meminfo: memFree=127060728/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=339280] ppid=339277 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/339280/stat : 339280 (timeout) S 339277 339280 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62592930 8867840 230 134679101440 94513141067776 94513141102792 140728407109968 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94513143200208 94513143202340 94513153064960 140728407114764 140728407114909 140728407114909 140728407121895 0
/proc/339280/statm: 2165 230 205 9 0 87 0
[pid=339281] ppid=339280 vsize=271928 memory=238268 CPUtime=25.43 cores=1,3
/proc/339281/stat : 339281 (CASHWMaxSAT-Dis) R 339280 339280 338375 0 -1 4194304 56058 0 0 0 2535 8 0 0 20 0 1 0 62592931 278454272 59567 134679101440 4194304 14093885 140721481392304 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22351872 140721481401362 140721481401494 140721481401494 140721481408480 0
/proc/339281/statm: 67982 59567 2542 2417 0 65084 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 290520 KiB
Current children cumulated memory: 242036 KiB

[startup+51.1058 s]
/proc/loadavg: 4.11 4.10 4.08 5/266 339290
/proc/meminfo: memFree=127023292/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=339280] ppid=339277 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/339280/stat : 339280 (timeout) S 339277 339280 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62592930 8867840 230 134679101440 94513141067776 94513141102792 140728407109968 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94513143200208 94513143202340 94513153064960 140728407114764 140728407114909 140728407114909 140728407121895 0
/proc/339280/statm: 2165 230 205 9 0 87 0
[pid=339281] ppid=339280 vsize=328764 memory=275408 CPUtime=50.97 cores=1,3
/proc/339281/stat : 339281 (CASHWMaxSAT-Dis) R 339280 339280 338375 0 -1 4194304 64843 0 0 0 5088 9 0 0 20 0 1 0 62592931 336654336 68852 134679101440 4194304 14093885 140721481392304 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22351872 140721481401362 140721481401494 140721481401494 140721481408480 0
/proc/339281/statm: 82191 68852 2542 2417 0 79293 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 347356 KiB
Current children cumulated memory: 279176 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/266 339302
/proc/meminfo: memFree=127016828/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=0 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 247 99 0 0 0 0 0 0 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0

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

/proc/340340/statm: 17681 16081 748 737 0 16769 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 89316 KiB
Current children cumulated memory: 68184 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/264 341219
/proc/meminfo: memFree=127799224/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=1793.27 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 279 90858 0 0 0 0 179313 14 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=340339] ppid=339277 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/340339/stat : 340339 (timeout) S 339277 340339 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62772731 8867840 253 134679101440 94638289756160 94638289791176 140724416126512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94638291888592 94638291890724 94638315286528 140724416127988 140724416128157 140724416128157 140724416135143 0
/proc/340339/statm: 2165 253 229 9 0 87 0
[pid=340340] ppid=340339 vsize=70868 memory=64500 CPUtime=1659.56 cores=1,3
/proc/340340/stat : 340340 (Exact) R 340339 340339 338375 0 -1 4194304 11265 0 0 0 165953 3 0 0 20 0 1 0 62772731 72568832 16125 134679101440 4194304 7210733 140726894772128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 39882752 140726894781456 140726894781606 140726894781606 140726894788592 0
/proc/340340/statm: 17717 16125 748 737 0 16805 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 89460 KiB
Current children cumulated memory: 68360 KiB

[startup+3522.3 s]
/proc/loadavg: 4.47 4.20 4.15 5/264 341230
/proc/meminfo: memFree=127768252/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=1793.27 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 279 90858 0 0 0 0 179313 14 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=340339] ppid=339277 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/340339/stat : 340339 (timeout) S 339277 340339 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62772731 8867840 253 134679101440 94638289756160 94638289791176 140724416126512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94638291888592 94638291890724 94638315286528 140724416127988 140724416128157 140724416128157 140724416135143 0
/proc/340339/statm: 2165 253 229 9 0 87 0
[pid=340340] ppid=340339 vsize=70868 memory=64500 CPUtime=1719.37 cores=1,3
/proc/340340/stat : 340340 (Exact) R 340339 340339 338375 0 -1 4194304 11296 0 0 0 171934 3 0 0 20 0 1 0 62772731 72568832 16125 134679101440 4194304 7210733 140726894772128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 39882752 140726894781456 140726894781606 140726894781606 140726894788592 0
/proc/340340/statm: 17717 16125 748 737 0 16805 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 89460 KiB
Current children cumulated memory: 68360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.21 4.16 5/265 341410
/proc/meminfo: memFree=127707540/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=1793.27 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 279 90858 0 0 0 0 179313 14 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=340339] ppid=339277 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/340339/stat : 340339 (timeout) S 339277 340339 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62772731 8867840 253 134679101440 94638289756160 94638289791176 140724416126512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94638291888592 94638291890724 94638315286528 140724416127988 140724416128157 140724416128157 140724416135143 0
/proc/340339/statm: 2165 253 229 9 0 87 0
[pid=340340] ppid=340339 vsize=71204 memory=64824 CPUtime=1779.18 cores=1,3
/proc/340340/stat : 340340 (Exact) R 340339 340339 338375 0 -1 4194304 11399 0 0 0 177915 3 0 0 20 0 1 0 62772731 72912896 16206 134679101440 4194304 7210733 140726894772128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 39882752 140726894781456 140726894781606 140726894781606 140726894788592 0
/proc/340340/statm: 17801 16206 748 737 0 16889 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 68684 KiB

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

# cumulated CPU time of all completed processes:  user=3585.97 s, system=0.190057 s

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

[startup+3584 s]*
/proc/loadavg: 4.31 4.21 4.16 5/265 341411
/proc/meminfo: memFree=127704908/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=1793.27 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 279 90858 0 0 0 0 179313 14 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=340339] ppid=339277 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/340339/stat : 340339 (timeout) S 339277 340339 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62772731 8867840 253 134679101440 94638289756160 94638289791176 140724416126512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94638291888592 94638291890724 94638315286528 140724416127988 140724416128157 140724416128157 140724416135143 0
/proc/340339/statm: 2165 253 229 9 0 87 0
[pid=340340] ppid=340339 vsize=71204 memory=64824 CPUtime=1780.88 cores=1,3
/proc/340340/stat : 340340 (Exact) R 340339 340339 338375 0 -1 4194304 11399 0 0 0 178085 3 0 0 20 0 1 0 62772731 72912896 16206 134679101440 4194304 7210733 140726894772128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 39882752 140726894781456 140726894781606 140726894781606 140726894788592 0
/proc/340340/statm: 17801 16206 748 737 0 16889 0
Current children cumulated CPU time: 3574.15 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 68684 KiB

[startup+3590.4 s]
/proc/loadavg: 4.29 4.20 4.16 5/265 341412
/proc/meminfo: memFree=127684888/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=1793.27 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 279 90858 0 0 0 0 179313 14 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=340339] ppid=339277 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/340339/stat : 340339 (timeout) S 339277 340339 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62772731 8867840 253 134679101440 94638289756160 94638289791176 140724416126512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94638291888592 94638291890724 94638315286528 140724416127988 140724416128157 140724416128157 140724416135143 0
/proc/340339/statm: 2165 253 229 9 0 87 0
[pid=340340] ppid=340339 vsize=71204 memory=64824 CPUtime=1787.25 cores=1,3
/proc/340340/stat : 340340 (Exact) R 340339 340339 338375 0 -1 4194304 11399 0 0 0 178722 3 0 0 20 0 1 0 62772731 72912896 16206 134679101440 4194304 7210733 140726894772128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 39882752 140726894781456 140726894781606 140726894781606 140726894788592 0
/proc/340340/statm: 17801 16206 748 737 0 16889 0
Current children cumulated CPU time: 3580.52 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 68684 KiB

[startup+3593.6 s]
/proc/loadavg: 4.26 4.20 4.16 5/265 341414
/proc/meminfo: memFree=127684780/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=1793.27 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 279 90858 0 0 0 0 179313 14 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=340339] ppid=339277 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/340339/stat : 340339 (timeout) S 339277 340339 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62772731 8867840 253 134679101440 94638289756160 94638289791176 140724416126512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94638291888592 94638291890724 94638315286528 140724416127988 140724416128157 140724416128157 140724416135143 0
/proc/340339/statm: 2165 253 229 9 0 87 0
[pid=340340] ppid=340339 vsize=71204 memory=64824 CPUtime=1790.44 cores=1,3
/proc/340340/stat : 340340 (Exact) R 340339 340339 338375 0 -1 4194304 11399 0 0 0 179041 3 0 0 20 0 1 0 62772731 72912896 16206 134679101440 4194304 7210733 140726894772128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 39882752 140726894781456 140726894781606 140726894781606 140726894788592 0
/proc/340340/statm: 17801 16206 748 737 0 16889 0
Current children cumulated CPU time: 3583.71 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 68684 KiB

[startup+3595.2 s]
/proc/loadavg: 4.26 4.20 4.16 5/265 341414
/proc/meminfo: memFree=127684780/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=1793.27 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 279 90858 0 0 0 0 179313 14 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=340339] ppid=339277 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/340339/stat : 340339 (timeout) S 339277 340339 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62772731 8867840 253 134679101440 94638289756160 94638289791176 140724416126512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94638291888592 94638291890724 94638315286528 140724416127988 140724416128157 140724416128157 140724416135143 0
/proc/340339/statm: 2165 253 229 9 0 87 0
[pid=340340] ppid=340339 vsize=71204 memory=64824 CPUtime=1792.04 cores=1,3
/proc/340340/stat : 340340 (Exact) R 340339 340339 338375 0 -1 4194304 11399 0 0 0 179201 3 0 0 20 0 1 0 62772731 72912896 16206 134679101440 4194304 7210733 140726894772128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 39882752 140726894781456 140726894781606 140726894781606 140726894788592 0
/proc/340340/statm: 17801 16206 748 737 0 16889 0
Current children cumulated CPU time: 3585.31 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 68684 KiB

[startup+3595.6 s]
/proc/loadavg: 4.26 4.20 4.16 5/265 341414
/proc/meminfo: memFree=127684780/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=1793.27 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 279 90858 0 0 0 0 179313 14 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=340339] ppid=339277 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/340339/stat : 340339 (timeout) S 339277 340339 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62772731 8867840 253 134679101440 94638289756160 94638289791176 140724416126512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94638291888592 94638291890724 94638315286528 140724416127988 140724416128157 140724416128157 140724416135143 0
/proc/340339/statm: 2165 253 229 9 0 87 0
[pid=340340] ppid=340339 vsize=71204 memory=64824 CPUtime=1792.43 cores=1,3
/proc/340340/stat : 340340 (Exact) R 340339 340339 338375 0 -1 4194304 11399 0 0 0 179240 3 0 0 20 0 1 0 62772731 72912896 16206 134679101440 4194304 7210733 140726894772128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 39882752 140726894781456 140726894781606 140726894781606 140726894788592 0
/proc/340340/statm: 17801 16206 748 737 0 16889 0
Current children cumulated CPU time: 3585.7 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 68684 KiB

[startup+3596 s]*
/proc/loadavg: 4.26 4.20 4.16 5/265 341414
/proc/meminfo: memFree=127684780/131524600 swapFree=131071996/131071996
[pid=339277] ppid=339274 vsize=9932 memory=2848 CPUtime=1793.27 cores=1,3
/proc/339277/stat : 339277 (Hybrid-CASHWMax) S 339274 339277 338375 0 -1 4194304 279 90858 0 0 0 0 179313 14 20 0 1 0 62592930 10170368 712 134679101440 94507301752832 94507302832152 140725505680272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507304930608 94507304977796 94507312459776 140725505688528 140725505688686 140725505688686 140725505695701 0
/proc/339277/statm: 2483 712 618 264 0 134 0
[pid=340339] ppid=339277 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/340339/stat : 340339 (timeout) S 339277 340339 338375 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62772731 8867840 253 134679101440 94638289756160 94638289791176 140724416126512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94638291888592 94638291890724 94638315286528 140724416127988 140724416128157 140724416128157 140724416135143 0
/proc/340339/statm: 2165 253 229 9 0 87 0
[pid=340340] ppid=340339 vsize=71204 memory=64824 CPUtime=1792.84 cores=1,3
/proc/340340/stat : 340340 (Exact) R 340339 340339 338375 0 -1 4194304 11399 0 0 0 179281 3 0 0 20 0 1 0 62772731 72912896 16206 134679101440 4194304 7210733 140726894772128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 39882752 140726894781456 140726894781606 140726894781606 140726894788592 0
/proc/340340/statm: 17801 16206 748 737 0 16889 0
Current children cumulated CPU time: 3586.11 s
Current children cumulated vsize: 89796 KiB
Current children cumulated memory: 68684 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3586.16
CPU user time (s): 3585.97
CPU system time (s): 0.190057
CPU usage (%): 99.7257
Max. virtual memory (cumulated for all children) (KiB): 528632
Max. memory (cumulated for all children) (KiB): 403852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.97
system time used= 0.190057
maximum resident set size= 400084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105507
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= 104
involuntary context switches= 1710


# summary of solver processes directly reported to runsolver:
#   pid: 339277
#   total CPU time (s): 3586.16
#   total CPU user time (s): 3585.97
#   total CPU system time (s): 0.190057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62744 second user time and 17.8044 second system time

The end