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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437052-1722951804/watcher-4437052-1722951804 -o /tmp/evaluation-result-4437052-1722951804/solver-4437052-1722951804 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722948202-336023 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437052-1722951804.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=338209, runsolver pid=338206

[startup+0.100526 s]*
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123898400/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 695 617 264 0 134 0
[pid=338212] ppid=338209 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/338212/stat : 338212 (timeout) S 338209 338212 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777521 8867840 250 134679101440 94437578346496 94437578381512 140727655743424 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94437580478928 94437580481060 94437599936512 140727655752745 140727655752861 140727655752861 140727655759847 0
/proc/338212/statm: 2165 250 225 9 0 87 0
[pid=338213] ppid=338212 vsize=24200 memory=11804 CPUtime=0.08 cores=0,2
/proc/338213/stat : 338213 (LS-MabSP) R 338212 338212 336013 0 -1 4194304 1939 0 0 0 8 0 0 0 20 0 1 0 61777521 24780800 2951 134679101440 4194304 15467897 140721964118736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41639936 140721964123196 140721964123299 140721964123299 140721964130285 0
/proc/338213/statm: 6050 2951 1073 2753 0 2703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 15584 KiB

[startup+0.205886 s]*
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123862600/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 695 617 264 0 134 0
[pid=338212] ppid=338209 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/338212/stat : 338212 (timeout) S 338209 338212 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777521 8867840 250 134679101440 94437578346496 94437578381512 140727655743424 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94437580478928 94437580481060 94437599936512 140727655752745 140727655752861 140727655752861 140727655759847 0
/proc/338212/statm: 2165 250 225 9 0 87 0
[pid=338213] ppid=338212 vsize=36836 memory=24328 CPUtime=0.19 cores=0,2
/proc/338213/stat : 338213 (LS-MabSP) R 338212 338212 336013 0 -1 4194304 5085 0 0 0 18 1 0 0 20 0 1 0 61777521 37720064 6082 134679101440 4194304 15467897 140721964118736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41639936 140721964123196 140721964123299 140721964123299 140721964130285 0
/proc/338213/statm: 9209 6082 1105 2753 0 5862 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 28108 KiB

[startup+0.305866 s]*
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123859696/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 695 617 264 0 134 0
[pid=338212] ppid=338209 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/338212/stat : 338212 (timeout) S 338209 338212 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777521 8867840 250 134679101440 94437578346496 94437578381512 140727655743424 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94437580478928 94437580481060 94437599936512 140727655752745 140727655752861 140727655752861 140727655759847 0
/proc/338212/statm: 2165 250 225 9 0 87 0
[pid=338213] ppid=338212 vsize=36836 memory=24328 CPUtime=0.29 cores=0,2
/proc/338213/stat : 338213 (LS-MabSP) R 338212 338212 336013 0 -1 4194304 5085 0 0 0 28 1 0 0 20 0 1 0 61777521 37720064 6082 134679101440 4194304 15467897 140721964118736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41639936 140721964123196 140721964123299 140721964123299 140721964130285 0
/proc/338213/statm: 9209 6082 1105 2753 0 5862 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 28108 KiB

[startup+0.700256 s]
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123858696/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 695 617 264 0 134 0
[pid=338212] ppid=338209 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/338212/stat : 338212 (timeout) S 338209 338212 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777521 8867840 250 134679101440 94437578346496 94437578381512 140727655743424 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94437580478928 94437580481060 94437599936512 140727655752745 140727655752861 140727655752861 140727655759847 0
/proc/338212/statm: 2165 250 225 9 0 87 0
[pid=338213] ppid=338212 vsize=76956 memory=69400 CPUtime=0.68 cores=0,2
/proc/338213/stat : 338213 (LS-MabSP) R 338212 338212 336013 0 -1 4194304 14813 0 0 0 67 1 0 0 20 0 1 0 61777521 78802944 17350 134679101440 4194304 15467897 140721964118736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41639936 140721964123196 140721964123299 140721964123299 140721964130285 0
/proc/338213/statm: 19239 17350 2705 2753 0 15892 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95548 KiB
Current children cumulated memory: 73180 KiB

[startup+1.50023 s]
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123679100/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 695 617 264 0 134 0
[pid=338212] ppid=338209 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/338212/stat : 338212 (timeout) S 338209 338212 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777521 8867840 250 134679101440 94437578346496 94437578381512 140727655743424 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94437580478928 94437580481060 94437599936512 140727655752745 140727655752861 140727655752861 140727655759847 0
/proc/338212/statm: 2165 250 225 9 0 87 0
[pid=338213] ppid=338212 vsize=184448 memory=165452 CPUtime=1.48 cores=0,2
/proc/338213/stat : 338213 (LS-MabSP) R 338212 338212 336013 0 -1 4194304 32915 0 0 0 143 5 0 0 20 0 1 0 61777521 188874752 41363 134679101440 4194304 15467897 140721964118736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41639936 140721964123196 140721964123299 140721964123299 140721964130285 0
/proc/338213/statm: 46112 41363 2833 2753 0 42765 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 203040 KiB
Current children cumulated memory: 169232 KiB

[startup+3.10566 s]
/proc/loadavg: 4.15 4.14 4.09 5/266 338213
/proc/meminfo: memFree=123592276/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 695 617 264 0 134 0
[pid=338212] ppid=338209 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/338212/stat : 338212 (timeout) S 338209 338212 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777521 8867840 250 134679101440 94437578346496 94437578381512 140727655743424 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94437580478928 94437580481060 94437599936512 140727655752745 140727655752861 140727655752861 140727655759847 0
/proc/338212/statm: 2165 250 225 9 0 87 0
[pid=338213] ppid=338212 vsize=184608 memory=166240 CPUtime=3.08 cores=0,2
/proc/338213/stat : 338213 (LS-MabSP) R 338212 338212 336013 0 -1 4194304 33077 0 0 0 303 5 0 0 20 0 1 0 61777521 189038592 41560 134679101440 4194304 15467897 140721964118736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41639936 140721964123196 140721964123299 140721964123299 140721964130285 0
/proc/338213/statm: 46152 41560 2833 2753 0 42805 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 203200 KiB
Current children cumulated memory: 170020 KiB

[startup+6.30023 s]
/proc/loadavg: 4.14 4.14 4.09 5/266 338215
/proc/meminfo: memFree=123576508/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 695 617 264 0 134 0
[pid=338212] ppid=338209 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/338212/stat : 338212 (timeout) S 338209 338212 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777521 8867840 250 134679101440 94437578346496 94437578381512 140727655743424 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94437580478928 94437580481060 94437599936512 140727655752745 140727655752861 140727655752861 140727655759847 0
/proc/338212/statm: 2165 250 225 9 0 87 0
[pid=338213] ppid=338212 vsize=202108 memory=181872 CPUtime=6.26 cores=0,2
/proc/338213/stat : 338213 (LS-MabSP) R 338212 338212 336013 0 -1 4194304 36972 0 0 0 621 5 0 0 20 0 1 0 61777521 206958592 45468 134679101440 4194304 15467897 140721964118736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41639936 140721964123196 140721964123299 140721964123299 140721964130285 0
/proc/338213/statm: 50527 45468 2849 2753 0 47180 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 220700 KiB
Current children cumulated memory: 185652 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.09 5/266 338215
/proc/meminfo: memFree=123556600/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 695 617 264 0 134 0
[pid=338212] ppid=338209 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/338212/stat : 338212 (timeout) S 338209 338212 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777521 8867840 250 134679101440 94437578346496 94437578381512 140727655743424 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94437580478928 94437580481060 94437599936512 140727655752745 140727655752861 140727655752861 140727655759847 0
/proc/338212/statm: 2165 250 225 9 0 87 0
[pid=338213] ppid=338212 vsize=209824 memory=185036 CPUtime=12.64 cores=0,2
/proc/338213/stat : 338213 (LS-MabSP) R 338212 338212 336013 0 -1 4194304 37770 0 0 0 1259 5 0 0 20 0 1 0 61777521 214859776 46259 134679101440 4194304 15467897 140721964118736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41639936 140721964123196 140721964123299 140721964123299 140721964130285 0
/proc/338213/statm: 52456 46259 2849 2753 0 49109 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 228416 KiB
Current children cumulated memory: 188816 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.09 5/266 338218
/proc/meminfo: memFree=123552872/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 695 617 264 0 134 0
[pid=338212] ppid=338209 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/338212/stat : 338212 (timeout) S 338209 338212 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777521 8867840 250 134679101440 94437578346496 94437578381512 140727655743424 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94437580478928 94437580481060 94437599936512 140727655752745 140727655752861 140727655752861 140727655759847 0
/proc/338212/statm: 2165 250 225 9 0 87 0
[pid=338213] ppid=338212 vsize=220844 memory=185556 CPUtime=25.4 cores=0,2
/proc/338213/stat : 338213 (LS-MabSP) R 338212 338212 336013 0 -1 4194304 37903 0 0 0 2535 5 0 0 20 0 1 0 61777521 226144256 46389 134679101440 4194304 15467897 140721964118736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41639936 140721964123196 140721964123299 140721964123299 140721964130285 0
/proc/338213/statm: 55211 46389 2849 2753 0 51864 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 239436 KiB
Current children cumulated memory: 189336 KiB

[startup+51.1057 s]
/proc/loadavg: 4.18 4.15 4.10 5/266 338223
/proc/meminfo: memFree=123305060/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 695 617 264 0 134 0
[pid=338212] ppid=338209 vsize=8660 memory=1000 CPUtime=0 cores=0,2
/proc/338212/stat : 338212 (timeout) S 338209 338212 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777521 8867840 250 134679101440 94437578346496 94437578381512 140727655743424 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94437580478928 94437580481060 94437599936512 140727655752745 140727655752861 140727655752861 140727655759847 0
/proc/338212/statm: 2165 250 225 9 0 87 0
[pid=338213] ppid=338212 vsize=244088 memory=207324 CPUtime=50.92 cores=0,2
/proc/338213/stat : 338213 (LS-MabSP) R 338212 338212 336013 0 -1 4194304 44730 0 0 0 5085 7 0 0 20 0 1 0 61777521 249946112 51831 134679101440 4194304 15467897 140721964118736 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 41639936 140721964123196 140721964123299 140721964123299 140721964130285 0
/proc/338213/statm: 61022 51831 2849 2753 0 57675 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 262680 KiB
Current children cumulated memory: 211104 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/266 338232
/proc/meminfo: memFree=122612428/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 241 103 0 0 0 0 0 0 20 0 1 0 61777520 10170368 695 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0

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

/proc/339119/statm: 21971 20401 748 737 0 21059 0
Current children cumulated CPU time: 3391.82 s
Current children cumulated vsize: 106476 KiB
Current children cumulated memory: 85428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.22 4.13 5/265 340170
/proc/meminfo: memFree=123821916/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2828 CPUtime=1792.46 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 274 76143 0 0 0 0 177288 1958 20 0 1 0 61777520 10170368 707 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 707 617 264 0 134 0
[pid=339118] ppid=338209 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/339118/stat : 339118 (timeout) S 338209 339118 336013 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61957322 8867840 249 134679101440 93866846302208 93866846337224 140724328280752 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93866848434640 93866848436772 93866870063104 140724328289268 140724328289437 140724328289437 140724328296423 0
/proc/339118/statm: 2165 249 225 9 0 87 0
[pid=339119] ppid=339118 vsize=88252 memory=81980 CPUtime=1659.19 cores=0,2
/proc/339119/stat : 339119 (Exact) R 339118 339118 336013 0 -1 4194304 13900 0 0 0 165916 3 0 0 20 0 1 0 61957322 90370048 20495 134679101440 4194304 7210733 140735284939648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 17108992 140735284945936 140735284946086 140735284946086 140735284953072 0
/proc/339119/statm: 22063 20495 748 737 0 21151 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 106844 KiB
Current children cumulated memory: 85804 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.20 4.13 5/265 340180
/proc/meminfo: memFree=123820500/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2828 CPUtime=1792.46 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 274 76143 0 0 0 0 177288 1958 20 0 1 0 61777520 10170368 707 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 707 617 264 0 134 0
[pid=339118] ppid=338209 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/339118/stat : 339118 (timeout) S 338209 339118 336013 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61957322 8867840 249 134679101440 93866846302208 93866846337224 140724328280752 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93866848434640 93866848436772 93866870063104 140724328289268 140724328289437 140724328289437 140724328296423 0
/proc/339118/statm: 2165 249 225 9 0 87 0
[pid=339119] ppid=339118 vsize=88636 memory=82372 CPUtime=1719.02 cores=0,2
/proc/339119/stat : 339119 (Exact) R 339118 339118 336013 0 -1 4194304 14034 0 0 0 171899 3 0 0 20 0 1 0 61957322 90763264 20593 134679101440 4194304 7210733 140735284939648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 17108992 140735284945936 140735284946086 140735284946086 140735284953072 0
/proc/339119/statm: 22159 20593 748 737 0 21247 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 107228 KiB
Current children cumulated memory: 86196 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/265 340190
/proc/meminfo: memFree=123819004/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2828 CPUtime=1792.46 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 274 76143 0 0 0 0 177288 1958 20 0 1 0 61777520 10170368 707 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 707 617 264 0 134 0
[pid=339118] ppid=338209 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/339118/stat : 339118 (timeout) S 338209 339118 336013 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61957322 8867840 249 134679101440 93866846302208 93866846337224 140724328280752 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93866848434640 93866848436772 93866870063104 140724328289268 140724328289437 140724328289437 140724328296423 0
/proc/339118/statm: 2165 249 225 9 0 87 0
[pid=339119] ppid=339118 vsize=88940 memory=82484 CPUtime=1778.85 cores=0,2
/proc/339119/stat : 339119 (Exact) R 339118 339118 336013 0 -1 4194304 14145 0 0 0 177882 3 0 0 20 0 1 0 61957322 91074560 20621 134679101440 4194304 7210733 140735284939648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 17108992 140735284945936 140735284946086 140735284946086 140735284953072 0
/proc/339119/statm: 22235 20621 748 737 0 21323 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86308 KiB

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

# cumulated CPU time of all completed processes:  user=3565.4 s, system=19.6378 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.18 4.12 5/265 340191
/proc/meminfo: memFree=123818884/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2828 CPUtime=1792.46 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 274 76143 0 0 0 0 177288 1958 20 0 1 0 61777520 10170368 707 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 707 617 264 0 134 0
[pid=339118] ppid=338209 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/339118/stat : 339118 (timeout) S 338209 339118 336013 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61957322 8867840 249 134679101440 93866846302208 93866846337224 140724328280752 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93866848434640 93866848436772 93866870063104 140724328289268 140724328289437 140724328289437 140724328296423 0
/proc/339118/statm: 2165 249 225 9 0 87 0
[pid=339119] ppid=339118 vsize=88940 memory=82484 CPUtime=1780.55 cores=0,2
/proc/339119/stat : 339119 (Exact) R 339118 339118 336013 0 -1 4194304 14145 0 0 0 178052 3 0 0 20 0 1 0 61957322 91074560 20621 134679101440 4194304 7210733 140735284939648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 17108992 140735284945936 140735284946086 140735284946086 140735284953072 0
/proc/339119/statm: 22235 20621 748 737 0 21323 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86308 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.17 4.12 5/265 340191
/proc/meminfo: memFree=123818876/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2828 CPUtime=1792.46 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 274 76143 0 0 0 0 177288 1958 20 0 1 0 61777520 10170368 707 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 707 617 264 0 134 0
[pid=339118] ppid=338209 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/339118/stat : 339118 (timeout) S 338209 339118 336013 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61957322 8867840 249 134679101440 93866846302208 93866846337224 140724328280752 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93866848434640 93866848436772 93866870063104 140724328289268 140724328289437 140724328289437 140724328296423 0
/proc/339118/statm: 2165 249 225 9 0 87 0
[pid=339119] ppid=339118 vsize=88940 memory=82484 CPUtime=1786.93 cores=0,2
/proc/339119/stat : 339119 (Exact) R 339118 339118 336013 0 -1 4194304 14145 0 0 0 178690 3 0 0 20 0 1 0 61957322 91074560 20621 134679101440 4194304 7210733 140735284939648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 17108992 140735284945936 140735284946086 140735284946086 140735284953072 0
/proc/339119/statm: 22235 20621 748 737 0 21323 0
Current children cumulated CPU time: 3579.39 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86308 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.17 4.12 5/265 340191
/proc/meminfo: memFree=123818876/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2828 CPUtime=1792.46 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 274 76143 0 0 0 0 177288 1958 20 0 1 0 61777520 10170368 707 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 707 617 264 0 134 0
[pid=339118] ppid=338209 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/339118/stat : 339118 (timeout) S 338209 339118 336013 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61957322 8867840 249 134679101440 93866846302208 93866846337224 140724328280752 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93866848434640 93866848436772 93866870063104 140724328289268 140724328289437 140724328289437 140724328296423 0
/proc/339118/statm: 2165 249 225 9 0 87 0
[pid=339119] ppid=339118 vsize=88940 memory=82484 CPUtime=1790.12 cores=0,2
/proc/339119/stat : 339119 (Exact) R 339118 339118 336013 0 -1 4194304 14145 0 0 0 179009 3 0 0 20 0 1 0 61957322 91074560 20621 134679101440 4194304 7210733 140735284939648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 17108992 140735284945936 140735284946086 140735284946086 140735284953072 0
/proc/339119/statm: 22235 20621 748 737 0 21323 0
Current children cumulated CPU time: 3582.58 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86308 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.17 4.12 5/265 340193
/proc/meminfo: memFree=123818716/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2828 CPUtime=1792.46 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 274 76143 0 0 0 0 177288 1958 20 0 1 0 61777520 10170368 707 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 707 617 264 0 134 0
[pid=339118] ppid=338209 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/339118/stat : 339118 (timeout) S 338209 339118 336013 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61957322 8867840 249 134679101440 93866846302208 93866846337224 140724328280752 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93866848434640 93866848436772 93866870063104 140724328289268 140724328289437 140724328289437 140724328296423 0
/proc/339118/statm: 2165 249 225 9 0 87 0
[pid=339119] ppid=339118 vsize=88940 memory=82484 CPUtime=1791.72 cores=0,2
/proc/339119/stat : 339119 (Exact) R 339118 339118 336013 0 -1 4194304 14145 0 0 0 179169 3 0 0 20 0 1 0 61957322 91074560 20621 134679101440 4194304 7210733 140735284939648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 17108992 140735284945936 140735284946086 140735284946086 140735284953072 0
/proc/339119/statm: 22235 20621 748 737 0 21323 0
Current children cumulated CPU time: 3584.18 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86308 KiB

[startup+3595.6 s]
/proc/loadavg: 4.10 4.17 4.12 5/265 340193
/proc/meminfo: memFree=123818716/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2828 CPUtime=1792.46 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 274 76143 0 0 0 0 177288 1958 20 0 1 0 61777520 10170368 707 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 707 617 264 0 134 0
[pid=339118] ppid=338209 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/339118/stat : 339118 (timeout) S 338209 339118 336013 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61957322 8867840 249 134679101440 93866846302208 93866846337224 140724328280752 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93866848434640 93866848436772 93866870063104 140724328289268 140724328289437 140724328289437 140724328296423 0
/proc/339118/statm: 2165 249 225 9 0 87 0
[pid=339119] ppid=339118 vsize=88940 memory=82484 CPUtime=1792.11 cores=0,2
/proc/339119/stat : 339119 (Exact) R 339118 339118 336013 0 -1 4194304 14145 0 0 0 179208 3 0 0 20 0 1 0 61957322 91074560 20621 134679101440 4194304 7210733 140735284939648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 17108992 140735284945936 140735284946086 140735284946086 140735284953072 0
/proc/339119/statm: 22235 20621 748 737 0 21323 0
Current children cumulated CPU time: 3584.57 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86308 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.17 4.12 4/262 340216
/proc/meminfo: memFree=123882096/131524592 swapFree=131071996/131071996
[pid=338209] ppid=338206 vsize=9932 memory=2828 CPUtime=1792.46 cores=0,2
/proc/338209/stat : 338209 (Hybrid-LSMabSP+) S 338206 338209 336013 0 -1 4194304 274 76143 0 0 0 0 177288 1958 20 0 1 0 61777520 10170368 707 134679101440 94086436503552 94086437582872 140725784076976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94086439681328 94086439728516 94086440837120 140725784081384 140725784081530 140725784081530 140725784088545 0
/proc/338209/statm: 2483 707 617 264 0 134 0
[pid=339118] ppid=338209 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/339118/stat : 339118 (timeout) S 338209 339118 336013 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61957322 8867840 249 134679101440 93866846302208 93866846337224 140724328280752 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93866848434640 93866848436772 93866870063104 140724328289268 140724328289437 140724328289437 140724328296423 0
/proc/339118/statm: 2165 249 225 9 0 87 0
[pid=339119] ppid=339118 vsize=88940 memory=82484 CPUtime=1792.52 cores=0,2
/proc/339119/stat : 339119 (Exact) R 339118 339118 336013 0 -1 4194304 14145 0 0 0 179249 3 0 0 20 0 1 0 61957322 91074560 20621 134679101440 4194304 7210733 140735284939648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 17108992 140735284945936 140735284946086 140735284946086 140735284953072 0
/proc/339119/statm: 22235 20621 748 737 0 21323 0
Current children cumulated CPU time: 3584.98 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86308 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3585.04
CPU user time (s): 3565.4
CPU system time (s): 19.6378
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 387852
Max. memory (cumulated for all children) (KiB): 349272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.4
system time used= 19.6378
maximum resident set size= 345492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111
involuntary context switches= 25091


# summary of solver processes directly reported to runsolver:
#   pid: 338209
#   total CPU time (s): 3585.04
#   total CPU user time (s): 3565.4
#   total CPU system time (s): 19.6378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64766 second user time and 17.8758 second system time

The end