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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497083-1751398965/watcher-4497083-1751398965 -o /tmp/evaluation-result-4497083-1751398965/solver-4497083-1751398965 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751393480-50780 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4497083-1751398965.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=51498, runsolver pid=51495
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.04 4.08 4.08 5/272 51502
/proc/meminfo: memFree=126932340/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=30296 memory=20864 CPUtime=0.07 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 2767 0 0 0 7 0 0 0 20 0 1 0 55574029 31023104 5216 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 7574 5216 2688 2752 0 4227 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 37280 KiB
Current children cumulated memory: 25216 KiB

[startup+0.205691 s]*
/proc/loadavg: 4.04 4.08 4.08 5/272 51502
/proc/meminfo: memFree=126920244/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=0.18 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3762 0 0 0 17 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+0.305544 s]*
/proc/loadavg: 4.04 4.08 4.08 5/272 51502
/proc/meminfo: memFree=126920244/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=0.28 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3762 0 0 0 27 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+0.700144 s]
/proc/loadavg: 4.04 4.08 4.08 5/272 51502
/proc/meminfo: memFree=126920244/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=0.67 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3762 0 0 0 66 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+1.50013 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 51502
/proc/meminfo: memFree=126920244/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=1.47 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3762 0 0 0 146 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+3.1048 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 51502
/proc/meminfo: memFree=126920244/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=3.07 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3762 0 0 0 306 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+6.30013 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 51502
/proc/meminfo: memFree=126912180/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=6.26 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3762 0 0 0 625 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 51503
/proc/meminfo: memFree=126910032/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=12.65 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3762 0 0 0 1264 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 51503
/proc/meminfo: memFree=126895412/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=25.42 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3762 0 0 0 2541 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+51.1049 s]
/proc/loadavg: 4.12 4.09 4.09 5/271 51503
/proc/meminfo: memFree=126883216/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=50.97 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3762 0 0 0 5096 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 51506
/proc/meminfo: memFree=126860424/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0

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

/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=2197.46 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3779 0 0 0 219745 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 2197.46 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+2262.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/272 51815
/proc/meminfo: memFree=129726188/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=2257.32 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3779 0 0 0 225731 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 2257.32 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+2322.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/272 51817
/proc/meminfo: memFree=129726316/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=2317.17 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3779 0 0 0 231716 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 2317.17 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+2382.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/272 51819
/proc/meminfo: memFree=129725944/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=2377.02 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3779 0 0 0 237701 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 2377.02 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

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

# cumulated CPU time of all completed processes:  user=2392.85 s, system=0.034347 s

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

[startup+2387.2 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 51819
/proc/meminfo: memFree=129725944/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=2381.91 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3779 0 0 0 238190 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 2381.91 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+2393.6 s]
/proc/loadavg: 4.11 4.13 4.09 5/273 51823
/proc/meminfo: memFree=129725796/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=2388.29 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3779 0 0 0 238828 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 2388.29 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+2396.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/273 51823
/proc/meminfo: memFree=129725796/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=2391.49 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3779 0 0 0 239148 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 2391.49 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+2397.6 s]
/proc/loadavg: 4.10 4.13 4.09 5/273 51823
/proc/meminfo: memFree=129725796/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=2392.29 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3779 0 0 0 239228 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 2392.29 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+2398 s]*
/proc/loadavg: 4.10 4.13 4.09 5/273 51823
/proc/meminfo: memFree=129725796/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 245 102 0 0 0 0 0 0 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
[pid=51501] ppid=51498 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/51501/stat : 51501 (timeout) S 51498 51501 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55574028 2723840 352 18446744073709551615 94158615052288 94158615068801 140736631177728 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94158615083568 94158615085656 94158635003904 140736631179696 140736631179810 140736631179810 140736631185383 0
/proc/51501/statm: 665 352 352 5 0 90 0
[pid=51502] ppid=51501 vsize=26988 memory=18976 CPUtime=2392.69 cores=4,6
/proc/51502/stat : 51502 (NuPBO-DeepOptS+) R 51501 51501 50769 0 -1 4194304 3779 0 0 0 239268 1 0 0 20 0 1 0 55574029 27635712 4744 18446744073709551615 4198400 15468185 140727863803392 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40820736 140727863810492 140727863810593 140727863810593 140727863816166 0
/proc/51502/statm: 6747 4744 2784 2752 0 3400 0
Current children cumulated CPU time: 2392.69 s
Current children cumulated vsize: 33972 KiB
Current children cumulated memory: 23328 KiB

[startup+2398.2 s]
/proc/loadavg: 4.10 4.13 4.09 5/273 51823
/proc/meminfo: memFree=129725796/131250000 swapFree=33007332/33010684
[pid=51498] ppid=51495 vsize=4324 memory=2944 CPUtime=2392.86 cores=4,6
/proc/51498/stat : 51498 (Hybrid-NuPBODee) S 51495 51498 50769 0 -1 4194304 299 6570 0 0 0 0 239284 2 20 0 1 0 55574026 4427776 736 18446744073709551615 94640674922496 94640675817029 140734968451488 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 94640676056080 94640676103824 94640686546944 140734968457563 140734968457715 140734968457715 140734968463317 0
/proc/51498/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2392.86 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2398.24
CPU time (s): 2392.89
CPU user time (s): 2392.85
CPU system time (s): 0.034347
CPU usage (%): 99.7767
Max. virtual memory (cumulated for all children) (KiB): 37280
Max. memory (cumulated for all children) (KiB): 25216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.85
system time used= 0.034347
maximum resident set size= 25216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 927
involuntary context switches= 622


# summary of solver processes directly reported to runsolver:
#   pid: 51498
#   total CPU time (s): 2392.89
#   total CPU user time (s): 2392.85
#   total CPU system time (s): 0.034347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41088 second user time and 8.03409 second system time

The end