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: 63708 MiB (60259 MiB free)
  memory of node 1: 64465 MiB (61398 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484935-1751299729/watcher-4484935-1751299729 -o /tmp/evaluation-result-4484935-1751299729/solver-4484935-1751299729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751292533-48976 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4484935-1751299729.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49873, runsolver pid=49870

[startup+0.100019 s]*
/proc/loadavg: 4.24 4.15 4.10 5/272 49877
/proc/meminfo: memFree=124577996/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49876/stat : 49876 (timeout) S 49873 49876 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45651635 2723840 352 18446744073709551615 94494102114304 94494102130817 140727632976080 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94494102145584 94494102147672 94494110179328 140727632984496 140727632984610 140727632984610 140727632990183 0
/proc/49876/statm: 665 352 352 5 0 90 0
[pid=49877] ppid=49876 vsize=25284 memory=10452 CPUtime=0.07 cores=5,7
/proc/49877/stat : 49877 (NuPBO-DeepOptS+) R 49876 49876 48963 0 -1 4194304 1617 0 0 0 7 0 0 0 20 0 1 0 45651636 25890816 2613 18446744073709551615 4198400 15468185 140731714487280 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 29990912 140731714492860 140731714492961 140731714492961 140731714498534 0
/proc/49877/statm: 6321 2613 1088 2752 0 2974 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32268 KiB
Current children cumulated memory: 14804 KiB

[startup+0.205614 s]*
/proc/loadavg: 4.24 4.15 4.10 5/272 49877
/proc/meminfo: memFree=124577996/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49876/stat : 49876 (timeout) S 49873 49876 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45651635 2723840 352 18446744073709551615 94494102114304 94494102130817 140727632976080 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94494102145584 94494102147672 94494110179328 140727632984496 140727632984610 140727632984610 140727632990183 0
/proc/49876/statm: 665 352 352 5 0 90 0
[pid=49877] ppid=49876 vsize=27332 memory=12720 CPUtime=0.18 cores=5,7
/proc/49877/stat : 49877 (NuPBO-DeepOptS+) R 49876 49876 48963 0 -1 4194304 2176 0 0 0 18 0 0 0 20 0 1 0 45651636 27987968 3180 18446744073709551615 4198400 15468185 140731714487280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29990912 140731714492860 140731714492961 140731714492961 140731714498534 0
/proc/49877/statm: 6833 3180 1088 2752 0 3486 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 34316 KiB
Current children cumulated memory: 17072 KiB

[startup+0.3049 s]*
/proc/loadavg: 4.24 4.15 4.10 5/272 49877
/proc/meminfo: memFree=124562120/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49876/stat : 49876 (timeout) S 49873 49876 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45651635 2723840 352 18446744073709551615 94494102114304 94494102130817 140727632976080 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94494102145584 94494102147672 94494110179328 140727632984496 140727632984610 140727632984610 140727632990183 0
/proc/49876/statm: 665 352 352 5 0 90 0
[pid=49877] ppid=49876 vsize=53472 memory=36368 CPUtime=0.27 cores=5,7
/proc/49877/stat : 49877 (NuPBO-DeepOptS+) R 49876 49876 48963 0 -1 4194304 7592 0 0 0 26 1 0 0 20 0 1 0 45651636 54755328 9060 18446744073709551615 4198400 15468185 140731714487280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29990912 140731714492860 140731714492961 140731714492961 140731714498534 0
/proc/49877/statm: 13368 9092 1088 2752 0 10021 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 60456 KiB
Current children cumulated memory: 40720 KiB

[startup+0.700176 s]
/proc/loadavg: 4.24 4.15 4.10 5/272 49877
/proc/meminfo: memFree=124558892/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49876/stat : 49876 (timeout) S 49873 49876 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45651635 2723840 352 18446744073709551615 94494102114304 94494102130817 140727632976080 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94494102145584 94494102147672 94494110179328 140727632984496 140727632984610 140727632984610 140727632990183 0
/proc/49876/statm: 665 352 352 5 0 90 0
[pid=49877] ppid=49876 vsize=61672 memory=45456 CPUtime=0.66 cores=5,7
/proc/49877/stat : 49877 (NuPBO-DeepOptS+) R 49876 49876 48963 0 -1 4194304 9824 0 0 0 65 1 0 0 20 0 1 0 45651636 63152128 11364 18446744073709551615 4198400 15468185 140731714487280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29990912 140731714492860 140731714492961 140731714492961 140731714498534 0
/proc/49877/statm: 15418 11364 1152 2752 0 12071 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 68656 KiB
Current children cumulated memory: 49808 KiB

[startup+1.50018 s]
/proc/loadavg: 4.24 4.15 4.10 5/272 49877
/proc/meminfo: memFree=124558892/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49876/stat : 49876 (timeout) S 49873 49876 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45651635 2723840 352 18446744073709551615 94494102114304 94494102130817 140727632976080 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94494102145584 94494102147672 94494110179328 140727632984496 140727632984610 140727632984610 140727632990183 0
/proc/49876/statm: 665 352 352 5 0 90 0
[pid=49877] ppid=49876 vsize=61672 memory=45456 CPUtime=1.46 cores=5,7
/proc/49877/stat : 49877 (NuPBO-DeepOptS+) R 49876 49876 48963 0 -1 4194304 9824 0 0 0 145 1 0 0 20 0 1 0 45651636 63152128 11364 18446744073709551615 4198400 15468185 140731714487280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29990912 140731714492860 140731714492961 140731714492961 140731714498534 0
/proc/49877/statm: 15418 11364 1152 2752 0 12071 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 68656 KiB
Current children cumulated memory: 49808 KiB

[startup+3.10553 s]
/proc/loadavg: 4.24 4.15 4.10 5/272 49947
/proc/meminfo: memFree=124466088/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49876/stat : 49876 (timeout) S 49873 49876 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45651635 2723840 352 18446744073709551615 94494102114304 94494102130817 140727632976080 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94494102145584 94494102147672 94494110179328 140727632984496 140727632984610 140727632984610 140727632990183 0
/proc/49876/statm: 665 352 352 5 0 90 0
[pid=49877] ppid=49876 vsize=428068 memory=380924 CPUtime=3.06 cores=5,7
/proc/49877/stat : 49877 (NuPBO-DeepOptS+) R 49876 49876 48963 0 -1 4194304 58287 0 0 0 294 12 0 0 20 0 1 0 45651636 438341632 95231 18446744073709551615 4198400 15468185 140731714487280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29990912 140731714492860 140731714492961 140731714492961 140731714498534 0
/proc/49877/statm: 107017 95231 2720 2752 0 103670 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 435052 KiB
Current children cumulated memory: 385276 KiB

[startup+6.30014 s]
/proc/loadavg: 4.22 4.14 4.10 5/272 49947
/proc/meminfo: memFree=123976996/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49876/stat : 49876 (timeout) S 49873 49876 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45651635 2723840 352 18446744073709551615 94494102114304 94494102130817 140727632976080 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94494102145584 94494102147672 94494110179328 140727632984496 140727632984610 140727632984610 140727632990183 0
/proc/49876/statm: 665 352 352 5 0 90 0
[pid=49877] ppid=49876 vsize=543488 memory=481048 CPUtime=6.25 cores=5,7
/proc/49877/stat : 49877 (NuPBO-DeepOptS+) R 49876 49876 48963 0 -1 4194304 82386 0 0 0 609 16 0 0 20 0 1 0 45651636 556531712 120262 18446744073709551615 4198400 15468185 140731714487280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29990912 140731714492860 140731714492961 140731714492961 140731714498534 0
/proc/49877/statm: 135872 120262 2816 2752 0 132525 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 550472 KiB
Current children cumulated memory: 485400 KiB

[startup+12.7001 s]
/proc/loadavg: 4.20 4.14 4.10 5/272 49947
/proc/meminfo: memFree=123975492/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49876/stat : 49876 (timeout) S 49873 49876 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45651635 2723840 352 18446744073709551615 94494102114304 94494102130817 140727632976080 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94494102145584 94494102147672 94494110179328 140727632984496 140727632984610 140727632984610 140727632990183 0
/proc/49876/statm: 665 352 352 5 0 90 0
[pid=49877] ppid=49876 vsize=566940 memory=482328 CPUtime=12.64 cores=5,7
/proc/49877/stat : 49877 (NuPBO-DeepOptS+) R 49876 49876 48963 0 -1 4194304 82711 0 0 0 1248 16 0 0 20 0 1 0 45651636 580546560 120582 18446744073709551615 4198400 15468185 140731714487280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29990912 140731714492860 140731714492961 140731714492961 140731714498534 0
/proc/49877/statm: 141735 120582 2816 2752 0 138388 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 573924 KiB
Current children cumulated memory: 486680 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.14 4.10 5/272 49947
/proc/meminfo: memFree=123865784/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49876/stat : 49876 (timeout) S 49873 49876 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45651635 2723840 352 18446744073709551615 94494102114304 94494102130817 140727632976080 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94494102145584 94494102147672 94494110179328 140727632984496 140727632984610 140727632984610 140727632990183 0
/proc/49876/statm: 665 352 352 5 0 90 0
[pid=49877] ppid=49876 vsize=655932 memory=497144 CPUtime=25.4 cores=5,7
/proc/49877/stat : 49877 (NuPBO-DeepOptS+) R 49876 49876 48963 0 -1 4194304 85414 0 0 0 2523 17 0 0 20 0 1 0 45651636 671674368 124286 18446744073709551615 4198400 15468185 140731714487280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29990912 140731714492860 140731714492961 140731714492961 140731714498534 0
/proc/49877/statm: 163983 124286 2816 2752 0 160636 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 662916 KiB
Current children cumulated memory: 501496 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.14 4.10 5/271 49949
/proc/meminfo: memFree=125057744/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49876/stat : 49876 (timeout) S 49873 49876 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45651635 2723840 352 18446744073709551615 94494102114304 94494102130817 140727632976080 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94494102145584 94494102147672 94494110179328 140727632984496 140727632984610 140727632984610 140727632990183 0
/proc/49876/statm: 665 352 352 5 0 90 0
[pid=49877] ppid=49876 vsize=800244 memory=603424 CPUtime=50.93 cores=5,7
/proc/49877/stat : 49877 (NuPBO-DeepOptS+) R 49876 49876 48963 0 -1 4194304 111460 0 0 0 5073 20 0 0 20 0 1 0 45651636 819449856 150856 18446744073709551615 4198400 15468185 140731714487280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29990912 140731714492860 140731714492961 140731714492961 140731714498534 0
/proc/49877/statm: 200061 150856 2848 2752 0 196714 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 807228 KiB
Current children cumulated memory: 607776 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/271 49951
/proc/meminfo: memFree=124785076/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=49876] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=50136] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/50136/stat : 50136 (timeout) S 49873 50136 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45891438 2723840 352 18446744073709551615 94808247795712 94808247812225 140721141095520 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94808247826992 94808247829080 94808249323520 140721141098883 140721141099042 140721141099042 140721141104615 0
/proc/50136/statm: 665 352 352 5 0 90 0
[pid=50137] ppid=50136 vsize=241580 memory=202688 CPUtime=1060.86 cores=5,7
/proc/50137/stat : 50137 (ExactPR-nols) R 50136 50136 48963 0 -1 4194304 28848 0 0 0 106054 32 0 0 20 0 1 0 45891438 247377920 50672 18446744073709551615 94679216914432 94679226214085 140730920599984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94679228000576 94679228039656 94679262162944 140730920606104 140730920606244 140730920606244 140730920611817 0
/proc/50137/statm: 60395 50672 1952 2271 0 55033 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 248564 KiB
Current children cumulated memory: 207040 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/272 50277
/proc/meminfo: memFree=125402196/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=2391.17 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 281 232410 0 0 0 0 239070 47 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=50136] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/50136/stat : 50136 (timeout) S 49873 50136 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45891438 2723840 352 18446744073709551615 94808247795712 94808247812225 140721141095520 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94808247826992 94808247829080 94808249323520 140721141098883 140721141099042 140721141099042 140721141104615 0
/proc/50136/statm: 665 352 352 5 0 90 0
[pid=50137] ppid=50136 vsize=242340 memory=203456 CPUtime=1120.66 cores=5,7
/proc/50137/stat : 50137 (ExactPR-nols) R 50136 50136 48963 0 -1 4194304 29042 0 0 0 112034 32 0 0 20 0 1 0 45891438 248156160 50864 18446744073709551615 94679216914432 94679226214085 140730920599984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94679228000576 94679228039656 94679262162944 140730920606104 140730920606244 140730920606244 140730920611817 0
/proc/50137/statm: 60585 50864 1952 2271 0 55223 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 249324 KiB
Current children cumulated memory: 207808 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/272 50279
/proc/meminfo: memFree=125402692/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=2391.17 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 281 232410 0 0 0 0 239070 47 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=50136] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/50136/stat : 50136 (timeout) S 49873 50136 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45891438 2723840 352 18446744073709551615 94808247795712 94808247812225 140721141095520 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94808247826992 94808247829080 94808249323520 140721141098883 140721141099042 140721141099042 140721141104615 0
/proc/50136/statm: 665 352 352 5 0 90 0
[pid=50137] ppid=50136 vsize=242340 memory=203456 CPUtime=1180.47 cores=5,7
/proc/50137/stat : 50137 (ExactPR-nols) R 50136 50136 48963 0 -1 4194304 29058 0 0 0 118013 34 0 0 20 0 1 0 45891438 248156160 50864 18446744073709551615 94679216914432 94679226214085 140730920599984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94679228000576 94679228039656 94679262162944 140730920606104 140730920606244 140730920606244 140730920611817 0
/proc/50137/statm: 60585 50864 1952 2271 0 55223 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 249324 KiB
Current children cumulated memory: 207808 KiB

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

# cumulated CPU time of all completed processes:  user=3584.55 s, system=0.851367 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.14 4.11 5/272 50279
/proc/meminfo: memFree=125402692/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=2391.17 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 281 232410 0 0 0 0 239070 47 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=50136] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/50136/stat : 50136 (timeout) S 49873 50136 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45891438 2723840 352 18446744073709551615 94808247795712 94808247812225 140721141095520 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94808247826992 94808247829080 94808249323520 140721141098883 140721141099042 140721141099042 140721141104615 0
/proc/50136/statm: 665 352 352 5 0 90 0
[pid=50137] ppid=50136 vsize=242340 memory=203456 CPUtime=1182.17 cores=5,7
/proc/50137/stat : 50137 (ExactPR-nols) R 50136 50136 48963 0 -1 4194304 29058 0 0 0 118183 34 0 0 20 0 1 0 45891438 248156160 50864 18446744073709551615 94679216914432 94679226214085 140730920599984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94679228000576 94679228039656 94679262162944 140730920606104 140730920606244 140730920606244 140730920611817 0
/proc/50137/statm: 60585 50864 1952 2271 0 55223 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 249324 KiB
Current children cumulated memory: 207808 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.14 4.11 5/272 50279
/proc/meminfo: memFree=125401236/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=2391.17 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 281 232410 0 0 0 0 239070 47 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=50136] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/50136/stat : 50136 (timeout) S 49873 50136 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45891438 2723840 352 18446744073709551615 94808247795712 94808247812225 140721141095520 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94808247826992 94808247829080 94808249323520 140721141098883 140721141099042 140721141099042 140721141104615 0
/proc/50136/statm: 665 352 352 5 0 90 0
[pid=50137] ppid=50136 vsize=242340 memory=203456 CPUtime=1188.54 cores=5,7
/proc/50137/stat : 50137 (ExactPR-nols) R 50136 50136 48963 0 -1 4194304 29058 0 0 0 118820 34 0 0 20 0 1 0 45891438 248156160 50864 18446744073709551615 94679216914432 94679226214085 140730920599984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94679228000576 94679228039656 94679262162944 140730920606104 140730920606244 140730920606244 140730920611817 0
/proc/50137/statm: 60585 50864 1952 2271 0 55223 0
Current children cumulated CPU time: 3579.71 s
Current children cumulated vsize: 249324 KiB
Current children cumulated memory: 207808 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.14 4.11 5/272 50279
/proc/meminfo: memFree=125401236/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=2391.17 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 281 232410 0 0 0 0 239070 47 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=50136] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/50136/stat : 50136 (timeout) S 49873 50136 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45891438 2723840 352 18446744073709551615 94808247795712 94808247812225 140721141095520 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94808247826992 94808247829080 94808249323520 140721141098883 140721141099042 140721141099042 140721141104615 0
/proc/50136/statm: 665 352 352 5 0 90 0
[pid=50137] ppid=50136 vsize=242736 memory=203840 CPUtime=1191.73 cores=5,7
/proc/50137/stat : 50137 (ExactPR-nols) R 50136 50136 48963 0 -1 4194304 29143 0 0 0 119139 34 0 0 20 0 1 0 45891438 248561664 50960 18446744073709551615 94679216914432 94679226214085 140730920599984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94679228000576 94679228039656 94679262162944 140730920606104 140730920606244 140730920606244 140730920611817 0
/proc/50137/statm: 60684 50960 1952 2271 0 55322 0
Current children cumulated CPU time: 3582.9 s
Current children cumulated vsize: 249720 KiB
Current children cumulated memory: 208192 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.14 4.11 5/272 50279
/proc/meminfo: memFree=125401236/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=2391.17 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 281 232410 0 0 0 0 239070 47 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=50136] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/50136/stat : 50136 (timeout) S 49873 50136 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45891438 2723840 352 18446744073709551615 94808247795712 94808247812225 140721141095520 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94808247826992 94808247829080 94808249323520 140721141098883 140721141099042 140721141099042 140721141104615 0
/proc/50136/statm: 665 352 352 5 0 90 0
[pid=50137] ppid=50136 vsize=242736 memory=203840 CPUtime=1193.32 cores=5,7
/proc/50137/stat : 50137 (ExactPR-nols) R 50136 50136 48963 0 -1 4194304 29159 0 0 0 119298 34 0 0 20 0 1 0 45891438 248561664 50960 18446744073709551615 94679216914432 94679226214085 140730920599984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94679228000576 94679228039656 94679262162944 140730920606104 140730920606244 140730920606244 140730920611817 0
/proc/50137/statm: 60684 50960 1952 2271 0 55322 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 249720 KiB
Current children cumulated memory: 208192 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.14 4.11 5/272 50279
/proc/meminfo: memFree=125401236/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=2391.17 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 281 232410 0 0 0 0 239070 47 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=50136] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/50136/stat : 50136 (timeout) S 49873 50136 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45891438 2723840 352 18446744073709551615 94808247795712 94808247812225 140721141095520 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94808247826992 94808247829080 94808249323520 140721141098883 140721141099042 140721141099042 140721141104615 0
/proc/50136/statm: 665 352 352 5 0 90 0
[pid=50137] ppid=50136 vsize=242736 memory=203840 CPUtime=1193.72 cores=5,7
/proc/50137/stat : 50137 (ExactPR-nols) R 50136 50136 48963 0 -1 4194304 29159 0 0 0 119338 34 0 0 20 0 1 0 45891438 248561664 50960 18446744073709551615 94679216914432 94679226214085 140730920599984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94679228000576 94679228039656 94679262162944 140730920606104 140730920606244 140730920606244 140730920611817 0
/proc/50137/statm: 60684 50960 1952 2271 0 55322 0
Current children cumulated CPU time: 3584.89 s
Current children cumulated vsize: 249720 KiB
Current children cumulated memory: 208192 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.14 4.11 5/272 50279
/proc/meminfo: memFree=125401236/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=2391.17 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 281 232410 0 0 0 0 239070 47 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
[pid=50136] ppid=49873 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/50136/stat : 50136 (timeout) S 49873 50136 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45891438 2723840 352 18446744073709551615 94808247795712 94808247812225 140721141095520 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94808247826992 94808247829080 94808249323520 140721141098883 140721141099042 140721141099042 140721141104615 0
/proc/50136/statm: 665 352 352 5 0 90 0
[pid=50137] ppid=50136 vsize=242736 memory=203840 CPUtime=1194.12 cores=5,7
/proc/50137/stat : 50137 (ExactPR-nols) R 50136 50136 48963 0 -1 4194304 29160 0 0 0 119378 34 0 0 20 0 1 0 45891438 248561664 50960 18446744073709551615 94679216914432 94679226214085 140730920599984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94679228000576 94679228039656 94679262162944 140730920606104 140730920606244 140730920606244 140730920611817 0
/proc/50137/statm: 60684 50960 1952 2271 0 55322 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 249720 KiB
Current children cumulated memory: 208192 KiB

[startup+3596.11 s]
/proc/loadavg: 4.08 4.14 4.11 5/272 50279
/proc/meminfo: memFree=125401236/131249992 swapFree=33010684/33010684
[pid=49873] ppid=49870 vsize=4324 memory=2944 CPUtime=3585.37 cores=5,7
/proc/49873/stat : 49873 (Hybrid-NuPBODee) S 49870 49873 48963 0 -1 4194304 392 263378 0 0 0 0 358454 83 20 0 1 0 45651634 4427776 736 18446744073709551615 94821610254336 94821611148869 140736933624736 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94821611387920 94821611435664 94821635649536 140736933628251 140736933628403 140736933628403 140736933634005 0
/proc/49873/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.13
CPU time (s): 3585.4
CPU user time (s): 3584.55
CPU system time (s): 0.851367
CPU usage (%): 99.7017
Max. virtual memory (cumulated for all children) (KiB): 1609020
Max. memory (cumulated for all children) (KiB): 1296656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.55
system time used= 0.851367
maximum resident set size= 1292304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2066
involuntary context switches= 1740


# summary of solver processes directly reported to runsolver:
#   pid: 49873
#   total CPU time (s): 3585.4
#   total CPU user time (s): 3584.55
#   total CPU system time (s): 0.851367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85532 second user time and 16.8491 second system time

The end