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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488753-1751344209/watcher-4488753-1751344209 -o /tmp/evaluation-result-4488753-1751344209/solver-4488753-1751344209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751340595-44274 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4488753-1751344209.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
Starting watchdog thread
solver pid=44802, runsolver pid=44799
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.21 4.14 4.10 5/258 44806
/proc/meminfo: memFree=129189628/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/44805/stat : 44805 (timeout) S 44802 44805 44262 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50099590 2723840 320 18446744073709551615 94804226052096 94804226068609 140731671987248 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94804226083376 94804226085464 94804236775424 140731671988656 140731671988770 140731671988770 140731671994343 0
/proc/44805/statm: 665 320 320 5 0 90 0
[pid=44806] ppid=44805 vsize=21612 memory=7060 CPUtime=0.05 cores=1,3
/proc/44806/stat : 44806 (NuPBO-DeepOptS+) R 44805 44805 44262 0 -1 4194304 946 0 0 0 5 0 0 0 20 0 1 0 50099591 22130688 1765 18446744073709551615 4198400 15468185 140725056888736 0 0 0 0 0 17410 0 0 0 17 3 0 0 0 0 0 17807032 17896208 34082816 140725056891324 140725056891425 140725056891425 140725056896998 0
/proc/44806/statm: 5403 1765 1088 2752 0 2056 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11412 KiB

[startup+0.213574 s]*
/proc/loadavg: 4.21 4.14 4.10 5/258 44806
/proc/meminfo: memFree=129189628/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/44805/stat : 44805 (timeout) S 44802 44805 44262 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50099590 2723840 320 18446744073709551615 94804226052096 94804226068609 140731671987248 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94804226083376 94804226085464 94804236775424 140731671988656 140731671988770 140731671988770 140731671994343 0
/proc/44805/statm: 665 320 320 5 0 90 0
[pid=44806] ppid=44805 vsize=21612 memory=7444 CPUtime=0.15 cores=1,3
/proc/44806/stat : 44806 (NuPBO-DeepOptS+) R 44805 44805 44262 0 -1 4194304 968 0 0 0 15 0 0 0 20 0 1 0 50099591 22130688 1861 18446744073709551615 4198400 15468185 140725056888736 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34082816 140725056891324 140725056891425 140725056891425 140725056896998 0
/proc/44806/statm: 5403 1861 1152 2752 0 2056 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11796 KiB

[startup+0.31307 s]*
/proc/loadavg: 4.21 4.14 4.10 5/258 44806
/proc/meminfo: memFree=129189628/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/44805/stat : 44805 (timeout) S 44802 44805 44262 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50099590 2723840 320 18446744073709551615 94804226052096 94804226068609 140731671987248 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94804226083376 94804226085464 94804236775424 140731671988656 140731671988770 140731671988770 140731671994343 0
/proc/44805/statm: 665 320 320 5 0 90 0
[pid=44806] ppid=44805 vsize=21612 memory=7444 CPUtime=0.25 cores=1,3
/proc/44806/stat : 44806 (NuPBO-DeepOptS+) R 44805 44805 44262 0 -1 4194304 968 0 0 0 25 0 0 0 20 0 1 0 50099591 22130688 1861 18446744073709551615 4198400 15468185 140725056888736 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34082816 140725056891324 140725056891425 140725056891425 140725056896998 0
/proc/44806/statm: 5403 1861 1152 2752 0 2056 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11796 KiB

[startup+0.700416 s]
/proc/loadavg: 4.21 4.14 4.10 5/258 44806
/proc/meminfo: memFree=129189628/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/44805/stat : 44805 (timeout) S 44802 44805 44262 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50099590 2723840 320 18446744073709551615 94804226052096 94804226068609 140731671987248 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94804226083376 94804226085464 94804236775424 140731671988656 140731671988770 140731671988770 140731671994343 0
/proc/44805/statm: 665 320 320 5 0 90 0
[pid=44806] ppid=44805 vsize=41180 memory=31588 CPUtime=0.62 cores=1,3
/proc/44806/stat : 44806 (NuPBO-DeepOptS+) R 44805 44805 44262 0 -1 4194304 5712 0 0 0 61 1 0 0 20 0 1 0 50099591 42168320 7897 18446744073709551615 4198400 15468185 140725056888736 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34082816 140725056891324 140725056891425 140725056891425 140725056896998 0
/proc/44806/statm: 10295 7897 2752 2752 0 6948 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 48164 KiB
Current children cumulated memory: 35940 KiB

[startup+1.5004 s]
/proc/loadavg: 4.21 4.14 4.10 5/258 44806
/proc/meminfo: memFree=129173752/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/44805/stat : 44805 (timeout) S 44802 44805 44262 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50099590 2723840 320 18446744073709551615 94804226052096 94804226068609 140731671987248 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94804226083376 94804226085464 94804236775424 140731671988656 140731671988770 140731671988770 140731671994343 0
/proc/44805/statm: 665 320 320 5 0 90 0
[pid=44806] ppid=44805 vsize=49252 memory=39396 CPUtime=1.42 cores=1,3
/proc/44806/stat : 44806 (NuPBO-DeepOptS+) R 44805 44805 44262 0 -1 4194304 7637 0 0 0 140 2 0 0 20 0 1 0 50099591 50434048 9849 18446744073709551615 4198400 15468185 140725056888736 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34082816 140725056891324 140725056891425 140725056891425 140725056896998 0
/proc/44806/statm: 12313 9849 2816 2752 0 8966 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 56236 KiB
Current children cumulated memory: 43748 KiB

[startup+3.1135 s]
/proc/loadavg: 4.21 4.14 4.10 5/258 44806
/proc/meminfo: memFree=129157916/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/44805/stat : 44805 (timeout) S 44802 44805 44262 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50099590 2723840 320 18446744073709551615 94804226052096 94804226068609 140731671987248 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94804226083376 94804226085464 94804236775424 140731671988656 140731671988770 140731671988770 140731671994343 0
/proc/44805/statm: 665 320 320 5 0 90 0
[pid=44806] ppid=44805 vsize=64232 memory=53220 CPUtime=3.03 cores=1,3
/proc/44806/stat : 44806 (NuPBO-DeepOptS+) R 44805 44805 44262 0 -1 4194304 11102 0 0 0 300 3 0 0 20 0 1 0 50099591 65773568 13305 18446744073709551615 4198400 15468185 140725056888736 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34082816 140725056891324 140725056891425 140725056891425 140725056896998 0
/proc/44806/statm: 16058 13305 2816 2752 0 12711 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 71216 KiB
Current children cumulated memory: 57572 KiB

[startup+6.30039 s]
/proc/loadavg: 4.19 4.13 4.10 5/258 44806
/proc/meminfo: memFree=129118100/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/44805/stat : 44805 (timeout) S 44802 44805 44262 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50099590 2723840 320 18446744073709551615 94804226052096 94804226068609 140731671987248 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94804226083376 94804226085464 94804236775424 140731671988656 140731671988770 140731671988770 140731671994343 0
/proc/44805/statm: 665 320 320 5 0 90 0
[pid=44806] ppid=44805 vsize=104072 memory=90980 CPUtime=6.21 cores=1,3
/proc/44806/stat : 44806 (NuPBO-DeepOptS+) R 44805 44805 44262 0 -1 4194304 20519 0 0 0 617 4 0 0 20 0 1 0 50099591 106569728 22745 18446744073709551615 4198400 15468185 140725056888736 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34082816 140725056891324 140725056891425 140725056891425 140725056896998 0
/proc/44806/statm: 26018 22745 2816 2752 0 22671 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 111056 KiB
Current children cumulated memory: 95332 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.13 4.10 5/259 44808
/proc/meminfo: memFree=129086096/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/44805/stat : 44805 (timeout) S 44802 44805 44262 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50099590 2723840 320 18446744073709551615 94804226052096 94804226068609 140731671987248 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94804226083376 94804226085464 94804236775424 140731671988656 140731671988770 140731671988770 140731671994343 0
/proc/44805/statm: 665 320 320 5 0 90 0
[pid=44806] ppid=44805 vsize=134964 memory=117644 CPUtime=12.6 cores=1,3
/proc/44806/stat : 44806 (NuPBO-DeepOptS+) R 44805 44805 44262 0 -1 4194304 28341 0 0 0 1254 6 0 0 20 0 1 0 50099591 138203136 29411 18446744073709551615 4198400 15468185 140725056888736 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34082816 140725056891324 140725056891425 140725056891425 140725056896998 0
/proc/44806/statm: 33741 29411 2816 2752 0 30394 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 141948 KiB
Current children cumulated memory: 121996 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 44808
/proc/meminfo: memFree=129086616/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/44805/stat : 44805 (timeout) S 44802 44805 44262 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50099590 2723840 320 18446744073709551615 94804226052096 94804226068609 140731671987248 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94804226083376 94804226085464 94804236775424 140731671988656 140731671988770 140731671988770 140731671994343 0
/proc/44805/statm: 665 320 320 5 0 90 0
[pid=44806] ppid=44805 vsize=139732 memory=123020 CPUtime=25.36 cores=1,3
/proc/44806/stat : 44806 (NuPBO-DeepOptS+) R 44805 44805 44262 0 -1 4194304 29663 0 0 0 2530 6 0 0 20 0 1 0 50099591 143085568 30755 18446744073709551615 4198400 15468185 140725056888736 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34082816 140725056891324 140725056891425 140725056891425 140725056896998 0
/proc/44806/statm: 34933 30755 2816 2752 0 31586 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 146716 KiB
Current children cumulated memory: 127372 KiB

[startup+51.1138 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 44809
/proc/meminfo: memFree=129032464/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/44805/stat : 44805 (timeout) S 44802 44805 44262 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 50099590 2723840 320 18446744073709551615 94804226052096 94804226068609 140731671987248 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94804226083376 94804226085464 94804236775424 140731671988656 140731671988770 140731671988770 140731671994343 0
/proc/44805/statm: 665 320 320 5 0 90 0
[pid=44806] ppid=44805 vsize=199084 memory=178864 CPUtime=50.91 cores=1,3
/proc/44806/stat : 44806 (NuPBO-DeepOptS+) R 44805 44805 44262 0 -1 4194304 43827 0 0 0 5082 9 0 0 20 0 1 0 50099591 203862016 44716 18446744073709551615 4198400 15468185 140725056888736 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34082816 140725056891324 140725056891425 140725056891425 140725056896998 0
/proc/44806/statm: 49771 44716 2816 2752 0 46424 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 206068 KiB
Current children cumulated memory: 183216 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/259 44811
/proc/meminfo: memFree=128927364/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=44805] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3

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

/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=45111] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45111/stat : 45111 (timeout) S 44802 45111 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50339392 2723840 320 18446744073709551615 94000315367424 94000315383937 140735460636944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94000315398704 94000315400792 94000321503232 140735460645251 140735460645410 140735460645410 140735460650983 0
/proc/45111/statm: 665 320 320 5 0 90 0
[pid=45112] ppid=45111 vsize=269616 memory=227332 CPUtime=1061.51 cores=1,3
/proc/45112/stat : 45112 (ExactPR-nols) R 45111 45111 44262 0 -1 4194304 35933 0 0 0 105768 383 0 0 20 0 1 0 50339393 276086784 56833 18446744073709551615 93864419569664 93864428869317 140737385174976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864430655808 93864430694888 93864467902464 140737385183640 140737385183780 140737385183780 140737385189353 0
/proc/45112/statm: 67404 56833 1856 2271 0 62042 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 276600 KiB
Current children cumulated memory: 231684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.24 4.20 5/258 45168
/proc/meminfo: memFree=128093976/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=2391.69 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 280 122164 0 0 0 0 239143 26 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=45111] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45111/stat : 45111 (timeout) S 44802 45111 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50339392 2723840 320 18446744073709551615 94000315367424 94000315383937 140735460636944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94000315398704 94000315400792 94000321503232 140735460645251 140735460645410 140735460645410 140735460650983 0
/proc/45111/statm: 665 320 320 5 0 90 0
[pid=45112] ppid=45111 vsize=272148 memory=230788 CPUtime=1121.36 cores=1,3
/proc/45112/stat : 45112 (ExactPR-nols) R 45111 45111 44262 0 -1 4194304 36535 0 0 0 111729 407 0 0 20 0 1 0 50339393 278679552 57697 18446744073709551615 93864419569664 93864428869317 140737385174976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864430655808 93864430694888 93864467902464 140737385183640 140737385183780 140737385183780 140737385189353 0
/proc/45112/statm: 68037 57697 1856 2271 0 62675 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 279132 KiB
Current children cumulated memory: 235140 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.21 4.19 5/258 45170
/proc/meminfo: memFree=128098512/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=2391.69 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 280 122164 0 0 0 0 239143 26 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=45111] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45111/stat : 45111 (timeout) S 44802 45111 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50339392 2723840 320 18446744073709551615 94000315367424 94000315383937 140735460636944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94000315398704 94000315400792 94000321503232 140735460645251 140735460645410 140735460645410 140735460650983 0
/proc/45111/statm: 665 320 320 5 0 90 0
[pid=45112] ppid=45111 vsize=274448 memory=232964 CPUtime=1181.22 cores=1,3
/proc/45112/stat : 45112 (ExactPR-nols) R 45111 45111 44262 0 -1 4194304 37098 0 0 0 117695 427 0 0 20 0 1 0 50339393 281034752 58241 18446744073709551615 93864419569664 93864428869317 140737385174976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864430655808 93864430694888 93864467902464 140737385183640 140737385183780 140737385183780 140737385189353 0
/proc/45112/statm: 68612 58241 1856 2271 0 63250 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 281432 KiB
Current children cumulated memory: 237316 KiB

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

# cumulated CPU time of all completed processes:  user=3582.08 s, system=4.6289 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.21 4.19 5/258 45170
/proc/meminfo: memFree=128098764/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=2391.69 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 280 122164 0 0 0 0 239143 26 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=45111] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45111/stat : 45111 (timeout) S 44802 45111 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50339392 2723840 320 18446744073709551615 94000315367424 94000315383937 140735460636944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94000315398704 94000315400792 94000321503232 140735460645251 140735460645410 140735460645410 140735460650983 0
/proc/45111/statm: 665 320 320 5 0 90 0
[pid=45112] ppid=45111 vsize=274448 memory=232964 CPUtime=1182.93 cores=1,3
/proc/45112/stat : 45112 (ExactPR-nols) R 45111 45111 44262 0 -1 4194304 37098 0 0 0 117865 428 0 0 20 0 1 0 50339393 281034752 58241 18446744073709551615 93864419569664 93864428869317 140737385174976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864430655808 93864430694888 93864467902464 140737385183640 140737385183780 140737385183780 140737385189353 0
/proc/45112/statm: 68612 58241 1856 2271 0 63250 0
Current children cumulated CPU time: 3574.62 s
Current children cumulated vsize: 281432 KiB
Current children cumulated memory: 237316 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.20 4.19 5/258 45172
/proc/meminfo: memFree=128244848/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=2391.69 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 280 122164 0 0 0 0 239143 26 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=45111] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45111/stat : 45111 (timeout) S 44802 45111 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50339392 2723840 320 18446744073709551615 94000315367424 94000315383937 140735460636944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94000315398704 94000315400792 94000321503232 140735460645251 140735460645410 140735460645410 140735460650983 0
/proc/45111/statm: 665 320 320 5 0 90 0
[pid=45112] ppid=45111 vsize=274448 memory=233092 CPUtime=1189.3 cores=1,3
/proc/45112/stat : 45112 (ExactPR-nols) R 45111 45111 44262 0 -1 4194304 37122 0 0 0 118500 430 0 0 20 0 1 0 50339393 281034752 58273 18446744073709551615 93864419569664 93864428869317 140737385174976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864430655808 93864430694888 93864467902464 140737385183640 140737385183780 140737385183780 140737385189353 0
/proc/45112/statm: 68612 58273 1856 2271 0 63250 0
Current children cumulated CPU time: 3580.99 s
Current children cumulated vsize: 281432 KiB
Current children cumulated memory: 237444 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.20 4.19 5/258 45172
/proc/meminfo: memFree=128230860/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=2391.69 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 280 122164 0 0 0 0 239143 26 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=45111] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45111/stat : 45111 (timeout) S 44802 45111 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50339392 2723840 320 18446744073709551615 94000315367424 94000315383937 140735460636944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94000315398704 94000315400792 94000321503232 140735460645251 140735460645410 140735460645410 140735460650983 0
/proc/45111/statm: 665 320 320 5 0 90 0
[pid=45112] ppid=45111 vsize=274448 memory=233092 CPUtime=1192.5 cores=1,3
/proc/45112/stat : 45112 (ExactPR-nols) R 45111 45111 44262 0 -1 4194304 37122 0 0 0 118819 431 0 0 20 0 1 0 50339393 281034752 58273 18446744073709551615 93864419569664 93864428869317 140737385174976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864430655808 93864430694888 93864467902464 140737385183640 140737385183780 140737385183780 140737385189353 0
/proc/45112/statm: 68612 58273 1856 2271 0 63250 0
Current children cumulated CPU time: 3584.19 s
Current children cumulated vsize: 281432 KiB
Current children cumulated memory: 237444 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.20 4.19 5/258 45172
/proc/meminfo: memFree=128215272/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=2391.69 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 280 122164 0 0 0 0 239143 26 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=45111] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45111/stat : 45111 (timeout) S 44802 45111 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50339392 2723840 320 18446744073709551615 94000315367424 94000315383937 140735460636944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94000315398704 94000315400792 94000321503232 140735460645251 140735460645410 140735460645410 140735460650983 0
/proc/45111/statm: 665 320 320 5 0 90 0
[pid=45112] ppid=45111 vsize=274448 memory=233092 CPUtime=1194.09 cores=1,3
/proc/45112/stat : 45112 (ExactPR-nols) R 45111 45111 44262 0 -1 4194304 37122 0 0 0 118978 431 0 0 20 0 1 0 50339393 281034752 58273 18446744073709551615 93864419569664 93864428869317 140737385174976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864430655808 93864430694888 93864467902464 140737385183640 140737385183780 140737385183780 140737385189353 0
/proc/45112/statm: 68612 58273 1856 2271 0 63250 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 281432 KiB
Current children cumulated memory: 237444 KiB

[startup+3595.6 s]
/proc/loadavg: 4.10 4.20 4.19 5/258 45172
/proc/meminfo: memFree=128215272/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=2391.69 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 280 122164 0 0 0 0 239143 26 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=45111] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45111/stat : 45111 (timeout) S 44802 45111 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50339392 2723840 320 18446744073709551615 94000315367424 94000315383937 140735460636944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94000315398704 94000315400792 94000321503232 140735460645251 140735460645410 140735460645410 140735460650983 0
/proc/45111/statm: 665 320 320 5 0 90 0
[pid=45112] ppid=45111 vsize=274448 memory=233092 CPUtime=1194.48 cores=1,3
/proc/45112/stat : 45112 (ExactPR-nols) R 45111 45111 44262 0 -1 4194304 37122 0 0 0 119017 431 0 0 20 0 1 0 50339393 281034752 58273 18446744073709551615 93864419569664 93864428869317 140737385174976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864430655808 93864430694888 93864467902464 140737385183640 140737385183780 140737385183780 140737385189353 0
/proc/45112/statm: 68612 58273 1856 2271 0 63250 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 281432 KiB
Current children cumulated memory: 237444 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.20 4.19 5/258 45172
/proc/meminfo: memFree=128215272/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=2391.69 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 280 122164 0 0 0 0 239143 26 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
[pid=45111] ppid=44802 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45111/stat : 45111 (timeout) S 44802 45111 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50339392 2723840 320 18446744073709551615 94000315367424 94000315383937 140735460636944 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94000315398704 94000315400792 94000321503232 140735460645251 140735460645410 140735460645410 140735460650983 0
/proc/45111/statm: 665 320 320 5 0 90 0
[pid=45112] ppid=45111 vsize=274448 memory=233092 CPUtime=1194.89 cores=1,3
/proc/45112/stat : 45112 (ExactPR-nols) R 45111 45111 44262 0 -1 4194304 37125 0 0 0 119058 431 0 0 20 0 1 0 50339393 281034752 58273 18446744073709551615 93864419569664 93864428869317 140737385174976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864430655808 93864430694888 93864467902464 140737385183640 140737385183780 140737385183780 140737385189353 0
/proc/45112/statm: 68612 58273 1856 2271 0 63250 0
Current children cumulated CPU time: 3586.58 s
Current children cumulated vsize: 281432 KiB
Current children cumulated memory: 237444 KiB

[startup+3596.11 s]
/proc/loadavg: 4.09 4.20 4.19 5/258 45172
/proc/meminfo: memFree=128215272/131382120 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4324 memory=3072 CPUtime=3586.66 cores=1,3
/proc/44802/stat : 44802 (Hybrid-NuPBODee) S 44799 44802 44262 0 -1 4194304 362 160562 0 0 0 0 358206 460 20 0 1 0 50099587 4427776 768 18446744073709551615 94735995244544 94735996139077 140729110464848 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 94735996378128 94735996425872 94736005959680 140729110468955 140729110469107 140729110469107 140729110474709 0
/proc/44802/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.18
CPU time (s): 3586.71
CPU user time (s): 3582.08
CPU system time (s): 4.6289
CPU usage (%): 99.7366
Max. virtual memory (cumulated for all children) (KiB): 507708
Max. memory (cumulated for all children) (KiB): 496308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.08
system time used= 4.6289
maximum resident set size= 491956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162810
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2005
involuntary context switches= 2211


# summary of solver processes directly reported to runsolver:
#   pid: 44802
#   total CPU time (s): 3586.71
#   total CPU user time (s): 3582.08
#   total CPU system time (s): 4.6289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2589 second user time and 36.7949 second system time

The end