runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (63291 MiB free)
  memory of node 1: 64473 MiB (62847 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=331166, runsolver pid=331154

[startup+0.100148 s]*
/proc/loadavg: 0.38 0.14 0.11 8/265 331183
/proc/meminfo: memFree=129126360/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 704 628 264 0 134 0
[pid=331179] ppid=331166 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/331179/stat : 331179 (timeout) S 331166 331179 331095 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 250 134679101440 93891529486336 93891529521352 140726442667952 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93891531618768 93891531620900 93891558137856 140726442677293 140726442677409 140726442677409 140726442684391 0
/proc/331179/statm: 2165 250 225 9 0 87 0
[pid=331183] ppid=331179 vsize=25236 memory=12200 CPUtime=0.07 cores=4,6
/proc/331183/stat : 331183 (LS-MabSP) R 331179 331179 331095 0 -1 4194304 2086 0 0 0 7 0 0 0 20 0 1 0 61422328 25841664 3050 134679101440 4194304 15467897 140725940579664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27865088 140725940585536 140725940585639 140725940585639 140725940592621 0
/proc/331183/statm: 6309 3050 1073 2753 0 2962 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43828 KiB
Current children cumulated memory: 16016 KiB

[startup+0.206484 s]*
/proc/loadavg: 0.38 0.14 0.11 6/265 331183
/proc/meminfo: memFree=129110824/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 704 628 264 0 134 0
[pid=331179] ppid=331166 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/331179/stat : 331179 (timeout) S 331166 331179 331095 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 250 134679101440 93891529486336 93891529521352 140726442667952 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93891531618768 93891531620900 93891558137856 140726442677293 140726442677409 140726442677409 140726442684391 0
/proc/331179/statm: 2165 250 225 9 0 87 0
[pid=331183] ppid=331179 vsize=27284 memory=14688 CPUtime=0.17 cores=4,6
/proc/331183/stat : 331183 (LS-MabSP) R 331179 331179 331095 0 -1 4194304 2667 0 0 0 17 0 0 0 20 0 1 0 61422328 27938816 3672 134679101440 4194304 15467897 140725940579664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27865088 140725940585536 140725940585639 140725940585639 140725940592621 0
/proc/331183/statm: 6821 3672 1073 2753 0 3474 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 45876 KiB
Current children cumulated memory: 18504 KiB

[startup+0.306591 s]*
/proc/loadavg: 0.38 0.14 0.11 8/265 331183
/proc/meminfo: memFree=129080744/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 704 628 264 0 134 0
[pid=331179] ppid=331166 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/331179/stat : 331179 (timeout) S 331166 331179 331095 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 250 134679101440 93891529486336 93891529521352 140726442667952 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93891531618768 93891531620900 93891558137856 140726442677293 140726442677409 140726442677409 140726442684391 0
/proc/331179/statm: 2165 250 225 9 0 87 0
[pid=331183] ppid=331179 vsize=55852 memory=40952 CPUtime=0.27 cores=4,6
/proc/331183/stat : 331183 (LS-MabSP) R 331179 331179 331095 0 -1 4194304 6728 0 0 0 26 1 0 0 20 0 1 0 61422328 57192448 10238 134679101440 4194304 15467897 140725940579664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27865088 140725940585536 140725940585639 140725940585639 140725940592621 0
/proc/331183/statm: 13963 10238 1073 2753 0 10616 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 74444 KiB
Current children cumulated memory: 44768 KiB

[startup+0.700292 s]
/proc/loadavg: 0.38 0.14 0.11 9/265 331183
/proc/meminfo: memFree=128940204/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 704 628 264 0 134 0
[pid=331179] ppid=331166 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/331179/stat : 331179 (timeout) S 331166 331179 331095 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 250 134679101440 93891529486336 93891529521352 140726442667952 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93891531618768 93891531620900 93891558137856 140726442677293 140726442677409 140726442677409 140726442684391 0
/proc/331179/statm: 2165 250 225 9 0 87 0
[pid=331183] ppid=331179 vsize=62016 memory=48092 CPUtime=0.66 cores=4,6
/proc/331183/stat : 331183 (LS-MabSP) R 331179 331179 331095 0 -1 4194304 10025 0 0 0 64 2 0 0 20 0 1 0 61422328 63504384 12023 134679101440 4194304 15467897 140725940579664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27865088 140725940585536 140725940585639 140725940585639 140725940592621 0
/proc/331183/statm: 15504 12023 1105 2753 0 12157 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 51908 KiB

[startup+1.50028 s]
/proc/loadavg: 0.38 0.14 0.11 8/265 331183
/proc/meminfo: memFree=128867520/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 704 628 264 0 134 0
[pid=331179] ppid=331166 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/331179/stat : 331179 (timeout) S 331166 331179 331095 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 250 134679101440 93891529486336 93891529521352 140726442667952 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93891531618768 93891531620900 93891558137856 140726442677293 140726442677409 140726442677409 140726442684391 0
/proc/331179/statm: 2165 250 225 9 0 87 0
[pid=331183] ppid=331179 vsize=62016 memory=48092 CPUtime=1.46 cores=4,6
/proc/331183/stat : 331183 (LS-MabSP) R 331179 331179 331095 0 -1 4194304 10025 0 0 0 144 2 0 0 20 0 1 0 61422328 63504384 12023 134679101440 4194304 15467897 140725940579664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27865088 140725940585536 140725940585639 140725940585639 140725940592621 0
/proc/331183/statm: 15504 12023 1105 2753 0 12157 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 51908 KiB

[startup+3.10672 s]
/proc/loadavg: 0.38 0.14 0.11 9/265 331183
/proc/meminfo: memFree=128622560/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 704 628 264 0 134 0
[pid=331179] ppid=331166 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/331179/stat : 331179 (timeout) S 331166 331179 331095 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 250 134679101440 93891529486336 93891529521352 140726442667952 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93891531618768 93891531620900 93891558137856 140726442677293 140726442677409 140726442677409 140726442684391 0
/proc/331179/statm: 2165 250 225 9 0 87 0
[pid=331183] ppid=331179 vsize=382668 memory=341436 CPUtime=3.06 cores=4,6
/proc/331183/stat : 331183 (LS-MabSP) R 331179 331179 331095 0 -1 4194304 57086 0 0 0 296 10 0 0 20 0 1 0 61422328 391852032 85359 134679101440 4194304 15467897 140725940579664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27865088 140725940585536 140725940585639 140725940585639 140725940592621 0
/proc/331183/statm: 95667 85359 2737 2753 0 92320 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 401260 KiB
Current children cumulated memory: 345252 KiB

[startup+6.30026 s]
/proc/loadavg: 0.75 0.23 0.13 9/265 331187
/proc/meminfo: memFree=127924112/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 704 628 264 0 134 0
[pid=331179] ppid=331166 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/331179/stat : 331179 (timeout) S 331166 331179 331095 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 250 134679101440 93891529486336 93891529521352 140726442667952 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93891531618768 93891531620900 93891558137856 140726442677293 140726442677409 140726442677409 140726442684391 0
/proc/331179/statm: 2165 250 225 9 0 87 0
[pid=331183] ppid=331179 vsize=545672 memory=490260 CPUtime=6.25 cores=4,6
/proc/331183/stat : 331183 (LS-MabSP) R 331179 331179 331095 0 -1 4194304 81135 0 0 0 610 15 0 0 20 0 1 0 61422328 558768128 122565 134679101440 4194304 15467897 140725940579664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27865088 140725940585536 140725940585639 140725940585639 140725940592621 0
/proc/331183/statm: 136418 122565 2833 2753 0 133071 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 564264 KiB
Current children cumulated memory: 494076 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.29 0.16 9/265 331187
/proc/meminfo: memFree=127834576/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 704 628 264 0 134 0
[pid=331179] ppid=331166 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/331179/stat : 331179 (timeout) S 331166 331179 331095 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 250 134679101440 93891529486336 93891529521352 140726442667952 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93891531618768 93891531620900 93891558137856 140726442677293 140726442677409 140726442677409 140726442684391 0
/proc/331179/statm: 2165 250 225 9 0 87 0
[pid=331183] ppid=331179 vsize=563620 memory=493140 CPUtime=12.63 cores=4,6
/proc/331183/stat : 331183 (LS-MabSP) R 331179 331179 331095 0 -1 4194304 81834 0 0 0 1248 15 0 0 20 0 1 0 61422328 577146880 123285 134679101440 4194304 15467897 140725940579664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27865088 140725940585536 140725940585639 140725940585639 140725940592621 0
/proc/331183/statm: 140905 123285 2833 2753 0 137558 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 582212 KiB
Current children cumulated memory: 496956 KiB

[startup+25.5002 s]
/proc/loadavg: 1.75 0.49 0.22 8/265 331190
/proc/meminfo: memFree=127822236/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 704 628 264 0 134 0
[pid=331179] ppid=331166 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/331179/stat : 331179 (timeout) S 331166 331179 331095 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 250 134679101440 93891529486336 93891529521352 140726442667952 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93891531618768 93891531620900 93891558137856 140726442677293 140726442677409 140726442677409 140726442684391 0
/proc/331179/statm: 2165 250 225 9 0 87 0
[pid=331183] ppid=331179 vsize=592108 memory=500112 CPUtime=25.4 cores=4,6
/proc/331183/stat : 331183 (LS-MabSP) R 331179 331179 331095 0 -1 4194304 82568 0 0 0 2525 15 0 0 20 0 1 0 61422328 606318592 125028 134679101440 4194304 15467897 140725940579664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27865088 140725940585536 140725940585639 140725940585639 140725940592621 0
/proc/331183/statm: 148027 125028 2833 2753 0 144680 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 610700 KiB
Current children cumulated memory: 503928 KiB

[startup+51.1067 s]
/proc/loadavg: 2.52 0.77 0.33 9/265 331193
/proc/meminfo: memFree=127711796/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 704 628 264 0 134 0
[pid=331179] ppid=331166 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/331179/stat : 331179 (timeout) S 331166 331179 331095 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 250 134679101440 93891529486336 93891529521352 140726442667952 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93891531618768 93891531620900 93891558137856 140726442677293 140726442677409 140726442677409 140726442684391 0
/proc/331179/statm: 2165 250 225 9 0 87 0
[pid=331183] ppid=331179 vsize=803168 memory=609512 CPUtime=50.95 cores=4,6
/proc/331183/stat : 331183 (LS-MabSP) R 331179 331179 331095 0 -1 4194304 109418 0 0 0 5076 19 0 0 20 0 1 0 61422328 822444032 152378 134679101440 4194304 15467897 140725940579664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27865088 140725940585536 140725940585639 140725940585639 140725940592621 0
/proc/331183/statm: 200792 152378 2833 2753 0 197445 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 821760 KiB
Current children cumulated memory: 613328 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.29 0.53 8/265 331201
/proc/meminfo: memFree=127560092/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 61422326 10170368 704 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0

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

/proc/332079/statm: 39326 31969 748 737 0 38414 0
Current children cumulated CPU time: 3394.16 s
Current children cumulated vsize: 175896 KiB
Current children cumulated memory: 131788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.03 8/261 332989
/proc/meminfo: memFree=127889184/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2872 CPUtime=1793.76 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 272 234015 0 0 0 0 177825 1551 20 0 1 0 61422326 10170368 718 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 718 628 264 0 134 0
[pid=332078] ppid=331166 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/332078/stat : 332078 (timeout) S 331166 332078 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61602130 8867840 260 134679101440 94814751858688 94814751893704 140725693482048 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94814753991120 94814753993252 94814787514368 140725693490168 140725693490337 140725693490337 140725693497319 0
/proc/332078/statm: 2165 260 236 9 0 87 0
[pid=332079] ppid=332078 vsize=158216 memory=128732 CPUtime=1660.28 cores=4,6
/proc/332079/stat : 332079 (Exact) R 332078 332078 331095 0 -1 4194304 18717 0 0 0 166021 7 0 0 20 0 1 0 61602130 162013184 32183 134679101440 4194304 7210733 140724925478624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 43372544 140724925482004 140724925482154 140724925482154 140724925489136 0
/proc/332079/statm: 39554 32183 748 737 0 38642 0
Current children cumulated CPU time: 3454.04 s
Current children cumulated vsize: 176808 KiB
Current children cumulated memory: 132644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.03 8/262 333001
/proc/meminfo: memFree=127873348/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2872 CPUtime=1793.76 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 272 234015 0 0 0 0 177825 1551 20 0 1 0 61422326 10170368 718 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 718 628 264 0 134 0
[pid=332078] ppid=331166 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/332078/stat : 332078 (timeout) S 331166 332078 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61602130 8867840 260 134679101440 94814751858688 94814751893704 140725693482048 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94814753991120 94814753993252 94814787514368 140725693490168 140725693490337 140725693490337 140725693497319 0
/proc/332078/statm: 2165 260 236 9 0 87 0
[pid=332079] ppid=332078 vsize=158640 memory=128780 CPUtime=1720.15 cores=4,6
/proc/332079/stat : 332079 (Exact) R 332078 332078 331095 0 -1 4194304 18821 0 0 0 172008 7 0 0 20 0 1 0 61602130 162447360 32195 134679101440 4194304 7210733 140724925478624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 43372544 140724925482004 140724925482154 140724925482154 140724925489136 0
/proc/332079/statm: 39660 32195 748 737 0 38748 0
Current children cumulated CPU time: 3513.91 s
Current children cumulated vsize: 177232 KiB
Current children cumulated memory: 132692 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.03 8/262 333011
/proc/meminfo: memFree=127858252/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2872 CPUtime=1793.76 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 272 234015 0 0 0 0 177825 1551 20 0 1 0 61422326 10170368 718 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 718 628 264 0 134 0
[pid=332078] ppid=331166 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/332078/stat : 332078 (timeout) S 331166 332078 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61602130 8867840 260 134679101440 94814751858688 94814751893704 140725693482048 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94814753991120 94814753993252 94814787514368 140725693490168 140725693490337 140725693490337 140725693497319 0
/proc/332078/statm: 2165 260 236 9 0 87 0
[pid=332079] ppid=332078 vsize=158640 memory=133096 CPUtime=1780.03 cores=4,6
/proc/332079/stat : 332079 (Exact) R 332078 332078 331095 0 -1 4194304 18931 0 0 0 177996 7 0 0 20 0 1 0 61602130 162447360 33274 134679101440 4194304 7210733 140724925478624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 43372544 140724925482004 140724925482154 140724925482154 140724925489136 0
/proc/332079/statm: 39660 33274 748 737 0 38748 0
Current children cumulated CPU time: 3573.79 s
Current children cumulated vsize: 177232 KiB
Current children cumulated memory: 137008 KiB

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

# cumulated CPU time of all completed processes:  user=3571.95 s, system=15.6059 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.03 8/262 333013
/proc/meminfo: memFree=127855816/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2872 CPUtime=1793.76 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 272 234015 0 0 0 0 177825 1551 20 0 1 0 61422326 10170368 718 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 718 628 264 0 134 0
[pid=332078] ppid=331166 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/332078/stat : 332078 (timeout) S 331166 332078 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61602130 8867840 260 134679101440 94814751858688 94814751893704 140725693482048 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94814753991120 94814753993252 94814787514368 140725693490168 140725693490337 140725693490337 140725693497319 0
/proc/332078/statm: 2165 260 236 9 0 87 0
[pid=332079] ppid=332078 vsize=160816 memory=135192 CPUtime=1781.73 cores=4,6
/proc/332079/stat : 332079 (Exact) R 332078 332078 331095 0 -1 4194304 19467 0 0 0 178166 7 0 0 20 0 1 0 61602130 164675584 33798 134679101440 4194304 7210733 140724925478624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 43372544 140724925482004 140724925482154 140724925482154 140724925489136 0
/proc/332079/statm: 40204 33798 748 737 0 39292 0
Current children cumulated CPU time: 3575.49 s
Current children cumulated vsize: 179408 KiB
Current children cumulated memory: 139104 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.03 8/262 333013
/proc/meminfo: memFree=127855484/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2872 CPUtime=1793.76 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 272 234015 0 0 0 0 177825 1551 20 0 1 0 61422326 10170368 718 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 718 628 264 0 134 0
[pid=332078] ppid=331166 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/332078/stat : 332078 (timeout) S 331166 332078 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61602130 8867840 260 134679101440 94814751858688 94814751893704 140725693482048 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94814753991120 94814753993252 94814787514368 140725693490168 140725693490337 140725693490337 140725693497319 0
/proc/332078/statm: 2165 260 236 9 0 87 0
[pid=332079] ppid=332078 vsize=160816 memory=135192 CPUtime=1788.11 cores=4,6
/proc/332079/stat : 332079 (Exact) R 332078 332078 331095 0 -1 4194304 19467 0 0 0 178804 7 0 0 20 0 1 0 61602130 164675584 33798 134679101440 4194304 7210733 140724925478624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 43372544 140724925482004 140724925482154 140724925482154 140724925489136 0
/proc/332079/statm: 40204 33798 748 737 0 39292 0
Current children cumulated CPU time: 3581.87 s
Current children cumulated vsize: 179408 KiB
Current children cumulated memory: 139104 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.09 4.03 8/262 333013
/proc/meminfo: memFree=127855368/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2872 CPUtime=1793.76 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 272 234015 0 0 0 0 177825 1551 20 0 1 0 61422326 10170368 718 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 718 628 264 0 134 0
[pid=332078] ppid=331166 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/332078/stat : 332078 (timeout) S 331166 332078 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61602130 8867840 260 134679101440 94814751858688 94814751893704 140725693482048 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94814753991120 94814753993252 94814787514368 140725693490168 140725693490337 140725693490337 140725693497319 0
/proc/332078/statm: 2165 260 236 9 0 87 0
[pid=332079] ppid=332078 vsize=160816 memory=135192 CPUtime=1791.3 cores=4,6
/proc/332079/stat : 332079 (Exact) R 332078 332078 331095 0 -1 4194304 19467 0 0 0 179123 7 0 0 20 0 1 0 61602130 164675584 33798 134679101440 4194304 7210733 140724925478624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 43372544 140724925482004 140724925482154 140724925482154 140724925489136 0
/proc/332079/statm: 40204 33798 748 737 0 39292 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 179408 KiB
Current children cumulated memory: 139104 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.09 4.03 8/262 333014
/proc/meminfo: memFree=127855304/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2872 CPUtime=1793.76 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 272 234015 0 0 0 0 177825 1551 20 0 1 0 61422326 10170368 718 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 718 628 264 0 134 0
[pid=332078] ppid=331166 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/332078/stat : 332078 (timeout) S 331166 332078 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61602130 8867840 260 134679101440 94814751858688 94814751893704 140725693482048 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94814753991120 94814753993252 94814787514368 140725693490168 140725693490337 140725693490337 140725693497319 0
/proc/332078/statm: 2165 260 236 9 0 87 0
[pid=332079] ppid=332078 vsize=160816 memory=135192 CPUtime=1792.89 cores=4,6
/proc/332079/stat : 332079 (Exact) R 332078 332078 331095 0 -1 4194304 19467 0 0 0 179282 7 0 0 20 0 1 0 61602130 164675584 33798 134679101440 4194304 7210733 140724925478624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 43372544 140724925482004 140724925482154 140724925482154 140724925489136 0
/proc/332079/statm: 40204 33798 748 737 0 39292 0
Current children cumulated CPU time: 3586.65 s
Current children cumulated vsize: 179408 KiB
Current children cumulated memory: 139104 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.09 4.03 8/262 333014
/proc/meminfo: memFree=127855304/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2872 CPUtime=1793.76 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 272 234015 0 0 0 0 177825 1551 20 0 1 0 61422326 10170368 718 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 718 628 264 0 134 0
[pid=332078] ppid=331166 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/332078/stat : 332078 (timeout) S 331166 332078 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61602130 8867840 260 134679101440 94814751858688 94814751893704 140725693482048 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94814753991120 94814753993252 94814787514368 140725693490168 140725693490337 140725693490337 140725693497319 0
/proc/332078/statm: 2165 260 236 9 0 87 0
[pid=332079] ppid=332078 vsize=160816 memory=135192 CPUtime=1793.29 cores=4,6
/proc/332079/stat : 332079 (Exact) R 332078 332078 331095 0 -1 4194304 19467 0 0 0 179322 7 0 0 20 0 1 0 61602130 164675584 33798 134679101440 4194304 7210733 140724925478624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 43372544 140724925482004 140724925482154 140724925482154 140724925489136 0
/proc/332079/statm: 40204 33798 748 737 0 39292 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 179408 KiB
Current children cumulated memory: 139104 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.09 4.03 8/262 333014
/proc/meminfo: memFree=127855256/131524600 swapFree=131071996/131071996
[pid=331166] ppid=331154 vsize=9932 memory=2872 CPUtime=1793.76 cores=4,6
/proc/331166/stat : 331166 (Hybrid-LSMabSP+) S 331154 331166 331095 0 -1 4194304 272 234015 0 0 0 0 177825 1551 20 0 1 0 61422326 10170368 718 134679101440 93895255351296 93895256430616 140729031200160 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93895258529072 93895258576260 93895262195712 140729031205868 140729031206014 140729031206014 140729031213025 0
/proc/331166/statm: 2483 718 628 264 0 134 0
[pid=332078] ppid=331166 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/332078/stat : 332078 (timeout) S 331166 332078 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61602130 8867840 260 134679101440 94814751858688 94814751893704 140725693482048 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94814753991120 94814753993252 94814787514368 140725693490168 140725693490337 140725693490337 140725693497319 0
/proc/332078/statm: 2165 260 236 9 0 87 0
[pid=332079] ppid=332078 vsize=160816 memory=135192 CPUtime=1793.7 cores=4,6
/proc/332079/stat : 332079 (Exact) R 332078 332078 331095 0 -1 4194304 19467 0 0 0 179363 7 0 0 20 0 1 0 61602130 164675584 33798 134679101440 4194304 7210733 140724925478624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 43372544 140724925482004 140724925482154 140724925482154 140724925489136 0
/proc/332079/statm: 40204 33798 748 737 0 39292 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 179408 KiB
Current children cumulated memory: 139104 KiB

Child status: 0

Real time (s): 3596.07
CPU time (s): 3587.56
CPU user time (s): 3571.95
CPU system time (s): 15.6059
CPU usage (%): 99.7633
Max. virtual memory (cumulated for all children) (KiB): 1401348
Max. memory (cumulated for all children) (KiB): 1031896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.95
system time used= 15.6059
maximum resident set size= 1028080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256753
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= 116
involuntary context switches= 1603


# summary of solver processes directly reported to runsolver:
#   pid: 331166
#   total CPU time (s): 3587.56
#   total CPU user time (s): 3571.95
#   total CPU system time (s): 15.6059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74544 second user time and 21.6639 second system time

The end