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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437474-1722955401/watcher-4437474-1722955401 -o /tmp/evaluation-result-4437474-1722955401/solver-4437474-1722955401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722948202-337871 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437474-1722955401.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
solver pid=342270, runsolver pid=342267
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.13 4.12 4.09 4/261 342284
/proc/meminfo: memFree=129490580/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 687 609 264 0 134 0
[pid=342273] ppid=342270 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/342273/stat : 342273 (timeout) S 342270 342273 337861 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62142415 8867840 257 134679101440 94743988928512 94743988963528 140732266813536 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94743991060944 94743991063076 94744022048768 140732266820643 140732266820765 140732266820765 140732266827751 0
/proc/342273/statm: 2165 257 233 9 0 87 0
[pid=342274] ppid=342273 vsize=21516 memory=9288 CPUtime=0.09 cores=0,2
/proc/342274/stat : 342274 (LS-MabP) R 342273 342273 337861 0 -1 4194304 960 0 0 0 9 0 0 0 20 0 1 0 62142415 22032384 2322 134679101440 4194304 15467897 140723491585248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 54628352 140723491591223 140723491591332 140723491591332 140723491598318 0
/proc/342274/statm: 5379 2322 1105 2753 0 2032 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 13064 KiB

[startup+0.204553 s]*
/proc/loadavg: 4.12 4.12 4.09 4/258 342301
/proc/meminfo: memFree=129510784/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 687 609 264 0 134 0
[pid=342273] ppid=342270 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/342273/stat : 342273 (timeout) S 342270 342273 337861 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62142415 8867840 257 134679101440 94743988928512 94743988963528 140732266813536 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94743991060944 94743991063076 94744022048768 140732266820643 140732266820765 140732266820765 140732266827751 0
/proc/342273/statm: 2165 257 233 9 0 87 0
[pid=342274] ppid=342273 vsize=22540 memory=10536 CPUtime=0.19 cores=0,2
/proc/342274/stat : 342274 (LS-MabP) R 342273 342273 337861 0 -1 4194304 2276 0 0 0 19 0 0 0 20 0 1 0 62142415 23080960 2634 134679101440 4194304 15467897 140723491585248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 54628352 140723491591223 140723491591332 140723491591332 140723491598318 0
/proc/342274/statm: 5635 2634 1169 2753 0 2288 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41132 KiB
Current children cumulated memory: 14312 KiB

[startup+0.30474 s]*
/proc/loadavg: 4.12 4.12 4.09 5/266 342319
/proc/meminfo: memFree=129485892/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 687 609 264 0 134 0
[pid=342273] ppid=342270 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/342273/stat : 342273 (timeout) S 342270 342273 337861 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62142415 8867840 257 134679101440 94743988928512 94743988963528 140732266813536 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94743991060944 94743991063076 94744022048768 140732266820643 140732266820765 140732266820765 140732266827751 0
/proc/342273/statm: 2165 257 233 9 0 87 0
[pid=342274] ppid=342273 vsize=22540 memory=10536 CPUtime=0.3 cores=0,2
/proc/342274/stat : 342274 (LS-MabP) R 342273 342273 337861 0 -1 4194304 2892 0 0 0 29 1 0 0 20 0 1 0 62142415 23080960 2634 134679101440 4194304 15467897 140723491585248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 54628352 140723491591223 140723491591332 140723491591332 140723491598318 0
/proc/342274/statm: 5635 2634 1169 2753 0 2288 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41132 KiB
Current children cumulated memory: 14312 KiB

[startup+0.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 342319
/proc/meminfo: memFree=129481872/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 687 609 264 0 134 0
[pid=342273] ppid=342270 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/342273/stat : 342273 (timeout) S 342270 342273 337861 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62142415 8867840 257 134679101440 94743988928512 94743988963528 140732266813536 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94743991060944 94743991063076 94744022048768 140732266820643 140732266820765 140732266820765 140732266827751 0
/proc/342273/statm: 2165 257 233 9 0 87 0
[pid=342274] ppid=342273 vsize=22540 memory=10536 CPUtime=0.69 cores=0,2
/proc/342274/stat : 342274 (LS-MabP) R 342273 342273 337861 0 -1 4194304 2892 0 0 0 65 4 0 0 20 0 1 0 62142415 23080960 2634 134679101440 4194304 15467897 140723491585248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 54628352 140723491591223 140723491591332 140723491591332 140723491598318 0
/proc/342274/statm: 5635 2634 1169 2753 0 2288 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41132 KiB
Current children cumulated memory: 14312 KiB

[startup+1.50019 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 342319
/proc/meminfo: memFree=129481816/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 687 609 264 0 134 0
[pid=342273] ppid=342270 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/342273/stat : 342273 (timeout) S 342270 342273 337861 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62142415 8867840 257 134679101440 94743988928512 94743988963528 140732266813536 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94743991060944 94743991063076 94744022048768 140732266820643 140732266820765 140732266820765 140732266827751 0
/proc/342273/statm: 2165 257 233 9 0 87 0
[pid=342274] ppid=342273 vsize=22540 memory=10536 CPUtime=1.49 cores=0,2
/proc/342274/stat : 342274 (LS-MabP) R 342273 342273 337861 0 -1 4194304 2892 0 0 0 141 8 0 0 20 0 1 0 62142415 23080960 2634 134679101440 4194304 15467897 140723491585248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 54628352 140723491591223 140723491591332 140723491591332 140723491598318 0
/proc/342274/statm: 5635 2634 1169 2753 0 2288 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41132 KiB
Current children cumulated memory: 14312 KiB

[startup+3.10462 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 342321
/proc/meminfo: memFree=129481592/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 687 609 264 0 134 0
[pid=342273] ppid=342270 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/342273/stat : 342273 (timeout) S 342270 342273 337861 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62142415 8867840 257 134679101440 94743988928512 94743988963528 140732266813536 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94743991060944 94743991063076 94744022048768 140732266820643 140732266820765 140732266820765 140732266827751 0
/proc/342273/statm: 2165 257 233 9 0 87 0
[pid=342274] ppid=342273 vsize=22540 memory=10536 CPUtime=3.08 cores=0,2
/proc/342274/stat : 342274 (LS-MabP) R 342273 342273 337861 0 -1 4194304 2892 0 0 0 291 17 0 0 20 0 1 0 62142415 23080960 2634 134679101440 4194304 15467897 140723491585248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 54628352 140723491591223 140723491591332 140723491591332 140723491598318 0
/proc/342274/statm: 5635 2634 1169 2753 0 2288 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41132 KiB
Current children cumulated memory: 14312 KiB

[startup+6.30018 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 342321
/proc/meminfo: memFree=129481584/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 687 609 264 0 134 0
[pid=342273] ppid=342270 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/342273/stat : 342273 (timeout) S 342270 342273 337861 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62142415 8867840 257 134679101440 94743988928512 94743988963528 140732266813536 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94743991060944 94743991063076 94744022048768 140732266820643 140732266820765 140732266820765 140732266827751 0
/proc/342273/statm: 2165 257 233 9 0 87 0
[pid=342274] ppid=342273 vsize=22540 memory=10536 CPUtime=6.27 cores=0,2
/proc/342274/stat : 342274 (LS-MabP) R 342273 342273 337861 0 -1 4194304 2892 0 0 0 593 34 0 0 20 0 1 0 62142415 23080960 2634 134679101440 4194304 15467897 140723491585248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 54628352 140723491591223 140723491591332 140723491591332 140723491598318 0
/proc/342274/statm: 5635 2634 1169 2753 0 2288 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41132 KiB
Current children cumulated memory: 14312 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 342321
/proc/meminfo: memFree=129481432/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 687 609 264 0 134 0
[pid=342273] ppid=342270 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/342273/stat : 342273 (timeout) S 342270 342273 337861 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62142415 8867840 257 134679101440 94743988928512 94743988963528 140732266813536 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94743991060944 94743991063076 94744022048768 140732266820643 140732266820765 140732266820765 140732266827751 0
/proc/342273/statm: 2165 257 233 9 0 87 0
[pid=342274] ppid=342273 vsize=22540 memory=10536 CPUtime=12.66 cores=0,2
/proc/342274/stat : 342274 (LS-MabP) R 342273 342273 337861 0 -1 4194304 2892 0 0 0 1200 66 0 0 20 0 1 0 62142415 23080960 2634 134679101440 4194304 15467897 140723491585248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 54628352 140723491591223 140723491591332 140723491591332 140723491598318 0
/proc/342274/statm: 5635 2634 1169 2753 0 2288 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41132 KiB
Current children cumulated memory: 14312 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 342324
/proc/meminfo: memFree=129481096/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 687 609 264 0 134 0
[pid=342273] ppid=342270 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/342273/stat : 342273 (timeout) S 342270 342273 337861 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62142415 8867840 257 134679101440 94743988928512 94743988963528 140732266813536 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94743991060944 94743991063076 94744022048768 140732266820643 140732266820765 140732266820765 140732266827751 0
/proc/342273/statm: 2165 257 233 9 0 87 0
[pid=342274] ppid=342273 vsize=22540 memory=10536 CPUtime=25.42 cores=0,2
/proc/342274/stat : 342274 (LS-MabP) R 342273 342273 337861 0 -1 4194304 2892 0 0 0 2403 139 0 0 20 0 1 0 62142415 23080960 2634 134679101440 4194304 15467897 140723491585248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 54628352 140723491591223 140723491591332 140723491591332 140723491598318 0
/proc/342274/statm: 5635 2634 1169 2753 0 2288 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41132 KiB
Current children cumulated memory: 14312 KiB

[startup+51.1048 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 342388
/proc/meminfo: memFree=128793320/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 687 609 264 0 134 0
[pid=342273] ppid=342270 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/342273/stat : 342273 (timeout) S 342270 342273 337861 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62142415 8867840 257 134679101440 94743988928512 94743988963528 140732266813536 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94743991060944 94743991063076 94744022048768 140732266820643 140732266820765 140732266820765 140732266827751 0
/proc/342273/statm: 2165 257 233 9 0 87 0
[pid=342274] ppid=342273 vsize=22540 memory=10536 CPUtime=50.96 cores=0,2
/proc/342274/stat : 342274 (LS-MabP) R 342273 342273 337861 0 -1 4194304 2892 0 0 0 4807 289 0 0 20 0 1 0 62142415 23080960 2634 134679101440 4194304 15467897 140723491585248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 54628352 140723491591223 140723491591332 140723491591332 140723491598318 0
/proc/342274/statm: 5635 2634 1169 2753 0 2288 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 41132 KiB
Current children cumulated memory: 14312 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/266 342398
/proc/meminfo: memFree=128926864/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2748 CPUtime=0 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62142415 10170368 687 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0

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

/proc/343281/statm: 52758 49456 820 745 0 51823 0
Current children cumulated CPU time: 3392.38 s
Current children cumulated vsize: 229624 KiB
Current children cumulated memory: 201540 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 344262
/proc/meminfo: memFree=128667312/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2796 CPUtime=1793.35 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 272 3198 0 0 0 0 169303 10032 20 0 1 0 62142415 10170368 699 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 699 609 264 0 134 0
[pid=343280] ppid=342270 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/343280/stat : 343280 (timeout) S 342270 343280 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62322216 8867840 230 134679101440 94003578040320 94003578075336 140722375572864 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94003580172752 94003580174884 94003612164096 140722375578612 140722375578781 140722375578781 140722375585767 0
/proc/343280/statm: 2165 230 205 9 0 87 0
[pid=343281] ppid=343280 vsize=211736 memory=198560 CPUtime=1658.85 cores=0,2
/proc/343281/stat : 343281 (Exact) R 343280 343280 337861 0 -1 4194304 29053 0 0 0 165874 11 0 0 20 0 1 0 62322216 216817664 49640 134679101440 4194304 7243121 140730553010800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44924928 140730553017360 140730553017510 140730553017510 140730553024496 0
/proc/343281/statm: 52934 49640 820 745 0 51999 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 230328 KiB
Current children cumulated memory: 202276 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/264 344273
/proc/meminfo: memFree=128661604/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2796 CPUtime=1793.35 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 272 3198 0 0 0 0 169303 10032 20 0 1 0 62142415 10170368 699 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 699 609 264 0 134 0
[pid=343280] ppid=342270 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/343280/stat : 343280 (timeout) S 342270 343280 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62322216 8867840 230 134679101440 94003578040320 94003578075336 140722375572864 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94003580172752 94003580174884 94003612164096 140722375578612 140722375578781 140722375578781 140722375585767 0
/proc/343280/statm: 2165 230 205 9 0 87 0
[pid=343281] ppid=343280 vsize=212248 memory=199100 CPUtime=1718.66 cores=0,2
/proc/343281/stat : 343281 (Exact) R 343280 343280 337861 0 -1 4194304 29259 0 0 0 171855 11 0 0 20 0 1 0 62322216 217341952 49775 134679101440 4194304 7243121 140730553010800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44924928 140730553017360 140730553017510 140730553017510 140730553024496 0
/proc/343281/statm: 53062 49775 820 745 0 52127 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 230840 KiB
Current children cumulated memory: 202816 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/264 344283
/proc/meminfo: memFree=128657992/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2796 CPUtime=1793.35 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 272 3198 0 0 0 0 169303 10032 20 0 1 0 62142415 10170368 699 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 699 609 264 0 134 0
[pid=343280] ppid=342270 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/343280/stat : 343280 (timeout) S 342270 343280 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62322216 8867840 230 134679101440 94003578040320 94003578075336 140722375572864 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94003580172752 94003580174884 94003612164096 140722375578612 140722375578781 140722375578781 140722375585767 0
/proc/343280/statm: 2165 230 205 9 0 87 0
[pid=343281] ppid=343280 vsize=213912 memory=200544 CPUtime=1778.47 cores=0,2
/proc/343281/stat : 343281 (Exact) R 343280 343280 337861 0 -1 4194304 29717 0 0 0 177836 11 0 0 20 0 1 0 62322216 219045888 50136 134679101440 4194304 7243121 140730553010800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44924928 140730553017360 140730553017510 140730553017510 140730553024496 0
/proc/343281/statm: 53478 50136 820 745 0 52543 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 232504 KiB
Current children cumulated memory: 204260 KiB

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

# cumulated CPU time of all completed processes:  user=3485.08 s, system=100.451 s

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

[startup+3584 s]*
/proc/loadavg: 4.23 4.15 4.10 5/264 344284
/proc/meminfo: memFree=128657712/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2796 CPUtime=1793.35 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 272 3198 0 0 0 0 169303 10032 20 0 1 0 62142415 10170368 699 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 699 609 264 0 134 0
[pid=343280] ppid=342270 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/343280/stat : 343280 (timeout) S 342270 343280 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62322216 8867840 230 134679101440 94003578040320 94003578075336 140722375572864 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94003580172752 94003580174884 94003612164096 140722375578612 140722375578781 140722375578781 140722375585767 0
/proc/343280/statm: 2165 230 205 9 0 87 0
[pid=343281] ppid=343280 vsize=213912 memory=200544 CPUtime=1780.17 cores=0,2
/proc/343281/stat : 343281 (Exact) R 343280 343280 337861 0 -1 4194304 29717 0 0 0 178006 11 0 0 20 0 1 0 62322216 219045888 50136 134679101440 4194304 7243121 140730553010800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44924928 140730553017360 140730553017510 140730553017510 140730553024496 0
/proc/343281/statm: 53478 50136 820 745 0 52543 0
Current children cumulated CPU time: 3573.52 s
Current children cumulated vsize: 232504 KiB
Current children cumulated memory: 204260 KiB

[startup+3590.4 s]
/proc/loadavg: 4.21 4.15 4.10 5/264 344284
/proc/meminfo: memFree=128657704/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2796 CPUtime=1793.35 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 272 3198 0 0 0 0 169303 10032 20 0 1 0 62142415 10170368 699 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 699 609 264 0 134 0
[pid=343280] ppid=342270 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/343280/stat : 343280 (timeout) S 342270 343280 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62322216 8867840 230 134679101440 94003578040320 94003578075336 140722375572864 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94003580172752 94003580174884 94003612164096 140722375578612 140722375578781 140722375578781 140722375585767 0
/proc/343280/statm: 2165 230 205 9 0 87 0
[pid=343281] ppid=343280 vsize=213912 memory=200544 CPUtime=1786.55 cores=0,2
/proc/343281/stat : 343281 (Exact) R 343280 343280 337861 0 -1 4194304 29717 0 0 0 178644 11 0 0 20 0 1 0 62322216 219045888 50136 134679101440 4194304 7243121 140730553010800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44924928 140730553017360 140730553017510 140730553017510 140730553024496 0
/proc/343281/statm: 53478 50136 820 745 0 52543 0
Current children cumulated CPU time: 3579.9 s
Current children cumulated vsize: 232504 KiB
Current children cumulated memory: 204260 KiB

[startup+3593.6 s]
/proc/loadavg: 4.19 4.15 4.10 5/264 344286
/proc/meminfo: memFree=128657656/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2796 CPUtime=1793.35 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 272 3198 0 0 0 0 169303 10032 20 0 1 0 62142415 10170368 699 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 699 609 264 0 134 0
[pid=343280] ppid=342270 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/343280/stat : 343280 (timeout) S 342270 343280 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62322216 8867840 230 134679101440 94003578040320 94003578075336 140722375572864 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94003580172752 94003580174884 94003612164096 140722375578612 140722375578781 140722375578781 140722375585767 0
/proc/343280/statm: 2165 230 205 9 0 87 0
[pid=343281] ppid=343280 vsize=213912 memory=200544 CPUtime=1789.74 cores=0,2
/proc/343281/stat : 343281 (Exact) R 343280 343280 337861 0 -1 4194304 29718 0 0 0 178963 11 0 0 20 0 1 0 62322216 219045888 50136 134679101440 4194304 7243121 140730553010800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44924928 140730553017360 140730553017510 140730553017510 140730553024496 0
/proc/343281/statm: 53478 50136 820 745 0 52543 0
Current children cumulated CPU time: 3583.09 s
Current children cumulated vsize: 232504 KiB
Current children cumulated memory: 204260 KiB

[startup+3595.2 s]
/proc/loadavg: 4.19 4.15 4.10 4/256 344340
/proc/meminfo: memFree=128878336/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2796 CPUtime=1793.35 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 272 3198 0 0 0 0 169303 10032 20 0 1 0 62142415 10170368 699 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 699 609 264 0 134 0
[pid=343280] ppid=342270 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/343280/stat : 343280 (timeout) S 342270 343280 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62322216 8867840 230 134679101440 94003578040320 94003578075336 140722375572864 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94003580172752 94003580174884 94003612164096 140722375578612 140722375578781 140722375578781 140722375585767 0
/proc/343280/statm: 2165 230 205 9 0 87 0
[pid=343281] ppid=343280 vsize=213912 memory=200544 CPUtime=1791.33 cores=0,2
/proc/343281/stat : 343281 (Exact) R 343280 343280 337861 0 -1 4194304 29718 0 0 0 179122 11 0 0 20 0 1 0 62322216 219045888 50136 134679101440 4194304 7243121 140730553010800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44924928 140730553017360 140730553017510 140730553017510 140730553024496 0
/proc/343281/statm: 53478 50136 820 745 0 52543 0
Current children cumulated CPU time: 3584.68 s
Current children cumulated vsize: 232504 KiB
Current children cumulated memory: 204260 KiB

[startup+3595.6 s]
/proc/loadavg: 4.19 4.15 4.10 4/256 344340
/proc/meminfo: memFree=128878336/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2796 CPUtime=1793.35 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 272 3198 0 0 0 0 169303 10032 20 0 1 0 62142415 10170368 699 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 699 609 264 0 134 0
[pid=343280] ppid=342270 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/343280/stat : 343280 (timeout) S 342270 343280 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62322216 8867840 230 134679101440 94003578040320 94003578075336 140722375572864 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94003580172752 94003580174884 94003612164096 140722375578612 140722375578781 140722375578781 140722375585767 0
/proc/343280/statm: 2165 230 205 9 0 87 0
[pid=343281] ppid=343280 vsize=213912 memory=200544 CPUtime=1791.73 cores=0,2
/proc/343281/stat : 343281 (Exact) R 343280 343280 337861 0 -1 4194304 29718 0 0 0 179162 11 0 0 20 0 1 0 62322216 219045888 50136 134679101440 4194304 7243121 140730553010800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44924928 140730553017360 140730553017510 140730553017510 140730553024496 0
/proc/343281/statm: 53478 50136 820 745 0 52543 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 232504 KiB
Current children cumulated memory: 204260 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.13 4.09 4/256 344340
/proc/meminfo: memFree=128878336/131524600 swapFree=131071996/131071996
[pid=342270] ppid=342267 vsize=9932 memory=2796 CPUtime=1793.35 cores=0,2
/proc/342270/stat : 342270 (Hybrid-LSMabP+E) S 342267 342270 337861 0 -1 4194304 272 3198 0 0 0 0 169303 10032 20 0 1 0 62142415 10170368 699 134679101440 94264183681024 94264184760344 140730700393376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94264186858800 94264186905988 94264206331904 140730700399594 140730700399739 140730700399739 140730700406754 0
/proc/342270/statm: 2483 699 609 264 0 134 0
[pid=343280] ppid=342270 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/343280/stat : 343280 (timeout) S 342270 343280 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62322216 8867840 230 134679101440 94003578040320 94003578075336 140722375572864 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94003580172752 94003580174884 94003612164096 140722375578612 140722375578781 140722375578781 140722375585767 0
/proc/343280/statm: 2165 230 205 9 0 87 0
[pid=343281] ppid=343280 vsize=213912 memory=200544 CPUtime=1792.14 cores=0,2
/proc/343281/stat : 343281 (Exact) R 343280 343280 337861 0 -1 4194304 29718 0 0 0 179203 11 0 0 20 0 1 0 62322216 219045888 50136 134679101440 4194304 7243121 140730553010800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44924928 140730553017360 140730553017510 140730553017510 140730553024496 0
/proc/343281/statm: 53478 50136 820 745 0 52543 0
Current children cumulated CPU time: 3585.49 s
Current children cumulated vsize: 232504 KiB
Current children cumulated memory: 204260 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3585.54
CPU user time (s): 3485.08
CPU system time (s): 100.451
CPU usage (%): 99.7083
Max. virtual memory (cumulated for all children) (KiB): 232504
Max. memory (cumulated for all children) (KiB): 204260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3485.08
system time used= 100.451
maximum resident set size= 200544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106
involuntary context switches= 24559


# summary of solver processes directly reported to runsolver:
#   pid: 342270
#   total CPU time (s): 3585.54
#   total CPU user time (s): 3485.08
#   total CPU system time (s): 100.451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20218 second user time and 15.3768 second system time

The end