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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457999-1722994011/watcher-4457999-1722994011 -o /tmp/evaluation-result-4457999-1722994011/solver-4457999-1722994011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722994011-353140 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4457999-1722994011.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
Current StackSize limit: 8192 KiB

solver pid=353204, runsolver pid=353200

[startup+0.10103 s]*
/proc/loadavg: 0.83 1.03 1.30 5/249 353216
/proc/meminfo: memFree=129225440/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 673 595 264 0 134 0
[pid=353208] ppid=353204 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/353208/stat : 353208 (timeout) S 353204 353208 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771772 8867840 229 134679101440 94835476312064 94835476347080 140729040291040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94835478444496 94835478446628 94835494072320 140729040299047 140729040299169 140729040299169 140729040306151 0
/proc/353208/statm: 2165 229 205 9 0 87 0
[pid=353213] ppid=353208 vsize=20976 memory=8672 CPUtime=0.09 cores=1,3
/proc/353213/stat : 353213 (LS-MabP) R 353208 353208 353128 0 -1 4194304 745 0 0 0 9 0 0 0 20 0 1 0 65771772 21479424 2168 134679101440 4194304 15467897 140730304250064 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41558016 140730304259131 140730304259240 140730304259240 140730304266222 0
/proc/353213/statm: 5244 2168 1105 2753 0 1897 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 12280 KiB

[startup+0.213005 s]*
/proc/loadavg: 0.83 1.03 1.30 7/249 353216
/proc/meminfo: memFree=129216200/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 673 595 264 0 134 0
[pid=353208] ppid=353204 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/353208/stat : 353208 (timeout) S 353204 353208 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771772 8867840 229 134679101440 94835476312064 94835476347080 140729040291040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94835478444496 94835478446628 94835494072320 140729040299047 140729040299169 140729040299169 140729040306151 0
/proc/353208/statm: 2165 229 205 9 0 87 0
[pid=353213] ppid=353208 vsize=20976 memory=8672 CPUtime=0.2 cores=1,3
/proc/353213/stat : 353213 (LS-MabP) R 353208 353208 353128 0 -1 4194304 745 0 0 0 20 0 0 0 20 0 1 0 65771772 21479424 2168 134679101440 4194304 15467897 140730304250064 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41558016 140730304259131 140730304259240 140730304259240 140730304266222 0
/proc/353213/statm: 5244 2168 1105 2753 0 1897 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 12280 KiB

[startup+0.312778 s]*
/proc/loadavg: 0.83 1.03 1.30 5/249 353216
/proc/meminfo: memFree=129209004/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 673 595 264 0 134 0
[pid=353208] ppid=353204 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/353208/stat : 353208 (timeout) S 353204 353208 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771772 8867840 229 134679101440 94835476312064 94835476347080 140729040291040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94835478444496 94835478446628 94835494072320 140729040299047 140729040299169 140729040299169 140729040306151 0
/proc/353208/statm: 2165 229 205 9 0 87 0
[pid=353213] ppid=353208 vsize=22492 memory=10472 CPUtime=0.3 cores=1,3
/proc/353213/stat : 353213 (LS-MabP) R 353208 353208 353128 0 -1 4194304 1527 0 0 0 29 1 0 0 20 0 1 0 65771772 23031808 2618 134679101440 4194304 15467897 140730304250064 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41558016 140730304259131 140730304259240 140730304259240 140730304266222 0
/proc/353213/statm: 5623 2618 1169 2753 0 2276 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 14080 KiB

[startup+0.700407 s]
/proc/loadavg: 0.83 1.03 1.30 5/249 353216
/proc/meminfo: memFree=129208388/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 673 595 264 0 134 0
[pid=353208] ppid=353204 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/353208/stat : 353208 (timeout) S 353204 353208 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771772 8867840 229 134679101440 94835476312064 94835476347080 140729040291040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94835478444496 94835478446628 94835494072320 140729040299047 140729040299169 140729040299169 140729040306151 0
/proc/353208/statm: 2165 229 205 9 0 87 0
[pid=353213] ppid=353208 vsize=22492 memory=10472 CPUtime=0.67 cores=1,3
/proc/353213/stat : 353213 (LS-MabP) R 353208 353208 353128 0 -1 4194304 1527 0 0 0 59 8 0 0 20 0 1 0 65771772 23031808 2618 134679101440 4194304 15467897 140730304250064 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41558016 140730304259131 140730304259240 140730304259240 140730304266222 0
/proc/353213/statm: 5623 2618 1169 2753 0 2276 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 14080 KiB

[startup+1.5004 s]
/proc/loadavg: 0.83 1.03 1.30 5/249 353216
/proc/meminfo: memFree=129207996/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 673 595 264 0 134 0
[pid=353208] ppid=353204 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/353208/stat : 353208 (timeout) S 353204 353208 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771772 8867840 229 134679101440 94835476312064 94835476347080 140729040291040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94835478444496 94835478446628 94835494072320 140729040299047 140729040299169 140729040299169 140729040306151 0
/proc/353208/statm: 2165 229 205 9 0 87 0
[pid=353213] ppid=353208 vsize=22492 memory=10472 CPUtime=1.47 cores=1,3
/proc/353213/stat : 353213 (LS-MabP) R 353208 353208 353128 0 -1 4194304 1527 0 0 0 126 21 0 0 20 0 1 0 65771772 23031808 2618 134679101440 4194304 15467897 140730304250064 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41558016 140730304259131 140730304259240 140730304259240 140730304266222 0
/proc/353213/statm: 5623 2618 1169 2753 0 2276 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 14080 KiB

[startup+3.11209 s]
/proc/loadavg: 0.83 1.03 1.30 5/249 353216
/proc/meminfo: memFree=129207580/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 673 595 264 0 134 0
[pid=353208] ppid=353204 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/353208/stat : 353208 (timeout) S 353204 353208 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771772 8867840 229 134679101440 94835476312064 94835476347080 140729040291040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94835478444496 94835478446628 94835494072320 140729040299047 140729040299169 140729040299169 140729040306151 0
/proc/353208/statm: 2165 229 205 9 0 87 0
[pid=353213] ppid=353208 vsize=22492 memory=10472 CPUtime=3.08 cores=1,3
/proc/353213/stat : 353213 (LS-MabP) R 353208 353208 353128 0 -1 4194304 1527 0 0 0 255 53 0 0 20 0 1 0 65771772 23031808 2618 134679101440 4194304 15467897 140730304250064 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41558016 140730304259131 140730304259240 140730304259240 140730304266222 0
/proc/353213/statm: 5623 2618 1169 2753 0 2276 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 14080 KiB

[startup+6.30037 s]
/proc/loadavg: 1.08 1.08 1.32 5/249 353216
/proc/meminfo: memFree=129207216/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 673 595 264 0 134 0
[pid=353208] ppid=353204 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/353208/stat : 353208 (timeout) S 353204 353208 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771772 8867840 229 134679101440 94835476312064 94835476347080 140729040291040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94835478444496 94835478446628 94835494072320 140729040299047 140729040299169 140729040299169 140729040306151 0
/proc/353208/statm: 2165 229 205 9 0 87 0
[pid=353213] ppid=353208 vsize=22492 memory=10472 CPUtime=6.27 cores=1,3
/proc/353213/stat : 353213 (LS-MabP) R 353208 353208 353128 0 -1 4194304 1527 0 0 0 514 113 0 0 20 0 1 0 65771772 23031808 2618 134679101440 4194304 15467897 140730304250064 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41558016 140730304259131 140730304259240 140730304259240 140730304266222 0
/proc/353213/statm: 5623 2618 1169 2753 0 2276 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 14080 KiB

[startup+12.7004 s]
/proc/loadavg: 1.32 1.13 1.33 5/249 353218
/proc/meminfo: memFree=129206964/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 673 595 264 0 134 0
[pid=353208] ppid=353204 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/353208/stat : 353208 (timeout) S 353204 353208 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771772 8867840 229 134679101440 94835476312064 94835476347080 140729040291040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94835478444496 94835478446628 94835494072320 140729040299047 140729040299169 140729040299169 140729040306151 0
/proc/353208/statm: 2165 229 205 9 0 87 0
[pid=353213] ppid=353208 vsize=22492 memory=10472 CPUtime=12.65 cores=1,3
/proc/353213/stat : 353213 (LS-MabP) R 353208 353208 353128 0 -1 4194304 1527 0 0 0 1032 233 0 0 20 0 1 0 65771772 23031808 2618 134679101440 4194304 15467897 140730304250064 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41558016 140730304259131 140730304259240 140730304259240 140730304266222 0
/proc/353213/statm: 5623 2618 1169 2753 0 2276 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 14080 KiB

[startup+25.5004 s]
/proc/loadavg: 1.99 1.29 1.38 5/249 353219
/proc/meminfo: memFree=129206848/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 673 595 264 0 134 0
[pid=353208] ppid=353204 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/353208/stat : 353208 (timeout) S 353204 353208 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771772 8867840 229 134679101440 94835476312064 94835476347080 140729040291040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94835478444496 94835478446628 94835494072320 140729040299047 140729040299169 140729040299169 140729040306151 0
/proc/353208/statm: 2165 229 205 9 0 87 0
[pid=353213] ppid=353208 vsize=22492 memory=10472 CPUtime=25.43 cores=1,3
/proc/353213/stat : 353213 (LS-MabP) R 353208 353208 353128 0 -1 4194304 1527 0 0 0 2053 490 0 0 20 0 1 0 65771772 23031808 2618 134679101440 4194304 15467897 140730304250064 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41558016 140730304259131 140730304259240 140730304259240 140730304266222 0
/proc/353213/statm: 5623 2618 1169 2753 0 2276 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 14080 KiB

[startup+51.1122 s]
/proc/loadavg: 2.67 1.51 1.45 5/249 353224
/proc/meminfo: memFree=129206084/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 673 595 264 0 134 0
[pid=353208] ppid=353204 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/353208/stat : 353208 (timeout) S 353204 353208 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771772 8867840 229 134679101440 94835476312064 94835476347080 140729040291040 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94835478444496 94835478446628 94835494072320 140729040299047 140729040299169 140729040299169 140729040306151 0
/proc/353208/statm: 2165 229 205 9 0 87 0
[pid=353213] ppid=353208 vsize=22492 memory=10472 CPUtime=51 cores=1,3
/proc/353213/stat : 353213 (LS-MabP) R 353208 353208 353128 0 -1 4194304 1527 0 0 0 4093 1007 0 0 20 0 1 0 65771772 23031808 2618 134679101440 4194304 15467897 140730304250064 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41558016 140730304259131 140730304259240 140730304259240 140730304266222 0
/proc/353213/statm: 5623 2618 1169 2753 0 2276 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 14080 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.91 1.59 5/250 353401
/proc/meminfo: memFree=129205188/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 65771771 10170368 673 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0

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

/proc/354154/statm: 102969 93101 804 745 0 102034 0
Current children cumulated CPU time: 3394.74 s
Current children cumulated vsize: 430468 KiB
Current children cumulated memory: 376088 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/248 354759
/proc/meminfo: memFree=128497252/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2736 CPUtime=1794.97 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 269 1848 0 0 0 0 143504 35993 20 0 1 0 65771771 10170368 684 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 684 595 264 0 134 0
[pid=354153] ppid=353204 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/354153/stat : 354153 (timeout) S 353204 354153 353128 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65951572 8867840 237 134679101440 94792716382208 94792716417224 140734682407312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94792718514640 94792718516772 94792744001536 140734682416120 140734682416289 140734682416289 140734682423271 0
/proc/354153/statm: 2165 237 212 9 0 87 0
[pid=354154] ppid=354153 vsize=414656 memory=380040 CPUtime=1659.62 cores=1,3
/proc/354154/stat : 354154 (Exact) R 354153 354153 353128 0 -1 4194304 57618 0 0 0 165934 28 0 0 20 0 1 0 65951572 424607744 95010 134679101440 4194304 7243121 140736658349520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 33845248 140736658351124 140736658351274 140736658351274 140736658358256 0
/proc/354154/statm: 103664 95010 804 745 0 102729 0
Current children cumulated CPU time: 3454.59 s
Current children cumulated vsize: 433248 KiB
Current children cumulated memory: 383724 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.07 5/248 355153
/proc/meminfo: memFree=128495400/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2736 CPUtime=1794.97 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 269 1848 0 0 0 0 143504 35993 20 0 1 0 65771771 10170368 684 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 684 595 264 0 134 0
[pid=354153] ppid=353204 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/354153/stat : 354153 (timeout) S 353204 354153 353128 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65951572 8867840 237 134679101440 94792716382208 94792716417224 140734682407312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94792718514640 94792718516772 94792744001536 140734682416120 140734682416289 140734682416289 140734682423271 0
/proc/354153/statm: 2165 237 212 9 0 87 0
[pid=354154] ppid=354153 vsize=415716 memory=380988 CPUtime=1719.47 cores=1,3
/proc/354154/stat : 354154 (Exact) R 354153 354153 353128 0 -1 4194304 58018 0 0 0 171919 28 0 0 20 0 1 0 65951572 425693184 95247 134679101440 4194304 7243121 140736658349520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 33845248 140736658351124 140736658351274 140736658351274 140736658358256 0
/proc/354154/statm: 103929 95247 804 745 0 102994 0
Current children cumulated CPU time: 3514.44 s
Current children cumulated vsize: 434308 KiB
Current children cumulated memory: 384672 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/248 355165
/proc/meminfo: memFree=128492292/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2736 CPUtime=1794.97 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 269 1848 0 0 0 0 143504 35993 20 0 1 0 65771771 10170368 684 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 684 595 264 0 134 0
[pid=354153] ppid=353204 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/354153/stat : 354153 (timeout) S 353204 354153 353128 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65951572 8867840 237 134679101440 94792716382208 94792716417224 140734682407312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94792718514640 94792718516772 94792744001536 140734682416120 140734682416289 140734682416289 140734682423271 0
/proc/354153/statm: 2165 237 212 9 0 87 0
[pid=354154] ppid=354153 vsize=419684 memory=383676 CPUtime=1779.33 cores=1,3
/proc/354154/stat : 354154 (Exact) R 354153 354153 353128 0 -1 4194304 58874 0 0 0 177905 28 0 0 20 0 1 0 65951572 429756416 95919 134679101440 4194304 7243121 140736658349520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 33845248 140736658351124 140736658351274 140736658351274 140736658358256 0
/proc/354154/statm: 104921 95919 804 745 0 103986 0
Current children cumulated CPU time: 3574.3 s
Current children cumulated vsize: 438276 KiB
Current children cumulated memory: 387360 KiB

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

# cumulated CPU time of all completed processes:  user=3227.79 s, system=360.251 s

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

[startup+3584 s]*
/proc/loadavg: 4.17 4.12 4.07 5/248 355165
/proc/meminfo: memFree=128491796/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2736 CPUtime=1794.97 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 269 1848 0 0 0 0 143504 35993 20 0 1 0 65771771 10170368 684 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 684 595 264 0 134 0
[pid=354153] ppid=353204 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/354153/stat : 354153 (timeout) S 353204 354153 353128 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65951572 8867840 237 134679101440 94792716382208 94792716417224 140734682407312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94792718514640 94792718516772 94792744001536 140734682416120 140734682416289 140734682416289 140734682423271 0
/proc/354153/statm: 2165 237 212 9 0 87 0
[pid=354154] ppid=354153 vsize=420524 memory=384160 CPUtime=1781.03 cores=1,3
/proc/354154/stat : 354154 (Exact) R 354153 354153 353128 0 -1 4194304 59051 0 0 0 178075 28 0 0 20 0 1 0 65951572 430616576 96040 134679101440 4194304 7243121 140736658349520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 33845248 140736658351124 140736658351274 140736658351274 140736658358256 0
/proc/354154/statm: 105131 96040 804 745 0 104196 0
Current children cumulated CPU time: 3576 s
Current children cumulated vsize: 439116 KiB
Current children cumulated memory: 387844 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.07 5/248 355166
/proc/meminfo: memFree=128491608/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2736 CPUtime=1794.97 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 269 1848 0 0 0 0 143504 35993 20 0 1 0 65771771 10170368 684 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 684 595 264 0 134 0
[pid=354153] ppid=353204 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/354153/stat : 354153 (timeout) S 353204 354153 353128 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65951572 8867840 237 134679101440 94792716382208 94792716417224 140734682407312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94792718514640 94792718516772 94792744001536 140734682416120 140734682416289 140734682416289 140734682423271 0
/proc/354153/statm: 2165 237 212 9 0 87 0
[pid=354154] ppid=354153 vsize=420524 memory=384160 CPUtime=1787.41 cores=1,3
/proc/354154/stat : 354154 (Exact) R 354153 354153 353128 0 -1 4194304 59051 0 0 0 178713 28 0 0 20 0 1 0 65951572 430616576 96040 134679101440 4194304 7243121 140736658349520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 33845248 140736658351124 140736658351274 140736658351274 140736658358256 0
/proc/354154/statm: 105131 96040 804 745 0 104196 0
Current children cumulated CPU time: 3582.38 s
Current children cumulated vsize: 439116 KiB
Current children cumulated memory: 387844 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.07 5/248 355166
/proc/meminfo: memFree=128491560/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2736 CPUtime=1794.97 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 269 1848 0 0 0 0 143504 35993 20 0 1 0 65771771 10170368 684 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 684 595 264 0 134 0
[pid=354153] ppid=353204 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/354153/stat : 354153 (timeout) S 353204 354153 353128 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65951572 8867840 237 134679101440 94792716382208 94792716417224 140734682407312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94792718514640 94792718516772 94792744001536 140734682416120 140734682416289 140734682416289 140734682423271 0
/proc/354153/statm: 2165 237 212 9 0 87 0
[pid=354154] ppid=354153 vsize=420524 memory=384360 CPUtime=1790.6 cores=1,3
/proc/354154/stat : 354154 (Exact) R 354153 354153 353128 0 -1 4194304 59172 0 0 0 179032 28 0 0 20 0 1 0 65951572 430616576 96090 134679101440 4194304 7243121 140736658349520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 33845248 140736658351124 140736658351274 140736658351274 140736658358256 0
/proc/354154/statm: 105131 96090 804 745 0 104196 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 439116 KiB
Current children cumulated memory: 388044 KiB

[startup+3595.2 s]
/proc/loadavg: 4.21 4.13 4.08 5/248 355166
/proc/meminfo: memFree=128491568/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2736 CPUtime=1794.97 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 269 1848 0 0 0 0 143504 35993 20 0 1 0 65771771 10170368 684 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 684 595 264 0 134 0
[pid=354153] ppid=353204 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/354153/stat : 354153 (timeout) S 353204 354153 353128 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65951572 8867840 237 134679101440 94792716382208 94792716417224 140734682407312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94792718514640 94792718516772 94792744001536 140734682416120 140734682416289 140734682416289 140734682423271 0
/proc/354153/statm: 2165 237 212 9 0 87 0
[pid=354154] ppid=354153 vsize=420524 memory=384360 CPUtime=1792.2 cores=1,3
/proc/354154/stat : 354154 (Exact) R 354153 354153 353128 0 -1 4194304 59173 0 0 0 179192 28 0 0 20 0 1 0 65951572 430616576 96090 134679101440 4194304 7243121 140736658349520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 33845248 140736658351124 140736658351274 140736658351274 140736658358256 0
/proc/354154/statm: 105131 96090 804 745 0 104196 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 439116 KiB
Current children cumulated memory: 388044 KiB

[startup+3595.6 s]
/proc/loadavg: 4.21 4.13 4.08 5/248 355166
/proc/meminfo: memFree=128491568/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2736 CPUtime=1794.97 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 269 1848 0 0 0 0 143504 35993 20 0 1 0 65771771 10170368 684 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 684 595 264 0 134 0
[pid=354153] ppid=353204 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/354153/stat : 354153 (timeout) S 353204 354153 353128 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65951572 8867840 237 134679101440 94792716382208 94792716417224 140734682407312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94792718514640 94792718516772 94792744001536 140734682416120 140734682416289 140734682416289 140734682423271 0
/proc/354153/statm: 2165 237 212 9 0 87 0
[pid=354154] ppid=354153 vsize=420524 memory=384360 CPUtime=1792.59 cores=1,3
/proc/354154/stat : 354154 (Exact) R 354153 354153 353128 0 -1 4194304 59173 0 0 0 179231 28 0 0 20 0 1 0 65951572 430616576 96090 134679101440 4194304 7243121 140736658349520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 33845248 140736658351124 140736658351274 140736658351274 140736658358256 0
/proc/354154/statm: 105131 96090 804 745 0 104196 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 439116 KiB
Current children cumulated memory: 388044 KiB

[startup+3596 s]*
/proc/loadavg: 4.21 4.13 4.08 5/248 355166
/proc/meminfo: memFree=128491568/131655788 swapFree=131071216/131071996
[pid=353204] ppid=353200 vsize=9932 memory=2736 CPUtime=1794.97 cores=1,3
/proc/353204/stat : 353204 (Hybrid-LSMabP+E) S 353200 353204 353128 0 -1 4194304 269 1848 0 0 0 0 143504 35993 20 0 1 0 65771771 10170368 684 134679101440 94139891937280 94139893016600 140732097357696 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94139895115056 94139895162244 94139913388032 140732097360878 140732097361023 140732097361023 140732097368034 0
/proc/353204/statm: 2483 684 595 264 0 134 0
[pid=354153] ppid=353204 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/354153/stat : 354153 (timeout) S 353204 354153 353128 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65951572 8867840 237 134679101440 94792716382208 94792716417224 140734682407312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94792718514640 94792718516772 94792744001536 140734682416120 140734682416289 140734682416289 140734682423271 0
/proc/354153/statm: 2165 237 212 9 0 87 0
[pid=354154] ppid=354153 vsize=420524 memory=384360 CPUtime=1793.01 cores=1,3
/proc/354154/stat : 354154 (Exact) R 354153 354153 353128 0 -1 4194304 59173 0 0 0 179273 28 0 0 20 0 1 0 65951572 430616576 96090 134679101440 4194304 7243121 140736658349520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 33845248 140736658351124 140736658351274 140736658351274 140736658358256 0
/proc/354154/statm: 105131 96090 804 745 0 104196 0
Current children cumulated CPU time: 3587.98 s
Current children cumulated vsize: 439116 KiB
Current children cumulated memory: 388044 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3588.04
CPU user time (s): 3227.79
CPU system time (s): 360.251
CPU usage (%): 99.7776
Max. virtual memory (cumulated for all children) (KiB): 439116
Max. memory (cumulated for all children) (KiB): 388044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3227.79
system time used= 360.251
maximum resident set size= 384360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130
involuntary context switches= 1948


# summary of solver processes directly reported to runsolver:
#   pid: 353204
#   total CPU time (s): 3588.04
#   total CPU user time (s): 3227.79
#   total CPU system time (s): 360.251

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1219 second user time and 35.5215 second system time

The end