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: 64059 MiB (63009 MiB free)
  memory of node 1: 64510 MiB (60381 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437072-1722953604/watcher-4437072-1722953604 -o /tmp/evaluation-result-4437072-1722953604/solver-4437072-1722953604 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722948202-332476 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437072-1722953604.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=335728, runsolver pid=335725
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.21 4.17 4.16 4/247 335746
/proc/meminfo: memFree=126344500/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 677 599 264 0 134 0
[pid=335731] ppid=335728 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/335731/stat : 335731 (timeout) S 335728 335731 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61956055 8867840 259 134679101440 94129464975360 94129465010376 140735409680240 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94129467107792 94129467109924 94129479716864 140735409689641 140735409689757 140735409689757 140735409696743 0
/proc/335731/statm: 2165 259 234 9 0 87 0
[pid=335732] ppid=335731 vsize=21516 memory=9288 CPUtime=0.09 cores=1,3
/proc/335732/stat : 335732 (LS-MabSP) R 335731 335731 332464 0 -1 4194304 960 0 0 0 9 0 0 0 20 0 1 0 61956055 22032384 2322 134679101440 4194304 15467897 140729388684880 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39759872 140729388692540 140729388692643 140729388692643 140729388699629 0
/proc/335732/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: 13032 KiB

[startup+0.2127 s]*
/proc/loadavg: 4.21 4.17 4.16 6/247 335748
/proc/meminfo: memFree=126479468/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 677 599 264 0 134 0
[pid=335731] ppid=335728 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/335731/stat : 335731 (timeout) S 335728 335731 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61956055 8867840 259 134679101440 94129464975360 94129465010376 140735409680240 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94129467107792 94129467109924 94129479716864 140735409689641 140735409689757 140735409689757 140735409696743 0
/proc/335731/statm: 2165 259 234 9 0 87 0
[pid=335732] ppid=335731 vsize=21516 memory=9288 CPUtime=0.21 cores=1,3
/proc/335732/stat : 335732 (LS-MabSP) R 335731 335731 332464 0 -1 4194304 960 0 0 0 21 0 0 0 20 0 1 0 61956055 22032384 2322 134679101440 4194304 15467897 140729388684880 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39759872 140729388692540 140729388692643 140729388692643 140729388699629 0
/proc/335732/statm: 5379 2322 1105 2753 0 2032 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 13032 KiB

[startup+0.313748 s]*
/proc/loadavg: 4.21 4.17 4.16 4/244 335767
/proc/meminfo: memFree=126483028/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 677 599 264 0 134 0
[pid=335731] ppid=335728 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/335731/stat : 335731 (timeout) S 335728 335731 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61956055 8867840 259 134679101440 94129464975360 94129465010376 140735409680240 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94129467107792 94129467109924 94129479716864 140735409689641 140735409689757 140735409689757 140735409696743 0
/proc/335731/statm: 2165 259 234 9 0 87 0
[pid=335732] ppid=335731 vsize=21516 memory=9288 CPUtime=0.3 cores=1,3
/proc/335732/stat : 335732 (LS-MabSP) R 335731 335731 332464 0 -1 4194304 960 0 0 0 30 0 0 0 20 0 1 0 61956055 22032384 2322 134679101440 4194304 15467897 140729388684880 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39759872 140729388692540 140729388692643 140729388692643 140729388699629 0
/proc/335732/statm: 5379 2322 1105 2753 0 2032 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 13032 KiB

[startup+0.70051 s]
/proc/loadavg: 4.21 4.17 4.16 5/252 335783
/proc/meminfo: memFree=126427808/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 677 599 264 0 134 0
[pid=335731] ppid=335728 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/335731/stat : 335731 (timeout) S 335728 335731 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61956055 8867840 259 134679101440 94129464975360 94129465010376 140735409680240 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94129467107792 94129467109924 94129479716864 140735409689641 140735409689757 140735409689757 140735409696743 0
/proc/335731/statm: 2165 259 234 9 0 87 0
[pid=335732] ppid=335731 vsize=43284 memory=36084 CPUtime=0.67 cores=1,3
/proc/335732/stat : 335732 (LS-MabSP) R 335731 335731 332464 0 -1 4194304 6256 0 0 0 65 2 0 0 20 0 1 0 61956055 44322816 9021 134679101440 4194304 15467897 140729388684880 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39759872 140729388692540 140729388692643 140729388692643 140729388699629 0
/proc/335732/statm: 10821 9021 2817 2753 0 7474 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 61876 KiB
Current children cumulated memory: 39828 KiB

[startup+1.50044 s]
/proc/loadavg: 4.21 4.17 4.16 5/252 335783
/proc/meminfo: memFree=126364952/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 677 599 264 0 134 0
[pid=335731] ppid=335728 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/335731/stat : 335731 (timeout) S 335728 335731 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61956055 8867840 259 134679101440 94129464975360 94129465010376 140735409680240 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94129467107792 94129467109924 94129479716864 140735409689641 140735409689757 140735409689757 140735409696743 0
/proc/335731/statm: 2165 259 234 9 0 87 0
[pid=335732] ppid=335731 vsize=48404 memory=40592 CPUtime=1.48 cores=1,3
/proc/335732/stat : 335732 (LS-MabSP) R 335731 335731 332464 0 -1 4194304 7407 0 0 0 145 3 0 0 20 0 1 0 61956055 49565696 10148 134679101440 4194304 15467897 140729388684880 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39759872 140729388692540 140729388692643 140729388692643 140729388699629 0
/proc/335732/statm: 12101 10148 2833 2753 0 8754 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 44336 KiB

[startup+3.11244 s]
/proc/loadavg: 4.21 4.17 4.16 5/252 335783
/proc/meminfo: memFree=126264608/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 677 599 264 0 134 0
[pid=335731] ppid=335728 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/335731/stat : 335731 (timeout) S 335728 335731 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61956055 8867840 259 134679101440 94129464975360 94129465010376 140735409680240 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94129467107792 94129467109924 94129479716864 140735409689641 140735409689757 140735409689757 140735409696743 0
/proc/335731/statm: 2165 259 234 9 0 87 0
[pid=335732] ppid=335731 vsize=73936 memory=64348 CPUtime=3.08 cores=1,3
/proc/335732/stat : 335732 (LS-MabSP) R 335731 335731 332464 0 -1 4194304 13340 0 0 0 304 4 0 0 20 0 1 0 61956055 75710464 16087 134679101440 4194304 15467897 140729388684880 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39759872 140729388692540 140729388692643 140729388692643 140729388699629 0
/proc/335732/statm: 18484 16087 2833 2753 0 15137 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 92528 KiB
Current children cumulated memory: 68092 KiB

[startup+6.30041 s]
/proc/loadavg: 4.20 4.16 4.16 5/252 335783
/proc/meminfo: memFree=126123020/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 677 599 264 0 134 0
[pid=335731] ppid=335728 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/335731/stat : 335731 (timeout) S 335728 335731 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61956055 8867840 259 134679101440 94129464975360 94129465010376 140735409680240 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94129467107792 94129467109924 94129479716864 140735409689641 140735409689757 140735409689757 140735409696743 0
/proc/335731/statm: 2165 259 234 9 0 87 0
[pid=335732] ppid=335731 vsize=124132 memory=113588 CPUtime=6.26 cores=1,3
/proc/335732/stat : 335732 (LS-MabSP) R 335731 335731 332464 0 -1 4194304 25960 0 0 0 620 6 0 0 20 0 1 0 61956055 127111168 28397 134679101440 4194304 15467897 140729388684880 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39759872 140729388692540 140729388692643 140729388692643 140729388699629 0
/proc/335732/statm: 31033 28397 2833 2753 0 27686 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 142724 KiB
Current children cumulated memory: 117332 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.16 4.16 5/252 335785
/proc/meminfo: memFree=125900068/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 677 599 264 0 134 0
[pid=335731] ppid=335728 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/335731/stat : 335731 (timeout) S 335728 335731 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61956055 8867840 259 134679101440 94129464975360 94129465010376 140735409680240 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94129467107792 94129467109924 94129479716864 140735409689641 140735409689757 140735409689757 140735409696743 0
/proc/335731/statm: 2165 259 234 9 0 87 0
[pid=335732] ppid=335731 vsize=155624 memory=140820 CPUtime=12.65 cores=1,3
/proc/335732/stat : 335732 (LS-MabSP) R 335731 335731 332464 0 -1 4194304 33434 0 0 0 1257 8 0 0 20 0 1 0 61956055 159358976 35205 134679101440 4194304 15467897 140729388684880 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39759872 140729388692540 140729388692643 140729388692643 140729388699629 0
/proc/335732/statm: 38906 35205 2833 2753 0 35559 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 174216 KiB
Current children cumulated memory: 144564 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.15 4.16 5/252 335787
/proc/meminfo: memFree=125886232/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 677 599 264 0 134 0
[pid=335731] ppid=335728 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/335731/stat : 335731 (timeout) S 335728 335731 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61956055 8867840 259 134679101440 94129464975360 94129465010376 140735409680240 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94129467107792 94129467109924 94129479716864 140735409689641 140735409689757 140735409689757 140735409696743 0
/proc/335731/statm: 2165 259 234 9 0 87 0
[pid=335732] ppid=335731 vsize=161740 memory=146876 CPUtime=25.42 cores=1,3
/proc/335732/stat : 335732 (LS-MabSP) R 335731 335731 332464 0 -1 4194304 34967 0 0 0 2534 8 0 0 20 0 1 0 61956055 165621760 36719 134679101440 4194304 15467897 140729388684880 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39759872 140729388692540 140729388692643 140729388692643 140729388699629 0
/proc/335732/statm: 40435 36719 2833 2753 0 37088 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 180332 KiB
Current children cumulated memory: 150620 KiB

[startup+51.1126 s]
/proc/loadavg: 4.16 4.16 4.16 5/252 335792
/proc/meminfo: memFree=125741628/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 677 599 264 0 134 0
[pid=335731] ppid=335728 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/335731/stat : 335731 (timeout) S 335728 335731 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61956055 8867840 259 134679101440 94129464975360 94129465010376 140735409680240 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94129467107792 94129467109924 94129479716864 140735409689641 140735409689757 140735409689757 140735409696743 0
/proc/335731/statm: 2165 259 234 9 0 87 0
[pid=335732] ppid=335731 vsize=182976 memory=167844 CPUtime=50.96 cores=1,3
/proc/335732/stat : 335732 (LS-MabSP) R 335731 335731 332464 0 -1 4194304 41162 0 0 0 5087 9 0 0 20 0 1 0 61956055 187367424 41961 134679101440 4194304 15467897 140729388684880 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39759872 140729388692540 140729388692643 140729388692643 140729388699629 0
/proc/335732/statm: 45744 41961 2833 2753 0 42397 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 201568 KiB
Current children cumulated memory: 171588 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/252 335801
/proc/meminfo: memFree=125448028/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2708 CPUtime=0 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 61956054 10170368 677 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0

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

/proc/336729/statm: 51791 49017 748 737 0 50879 0
Current children cumulated CPU time: 3394.18 s
Current children cumulated vsize: 225756 KiB
Current children cumulated memory: 199796 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.37 4.22 5/252 337684
/proc/meminfo: memFree=124875928/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2752 CPUtime=1794.38 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 268 127865 0 0 0 0 174729 4709 20 0 1 0 61956054 10170368 688 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 688 599 264 0 134 0
[pid=336728] ppid=335728 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336728/stat : 336728 (timeout) S 335728 336728 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62135855 8867840 244 134679101440 93981074542592 93981074577608 140725179435984 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93981076675024 93981076677156 93981094260736 140725179438068 140725179438237 140725179438237 140725179445223 0
/proc/336728/statm: 2165 244 220 9 0 87 0
[pid=336729] ppid=336728 vsize=208252 memory=197088 CPUtime=1659.65 cores=1,3
/proc/336729/stat : 336729 (Exact) R 336728 336728 332464 0 -1 4194304 28647 0 0 0 165955 10 0 0 20 0 1 0 62135856 213250048 49272 134679101440 4194304 7210733 140722550852192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 24879104 140722550858768 140722550858918 140722550858918 140722550865904 0
/proc/336729/statm: 52063 49272 748 737 0 51151 0
Current children cumulated CPU time: 3454.03 s
Current children cumulated vsize: 226844 KiB
Current children cumulated memory: 200816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.31 4.21 5/253 337696
/proc/meminfo: memFree=124872408/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2752 CPUtime=1794.38 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 268 127865 0 0 0 0 174729 4709 20 0 1 0 61956054 10170368 688 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 688 599 264 0 134 0
[pid=336728] ppid=335728 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336728/stat : 336728 (timeout) S 335728 336728 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62135855 8867840 244 134679101440 93981074542592 93981074577608 140725179435984 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93981076675024 93981076677156 93981094260736 140725179438068 140725179438237 140725179438237 140725179445223 0
/proc/336728/statm: 2165 244 220 9 0 87 0
[pid=336729] ppid=336728 vsize=208636 memory=197480 CPUtime=1719.51 cores=1,3
/proc/336729/stat : 336729 (Exact) R 336728 336728 332464 0 -1 4194304 28841 0 0 0 171941 10 0 0 20 0 1 0 62135856 213643264 49370 134679101440 4194304 7210733 140722550852192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 24879104 140722550858768 140722550858918 140722550858918 140722550865904 0
/proc/336729/statm: 52159 49370 748 737 0 51247 0
Current children cumulated CPU time: 3513.89 s
Current children cumulated vsize: 227228 KiB
Current children cumulated memory: 201208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.28 4.21 5/253 337707
/proc/meminfo: memFree=124869960/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2752 CPUtime=1794.38 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 268 127865 0 0 0 0 174729 4709 20 0 1 0 61956054 10170368 688 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 688 599 264 0 134 0
[pid=336728] ppid=335728 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336728/stat : 336728 (timeout) S 335728 336728 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62135855 8867840 244 134679101440 93981074542592 93981074577608 140725179435984 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93981076675024 93981076677156 93981094260736 140725179438068 140725179438237 140725179438237 140725179445223 0
/proc/336728/statm: 2165 244 220 9 0 87 0
[pid=336729] ppid=336728 vsize=209212 memory=198016 CPUtime=1779.36 cores=1,3
/proc/336729/stat : 336729 (Exact) R 336728 336728 332464 0 -1 4194304 29050 0 0 0 177926 10 0 0 20 0 1 0 62135856 214233088 49504 134679101440 4194304 7210733 140722550852192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 24879104 140722550858768 140722550858918 140722550858918 140722550865904 0
/proc/336729/statm: 52303 49504 748 737 0 51391 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201744 KiB

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

# cumulated CPU time of all completed processes:  user=3540.27 s, system=47.223 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.28 4.21 5/253 337707
/proc/meminfo: memFree=124869960/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2752 CPUtime=1794.38 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 268 127865 0 0 0 0 174729 4709 20 0 1 0 61956054 10170368 688 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 688 599 264 0 134 0
[pid=336728] ppid=335728 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336728/stat : 336728 (timeout) S 335728 336728 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62135855 8867840 244 134679101440 93981074542592 93981074577608 140725179435984 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93981076675024 93981076677156 93981094260736 140725179438068 140725179438237 140725179438237 140725179445223 0
/proc/336728/statm: 2165 244 220 9 0 87 0
[pid=336729] ppid=336728 vsize=209212 memory=198016 CPUtime=1781.07 cores=1,3
/proc/336729/stat : 336729 (Exact) R 336728 336728 332464 0 -1 4194304 29050 0 0 0 178097 10 0 0 20 0 1 0 62135856 214233088 49504 134679101440 4194304 7210733 140722550852192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 24879104 140722550858768 140722550858918 140722550858918 140722550865904 0
/proc/336729/statm: 52303 49504 748 737 0 51391 0
Current children cumulated CPU time: 3575.45 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201744 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869968/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2752 CPUtime=1794.38 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 268 127865 0 0 0 0 174729 4709 20 0 1 0 61956054 10170368 688 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 688 599 264 0 134 0
[pid=336728] ppid=335728 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336728/stat : 336728 (timeout) S 335728 336728 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62135855 8867840 244 134679101440 93981074542592 93981074577608 140725179435984 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93981076675024 93981076677156 93981094260736 140725179438068 140725179438237 140725179438237 140725179445223 0
/proc/336728/statm: 2165 244 220 9 0 87 0
[pid=336729] ppid=336728 vsize=209212 memory=198016 CPUtime=1787.44 cores=1,3
/proc/336729/stat : 336729 (Exact) R 336728 336728 332464 0 -1 4194304 29050 0 0 0 178734 10 0 0 20 0 1 0 62135856 214233088 49504 134679101440 4194304 7210733 140722550852192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 24879104 140722550858768 140722550858918 140722550858918 140722550865904 0
/proc/336729/statm: 52303 49504 748 737 0 51391 0
Current children cumulated CPU time: 3581.82 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201744 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2752 CPUtime=1794.38 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 268 127865 0 0 0 0 174729 4709 20 0 1 0 61956054 10170368 688 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 688 599 264 0 134 0
[pid=336728] ppid=335728 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336728/stat : 336728 (timeout) S 335728 336728 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62135855 8867840 244 134679101440 93981074542592 93981074577608 140725179435984 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93981076675024 93981076677156 93981094260736 140725179438068 140725179438237 140725179438237 140725179445223 0
/proc/336728/statm: 2165 244 220 9 0 87 0
[pid=336729] ppid=336728 vsize=209212 memory=198016 CPUtime=1790.64 cores=1,3
/proc/336729/stat : 336729 (Exact) R 336728 336728 332464 0 -1 4194304 29050 0 0 0 179054 10 0 0 20 0 1 0 62135856 214233088 49504 134679101440 4194304 7210733 140722550852192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 24879104 140722550858768 140722550858918 140722550858918 140722550865904 0
/proc/336729/statm: 52303 49504 748 737 0 51391 0
Current children cumulated CPU time: 3585.02 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201744 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2752 CPUtime=1794.38 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 268 127865 0 0 0 0 174729 4709 20 0 1 0 61956054 10170368 688 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 688 599 264 0 134 0
[pid=336728] ppid=335728 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336728/stat : 336728 (timeout) S 335728 336728 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62135855 8867840 244 134679101440 93981074542592 93981074577608 140725179435984 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93981076675024 93981076677156 93981094260736 140725179438068 140725179438237 140725179438237 140725179445223 0
/proc/336728/statm: 2165 244 220 9 0 87 0
[pid=336729] ppid=336728 vsize=209212 memory=198016 CPUtime=1792.23 cores=1,3
/proc/336729/stat : 336729 (Exact) R 336728 336728 332464 0 -1 4194304 29050 0 0 0 179213 10 0 0 20 0 1 0 62135856 214233088 49504 134679101440 4194304 7210733 140722550852192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 24879104 140722550858768 140722550858918 140722550858918 140722550865904 0
/proc/336729/statm: 52303 49504 748 737 0 51391 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201744 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2752 CPUtime=1794.38 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 268 127865 0 0 0 0 174729 4709 20 0 1 0 61956054 10170368 688 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 688 599 264 0 134 0
[pid=336728] ppid=335728 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336728/stat : 336728 (timeout) S 335728 336728 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62135855 8867840 244 134679101440 93981074542592 93981074577608 140725179435984 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93981076675024 93981076677156 93981094260736 140725179438068 140725179438237 140725179438237 140725179445223 0
/proc/336728/statm: 2165 244 220 9 0 87 0
[pid=336729] ppid=336728 vsize=209212 memory=198016 CPUtime=1792.63 cores=1,3
/proc/336729/stat : 336729 (Exact) R 336728 336728 332464 0 -1 4194304 29050 0 0 0 179253 10 0 0 20 0 1 0 62135856 214233088 49504 134679101440 4194304 7210733 140722550852192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 24879104 140722550858768 140722550858918 140722550858918 140722550865904 0
/proc/336729/statm: 52303 49504 748 737 0 51391 0
Current children cumulated CPU time: 3587.01 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201744 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.27 4.20 5/253 337709
/proc/meminfo: memFree=125038608/131655788 swapFree=131071996/131071996
[pid=335728] ppid=335725 vsize=9932 memory=2752 CPUtime=1794.38 cores=1,3
/proc/335728/stat : 335728 (Hybrid-LSMabSP+) S 335725 335728 332464 0 -1 4194304 268 127865 0 0 0 0 174729 4709 20 0 1 0 61956054 10170368 688 134679101440 94548458577920 94548459657240 140733286353344 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94548461755696 94548461802884 94548476837888 140733286355944 140733286356090 140733286356090 140733286363105 0
/proc/335728/statm: 2483 688 599 264 0 134 0
[pid=336728] ppid=335728 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/336728/stat : 336728 (timeout) S 335728 336728 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62135855 8867840 244 134679101440 93981074542592 93981074577608 140725179435984 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93981076675024 93981076677156 93981094260736 140725179438068 140725179438237 140725179438237 140725179445223 0
/proc/336728/statm: 2165 244 220 9 0 87 0
[pid=336729] ppid=336728 vsize=209212 memory=198016 CPUtime=1793.04 cores=1,3
/proc/336729/stat : 336729 (Exact) R 336728 336728 332464 0 -1 4194304 29050 0 0 0 179294 10 0 0 20 0 1 0 62135856 214233088 49504 134679101440 4194304 7210733 140722550852192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 24879104 140722550858768 140722550858918 140722550858918 140722550865904 0
/proc/336729/statm: 52303 49504 748 737 0 51391 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 227804 KiB
Current children cumulated memory: 201744 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3587.49
CPU user time (s): 3540.27
CPU system time (s): 47.223
CPU usage (%): 99.7621
Max. virtual memory (cumulated for all children) (KiB): 533752
Max. memory (cumulated for all children) (KiB): 500908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.27
system time used= 47.223
maximum resident set size= 497164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161
involuntary context switches= 5786


# summary of solver processes directly reported to runsolver:
#   pid: 335728
#   total CPU time (s): 3587.49
#   total CPU user time (s): 3540.27
#   total CPU system time (s): 47.223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9048 second user time and 36.1572 second system time

The end