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

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


[startup+0.100085 s]*
/proc/loadavg: 0.99 1.43 2.29 5/267 362361
/proc/meminfo: memFree=127640540/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 693 615 264 0 134 0
[pid=362360] ppid=362357 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/362360/stat : 362360 (timeout) S 362357 362360 362276 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65994412 8867840 249 134679101440 93925545979904 93925546014920 140729714283232 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93925548112336 93925548114468 93925567229952 140729714291747 140729714291869 140729714291869 140729714298855 0
/proc/362360/statm: 2165 249 225 9 0 87 0
[pid=362361] ppid=362360 vsize=30224 memory=17724 CPUtime=0.09 cores=0,2
/proc/362361/stat : 362361 (LS-MabP) R 362360 362360 362276 0 -1 4194304 2956 0 0 0 9 0 0 0 20 0 1 0 65994412 30949376 4431 134679101440 4194304 15467897 140720714789648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33574912 140720714798135 140720714798244 140720714798244 140720714805230 0
/proc/362361/statm: 7556 4431 1073 2753 0 4209 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48816 KiB
Current children cumulated memory: 21492 KiB

[startup+0.205082 s]*
/proc/loadavg: 0.99 1.43 2.29 5/267 362361
/proc/meminfo: memFree=127628488/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 693 615 264 0 134 0
[pid=362360] ppid=362357 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/362360/stat : 362360 (timeout) S 362357 362360 362276 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65994412 8867840 249 134679101440 93925545979904 93925546014920 140729714283232 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93925548112336 93925548114468 93925567229952 140729714291747 140729714291869 140729714291869 140729714298855 0
/proc/362360/statm: 2165 249 225 9 0 87 0
[pid=362361] ppid=362360 vsize=36368 memory=21792 CPUtime=0.2 cores=0,2
/proc/362361/stat : 362361 (LS-MabP) R 362360 362360 362276 0 -1 4194304 3929 0 0 0 20 0 0 0 20 0 1 0 65994412 37240832 5448 134679101440 4194304 15467897 140720714789648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33574912 140720714798135 140720714798244 140720714798244 140720714805230 0
/proc/362361/statm: 9092 5448 1073 2753 0 5745 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54960 KiB
Current children cumulated memory: 25560 KiB

[startup+0.305782 s]*
/proc/loadavg: 0.99 1.43 2.29 5/267 362361
/proc/meminfo: memFree=127630068/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 693 615 264 0 134 0
[pid=362360] ppid=362357 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/362360/stat : 362360 (timeout) S 362357 362360 362276 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65994412 8867840 249 134679101440 93925545979904 93925546014920 140729714283232 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93925548112336 93925548114468 93925567229952 140729714291747 140729714291869 140729714291869 140729714298855 0
/proc/362360/statm: 2165 249 225 9 0 87 0
[pid=362361] ppid=362360 vsize=36368 memory=23840 CPUtime=0.3 cores=0,2
/proc/362361/stat : 362361 (LS-MabP) R 362360 362360 362276 0 -1 4194304 3930 0 0 0 30 0 0 0 20 0 1 0 65994412 37240832 5960 134679101440 4194304 15467897 140720714789648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33574912 140720714798135 140720714798244 140720714798244 140720714805230 0
/proc/362361/statm: 9092 5960 1073 2753 0 5745 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54960 KiB
Current children cumulated memory: 27608 KiB

[startup+0.700203 s]
/proc/loadavg: 0.99 1.43 2.29 5/267 362361
/proc/meminfo: memFree=127625168/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 693 615 264 0 134 0
[pid=362360] ppid=362357 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/362360/stat : 362360 (timeout) S 362357 362360 362276 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65994412 8867840 249 134679101440 93925545979904 93925546014920 140729714283232 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93925548112336 93925548114468 93925567229952 140729714291747 140729714291869 140729714291869 140729714298855 0
/proc/362360/statm: 2165 249 225 9 0 87 0
[pid=362361] ppid=362360 vsize=44560 memory=32036 CPUtime=0.68 cores=0,2
/proc/362361/stat : 362361 (LS-MabP) R 362360 362360 362276 0 -1 4194304 4451 0 0 0 68 0 0 0 20 0 1 0 65994412 45629440 8009 134679101440 4194304 15467897 140720714789648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33574912 140720714798135 140720714798244 140720714798244 140720714805230 0
/proc/362361/statm: 11140 8009 1073 2753 0 7793 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63152 KiB
Current children cumulated memory: 35804 KiB

[startup+1.50029 s]
/proc/loadavg: 0.99 1.43 2.29 5/267 362361
/proc/meminfo: memFree=127526940/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 693 615 264 0 134 0
[pid=362360] ppid=362357 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/362360/stat : 362360 (timeout) S 362357 362360 362276 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65994412 8867840 249 134679101440 93925545979904 93925546014920 140729714283232 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93925548112336 93925548114468 93925567229952 140729714291747 140729714291869 140729714291869 140729714298855 0
/proc/362360/statm: 2165 249 225 9 0 87 0
[pid=362361] ppid=362360 vsize=149092 memory=122056 CPUtime=1.48 cores=0,2
/proc/362361/stat : 362361 (LS-MabP) R 362360 362360 362276 0 -1 4194304 13437 0 0 0 145 3 0 0 20 0 1 0 65994412 152670208 30514 134679101440 4194304 15467897 140720714789648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33574912 140720714798135 140720714798244 140720714798244 140720714805230 0
/proc/362361/statm: 37273 30514 1105 2753 0 33926 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 167684 KiB
Current children cumulated memory: 125824 KiB

[startup+3.10551 s]
/proc/loadavg: 1.23 1.47 2.30 5/267 362361
/proc/meminfo: memFree=127522768/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 693 615 264 0 134 0
[pid=362360] ppid=362357 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/362360/stat : 362360 (timeout) S 362357 362360 362276 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65994412 8867840 249 134679101440 93925545979904 93925546014920 140729714283232 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93925548112336 93925548114468 93925567229952 140729714291747 140729714291869 140729714291869 140729714298855 0
/proc/362360/statm: 2165 249 225 9 0 87 0
[pid=362361] ppid=362360 vsize=149092 memory=122056 CPUtime=3.08 cores=0,2
/proc/362361/stat : 362361 (LS-MabP) R 362360 362360 362276 0 -1 4194304 13454 0 0 0 305 3 0 0 20 0 1 0 65994412 152670208 30514 134679101440 4194304 15467897 140720714789648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33574912 140720714798135 140720714798244 140720714798244 140720714805230 0
/proc/362361/statm: 37273 30514 1105 2753 0 33926 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 167684 KiB
Current children cumulated memory: 125824 KiB

[startup+6.30027 s]
/proc/loadavg: 1.23 1.47 2.30 5/267 362361
/proc/meminfo: memFree=127522820/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 693 615 264 0 134 0
[pid=362360] ppid=362357 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/362360/stat : 362360 (timeout) S 362357 362360 362276 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65994412 8867840 249 134679101440 93925545979904 93925546014920 140729714283232 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93925548112336 93925548114468 93925567229952 140729714291747 140729714291869 140729714291869 140729714298855 0
/proc/362360/statm: 2165 249 225 9 0 87 0
[pid=362361] ppid=362360 vsize=149092 memory=122432 CPUtime=6.27 cores=0,2
/proc/362361/stat : 362361 (LS-MabP) R 362360 362360 362276 0 -1 4194304 13474 0 0 0 624 3 0 0 20 0 1 0 65994412 152670208 30608 134679101440 4194304 15467897 140720714789648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33574912 140720714798135 140720714798244 140720714798244 140720714805230 0
/proc/362361/statm: 37273 30608 1153 2753 0 33926 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 167684 KiB
Current children cumulated memory: 126200 KiB

[startup+12.7003 s]
/proc/loadavg: 1.45 1.52 2.31 5/266 362363
/proc/meminfo: memFree=127467532/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 693 615 264 0 134 0
[pid=362360] ppid=362357 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/362360/stat : 362360 (timeout) S 362357 362360 362276 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65994412 8867840 249 134679101440 93925545979904 93925546014920 140729714283232 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93925548112336 93925548114468 93925567229952 140729714291747 140729714291869 140729714291869 140729714298855 0
/proc/362360/statm: 2165 249 225 9 0 87 0
[pid=362361] ppid=362360 vsize=203884 memory=177140 CPUtime=12.65 cores=0,2
/proc/362361/stat : 362361 (LS-MabP) R 362360 362360 362276 0 -1 4194304 25171 0 0 0 1256 9 0 0 20 0 1 0 65994412 208777216 44285 134679101440 4194304 15467897 140720714789648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33574912 140720714798135 140720714798244 140720714798244 140720714805230 0
/proc/362361/statm: 50971 44285 1153 2753 0 47624 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 222476 KiB
Current children cumulated memory: 180908 KiB

[startup+25.5003 s]
/proc/loadavg: 2.09 1.66 2.34 5/266 362364
/proc/meminfo: memFree=127467348/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 693 615 264 0 134 0
[pid=362360] ppid=362357 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/362360/stat : 362360 (timeout) S 362357 362360 362276 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65994412 8867840 249 134679101440 93925545979904 93925546014920 140729714283232 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93925548112336 93925548114468 93925567229952 140729714291747 140729714291869 140729714291869 140729714298855 0
/proc/362360/statm: 2165 249 225 9 0 87 0
[pid=362361] ppid=362360 vsize=203884 memory=177276 CPUtime=25.41 cores=0,2
/proc/362361/stat : 362361 (LS-MabP) R 362360 362360 362276 0 -1 4194304 25203 0 0 0 2527 14 0 0 20 0 1 0 65994412 208777216 44319 134679101440 4194304 15467897 140720714789648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33574912 140720714798135 140720714798244 140720714798244 140720714805230 0
/proc/362361/statm: 50971 44319 1169 2753 0 47624 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 222476 KiB
Current children cumulated memory: 181044 KiB

[startup+51.1056 s]
/proc/loadavg: 2.81 1.86 2.39 5/266 362369
/proc/meminfo: memFree=127466408/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 693 615 264 0 134 0
[pid=362360] ppid=362357 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/362360/stat : 362360 (timeout) S 362357 362360 362276 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65994412 8867840 249 134679101440 93925545979904 93925546014920 140729714283232 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93925548112336 93925548114468 93925567229952 140729714291747 140729714291869 140729714291869 140729714298855 0
/proc/362360/statm: 2165 249 225 9 0 87 0
[pid=362361] ppid=362360 vsize=203884 memory=177276 CPUtime=50.94 cores=0,2
/proc/362361/stat : 362361 (LS-MabP) R 362360 362360 362276 0 -1 4194304 25251 0 0 0 5070 24 0 0 20 0 1 0 65994412 208777216 44319 134679101440 4194304 15467897 140720714789648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33574912 140720714798135 140720714798244 140720714798244 140720714805230 0
/proc/362361/statm: 50971 44319 1169 2753 0 47624 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 222476 KiB
Current children cumulated memory: 181044 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.21 2.49 5/266 362377
/proc/meminfo: memFree=127465576/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65994412 10170368 693 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0

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

/proc/363306/statm: 28843 27602 820 745 0 27908 0
Current children cumulated CPU time: 3391.11 s
Current children cumulated vsize: 133964 KiB
Current children cumulated memory: 114248 KiB

[startup+3462.3 s]
/proc/loadavg: 3.06 3.45 3.77 4/255 364033
/proc/meminfo: memFree=126376624/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2820 CPUtime=1792.96 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 268 26575 0 0 0 0 178682 614 20 0 1 0 65994412 10170368 705 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 705 615 264 0 134 0
[pid=363305] ppid=362357 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/363305/stat : 363305 (timeout) S 362357 363305 362276 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66174216 8867840 255 134679101440 94321249357824 94321249392840 140725792211744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321251490256 94321251492388 94321274896384 140725792216052 140725792216221 140725792216221 140725792223207 0
/proc/363305/statm: 2165 255 231 9 0 87 0
[pid=363306] ppid=363305 vsize=115372 memory=110408 CPUtime=1657.95 cores=0,2
/proc/363306/stat : 363306 (Exact) R 363305 363305 362276 0 -1 4194304 17875 0 0 0 165788 7 0 0 20 0 1 0 66174216 118140928 27602 134679101440 4194304 7243121 140733143696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 27435008 140733143700496 140733143700646 140733143700646 140733143707632 0
/proc/363306/statm: 28843 27602 820 745 0 27908 0
Current children cumulated CPU time: 3450.91 s
Current children cumulated vsize: 133964 KiB
Current children cumulated memory: 114248 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.40 3.73 4/255 364211
/proc/meminfo: memFree=126374732/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2820 CPUtime=1792.96 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 268 26575 0 0 0 0 178682 614 20 0 1 0 65994412 10170368 705 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 705 615 264 0 134 0
[pid=363305] ppid=362357 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/363305/stat : 363305 (timeout) S 362357 363305 362276 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66174216 8867840 255 134679101440 94321249357824 94321249392840 140725792211744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321251490256 94321251492388 94321274896384 140725792216052 140725792216221 140725792216221 140725792223207 0
/proc/363305/statm: 2165 255 231 9 0 87 0
[pid=363306] ppid=363305 vsize=115520 memory=110676 CPUtime=1717.75 cores=0,2
/proc/363306/stat : 363306 (Exact) R 363305 363305 362276 0 -1 4194304 17951 0 0 0 171768 7 0 0 20 0 1 0 66174216 118292480 27669 134679101440 4194304 7243121 140733143696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 27435008 140733143700496 140733143700646 140733143700646 140733143707632 0
/proc/363306/statm: 28880 27669 852 745 0 27945 0
Current children cumulated CPU time: 3510.71 s
Current children cumulated vsize: 134112 KiB
Current children cumulated memory: 114516 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.35 3.69 4/255 364221
/proc/meminfo: memFree=126372836/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2820 CPUtime=1792.96 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 268 26575 0 0 0 0 178682 614 20 0 1 0 65994412 10170368 705 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 705 615 264 0 134 0
[pid=363305] ppid=362357 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/363305/stat : 363305 (timeout) S 362357 363305 362276 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66174216 8867840 255 134679101440 94321249357824 94321249392840 140725792211744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321251490256 94321251492388 94321274896384 140725792216052 140725792216221 140725792216221 140725792223207 0
/proc/363305/statm: 2165 255 231 9 0 87 0
[pid=363306] ppid=363305 vsize=115520 memory=110744 CPUtime=1777.54 cores=0,2
/proc/363306/stat : 363306 (Exact) R 363305 363305 362276 0 -1 4194304 18022 0 0 0 177747 7 0 0 20 0 1 0 66174216 118292480 27686 134679101440 4194304 7243121 140733143696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 27435008 140733143700496 140733143700646 140733143700646 140733143707632 0
/proc/363306/statm: 28880 27686 852 745 0 27945 0
Current children cumulated CPU time: 3570.5 s
Current children cumulated vsize: 134112 KiB
Current children cumulated memory: 114584 KiB

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

# cumulated CPU time of all completed processes:  user=3578.02 s, system=6.22851 s

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

[startup+3584 s]*
/proc/loadavg: 3.12 3.35 3.69 4/255 364221
/proc/meminfo: memFree=126372832/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2820 CPUtime=1792.96 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 268 26575 0 0 0 0 178682 614 20 0 1 0 65994412 10170368 705 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 705 615 264 0 134 0
[pid=363305] ppid=362357 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/363305/stat : 363305 (timeout) S 362357 363305 362276 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66174216 8867840 255 134679101440 94321249357824 94321249392840 140725792211744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321251490256 94321251492388 94321274896384 140725792216052 140725792216221 140725792216221 140725792223207 0
/proc/363305/statm: 2165 255 231 9 0 87 0
[pid=363306] ppid=363305 vsize=115520 memory=110744 CPUtime=1779.24 cores=0,2
/proc/363306/stat : 363306 (Exact) R 363305 363305 362276 0 -1 4194304 18022 0 0 0 177917 7 0 0 20 0 1 0 66174216 118292480 27686 134679101440 4194304 7243121 140733143696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 27435008 140733143700496 140733143700646 140733143700646 140733143707632 0
/proc/363306/statm: 28880 27686 852 745 0 27945 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 134112 KiB
Current children cumulated memory: 114584 KiB

[startup+3590.4 s]
/proc/loadavg: 3.11 3.34 3.69 4/258 364228
/proc/meminfo: memFree=126372856/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2820 CPUtime=1792.96 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 268 26575 0 0 0 0 178682 614 20 0 1 0 65994412 10170368 705 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 705 615 264 0 134 0
[pid=363305] ppid=362357 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/363305/stat : 363305 (timeout) S 362357 363305 362276 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66174216 8867840 255 134679101440 94321249357824 94321249392840 140725792211744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321251490256 94321251492388 94321274896384 140725792216052 140725792216221 140725792216221 140725792223207 0
/proc/363305/statm: 2165 255 231 9 0 87 0
[pid=363306] ppid=363305 vsize=115520 memory=110744 CPUtime=1785.62 cores=0,2
/proc/363306/stat : 363306 (Exact) R 363305 363305 362276 0 -1 4194304 18022 0 0 0 178555 7 0 0 20 0 1 0 66174216 118292480 27686 134679101440 4194304 7243121 140733143696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 27435008 140733143700496 140733143700646 140733143700646 140733143707632 0
/proc/363306/statm: 28880 27686 852 745 0 27945 0
Current children cumulated CPU time: 3578.58 s
Current children cumulated vsize: 134112 KiB
Current children cumulated memory: 114584 KiB

[startup+3593.6 s]
/proc/loadavg: 3.11 3.34 3.69 4/258 364228
/proc/meminfo: memFree=126372832/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2820 CPUtime=1792.96 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 268 26575 0 0 0 0 178682 614 20 0 1 0 65994412 10170368 705 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 705 615 264 0 134 0
[pid=363305] ppid=362357 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/363305/stat : 363305 (timeout) S 362357 363305 362276 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66174216 8867840 255 134679101440 94321249357824 94321249392840 140725792211744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321251490256 94321251492388 94321274896384 140725792216052 140725792216221 140725792216221 140725792223207 0
/proc/363305/statm: 2165 255 231 9 0 87 0
[pid=363306] ppid=363305 vsize=115520 memory=110744 CPUtime=1788.81 cores=0,2
/proc/363306/stat : 363306 (Exact) R 363305 363305 362276 0 -1 4194304 18022 0 0 0 178874 7 0 0 20 0 1 0 66174216 118292480 27686 134679101440 4194304 7243121 140733143696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 27435008 140733143700496 140733143700646 140733143700646 140733143707632 0
/proc/363306/statm: 28880 27686 852 745 0 27945 0
Current children cumulated CPU time: 3581.77 s
Current children cumulated vsize: 134112 KiB
Current children cumulated memory: 114584 KiB

[startup+3595.2 s]
/proc/loadavg: 3.10 3.33 3.68 4/258 364228
/proc/meminfo: memFree=126372700/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2820 CPUtime=1792.96 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 268 26575 0 0 0 0 178682 614 20 0 1 0 65994412 10170368 705 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 705 615 264 0 134 0
[pid=363305] ppid=362357 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/363305/stat : 363305 (timeout) S 362357 363305 362276 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66174216 8867840 255 134679101440 94321249357824 94321249392840 140725792211744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321251490256 94321251492388 94321274896384 140725792216052 140725792216221 140725792216221 140725792223207 0
/proc/363305/statm: 2165 255 231 9 0 87 0
[pid=363306] ppid=363305 vsize=115712 memory=110744 CPUtime=1790.4 cores=0,2
/proc/363306/stat : 363306 (Exact) R 363305 363305 362276 0 -1 4194304 18053 0 0 0 179033 7 0 0 20 0 1 0 66174216 118489088 27686 134679101440 4194304 7243121 140733143696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 27435008 140733143700496 140733143700646 140733143700646 140733143707632 0
/proc/363306/statm: 28928 27686 852 745 0 27993 0
Current children cumulated CPU time: 3583.36 s
Current children cumulated vsize: 134304 KiB
Current children cumulated memory: 114584 KiB

[startup+3595.6 s]
/proc/loadavg: 3.10 3.33 3.68 4/258 364228
/proc/meminfo: memFree=126372700/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2820 CPUtime=1792.96 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 268 26575 0 0 0 0 178682 614 20 0 1 0 65994412 10170368 705 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 705 615 264 0 134 0
[pid=363305] ppid=362357 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/363305/stat : 363305 (timeout) S 362357 363305 362276 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66174216 8867840 255 134679101440 94321249357824 94321249392840 140725792211744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321251490256 94321251492388 94321274896384 140725792216052 140725792216221 140725792216221 140725792223207 0
/proc/363305/statm: 2165 255 231 9 0 87 0
[pid=363306] ppid=363305 vsize=115712 memory=110744 CPUtime=1790.8 cores=0,2
/proc/363306/stat : 363306 (Exact) R 363305 363305 362276 0 -1 4194304 18053 0 0 0 179073 7 0 0 20 0 1 0 66174216 118489088 27686 134679101440 4194304 7243121 140733143696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 27435008 140733143700496 140733143700646 140733143700646 140733143707632 0
/proc/363306/statm: 28928 27686 852 745 0 27993 0
Current children cumulated CPU time: 3583.76 s
Current children cumulated vsize: 134304 KiB
Current children cumulated memory: 114584 KiB

[startup+3596 s]*
/proc/loadavg: 3.10 3.33 3.68 5/257 364263
/proc/meminfo: memFree=127557724/131524600 swapFree=131071996/131071996
[pid=362357] ppid=362354 vsize=9932 memory=2820 CPUtime=1792.96 cores=0,2
/proc/362357/stat : 362357 (Hybrid-LSMabP+E) S 362354 362357 362276 0 -1 4194304 268 26575 0 0 0 0 178682 614 20 0 1 0 65994412 10170368 705 134679101440 94826747432960 94826748512280 140736219533712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94826750610736 94826750657924 94826753257472 140736219538410 140736219538555 140736219538555 140736219545570 0
/proc/362357/statm: 2483 705 615 264 0 134 0
[pid=363305] ppid=362357 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/363305/stat : 363305 (timeout) S 362357 363305 362276 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66174216 8867840 255 134679101440 94321249357824 94321249392840 140725792211744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321251490256 94321251492388 94321274896384 140725792216052 140725792216221 140725792216221 140725792223207 0
/proc/363305/statm: 2165 255 231 9 0 87 0
[pid=363306] ppid=363305 vsize=115712 memory=110744 CPUtime=1791.2 cores=0,2
/proc/363306/stat : 363306 (Exact) R 363305 363305 362276 0 -1 4194304 18053 0 0 0 179113 7 0 0 20 0 1 0 66174216 118489088 27686 134679101440 4194304 7243121 140733143696560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 27435008 140733143700496 140733143700646 140733143700646 140733143707632 0
/proc/363306/statm: 28928 27686 852 745 0 27993 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 134304 KiB
Current children cumulated memory: 114584 KiB

Child status: 0

Real time (s): 3596.06
CPU time (s): 3584.25
CPU user time (s): 3578.02
CPU system time (s): 6.22851
CPU usage (%): 99.6715
Max. virtual memory (cumulated for all children) (KiB): 222476
Max. memory (cumulated for all children) (KiB): 181056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.02
system time used= 6.22851
maximum resident set size= 177288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105
involuntary context switches= 25173


# summary of solver processes directly reported to runsolver:
#   pid: 362357
#   total CPU time (s): 3584.25
#   total CPU user time (s): 3578.02
#   total CPU system time (s): 6.22851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73464 second user time and 16.8086 second system time

The end