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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496991-1751397078/watcher-4496991-1751397078 -o /tmp/evaluation-result-4496991-1751397078/solver-4496991-1751397078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751393480-50779 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4496991-1751397078.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
solver pid=51282, runsolver pid=51279
Current StackSize limit: 8192 KiB


[startup+0.100055 s]*
/proc/loadavg: 4.14 4.10 4.03 5/272 51286
/proc/meminfo: memFree=129652240/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=20924 memory=6684 CPUtime=0.07 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 723 0 0 0 7 0 0 0 20 0 1 0 55385367 21426176 1671 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 5231 1671 1152 2752 0 1884 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27908 KiB
Current children cumulated memory: 11036 KiB

[startup+0.205302 s]*
/proc/loadavg: 4.14 4.10 4.03 5/272 51286
/proc/meminfo: memFree=129636392/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=20972 CPUtime=0.18 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4524 0 0 0 18 0 0 0 20 0 1 0 55385367 30015488 5243 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5243 2784 2752 0 3981 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25324 KiB

[startup+0.305681 s]*
/proc/loadavg: 4.14 4.10 4.03 5/272 51286
/proc/meminfo: memFree=129636392/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=20972 CPUtime=0.28 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4524 0 0 0 28 0 0 0 20 0 1 0 55385367 30015488 5243 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5243 2784 2752 0 3981 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25324 KiB

[startup+0.700145 s]
/proc/loadavg: 4.14 4.10 4.03 5/272 51286
/proc/meminfo: memFree=129636392/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=20972 CPUtime=0.67 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4524 0 0 0 67 0 0 0 20 0 1 0 55385367 30015488 5243 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5243 2784 2752 0 3981 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25324 KiB

[startup+1.50013 s]
/proc/loadavg: 4.14 4.10 4.03 5/272 51286
/proc/meminfo: memFree=129636392/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=20972 CPUtime=1.46 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4524 0 0 0 146 0 0 0 20 0 1 0 55385367 30015488 5243 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5243 2784 2752 0 3981 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25324 KiB

[startup+3.10447 s]
/proc/loadavg: 4.13 4.09 4.03 5/272 51286
/proc/meminfo: memFree=129636400/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=20972 CPUtime=3.06 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4524 0 0 0 306 0 0 0 20 0 1 0 55385367 30015488 5243 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5243 2784 2752 0 3981 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25324 KiB

[startup+6.30013 s]
/proc/loadavg: 4.13 4.09 4.03 5/272 51286
/proc/meminfo: memFree=129639212/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=20972 CPUtime=6.25 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4524 0 0 0 625 0 0 0 20 0 1 0 55385367 30015488 5243 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5243 2784 2752 0 3981 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25324 KiB

[startup+12.7001 s]
/proc/loadavg: 4.12 4.09 4.03 5/272 51286
/proc/meminfo: memFree=129631020/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=20972 CPUtime=12.64 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4524 0 0 0 1264 0 0 0 20 0 1 0 55385367 30015488 5243 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5243 2784 2752 0 3981 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25324 KiB

[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.03 5/272 51286
/proc/meminfo: memFree=129619000/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=20972 CPUtime=25.41 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4524 0 0 0 2541 0 0 0 20 0 1 0 55385367 30015488 5243 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5243 2784 2752 0 3981 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25324 KiB

[startup+51.1045 s]
/proc/loadavg: 4.13 4.10 4.03 5/272 51287
/proc/meminfo: memFree=129610052/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=20972 CPUtime=50.96 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4524 0 0 0 5096 0 0 0 20 0 1 0 55385367 30015488 5243 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5243 2784 2752 0 3981 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25324 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/272 51288
/proc/meminfo: memFree=129593316/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0

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

[pid=51286] ppid=51285 vsize=29312 memory=21228 CPUtime=2197.47 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4542 0 0 0 219747 0 0 0 20 0 1 0 55385367 30015488 5307 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5307 2784 2752 0 3981 0
Current children cumulated CPU time: 2197.47 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25580 KiB

[startup+2262.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/271 51521
/proc/meminfo: memFree=126751484/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=21228 CPUtime=2257.34 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4542 0 0 0 225734 0 0 0 20 0 1 0 55385367 30015488 5307 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5307 2784 2752 0 3981 0
Current children cumulated CPU time: 2257.34 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25580 KiB

[startup+2322.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/272 51523
/proc/meminfo: memFree=126751104/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=21228 CPUtime=2317.21 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4542 0 0 0 231721 0 0 0 20 0 1 0 55385367 30015488 5307 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5307 2784 2752 0 3981 0
Current children cumulated CPU time: 2317.21 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25580 KiB

[startup+2382.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/272 51526
/proc/meminfo: memFree=126733124/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=21228 CPUtime=2377.07 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4542 0 0 0 237707 0 0 0 20 0 1 0 55385367 30015488 5307 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5307 2784 2752 0 3981 0
Current children cumulated CPU time: 2377.07 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25580 KiB

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

# cumulated CPU time of all completed processes:  user=2393.43 s, system=0.022864 s

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

[startup+2387.2 s]
/proc/loadavg: 4.14 4.14 4.11 5/272 51527
/proc/meminfo: memFree=126733224/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=21228 CPUtime=2381.96 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4543 0 0 0 238196 0 0 0 20 0 1 0 55385367 30015488 5307 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5307 2784 2752 0 3981 0
Current children cumulated CPU time: 2381.96 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25580 KiB

[startup+2393.6 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 51527
/proc/meminfo: memFree=126733248/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=21228 CPUtime=2388.35 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4543 0 0 0 238835 0 0 0 20 0 1 0 55385367 30015488 5307 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5307 2784 2752 0 3981 0
Current children cumulated CPU time: 2388.35 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25580 KiB

[startup+2396.8 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 51527
/proc/meminfo: memFree=126725316/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=21228 CPUtime=2391.54 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4543 0 0 0 239154 0 0 0 20 0 1 0 55385367 30015488 5307 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5307 2784 2752 0 3981 0
Current children cumulated CPU time: 2391.54 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25580 KiB

[startup+2397.6 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 51527
/proc/meminfo: memFree=126725316/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
[pid=51285] ppid=51282 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/51285/stat : 51285 (timeout) S 51282 51285 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55385366 2723840 352 18446744073709551615 94813065338880 94813065355393 140733763570848 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94813065370160 94813065372248 94813077291008 140733763574192 140733763574306 140733763574306 140733763579879 0
/proc/51285/statm: 665 352 352 5 0 90 0
[pid=51286] ppid=51285 vsize=29312 memory=21228 CPUtime=2392.34 cores=0,2
/proc/51286/stat : 51286 (NuPBO-DeepOptS+) R 51285 51285 50769 0 -1 4194304 4543 0 0 0 239234 0 0 0 20 0 1 0 55385367 30015488 5307 18446744073709551615 4198400 15468185 140722500470464 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28151808 140722500479420 140722500479521 140722500479521 140722500485094 0
/proc/51286/statm: 7328 5307 2784 2752 0 3981 0
Current children cumulated CPU time: 2392.34 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 25580 KiB

[startup+2398.4 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 51527
/proc/meminfo: memFree=126725316/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=2392.77 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 281 4772 0 0 0 0 239277 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2392.77 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

[startup+2398.6 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 51527
/proc/meminfo: memFree=126725316/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=2392.77 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 281 4772 0 0 0 0 239277 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2392.77 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

[startup+2398.7 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 51527
/proc/meminfo: memFree=126725316/131250000 swapFree=33007332/33010684
[pid=51282] ppid=51279 vsize=4324 memory=2944 CPUtime=2392.77 cores=0,2
/proc/51282/stat : 51282 (Hybrid-NuPBODee) S 51279 51282 50769 0 -1 4194304 281 4772 0 0 0 0 239277 0 20 0 1 0 55385364 4427776 736 18446744073709551615 94648185954304 94648186848837 140728779106640 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94648187087888 94648187135632 94648217534464 140728779114843 140728779114995 140728779114995 140728779120597 0
/proc/51282/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2392.77 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2398.77
CPU time (s): 2393.45
CPU user time (s): 2393.43
CPU system time (s): 0.022864
CPU usage (%): 99.7784
Max. virtual memory (cumulated for all children) (KiB): 36296
Max. memory (cumulated for all children) (KiB): 25580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.43
system time used= 0.022864
maximum resident set size= 27416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 940
involuntary context switches= 3026


# summary of solver processes directly reported to runsolver:
#   pid: 51282
#   total CPU time (s): 2393.45
#   total CPU user time (s): 2393.43
#   total CPU system time (s): 0.022864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76593 second user time and 7.75756 second system time

The end