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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488523-1751343116/watcher-4488523-1751343116 -o /tmp/evaluation-result-4488523-1751343116/solver-4488523-1751343116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751338316-47146 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4488523-1751343116.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=47933, runsolver pid=47923

[startup+0.100059 s]*
/proc/loadavg: 4.28 4.22 4.13 5/273 47945
/proc/meminfo: memFree=129653380/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=47942] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47942/stat : 47942 (timeout) S 47933 47942 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49990090 2723840 352 18446744073709551615 94827830292480 94827830308993 140721779042944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94827830323760 94827830325848 94827851345920 140721779050928 140721779051042 140721779051042 140721779056615 0
/proc/47942/statm: 665 352 352 5 0 90 0
[pid=47944] ppid=47942 vsize=21608 memory=7448 CPUtime=0.06 cores=1,3
/proc/47944/stat : 47944 (NuPBO-DeepOptS+) R 47942 47942 47134 0 -1 4194304 969 0 0 0 6 0 0 0 20 0 1 0 49990091 22126592 1862 18446744073709551615 4198400 15468185 140731266444816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33824768 140731266451900 140731266452001 140731266452001 140731266457574 0
/proc/47944/statm: 5402 1862 1152 2752 0 2055 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 28592 KiB
Current children cumulated memory: 11928 KiB

[startup+0.204784 s]*
/proc/loadavg: 4.28 4.22 4.13 6/273 47945
/proc/meminfo: memFree=129523360/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=47942] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47942/stat : 47942 (timeout) S 47933 47942 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49990090 2723840 352 18446744073709551615 94827830292480 94827830308993 140721779042944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94827830323760 94827830325848 94827851345920 140721779050928 140721779051042 140721779051042 140721779056615 0
/proc/47942/statm: 665 352 352 5 0 90 0
[pid=47944] ppid=47942 vsize=28148 memory=19168 CPUtime=0.16 cores=1,3
/proc/47944/stat : 47944 (NuPBO-DeepOptS+) R 47942 47942 47134 0 -1 4194304 2669 0 0 0 16 0 0 0 20 0 1 0 49990091 28823552 4792 18446744073709551615 4198400 15468185 140731266444816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33824768 140731266451900 140731266452001 140731266452001 140731266457574 0
/proc/47944/statm: 7037 4792 2592 2752 0 3690 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 35132 KiB
Current children cumulated memory: 23648 KiB

[startup+0.304969 s]*
/proc/loadavg: 4.28 4.22 4.13 6/273 47945
/proc/meminfo: memFree=129451792/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=47942] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47942/stat : 47942 (timeout) S 47933 47942 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49990090 2723840 352 18446744073709551615 94827830292480 94827830308993 140721779042944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94827830323760 94827830325848 94827851345920 140721779050928 140721779051042 140721779051042 140721779056615 0
/proc/47942/statm: 665 352 352 5 0 90 0
[pid=47944] ppid=47942 vsize=43144 memory=33736 CPUtime=0.26 cores=1,3
/proc/47944/stat : 47944 (NuPBO-DeepOptS+) R 47942 47942 47134 0 -1 4194304 6187 0 0 0 25 1 0 0 20 0 1 0 49990091 44179456 8434 18446744073709551615 4198400 15468185 140731266444816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33824768 140731266451900 140731266452001 140731266452001 140731266457574 0
/proc/47944/statm: 10786 8434 2816 2752 0 7439 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 50128 KiB
Current children cumulated memory: 38216 KiB

[startup+0.700153 s]
/proc/loadavg: 4.28 4.22 4.13 5/273 47945
/proc/meminfo: memFree=129427348/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=47942] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47942/stat : 47942 (timeout) S 47933 47942 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49990090 2723840 352 18446744073709551615 94827830292480 94827830308993 140721779042944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94827830323760 94827830325848 94827851345920 140721779050928 140721779051042 140721779051042 140721779056615 0
/proc/47942/statm: 665 352 352 5 0 90 0
[pid=47944] ppid=47942 vsize=47144 memory=37448 CPUtime=0.65 cores=1,3
/proc/47944/stat : 47944 (NuPBO-DeepOptS+) R 47942 47942 47134 0 -1 4194304 7140 0 0 0 64 1 0 0 20 0 1 0 49990091 48275456 9362 18446744073709551615 4198400 15468185 140731266444816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33824768 140731266451900 140731266452001 140731266452001 140731266457574 0
/proc/47944/statm: 11786 9362 2816 2752 0 8439 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 54128 KiB
Current children cumulated memory: 41928 KiB

[startup+1.50014 s]
/proc/loadavg: 4.28 4.22 4.13 6/273 47945
/proc/meminfo: memFree=129274416/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=47942] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47942/stat : 47942 (timeout) S 47933 47942 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49990090 2723840 352 18446744073709551615 94827830292480 94827830308993 140721779042944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94827830323760 94827830325848 94827851345920 140721779050928 140721779051042 140721779051042 140721779056615 0
/proc/47942/statm: 665 352 352 5 0 90 0
[pid=47944] ppid=47942 vsize=49696 memory=39240 CPUtime=1.45 cores=1,3
/proc/47944/stat : 47944 (NuPBO-DeepOptS+) R 47942 47942 47134 0 -1 4194304 7593 0 0 0 144 1 0 0 20 0 1 0 49990091 50888704 9810 18446744073709551615 4198400 15468185 140731266444816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33824768 140731266451900 140731266452001 140731266452001 140731266457574 0
/proc/47944/statm: 12424 9810 2816 2752 0 9077 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 56680 KiB
Current children cumulated memory: 43720 KiB

[startup+3.10471 s]
/proc/loadavg: 4.28 4.22 4.13 5/273 47945
/proc/meminfo: memFree=128614260/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=47942] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47942/stat : 47942 (timeout) S 47933 47942 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49990090 2723840 352 18446744073709551615 94827830292480 94827830308993 140721779042944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94827830323760 94827830325848 94827851345920 140721779050928 140721779051042 140721779051042 140721779056615 0
/proc/47942/statm: 665 352 352 5 0 90 0
[pid=47944] ppid=47942 vsize=69680 memory=58184 CPUtime=3.05 cores=1,3
/proc/47944/stat : 47944 (NuPBO-DeepOptS+) R 47942 47942 47134 0 -1 4194304 12307 0 0 0 303 2 0 0 20 0 1 0 49990091 71352320 14546 18446744073709551615 4198400 15468185 140731266444816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33824768 140731266451900 140731266452001 140731266452001 140731266457574 0
/proc/47944/statm: 17420 14546 2816 2752 0 14073 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 76664 KiB
Current children cumulated memory: 62664 KiB

[startup+6.30014 s]
/proc/loadavg: 4.26 4.21 4.13 5/273 47945
/proc/meminfo: memFree=126898552/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=47942] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47942/stat : 47942 (timeout) S 47933 47942 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49990090 2723840 352 18446744073709551615 94827830292480 94827830308993 140721779042944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94827830323760 94827830325848 94827851345920 140721779050928 140721779051042 140721779051042 140721779056615 0
/proc/47942/statm: 665 352 352 5 0 90 0
[pid=47944] ppid=47942 vsize=98340 memory=84324 CPUtime=6.24 cores=1,3
/proc/47944/stat : 47944 (NuPBO-DeepOptS+) R 47942 47942 47134 0 -1 4194304 19996 0 0 0 621 3 0 0 20 0 1 0 49990091 100700160 21081 18446744073709551615 4198400 15468185 140731266444816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33824768 140731266451900 140731266452001 140731266452001 140731266457574 0
/proc/47944/statm: 24585 21081 2816 2752 0 21238 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 88804 KiB

[startup+12.7001 s]
/proc/loadavg: 4.40 4.24 4.14 5/273 47945
/proc/meminfo: memFree=123293984/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=47942] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47942/stat : 47942 (timeout) S 47933 47942 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49990090 2723840 352 18446744073709551615 94827830292480 94827830308993 140721779042944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94827830323760 94827830325848 94827851345920 140721779050928 140721779051042 140721779051042 140721779056615 0
/proc/47942/statm: 665 352 352 5 0 90 0
[pid=47944] ppid=47942 vsize=99144 memory=85092 CPUtime=12.62 cores=1,3
/proc/47944/stat : 47944 (NuPBO-DeepOptS+) R 47942 47942 47134 0 -1 4194304 20170 0 0 0 1259 3 0 0 20 0 1 0 49990091 101523456 21273 18446744073709551615 4198400 15468185 140731266444816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33824768 140731266451900 140731266452001 140731266452001 140731266457574 0
/proc/47944/statm: 24786 21273 2816 2752 0 21439 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 106128 KiB
Current children cumulated memory: 89572 KiB

[startup+25.5001 s]
/proc/loadavg: 4.31 4.23 4.14 5/273 47945
/proc/meminfo: memFree=119189112/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=47942] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47942/stat : 47942 (timeout) S 47933 47942 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49990090 2723840 352 18446744073709551615 94827830292480 94827830308993 140721779042944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94827830323760 94827830325848 94827851345920 140721779050928 140721779051042 140721779051042 140721779056615 0
/proc/47942/statm: 665 352 352 5 0 90 0
[pid=47944] ppid=47942 vsize=106416 memory=91748 CPUtime=25.39 cores=1,3
/proc/47944/stat : 47944 (NuPBO-DeepOptS+) R 47942 47942 47134 0 -1 4194304 21857 0 0 0 2536 3 0 0 20 0 1 0 49990091 108969984 22937 18446744073709551615 4198400 15468185 140731266444816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33824768 140731266451900 140731266452001 140731266452001 140731266457574 0
/proc/47944/statm: 26604 22937 2816 2752 0 23257 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 113400 KiB
Current children cumulated memory: 96228 KiB

[startup+51.1045 s]
/proc/loadavg: 4.20 4.21 4.13 5/273 47945
/proc/meminfo: memFree=111050732/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=47942] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/47942/stat : 47942 (timeout) S 47933 47942 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 49990090 2723840 352 18446744073709551615 94827830292480 94827830308993 140721779042944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94827830323760 94827830325848 94827851345920 140721779050928 140721779051042 140721779051042 140721779056615 0
/proc/47942/statm: 665 352 352 5 0 90 0
[pid=47944] ppid=47942 vsize=151308 memory=135020 CPUtime=50.93 cores=1,3
/proc/47944/stat : 47944 (NuPBO-DeepOptS+) R 47942 47942 47134 0 -1 4194304 33400 0 0 0 5087 6 0 0 20 0 1 0 49990091 154939392 33755 18446744073709551615 4198400 15468185 140731266444816 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33824768 140731266451900 140731266452001 140731266452001 140731266457574 0
/proc/47944/statm: 37827 33755 2816 2752 0 34480 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 158292 KiB
Current children cumulated memory: 139500 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.21 4.14 5/272 47948
/proc/meminfo: memFree=95215940/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0

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

/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=48113] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48113/stat : 48113 (timeout) S 47933 48113 47134 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50229891 2723840 352 18446744073709551615 94734309543936 94734309560449 140734084442720 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94734309575216 94734309577304 94734319058944 140734084446595 140734084446754 140734084446754 140734084452327 0
/proc/48113/statm: 665 352 352 5 0 90 0
[pid=48114] ppid=48113 vsize=323836 memory=243968 CPUtime=1001.59 cores=1,3
/proc/48114/stat : 48114 (ExactPR-nols) R 48113 48113 47134 0 -1 4194304 33174 0 0 0 99841 318 0 0 20 0 1 0 50229892 331608064 60992 18446744073709551615 94242110029824 94242119329477 140733159601056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242121115968 94242121155048 94242147872768 140733159606680 140733159606820 140733159606820 140733159612393 0
/proc/48114/statm: 80959 60992 1856 2271 0 75597 0
Current children cumulated CPU time: 3394.17 s
Current children cumulated vsize: 330820 KiB
Current children cumulated memory: 248448 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/272 48236
/proc/meminfo: memFree=127074660/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=2392.58 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 282 128112 0 0 0 0 239227 31 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=48113] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48113/stat : 48113 (timeout) S 47933 48113 47134 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50229891 2723840 352 18446744073709551615 94734309543936 94734309560449 140734084442720 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94734309575216 94734309577304 94734319058944 140734084446595 140734084446754 140734084446754 140734084452327 0
/proc/48113/statm: 665 352 352 5 0 90 0
[pid=48114] ppid=48113 vsize=324744 memory=244992 CPUtime=1061.44 cores=1,3
/proc/48114/stat : 48114 (ExactPR-nols) R 48113 48113 47134 0 -1 4194304 33421 0 0 0 105808 336 0 0 20 0 1 0 50229892 332537856 61248 18446744073709551615 94242110029824 94242119329477 140733159601056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242121115968 94242121155048 94242147872768 140733159606680 140733159606820 140733159606820 140733159612393 0
/proc/48114/statm: 81186 61248 1856 2271 0 75824 0
Current children cumulated CPU time: 3454.02 s
Current children cumulated vsize: 331728 KiB
Current children cumulated memory: 249472 KiB

[startup+3522.3 s]
/proc/loadavg: 4.34 4.16 4.11 6/272 48238
/proc/meminfo: memFree=126996460/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=2392.58 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 282 128112 0 0 0 0 239227 31 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=48113] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48113/stat : 48113 (timeout) S 47933 48113 47134 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50229891 2723840 352 18446744073709551615 94734309543936 94734309560449 140734084442720 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94734309575216 94734309577304 94734319058944 140734084446595 140734084446754 140734084446754 140734084452327 0
/proc/48113/statm: 665 352 352 5 0 90 0
[pid=48114] ppid=48113 vsize=326044 memory=246016 CPUtime=1121.3 cores=1,3
/proc/48114/stat : 48114 (ExactPR-nols) R 48113 48113 47134 0 -1 4194304 33699 0 0 0 111778 352 0 0 20 0 1 0 50229892 333869056 61504 18446744073709551615 94242110029824 94242119329477 140733159601056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242121115968 94242121155048 94242147872768 140733159606680 140733159606820 140733159606820 140733159612393 0
/proc/48114/statm: 81511 61504 1856 2271 0 76149 0
Current children cumulated CPU time: 3513.88 s
Current children cumulated vsize: 333028 KiB
Current children cumulated memory: 250496 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.11 6/271 48240
/proc/meminfo: memFree=126845488/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=2392.58 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 282 128112 0 0 0 0 239227 31 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=48113] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48113/stat : 48113 (timeout) S 47933 48113 47134 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50229891 2723840 352 18446744073709551615 94734309543936 94734309560449 140734084442720 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94734309575216 94734309577304 94734319058944 140734084446595 140734084446754 140734084446754 140734084452327 0
/proc/48113/statm: 665 352 352 5 0 90 0
[pid=48114] ppid=48113 vsize=328964 memory=248960 CPUtime=1181.14 cores=1,3
/proc/48114/stat : 48114 (ExactPR-nols) R 48113 48113 47134 0 -1 4194304 34447 0 0 0 117748 366 0 0 20 0 1 0 50229892 336859136 62240 18446744073709551615 94242110029824 94242119329477 140733159601056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242121115968 94242121155048 94242147872768 140733159606680 140733159606820 140733159606820 140733159612393 0
/proc/48114/statm: 82241 62240 1856 2271 0 76879 0
Current children cumulated CPU time: 3573.72 s
Current children cumulated vsize: 335948 KiB
Current children cumulated memory: 253440 KiB

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

# cumulated CPU time of all completed processes:  user=3583.44 s, system=4.06351 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.14 4.11 6/271 48240
/proc/meminfo: memFree=126845488/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=2392.58 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 282 128112 0 0 0 0 239227 31 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=48113] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48113/stat : 48113 (timeout) S 47933 48113 47134 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50229891 2723840 352 18446744073709551615 94734309543936 94734309560449 140734084442720 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94734309575216 94734309577304 94734319058944 140734084446595 140734084446754 140734084446754 140734084452327 0
/proc/48113/statm: 665 352 352 5 0 90 0
[pid=48114] ppid=48113 vsize=329756 memory=249728 CPUtime=1182.85 cores=1,3
/proc/48114/stat : 48114 (ExactPR-nols) R 48113 48113 47134 0 -1 4194304 34638 0 0 0 117918 367 0 0 20 0 1 0 50229892 337670144 62432 18446744073709551615 94242110029824 94242119329477 140733159601056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242121115968 94242121155048 94242147872768 140733159606680 140733159606820 140733159606820 140733159612393 0
/proc/48114/statm: 82439 62432 1856 2271 0 77077 0
Current children cumulated CPU time: 3575.43 s
Current children cumulated vsize: 336740 KiB
Current children cumulated memory: 254208 KiB

[startup+3590.4 s]
/proc/loadavg: 4.21 4.15 4.11 6/271 48240
/proc/meminfo: memFree=126837424/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=2392.58 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 282 128112 0 0 0 0 239227 31 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=48113] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48113/stat : 48113 (timeout) S 47933 48113 47134 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50229891 2723840 352 18446744073709551615 94734309543936 94734309560449 140734084442720 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94734309575216 94734309577304 94734319058944 140734084446595 140734084446754 140734084446754 140734084452327 0
/proc/48113/statm: 665 352 352 5 0 90 0
[pid=48114] ppid=48113 vsize=329756 memory=249728 CPUtime=1189.23 cores=1,3
/proc/48114/stat : 48114 (ExactPR-nols) R 48113 48113 47134 0 -1 4194304 34638 0 0 0 118553 370 0 0 20 0 1 0 50229892 337670144 62432 18446744073709551615 94242110029824 94242119329477 140733159601056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242121115968 94242121155048 94242147872768 140733159606680 140733159606820 140733159606820 140733159612393 0
/proc/48114/statm: 82439 62432 1856 2271 0 77077 0
Current children cumulated CPU time: 3581.81 s
Current children cumulated vsize: 336740 KiB
Current children cumulated memory: 254208 KiB

[startup+3593.6 s]
/proc/loadavg: 4.21 4.15 4.11 5/271 48240
/proc/meminfo: memFree=126838804/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=2392.58 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 282 128112 0 0 0 0 239227 31 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=48113] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48113/stat : 48113 (timeout) S 47933 48113 47134 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50229891 2723840 352 18446744073709551615 94734309543936 94734309560449 140734084442720 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94734309575216 94734309577304 94734319058944 140734084446595 140734084446754 140734084446754 140734084452327 0
/proc/48113/statm: 665 352 352 5 0 90 0
[pid=48114] ppid=48113 vsize=329756 memory=249728 CPUtime=1192.42 cores=1,3
/proc/48114/stat : 48114 (ExactPR-nols) R 48113 48113 47134 0 -1 4194304 34638 0 0 0 118871 371 0 0 20 0 1 0 50229892 337670144 62432 18446744073709551615 94242110029824 94242119329477 140733159601056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242121115968 94242121155048 94242147872768 140733159606680 140733159606820 140733159606820 140733159612393 0
/proc/48114/statm: 82439 62432 1856 2271 0 77077 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 336740 KiB
Current children cumulated memory: 254208 KiB

[startup+3595.2 s]
/proc/loadavg: 4.20 4.15 4.11 5/271 48240
/proc/meminfo: memFree=126838804/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=2392.58 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 282 128112 0 0 0 0 239227 31 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=48113] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48113/stat : 48113 (timeout) S 47933 48113 47134 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50229891 2723840 352 18446744073709551615 94734309543936 94734309560449 140734084442720 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94734309575216 94734309577304 94734319058944 140734084446595 140734084446754 140734084446754 140734084452327 0
/proc/48113/statm: 665 352 352 5 0 90 0
[pid=48114] ppid=48113 vsize=329756 memory=249728 CPUtime=1194.01 cores=1,3
/proc/48114/stat : 48114 (ExactPR-nols) R 48113 48113 47134 0 -1 4194304 34638 0 0 0 119030 371 0 0 20 0 1 0 50229892 337670144 62432 18446744073709551615 94242110029824 94242119329477 140733159601056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242121115968 94242121155048 94242147872768 140733159606680 140733159606820 140733159606820 140733159612393 0
/proc/48114/statm: 82439 62432 1856 2271 0 77077 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 336740 KiB
Current children cumulated memory: 254208 KiB

[startup+3596 s]*
/proc/loadavg: 4.20 4.15 4.11 5/271 48240
/proc/meminfo: memFree=126838804/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=2392.58 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 282 128112 0 0 0 0 239227 31 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
[pid=48113] ppid=47933 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48113/stat : 48113 (timeout) S 47933 48113 47134 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50229891 2723840 352 18446744073709551615 94734309543936 94734309560449 140734084442720 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94734309575216 94734309577304 94734319058944 140734084446595 140734084446754 140734084446754 140734084452327 0
/proc/48113/statm: 665 352 352 5 0 90 0
[pid=48114] ppid=48113 vsize=329756 memory=249728 CPUtime=1194.81 cores=1,3
/proc/48114/stat : 48114 (ExactPR-nols) R 48113 48113 47134 0 -1 4194304 34638 0 0 0 119110 371 0 0 20 0 1 0 50229892 337670144 62432 18446744073709551615 94242110029824 94242119329477 140733159601056 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242121115968 94242121155048 94242147872768 140733159606680 140733159606820 140733159606820 140733159612393 0
/proc/48114/statm: 82439 62432 1856 2271 0 77077 0
Current children cumulated CPU time: 3587.39 s
Current children cumulated vsize: 336740 KiB
Current children cumulated memory: 254208 KiB

[startup+3596.2 s]
/proc/loadavg: 4.20 4.15 4.11 5/271 48240
/proc/meminfo: memFree=126838804/131249996 swapFree=33010684/33010684
[pid=47933] ppid=47923 vsize=4324 memory=3072 CPUtime=3587.48 cores=1,3
/proc/47933/stat : 47933 (Hybrid-NuPBODee) S 47923 47933 47134 0 -1 4194304 465 165449 0 2 0 0 358343 405 20 0 1 0 49990087 4427776 768 18446744073709551615 93925835001856 93925835896389 140733753351328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93925836135440 93925836183184 93925864308736 140733753354587 140733753354739 140733753354739 140733753360341 0
/proc/47933/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.23
CPU time (s): 3587.51
CPU user time (s): 3583.44
CPU system time (s): 4.06351
CPU usage (%): 99.7575
Max. virtual memory (cumulated for all children) (KiB): 505424
Max. memory (cumulated for all children) (KiB): 464368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.44
system time used= 4.06351
maximum resident set size= 459888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166263
page faults= 2
swaps= 0
block input operations= 184
block output operations= 776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2086
involuntary context switches= 3052


# summary of solver processes directly reported to runsolver:
#   pid: 47933
#   total CPU time (s): 3587.51
#   total CPU user time (s): 3583.44
#   total CPU system time (s): 4.06351

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5991 second user time and 12.9108 second system time

The end