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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (63160 MiB free)
  memory of node 1: 64473 MiB (58561 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=337138, runsolver pid=337134
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 5.03 5.12 4.53 4/234 337160
/proc/meminfo: memFree=124661564/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 697 619 264 0 134 0
[pid=337143] ppid=337138 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/337143/stat : 337143 (timeout) S 337138 337143 334967 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61777042 8867840 244 134679101440 94335974576128 94335974611144 140735086951536 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94335976708560 94335976710692 94335990738944 140735086957603 140735086957725 140735086957725 140735086964711 0
/proc/337143/statm: 2165 244 219 9 0 87 0
[pid=337144] ppid=337143 vsize=21128 memory=8300 CPUtime=0.09 cores=1,3
/proc/337144/stat : 337144 (LS-MabP) R 337143 337143 334967 0 -1 4194304 850 0 0 0 9 0 0 0 20 0 1 0 61777042 21635072 2075 134679101440 4194304 15467897 140733276738368 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45199360 140733276746807 140733276746916 140733276746916 140733276753902 0
/proc/337144/statm: 5282 2075 1073 2753 0 1935 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39720 KiB
Current children cumulated memory: 12064 KiB

[startup+0.213703 s]*
/proc/loadavg: 5.03 5.12 4.53 5/240 337170
/proc/meminfo: memFree=124633948/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 697 619 264 0 134 0
[pid=337143] ppid=337138 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/337143/stat : 337143 (timeout) S 337138 337143 334967 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61777042 8867840 244 134679101440 94335974576128 94335974611144 140735086951536 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94335976708560 94335976710692 94335990738944 140735086957603 140735086957725 140735086957725 140735086964711 0
/proc/337143/statm: 2165 244 219 9 0 87 0
[pid=337144] ppid=337143 vsize=22152 memory=9072 CPUtime=0.2 cores=1,3
/proc/337144/stat : 337144 (LS-MabP) R 337143 337143 334967 0 -1 4194304 1318 0 0 0 20 0 0 0 20 0 1 0 61777042 22683648 2268 134679101440 4194304 15467897 140733276738368 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45199360 140733276746807 140733276746916 140733276746916 140733276753902 0
/proc/337144/statm: 5538 2268 1073 2753 0 2191 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40744 KiB
Current children cumulated memory: 12836 KiB

[startup+0.312582 s]*
/proc/loadavg: 5.03 5.12 4.53 4/243 337174
/proc/meminfo: memFree=124625828/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 697 619 264 0 134 0
[pid=337143] ppid=337138 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/337143/stat : 337143 (timeout) S 337138 337143 334967 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61777042 8867840 244 134679101440 94335974576128 94335974611144 140735086951536 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94335976708560 94335976710692 94335990738944 140735086957603 140735086957725 140735086957725 140735086964711 0
/proc/337143/statm: 2165 244 219 9 0 87 0
[pid=337144] ppid=337143 vsize=24200 memory=10716 CPUtime=0.31 cores=1,3
/proc/337144/stat : 337144 (LS-MabP) R 337143 337143 334967 0 -1 4194304 1667 0 0 0 30 1 0 0 20 0 1 0 61777042 24780800 2679 134679101440 4194304 15467897 140733276738368 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45199360 140733276746807 140733276746916 140733276746916 140733276753902 0
/proc/337144/statm: 6050 2679 1073 2753 0 2703 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 14480 KiB

[startup+0.700433 s]
/proc/loadavg: 5.03 5.12 4.53 4/248 337183
/proc/meminfo: memFree=124610684/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 697 619 264 0 134 0
[pid=337143] ppid=337138 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/337143/stat : 337143 (timeout) S 337138 337143 334967 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61777042 8867840 244 134679101440 94335974576128 94335974611144 140735086951536 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94335976708560 94335976710692 94335990738944 140735086957603 140735086957725 140735086957725 140735086964711 0
/proc/337143/statm: 2165 244 219 9 0 87 0
[pid=337144] ppid=337143 vsize=36836 memory=23240 CPUtime=0.68 cores=1,3
/proc/337144/stat : 337144 (LS-MabP) R 337143 337143 334967 0 -1 4194304 4826 0 0 0 66 2 0 0 20 0 1 0 61777042 37720064 5810 134679101440 4194304 15467897 140733276738368 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45199360 140733276746807 140733276746916 140733276746916 140733276753902 0
/proc/337144/statm: 9209 5810 1105 2753 0 5862 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 27004 KiB

[startup+1.50048 s]
/proc/loadavg: 5.03 5.12 4.53 5/256 337201
/proc/meminfo: memFree=124572096/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 697 619 264 0 134 0
[pid=337143] ppid=337138 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/337143/stat : 337143 (timeout) S 337138 337143 334967 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61777042 8867840 244 134679101440 94335974576128 94335974611144 140735086951536 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94335976708560 94335976710692 94335990738944 140735086957603 140735086957725 140735086957725 140735086964711 0
/proc/337143/statm: 2165 244 219 9 0 87 0
[pid=337144] ppid=337143 vsize=39476 memory=26060 CPUtime=1.47 cores=1,3
/proc/337144/stat : 337144 (LS-MabP) R 337143 337143 334967 0 -1 4194304 5489 0 0 0 145 2 0 0 20 0 1 0 61777042 40423424 6515 134679101440 4194304 15467897 140733276738368 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45199360 140733276746807 140733276746916 140733276746916 140733276753902 0
/proc/337144/statm: 9869 6515 1153 2753 0 6522 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 58068 KiB
Current children cumulated memory: 29824 KiB

[startup+3.11596 s]
/proc/loadavg: 5.03 5.12 4.53 5/256 337201
/proc/meminfo: memFree=124553172/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 697 619 264 0 134 0
[pid=337143] ppid=337138 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/337143/stat : 337143 (timeout) S 337138 337143 334967 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61777042 8867840 244 134679101440 94335974576128 94335974611144 140735086951536 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94335976708560 94335976710692 94335990738944 140735086957603 140735086957725 140735086957725 140735086964711 0
/proc/337143/statm: 2165 244 219 9 0 87 0
[pid=337144] ppid=337143 vsize=43108 memory=29756 CPUtime=3.08 cores=1,3
/proc/337144/stat : 337144 (LS-MabP) R 337143 337143 334967 0 -1 4194304 6395 0 0 0 302 6 0 0 20 0 1 0 61777042 44142592 7439 134679101440 4194304 15467897 140733276738368 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45199360 140733276746807 140733276746916 140733276746916 140733276753902 0
/proc/337144/statm: 10777 7439 1153 2753 0 7430 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61700 KiB
Current children cumulated memory: 33520 KiB

[startup+6.30039 s]
/proc/loadavg: 5.10 5.14 4.53 5/256 337202
/proc/meminfo: memFree=124555736/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 697 619 264 0 134 0
[pid=337143] ppid=337138 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/337143/stat : 337143 (timeout) S 337138 337143 334967 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61777042 8867840 244 134679101440 94335974576128 94335974611144 140735086951536 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94335976708560 94335976710692 94335990738944 140735086957603 140735086957725 140735086957725 140735086964711 0
/proc/337143/statm: 2165 244 219 9 0 87 0
[pid=337144] ppid=337143 vsize=43108 memory=29756 CPUtime=6.26 cores=1,3
/proc/337144/stat : 337144 (LS-MabP) R 337143 337143 334967 0 -1 4194304 6395 0 0 0 613 13 0 0 20 0 1 0 61777042 44142592 7439 134679101440 4194304 15467897 140733276738368 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45199360 140733276746807 140733276746916 140733276746916 140733276753902 0
/proc/337144/statm: 10777 7439 1153 2753 0 7430 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 61700 KiB
Current children cumulated memory: 33520 KiB

[startup+12.7004 s]
/proc/loadavg: 5.10 5.14 4.54 5/256 337202
/proc/meminfo: memFree=124555680/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 697 619 264 0 134 0
[pid=337143] ppid=337138 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/337143/stat : 337143 (timeout) S 337138 337143 334967 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61777042 8867840 244 134679101440 94335974576128 94335974611144 140735086951536 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94335976708560 94335976710692 94335990738944 140735086957603 140735086957725 140735086957725 140735086964711 0
/proc/337143/statm: 2165 244 219 9 0 87 0
[pid=337144] ppid=337143 vsize=43108 memory=29756 CPUtime=12.64 cores=1,3
/proc/337144/stat : 337144 (LS-MabP) R 337143 337143 334967 0 -1 4194304 6397 0 0 0 1237 27 0 0 20 0 1 0 61777042 44142592 7439 134679101440 4194304 15467897 140733276738368 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45199360 140733276746807 140733276746916 140733276746916 140733276753902 0
/proc/337144/statm: 10777 7439 1153 2753 0 7430 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 61700 KiB
Current children cumulated memory: 33520 KiB

[startup+25.5004 s]
/proc/loadavg: 5.29 5.18 4.56 5/256 337205
/proc/meminfo: memFree=124555184/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 697 619 264 0 134 0
[pid=337143] ppid=337138 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/337143/stat : 337143 (timeout) S 337138 337143 334967 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61777042 8867840 244 134679101440 94335974576128 94335974611144 140735086951536 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94335976708560 94335976710692 94335990738944 140735086957603 140735086957725 140735086957725 140735086964711 0
/proc/337143/statm: 2165 244 219 9 0 87 0
[pid=337144] ppid=337143 vsize=43108 memory=29756 CPUtime=25.42 cores=1,3
/proc/337144/stat : 337144 (LS-MabP) R 337143 337143 334967 0 -1 4194304 6398 0 0 0 2486 56 0 0 20 0 1 0 61777042 44142592 7439 134679101440 4194304 15467897 140733276738368 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45199360 140733276746807 140733276746916 140733276746916 140733276753902 0
/proc/337144/statm: 10777 7439 1153 2753 0 7430 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 61700 KiB
Current children cumulated memory: 33520 KiB

[startup+51.1127 s]
/proc/loadavg: 5.54 5.25 4.60 5/256 337208
/proc/meminfo: memFree=124553932/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 697 619 264 0 134 0
[pid=337143] ppid=337138 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/337143/stat : 337143 (timeout) S 337138 337143 334967 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61777042 8867840 244 134679101440 94335974576128 94335974611144 140735086951536 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94335976708560 94335976710692 94335990738944 140735086957603 140735086957725 140735086957725 140735086964711 0
/proc/337143/statm: 2165 244 219 9 0 87 0
[pid=337144] ppid=337143 vsize=43108 memory=29756 CPUtime=50.98 cores=1,3
/proc/337144/stat : 337144 (LS-MabP) R 337143 337143 334967 0 -1 4194304 6401 0 0 0 4982 116 0 0 20 0 1 0 61777042 44142592 7439 134679101440 4194304 15467897 140733276738368 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45199360 140733276746807 140733276746916 140733276746916 140733276753902 0
/proc/337144/statm: 10777 7439 1153 2753 0 7430 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 61700 KiB
Current children cumulated memory: 33520 KiB

[startup+102.3 s]
/proc/loadavg: 4.84 5.11 4.59 5/256 337217
/proc/meminfo: memFree=124553272/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2788 CPUtime=0 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 61777041 10170368 697 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0

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

/proc/338106/statm: 21681 20281 804 745 0 20746 0
Current children cumulated CPU time: 3394.52 s
Current children cumulated vsize: 105316 KiB
Current children cumulated memory: 84956 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/252 339094
/proc/meminfo: memFree=124267076/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2832 CPUtime=1794.59 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 269 6867 0 0 0 0 175387 4072 20 0 1 0 61777041 10170368 708 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 708 619 264 0 134 0
[pid=338105] ppid=337138 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/338105/stat : 338105 (timeout) S 337138 338105 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61956843 8867840 250 134679101440 94313352126464 94313352161480 140729337767376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94313354258896 94313354261028 94313372172288 140729337770996 140729337771165 140729337771165 140729337778151 0
/proc/338105/statm: 2165 250 226 9 0 87 0
[pid=338106] ppid=338105 vsize=109524 memory=83060 CPUtime=1659.77 cores=1,3
/proc/338106/stat : 338106 (Exact) R 338105 338105 334967 0 -1 4194304 14754 0 0 0 165968 9 0 0 20 0 1 0 61956843 112152576 20765 134679101440 4194304 7243121 140723461042480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 27688960 140723461047312 140723461047462 140723461047462 140723461054448 0
/proc/338106/statm: 27381 20765 804 745 0 26446 0
Current children cumulated CPU time: 3454.36 s
Current children cumulated vsize: 128116 KiB
Current children cumulated memory: 86892 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/252 339104
/proc/meminfo: memFree=124266028/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2832 CPUtime=1794.59 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 269 6867 0 0 0 0 175387 4072 20 0 1 0 61777041 10170368 708 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 708 619 264 0 134 0
[pid=338105] ppid=337138 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/338105/stat : 338105 (timeout) S 337138 338105 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61956843 8867840 250 134679101440 94313352126464 94313352161480 140729337767376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94313354258896 94313354261028 94313372172288 140729337770996 140729337771165 140729337771165 140729337778151 0
/proc/338105/statm: 2165 250 226 9 0 87 0
[pid=338106] ppid=338105 vsize=109908 memory=83456 CPUtime=1719.61 cores=1,3
/proc/338106/stat : 338106 (Exact) R 338105 338105 334967 0 -1 4194304 14873 0 0 0 171952 9 0 0 20 0 1 0 61956843 112545792 20864 134679101440 4194304 7243121 140723461042480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 27688960 140723461047312 140723461047462 140723461047462 140723461054448 0
/proc/338106/statm: 27477 20864 804 745 0 26542 0
Current children cumulated CPU time: 3514.2 s
Current children cumulated vsize: 128500 KiB
Current children cumulated memory: 87288 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/252 339116
/proc/meminfo: memFree=124264596/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2832 CPUtime=1794.59 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 269 6867 0 0 0 0 175387 4072 20 0 1 0 61777041 10170368 708 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 708 619 264 0 134 0
[pid=338105] ppid=337138 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/338105/stat : 338105 (timeout) S 337138 338105 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61956843 8867840 250 134679101440 94313352126464 94313352161480 140729337767376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94313354258896 94313354261028 94313372172288 140729337770996 140729337771165 140729337771165 140729337778151 0
/proc/338105/statm: 2165 250 226 9 0 87 0
[pid=338106] ppid=338105 vsize=110072 memory=83620 CPUtime=1779.47 cores=1,3
/proc/338106/stat : 338106 (Exact) R 338105 338105 334967 0 -1 4194304 14953 0 0 0 177937 10 0 0 20 0 1 0 61956843 112713728 20905 134679101440 4194304 7243121 140723461042480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 27688960 140723461047312 140723461047462 140723461047462 140723461054448 0
/proc/338106/statm: 27518 20905 804 745 0 26583 0
Current children cumulated CPU time: 3574.06 s
Current children cumulated vsize: 128664 KiB
Current children cumulated memory: 87452 KiB

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

# cumulated CPU time of all completed processes:  user=3546.94 s, system=40.8493 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.15 4.17 5/252 339118
/proc/meminfo: memFree=124264008/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2832 CPUtime=1794.59 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 269 6867 0 0 0 0 175387 4072 20 0 1 0 61777041 10170368 708 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 708 619 264 0 134 0
[pid=338105] ppid=337138 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/338105/stat : 338105 (timeout) S 337138 338105 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61956843 8867840 250 134679101440 94313352126464 94313352161480 140729337767376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94313354258896 94313354261028 94313372172288 140729337770996 140729337771165 140729337771165 140729337778151 0
/proc/338105/statm: 2165 250 226 9 0 87 0
[pid=338106] ppid=338105 vsize=110072 memory=83620 CPUtime=1781.17 cores=1,3
/proc/338106/stat : 338106 (Exact) R 338105 338105 334967 0 -1 4194304 14953 0 0 0 178107 10 0 0 20 0 1 0 61956843 112713728 20905 134679101440 4194304 7243121 140723461042480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 27688960 140723461047312 140723461047462 140723461047462 140723461054448 0
/proc/338106/statm: 27518 20905 804 745 0 26583 0
Current children cumulated CPU time: 3575.76 s
Current children cumulated vsize: 128664 KiB
Current children cumulated memory: 87452 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.15 4.17 5/252 339118
/proc/meminfo: memFree=124263856/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2832 CPUtime=1794.59 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 269 6867 0 0 0 0 175387 4072 20 0 1 0 61777041 10170368 708 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 708 619 264 0 134 0
[pid=338105] ppid=337138 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/338105/stat : 338105 (timeout) S 337138 338105 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61956843 8867840 250 134679101440 94313352126464 94313352161480 140729337767376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94313354258896 94313354261028 94313372172288 140729337770996 140729337771165 140729337771165 140729337778151 0
/proc/338105/statm: 2165 250 226 9 0 87 0
[pid=338106] ppid=338105 vsize=110292 memory=83832 CPUtime=1787.55 cores=1,3
/proc/338106/stat : 338106 (Exact) R 338105 338105 334967 0 -1 4194304 14995 0 0 0 178745 10 0 0 20 0 1 0 61956843 112939008 20958 134679101440 4194304 7243121 140723461042480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 27688960 140723461047312 140723461047462 140723461047462 140723461054448 0
/proc/338106/statm: 27573 20958 804 745 0 26638 0
Current children cumulated CPU time: 3582.14 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 87664 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.15 4.17 5/252 339118
/proc/meminfo: memFree=124263836/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2832 CPUtime=1794.59 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 269 6867 0 0 0 0 175387 4072 20 0 1 0 61777041 10170368 708 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 708 619 264 0 134 0
[pid=338105] ppid=337138 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/338105/stat : 338105 (timeout) S 337138 338105 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61956843 8867840 250 134679101440 94313352126464 94313352161480 140729337767376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94313354258896 94313354261028 94313372172288 140729337770996 140729337771165 140729337771165 140729337778151 0
/proc/338105/statm: 2165 250 226 9 0 87 0
[pid=338106] ppid=338105 vsize=110292 memory=83832 CPUtime=1790.74 cores=1,3
/proc/338106/stat : 338106 (Exact) R 338105 338105 334967 0 -1 4194304 15000 0 0 0 179064 10 0 0 20 0 1 0 61956843 112939008 20958 134679101440 4194304 7243121 140723461042480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 27688960 140723461047312 140723461047462 140723461047462 140723461054448 0
/proc/338106/statm: 27573 20958 804 745 0 26638 0
Current children cumulated CPU time: 3585.33 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 87664 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.15 4.17 5/252 339119
/proc/meminfo: memFree=124263808/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2832 CPUtime=1794.59 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 269 6867 0 0 0 0 175387 4072 20 0 1 0 61777041 10170368 708 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 708 619 264 0 134 0
[pid=338105] ppid=337138 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/338105/stat : 338105 (timeout) S 337138 338105 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61956843 8867840 250 134679101440 94313352126464 94313352161480 140729337767376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94313354258896 94313354261028 94313372172288 140729337770996 140729337771165 140729337771165 140729337778151 0
/proc/338105/statm: 2165 250 226 9 0 87 0
[pid=338106] ppid=338105 vsize=110292 memory=83832 CPUtime=1792.33 cores=1,3
/proc/338106/stat : 338106 (Exact) R 338105 338105 334967 0 -1 4194304 15000 0 0 0 179223 10 0 0 20 0 1 0 61956843 112939008 20958 134679101440 4194304 7243121 140723461042480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 27688960 140723461047312 140723461047462 140723461047462 140723461054448 0
/proc/338106/statm: 27573 20958 804 745 0 26638 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 87664 KiB

[startup+3595.6 s]
/proc/loadavg: 4.14 4.15 4.17 5/252 339119
/proc/meminfo: memFree=124263808/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2832 CPUtime=1794.59 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 269 6867 0 0 0 0 175387 4072 20 0 1 0 61777041 10170368 708 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 708 619 264 0 134 0
[pid=338105] ppid=337138 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/338105/stat : 338105 (timeout) S 337138 338105 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61956843 8867840 250 134679101440 94313352126464 94313352161480 140729337767376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94313354258896 94313354261028 94313372172288 140729337770996 140729337771165 140729337771165 140729337778151 0
/proc/338105/statm: 2165 250 226 9 0 87 0
[pid=338106] ppid=338105 vsize=110292 memory=83832 CPUtime=1792.73 cores=1,3
/proc/338106/stat : 338106 (Exact) R 338105 338105 334967 0 -1 4194304 15000 0 0 0 179263 10 0 0 20 0 1 0 61956843 112939008 20958 134679101440 4194304 7243121 140723461042480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 27688960 140723461047312 140723461047462 140723461047462 140723461054448 0
/proc/338106/statm: 27573 20958 804 745 0 26638 0
Current children cumulated CPU time: 3587.32 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 87664 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.15 4.17 5/252 339119
/proc/meminfo: memFree=124263836/131655788 swapFree=131071996/131071996
[pid=337138] ppid=337134 vsize=9932 memory=2832 CPUtime=1794.59 cores=1,3
/proc/337138/stat : 337138 (Hybrid-LSMabP+E) S 337134 337138 334967 0 -1 4194304 269 6867 0 0 0 0 175387 4072 20 0 1 0 61777041 10170368 708 134679101440 94634883022848 94634884102168 140723334272928 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94634886200624 94634886247812 94634917900288 140723334276074 140723334276219 140723334276219 140723334283234 0
/proc/337138/statm: 2483 708 619 264 0 134 0
[pid=338105] ppid=337138 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/338105/stat : 338105 (timeout) S 337138 338105 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61956843 8867840 250 134679101440 94313352126464 94313352161480 140729337767376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94313354258896 94313354261028 94313372172288 140729337770996 140729337771165 140729337771165 140729337778151 0
/proc/338105/statm: 2165 250 226 9 0 87 0
[pid=338106] ppid=338105 vsize=110292 memory=83832 CPUtime=1793.14 cores=1,3
/proc/338106/stat : 338106 (Exact) R 338105 338105 334967 0 -1 4194304 15000 0 0 0 179304 10 0 0 20 0 1 0 61956843 112939008 20958 134679101440 4194304 7243121 140723461042480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 27688960 140723461047312 140723461047462 140723461047462 140723461054448 0
/proc/338106/statm: 27573 20958 804 745 0 26638 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 128884 KiB
Current children cumulated memory: 87664 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3587.79
CPU user time (s): 3546.94
CPU system time (s): 40.8493
CPU usage (%): 99.7706
Max. virtual memory (cumulated for all children) (KiB): 128884
Max. memory (cumulated for all children) (KiB): 87664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.94
system time used= 40.8493
maximum resident set size= 113060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98
involuntary context switches= 1985


# summary of solver processes directly reported to runsolver:
#   pid: 337138
#   total CPU time (s): 3587.79
#   total CPU user time (s): 3546.94
#   total CPU system time (s): 40.8493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1871 second user time and 35.5988 second system time

The end