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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487005-1751333392/watcher-4487005-1751333392 -o /tmp/evaluation-result-4487005-1751333392/solver-4487005-1751333392 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751327394-47559 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4487005-1751333392.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=48436, runsolver pid=48433

[startup+0.10006 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 48440
/proc/meminfo: memFree=127633912/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=22548 memory=7992 CPUtime=0.07 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 1135 0 0 0 7 0 0 0 20 0 1 0 49017843 23089152 1998 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 5637 1998 1152 2752 0 2290 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29532 KiB
Current children cumulated memory: 12344 KiB

[startup+0.205675 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 48440
/proc/meminfo: memFree=127633912/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=22896 memory=8376 CPUtime=0.18 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 1208 0 0 0 18 0 0 0 20 0 1 0 49017843 23445504 2094 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 5724 2094 1152 2752 0 2377 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29880 KiB
Current children cumulated memory: 12728 KiB

[startup+0.304964 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 48440
/proc/meminfo: memFree=127633156/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=24436 memory=9236 CPUtime=0.28 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 1707 0 0 0 28 0 0 0 20 0 1 0 49017843 25022464 2309 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 6109 2309 1152 2752 0 2762 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 31420 KiB
Current children cumulated memory: 13588 KiB

[startup+0.700185 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 48440
/proc/meminfo: memFree=127632444/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=25972 memory=11456 CPUtime=0.66 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 2150 0 0 0 66 0 0 0 20 0 1 0 49017843 26595328 2864 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 6493 2864 1152 2752 0 3146 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 32956 KiB
Current children cumulated memory: 15808 KiB

[startup+1.50024 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 48440
/proc/meminfo: memFree=127628096/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=32708 memory=18212 CPUtime=1.46 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5007 0 0 0 146 0 0 0 20 0 1 0 49017843 33492992 4553 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8177 4553 1152 2752 0 4830 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 39692 KiB
Current children cumulated memory: 22564 KiB

[startup+3.10554 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 48440
/proc/meminfo: memFree=127596728/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=26756 CPUtime=3.07 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5686 0 0 0 306 1 0 0 20 0 1 0 49017843 36601856 6689 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6689 2816 2752 0 5589 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 31108 KiB

[startup+6.30023 s]
/proc/loadavg: 4.09 4.12 4.09 4/265 48487
/proc/meminfo: memFree=127630096/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=26756 CPUtime=6.23 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5686 0 0 0 621 2 0 0 20 0 1 0 49017843 36601856 6689 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6689 2816 2752 0 5589 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 31108 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.09 5/271 48498
/proc/meminfo: memFree=127609648/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=26756 CPUtime=12.61 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5686 0 0 0 1259 2 0 0 20 0 1 0 49017843 36601856 6689 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6689 2816 2752 0 5589 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 31108 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/271 48498
/proc/meminfo: memFree=127603980/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=26756 CPUtime=25.37 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5686 0 0 0 2535 2 0 0 20 0 1 0 49017843 36601856 6689 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6689 2816 2752 0 5589 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 31108 KiB

[startup+51.1054 s]
/proc/loadavg: 4.15 4.13 4.09 5/271 48498
/proc/meminfo: memFree=127562908/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=26756 CPUtime=50.91 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5686 0 0 0 5089 2 0 0 20 0 1 0 49017843 36601856 6689 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6689 2816 2752 0 5589 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 31108 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/271 48500
/proc/meminfo: memFree=127440024/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0

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

/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=27780 CPUtime=2196.76 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5730 0 0 0 219665 11 0 0 20 0 1 0 49017843 36601856 6945 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6945 2816 2752 0 5589 0
Current children cumulated CPU time: 2196.76 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 32132 KiB

[startup+2262.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/271 48613
/proc/meminfo: memFree=127639004/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=27780 CPUtime=2256.62 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5730 0 0 0 225651 11 0 0 20 0 1 0 49017843 36601856 6945 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6945 2816 2752 0 5589 0
Current children cumulated CPU time: 2256.62 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 32132 KiB

[startup+2322.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/272 48618
/proc/meminfo: memFree=128241284/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=27780 CPUtime=2316.48 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5733 0 0 0 231637 11 0 0 20 0 1 0 49017843 36601856 6945 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6945 2816 2752 0 5589 0
Current children cumulated CPU time: 2316.48 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 32132 KiB

[startup+2382.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/272 48620
/proc/meminfo: memFree=128229384/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=27780 CPUtime=2376.33 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5733 0 0 0 237622 11 0 0 20 0 1 0 49017843 36601856 6945 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6945 2816 2752 0 5589 0
Current children cumulated CPU time: 2376.33 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 32132 KiB

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

# cumulated CPU time of all completed processes:  user=2394.26 s, system=0.168043 s

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

[startup+2393.6 s]
/proc/loadavg: 4.12 4.15 4.11 5/272 48620
/proc/meminfo: memFree=128227344/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=27780 CPUtime=2387.61 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5733 0 0 0 238749 12 0 0 20 0 1 0 49017843 36601856 6945 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6945 2816 2752 0 5589 0
Current children cumulated CPU time: 2387.61 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 32132 KiB

[startup+2396.8 s]
/proc/loadavg: 4.11 4.15 4.11 5/272 48621
/proc/meminfo: memFree=128227344/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48439] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48439/stat : 48439 (timeout) S 48436 48439 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49017842 2723840 352 18446744073709551615 94727856836608 94727856853121 140726711207712 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94727856867888 94727856869976 94727878500352 140726711212464 140726711212578 140726711212578 140726711218151 0
/proc/48439/statm: 665 352 352 5 0 90 0
[pid=48440] ppid=48439 vsize=35744 memory=27780 CPUtime=2390.81 cores=0,2
/proc/48440/stat : 48440 (NuPBO-DeepOptS+) R 48439 48439 47549 0 -1 4194304 5733 0 0 0 239069 12 0 0 20 0 1 0 49017843 36601856 6945 18446744073709551615 4198400 15468185 140721804539024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36188160 140721804544444 140721804544545 140721804544545 140721804550118 0
/proc/48440/statm: 8936 6945 2816 2752 0 5589 0
Current children cumulated CPU time: 2390.81 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 32132 KiB

[startup+2398.4 s]
/proc/loadavg: 4.11 4.15 4.11 4/266 48641
/proc/meminfo: memFree=128236124/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=2392.03 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 282 5967 0 0 0 0 239191 12 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2392.03 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

[startup+2399.2 s]
/proc/loadavg: 4.11 4.15 4.11 5/272 48683
/proc/meminfo: memFree=128243848/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=2392.03 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 282 5967 0 0 0 0 239191 12 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48642] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48642/stat : 48642 (timeout) S 48436 48642 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49257643 2723840 352 18446744073709551615 94012183179264 94012183195777 140735090073264 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94012183210544 94012183212632 94012216651776 140735090080131 140735090080290 140735090080290 140735090085863 0
/proc/48642/statm: 665 352 352 5 0 90 0
[pid=48643] ppid=48642 vsize=60472 memory=30760 CPUtime=1.14 cores=0,2
/proc/48643/stat : 48643 (ExactPR-nols) R 48642 48642 47549 0 -1 4194304 3763 0 0 0 113 1 0 0 20 0 1 0 49257644 61923328 7690 18446744073709551615 94822625841152 94822635140805 140733188841648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94822636927296 94822636966376 94822667874304 140733188843928 140733188844068 140733188844068 140733188849641 0
/proc/48643/statm: 15118 7690 1888 2271 0 9756 0
Current children cumulated CPU time: 2393.17 s
Current children cumulated vsize: 67456 KiB
Current children cumulated memory: 35112 KiB

[startup+2400 s]*
/proc/loadavg: 4.11 4.15 4.11 5/272 48683
/proc/meminfo: memFree=128228184/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=2392.03 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 282 5967 0 0 0 0 239191 12 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48642] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48642/stat : 48642 (timeout) S 48436 48642 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49257643 2723840 352 18446744073709551615 94012183179264 94012183195777 140735090073264 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94012183210544 94012183212632 94012216651776 140735090080131 140735090080290 140735090080290 140735090085863 0
/proc/48642/statm: 665 352 352 5 0 90 0
[pid=48643] ppid=48642 vsize=70052 memory=46380 CPUtime=1.94 cores=0,2
/proc/48643/stat : 48643 (ExactPR-nols) R 48642 48642 47549 0 -1 4194304 6118 0 0 0 193 1 0 0 20 0 1 0 49257644 71733248 11595 18446744073709551615 94822625841152 94822635140805 140733188841648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94822636927296 94822636966376 94822667874304 140733188843928 140733188844068 140733188844068 140733188849641 0
/proc/48643/statm: 17513 11595 1888 2271 0 12151 0
Current children cumulated CPU time: 2393.97 s
Current children cumulated vsize: 77036 KiB
Current children cumulated memory: 50732 KiB

[startup+2400.4 s]
/proc/loadavg: 4.11 4.15 4.11 5/272 48683
/proc/meminfo: memFree=128228184/131250000 swapFree=33010684/33010684
[pid=48436] ppid=48433 vsize=4324 memory=2944 CPUtime=2392.03 cores=0,2
/proc/48436/stat : 48436 (Hybrid-NuPBODee) S 48433 48436 47549 0 -1 4194304 282 5967 0 0 0 0 239191 12 20 0 1 0 49017840 4427776 736 18446744073709551615 94351340675072 94351341569605 140723670153648 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94351341808656 94351341856400 94351352811520 140723670157659 140723670157811 140723670157811 140723670163413 0
/proc/48436/statm: 1081 736 672 219 0 143 0
[pid=48642] ppid=48436 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48642/stat : 48642 (timeout) S 48436 48642 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49257643 2723840 352 18446744073709551615 94012183179264 94012183195777 140735090073264 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94012183210544 94012183212632 94012216651776 140735090080131 140735090080290 140735090080290 140735090085863 0
/proc/48642/statm: 665 352 352 5 0 90 0
[pid=48643] ppid=48642 vsize=85484 memory=49636 CPUtime=2.34 cores=0,2
/proc/48643/stat : 48643 (ExactPR-nols) R 48642 48642 47549 0 -1 4194304 7186 0 0 0 231 3 0 0 20 0 1 0 49257644 87535616 12409 18446744073709551615 94822625841152 94822635140805 140733188841648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94822636927296 94822636966376 94822667874304 140733188843928 140733188844068 140733188844068 140733188849641 0
/proc/48643/statm: 21371 12409 1888 2271 0 16009 0
Current children cumulated CPU time: 2394.37 s
Current children cumulated vsize: 92468 KiB
Current children cumulated memory: 53988 KiB

Child status: 0

Real time (s): 2400.49
CPU time (s): 2394.43
CPU user time (s): 2394.26
CPU system time (s): 0.168043
CPU usage (%): 99.7478
Max. virtual memory (cumulated for all children) (KiB): 92468
Max. memory (cumulated for all children) (KiB): 53988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.26
system time used= 0.168043
maximum resident set size= 65868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14973
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 930
involuntary context switches= 5217


# summary of solver processes directly reported to runsolver:
#   pid: 48436
#   total CPU time (s): 2394.43
#   total CPU user time (s): 2394.26
#   total CPU system time (s): 0.168043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.61482 second user time and 10.1628 second system time

The end