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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488661-1751343595/watcher-4488661-1751343595 -o /tmp/evaluation-result-4488661-1751343595/solver-4488661-1751343595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751338795-48340 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4488661-1751343595.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49005, runsolver pid=48997

[startup+0.100061 s]*
/proc/loadavg: 4.03 4.13 4.10 5/271 49011
/proc/meminfo: memFree=109975408/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49010/stat : 49010 (timeout) S 49005 49010 48326 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50038072 2723840 352 18446744073709551615 93902376669184 93902376685697 140720839776368 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93902376700464 93902376702552 93902398259200 140720839784880 140720839784994 140720839784994 140720839790567 0
/proc/49010/statm: 665 352 352 5 0 90 0
[pid=49011] ppid=49010 vsize=21604 memory=7444 CPUtime=0.07 cores=4,6
/proc/49011/stat : 49011 (NuPBO-DeepOptS+) R 49010 49010 48326 0 -1 4194304 967 0 0 0 7 0 0 0 20 0 1 0 50038073 22122496 1861 18446744073709551615 4198400 15468185 140732092600960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 56553472 140732092602812 140732092602913 140732092602913 140732092608486 0
/proc/49011/statm: 5401 1861 1152 2752 0 2054 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28588 KiB
Current children cumulated memory: 11924 KiB

[startup+0.204684 s]*
/proc/loadavg: 4.03 4.13 4.10 5/271 49011
/proc/meminfo: memFree=109943404/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49010/stat : 49010 (timeout) S 49005 49010 48326 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50038072 2723840 352 18446744073709551615 93902376669184 93902376685697 140720839776368 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93902376700464 93902376702552 93902398259200 140720839784880 140720839784994 140720839784994 140720839790567 0
/proc/49010/statm: 665 352 352 5 0 90 0
[pid=49011] ppid=49010 vsize=33716 memory=23956 CPUtime=0.17 cores=4,6
/proc/49011/stat : 49011 (NuPBO-DeepOptS+) R 49010 49010 48326 0 -1 4194304 3780 0 0 0 17 0 0 0 20 0 1 0 50038073 34525184 5989 18446744073709551615 4198400 15468185 140732092600960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 56553472 140732092602812 140732092602913 140732092602913 140732092608486 0
/proc/49011/statm: 8429 5989 2688 2752 0 5082 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 40700 KiB
Current children cumulated memory: 28436 KiB

[startup+0.305402 s]*
/proc/loadavg: 4.03 4.13 4.10 5/271 49011
/proc/meminfo: memFree=109931308/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49010/stat : 49010 (timeout) S 49005 49010 48326 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50038072 2723840 352 18446744073709551615 93902376669184 93902376685697 140720839776368 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93902376700464 93902376702552 93902398259200 140720839784880 140720839784994 140720839784994 140720839790567 0
/proc/49010/statm: 665 352 352 5 0 90 0
[pid=49011] ppid=49010 vsize=43704 memory=34328 CPUtime=0.27 cores=4,6
/proc/49011/stat : 49011 (NuPBO-DeepOptS+) R 49010 49010 48326 0 -1 4194304 6325 0 0 0 27 0 0 0 20 0 1 0 50038073 44752896 8582 18446744073709551615 4198400 15468185 140732092600960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 56553472 140732092602812 140732092602913 140732092602913 140732092608486 0
/proc/49011/statm: 10926 8582 2816 2752 0 7579 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 50688 KiB
Current children cumulated memory: 38808 KiB

[startup+0.700164 s]
/proc/loadavg: 4.03 4.13 4.10 5/271 49011
/proc/meminfo: memFree=109927276/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49010/stat : 49010 (timeout) S 49005 49010 48326 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50038072 2723840 352 18446744073709551615 93902376669184 93902376685697 140720839776368 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93902376700464 93902376702552 93902398259200 140720839784880 140720839784994 140720839784994 140720839790567 0
/proc/49010/statm: 665 352 352 5 0 90 0
[pid=49011] ppid=49010 vsize=47732 memory=38168 CPUtime=0.66 cores=4,6
/proc/49011/stat : 49011 (NuPBO-DeepOptS+) R 49010 49010 48326 0 -1 4194304 7315 0 0 0 66 0 0 0 20 0 1 0 50038073 48877568 9542 18446744073709551615 4198400 15468185 140732092600960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 56553472 140732092602812 140732092602913 140732092602913 140732092608486 0
/proc/49011/statm: 11933 9542 2816 2752 0 8586 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 54716 KiB
Current children cumulated memory: 42648 KiB

[startup+1.50016 s]
/proc/loadavg: 4.03 4.13 4.10 6/271 49011
/proc/meminfo: memFree=109918456/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49010/stat : 49010 (timeout) S 49005 49010 48326 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50038072 2723840 352 18446744073709551615 93902376669184 93902376685697 140720839776368 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93902376700464 93902376702552 93902398259200 140720839784880 140720839784994 140720839784994 140720839790567 0
/proc/49010/statm: 665 352 352 5 0 90 0
[pid=49011] ppid=49010 vsize=49132 memory=39192 CPUtime=1.46 cores=4,6
/proc/49011/stat : 49011 (NuPBO-DeepOptS+) R 49010 49010 48326 0 -1 4194304 7563 0 0 0 145 1 0 0 20 0 1 0 50038073 50311168 9798 18446744073709551615 4198400 15468185 140732092600960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 56553472 140732092602812 140732092602913 140732092602913 140732092608486 0
/proc/49011/statm: 12283 9798 2816 2752 0 8936 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 56116 KiB
Current children cumulated memory: 43672 KiB

[startup+3.10507 s]
/proc/loadavg: 4.03 4.13 4.10 6/271 49011
/proc/meminfo: memFree=109875500/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49010/stat : 49010 (timeout) S 49005 49010 48326 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50038072 2723840 352 18446744073709551615 93902376669184 93902376685697 140720839776368 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93902376700464 93902376702552 93902398259200 140720839784880 140720839784994 140720839784994 140720839790567 0
/proc/49010/statm: 665 352 352 5 0 90 0
[pid=49011] ppid=49010 vsize=61760 memory=50840 CPUtime=3.06 cores=4,6
/proc/49011/stat : 49011 (NuPBO-DeepOptS+) R 49010 49010 48326 0 -1 4194304 10462 0 0 0 305 1 0 0 20 0 1 0 50038073 63242240 12710 18446744073709551615 4198400 15468185 140732092600960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 56553472 140732092602812 140732092602913 140732092602913 140732092608486 0
/proc/49011/statm: 15440 12710 2816 2752 0 12093 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 68744 KiB
Current children cumulated memory: 55320 KiB

[startup+6.30016 s]
/proc/loadavg: 4.11 4.14 4.11 6/271 49011
/proc/meminfo: memFree=109795364/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49010/stat : 49010 (timeout) S 49005 49010 48326 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50038072 2723840 352 18446744073709551615 93902376669184 93902376685697 140720839776368 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93902376700464 93902376702552 93902398259200 140720839784880 140720839784994 140720839784994 140720839790567 0
/proc/49010/statm: 665 352 352 5 0 90 0
[pid=49011] ppid=49010 vsize=116328 memory=103832 CPUtime=6.24 cores=4,6
/proc/49011/stat : 49011 (NuPBO-DeepOptS+) R 49010 49010 48326 0 -1 4194304 23717 0 0 0 621 3 0 0 20 0 1 0 50038073 119119872 25958 18446744073709551615 4198400 15468185 140732092600960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 56553472 140732092602812 140732092602913 140732092602913 140732092608486 0
/proc/49011/statm: 29082 25958 2816 2752 0 25735 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 123312 KiB
Current children cumulated memory: 108312 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.14 4.11 6/271 49012
/proc/meminfo: memFree=109731172/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49010/stat : 49010 (timeout) S 49005 49010 48326 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50038072 2723840 352 18446744073709551615 93902376669184 93902376685697 140720839776368 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93902376700464 93902376702552 93902398259200 140720839784880 140720839784994 140720839784994 140720839790567 0
/proc/49010/statm: 665 352 352 5 0 90 0
[pid=49011] ppid=49010 vsize=131944 memory=116968 CPUtime=12.63 cores=4,6
/proc/49011/stat : 49011 (NuPBO-DeepOptS+) R 49010 49010 48326 0 -1 4194304 28141 0 0 0 1259 4 0 0 20 0 1 0 50038073 135110656 29242 18446744073709551615 4198400 15468185 140732092600960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 56553472 140732092602812 140732092602913 140732092602913 140732092608486 0
/proc/49011/statm: 32986 29242 2816 2752 0 29639 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 138928 KiB
Current children cumulated memory: 121448 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.13 4.10 6/271 49012
/proc/meminfo: memFree=109730504/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49010/stat : 49010 (timeout) S 49005 49010 48326 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50038072 2723840 352 18446744073709551615 93902376669184 93902376685697 140720839776368 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93902376700464 93902376702552 93902398259200 140720839784880 140720839784994 140720839784994 140720839790567 0
/proc/49010/statm: 665 352 352 5 0 90 0
[pid=49011] ppid=49010 vsize=142052 memory=126568 CPUtime=25.39 cores=4,6
/proc/49011/stat : 49011 (NuPBO-DeepOptS+) R 49010 49010 48326 0 -1 4194304 30535 0 0 0 2535 4 0 0 20 0 1 0 50038073 145461248 31642 18446744073709551615 4198400 15468185 140732092600960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 56553472 140732092602812 140732092602913 140732092602913 140732092608486 0
/proc/49011/statm: 35513 31642 2816 2752 0 32166 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 149036 KiB
Current children cumulated memory: 131048 KiB

[startup+51.105 s]
/proc/loadavg: 4.12 4.14 4.10 6/271 49012
/proc/meminfo: memFree=109594500/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49010/stat : 49010 (timeout) S 49005 49010 48326 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50038072 2723840 352 18446744073709551615 93902376669184 93902376685697 140720839776368 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93902376700464 93902376702552 93902398259200 140720839784880 140720839784994 140720839784994 140720839790567 0
/proc/49010/statm: 665 352 352 5 0 90 0
[pid=49011] ppid=49010 vsize=194060 memory=173760 CPUtime=50.93 cores=4,6
/proc/49011/stat : 49011 (NuPBO-DeepOptS+) R 49010 49010 48326 0 -1 4194304 44160 0 0 0 5086 7 0 0 20 0 1 0 50038073 198717440 43440 18446744073709551615 4198400 15468185 140732092600960 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 56553472 140732092602812 140732092602913 140732092602913 140732092608486 0
/proc/49011/statm: 48515 43440 2816 2752 0 45168 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 201044 KiB
Current children cumulated memory: 178240 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.10 6/272 49015
/proc/meminfo: memFree=109553748/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49010] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49255] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49255/stat : 49255 (timeout) S 49005 49255 48326 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50277873 2723840 352 18446744073709551615 94336743174144 94336743190657 140725316593072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336743205424 94336743207512 94336772571136 140725316602243 140725316602402 140725316602402 140725316607975 0
/proc/49255/statm: 665 352 352 5 0 90 0
[pid=49256] ppid=49255 vsize=264160 memory=237428 CPUtime=1061.66 cores=4,6
/proc/49256/stat : 49256 (ExactPR-nols) R 49255 49255 48326 0 -1 4194304 35332 0 0 0 105830 336 0 0 20 0 1 0 50277874 270499840 59357 18446744073709551615 94827478310912 94827487610565 140732391364960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94827489397056 94827489436136 94827514830848 140732391369112 140732391369252 140732391369252 140732391374825 0
/proc/49256/statm: 66040 59357 1856 2271 0 60678 0
Current children cumulated CPU time: 3454.16 s
Current children cumulated vsize: 271144 KiB
Current children cumulated memory: 241908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/271 49320
/proc/meminfo: memFree=108943244/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=2392.5 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 283 128344 0 0 0 0 239217 33 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49255] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49255/stat : 49255 (timeout) S 49005 49255 48326 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50277873 2723840 352 18446744073709551615 94336743174144 94336743190657 140725316593072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336743205424 94336743207512 94336772571136 140725316602243 140725316602402 140725316602402 140725316607975 0
/proc/49255/statm: 665 352 352 5 0 90 0
[pid=49256] ppid=49255 vsize=268672 memory=247156 CPUtime=1121.51 cores=4,6
/proc/49256/stat : 49256 (ExactPR-nols) R 49255 49255 48326 0 -1 4194304 36311 0 0 0 111797 354 0 0 20 0 1 0 50277874 275120128 61789 18446744073709551615 94827478310912 94827487610565 140732391364960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94827489397056 94827489436136 94827514830848 140732391369112 140732391369252 140732391369252 140732391374825 0
/proc/49256/statm: 67168 61789 1856 2271 0 61806 0
Current children cumulated CPU time: 3514.01 s
Current children cumulated vsize: 275656 KiB
Current children cumulated memory: 251636 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/270 49322
/proc/meminfo: memFree=108949932/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=2392.5 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 283 128344 0 0 0 0 239217 33 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49255] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49255/stat : 49255 (timeout) S 49005 49255 48326 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50277873 2723840 352 18446744073709551615 94336743174144 94336743190657 140725316593072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336743205424 94336743207512 94336772571136 140725316602243 140725316602402 140725316602402 140725316607975 0
/proc/49255/statm: 665 352 352 5 0 90 0
[pid=49256] ppid=49255 vsize=270976 memory=249076 CPUtime=1181.37 cores=4,6
/proc/49256/stat : 49256 (ExactPR-nols) R 49255 49255 48326 0 -1 4194304 36833 0 0 0 117763 374 0 0 20 0 1 0 50277874 277479424 62269 18446744073709551615 94827478310912 94827487610565 140732391364960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94827489397056 94827489436136 94827514830848 140732391369112 140732391369252 140732391369252 140732391374825 0
/proc/49256/statm: 67744 62269 1856 2271 0 62382 0
Current children cumulated CPU time: 3573.87 s
Current children cumulated vsize: 277960 KiB
Current children cumulated memory: 253556 KiB

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

# cumulated CPU time of all completed processes:  user=3583.49 s, system=4.14402 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.14 4.12 5/270 49322
/proc/meminfo: memFree=108949932/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=2392.5 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 283 128344 0 0 0 0 239217 33 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49255] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49255/stat : 49255 (timeout) S 49005 49255 48326 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50277873 2723840 352 18446744073709551615 94336743174144 94336743190657 140725316593072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336743205424 94336743207512 94336772571136 140725316602243 140725316602402 140725316602402 140725316607975 0
/proc/49255/statm: 665 352 352 5 0 90 0
[pid=49256] ppid=49255 vsize=271260 memory=249332 CPUtime=1183.07 cores=4,6
/proc/49256/stat : 49256 (ExactPR-nols) R 49255 49255 48326 0 -1 4194304 36880 0 0 0 117932 375 0 0 20 0 1 0 50277874 277770240 62333 18446744073709551615 94827478310912 94827487610565 140732391364960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94827489397056 94827489436136 94827514830848 140732391369112 140732391369252 140732391369252 140732391374825 0
/proc/49256/statm: 67815 62333 1856 2271 0 62453 0
Current children cumulated CPU time: 3575.57 s
Current children cumulated vsize: 278244 KiB
Current children cumulated memory: 253812 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.14 4.12 5/270 49322
/proc/meminfo: memFree=108949932/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=2392.5 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 283 128344 0 0 0 0 239217 33 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49255] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49255/stat : 49255 (timeout) S 49005 49255 48326 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50277873 2723840 352 18446744073709551615 94336743174144 94336743190657 140725316593072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336743205424 94336743207512 94336772571136 140725316602243 140725316602402 140725316602402 140725316607975 0
/proc/49255/statm: 665 352 352 5 0 90 0
[pid=49256] ppid=49255 vsize=271260 memory=249332 CPUtime=1189.46 cores=4,6
/proc/49256/stat : 49256 (ExactPR-nols) R 49255 49255 48326 0 -1 4194304 36880 0 0 0 118570 376 0 0 20 0 1 0 50277874 277770240 62333 18446744073709551615 94827478310912 94827487610565 140732391364960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94827489397056 94827489436136 94827514830848 140732391369112 140732391369252 140732391369252 140732391374825 0
/proc/49256/statm: 67815 62333 1856 2271 0 62453 0
Current children cumulated CPU time: 3581.96 s
Current children cumulated vsize: 278244 KiB
Current children cumulated memory: 253812 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.13 4.12 5/270 49322
/proc/meminfo: memFree=108949932/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=2392.5 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 283 128344 0 0 0 0 239217 33 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49255] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49255/stat : 49255 (timeout) S 49005 49255 48326 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50277873 2723840 352 18446744073709551615 94336743174144 94336743190657 140725316593072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336743205424 94336743207512 94336772571136 140725316602243 140725316602402 140725316602402 140725316607975 0
/proc/49255/statm: 665 352 352 5 0 90 0
[pid=49256] ppid=49255 vsize=271260 memory=249460 CPUtime=1192.65 cores=4,6
/proc/49256/stat : 49256 (ExactPR-nols) R 49255 49255 48326 0 -1 4194304 36916 0 0 0 118888 377 0 0 20 0 1 0 50277874 277770240 62365 18446744073709551615 94827478310912 94827487610565 140732391364960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94827489397056 94827489436136 94827514830848 140732391369112 140732391369252 140732391369252 140732391374825 0
/proc/49256/statm: 67815 62365 1856 2271 0 62453 0
Current children cumulated CPU time: 3585.15 s
Current children cumulated vsize: 278244 KiB
Current children cumulated memory: 253940 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.13 4.12 5/270 49322
/proc/meminfo: memFree=108948924/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=2392.5 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 283 128344 0 0 0 0 239217 33 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49255] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49255/stat : 49255 (timeout) S 49005 49255 48326 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50277873 2723840 352 18446744073709551615 94336743174144 94336743190657 140725316593072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336743205424 94336743207512 94336772571136 140725316602243 140725316602402 140725316602402 140725316607975 0
/proc/49255/statm: 665 352 352 5 0 90 0
[pid=49256] ppid=49255 vsize=271260 memory=249460 CPUtime=1194.24 cores=4,6
/proc/49256/stat : 49256 (ExactPR-nols) R 49255 49255 48326 0 -1 4194304 36916 0 0 0 119046 378 0 0 20 0 1 0 50277874 277770240 62365 18446744073709551615 94827478310912 94827487610565 140732391364960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94827489397056 94827489436136 94827514830848 140732391369112 140732391369252 140732391369252 140732391374825 0
/proc/49256/statm: 67815 62365 1856 2271 0 62453 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 278244 KiB
Current children cumulated memory: 253940 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.13 4.12 5/270 49322
/proc/meminfo: memFree=108948924/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=2392.5 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 283 128344 0 0 0 0 239217 33 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49255] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49255/stat : 49255 (timeout) S 49005 49255 48326 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50277873 2723840 352 18446744073709551615 94336743174144 94336743190657 140725316593072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336743205424 94336743207512 94336772571136 140725316602243 140725316602402 140725316602402 140725316607975 0
/proc/49255/statm: 665 352 352 5 0 90 0
[pid=49256] ppid=49255 vsize=271260 memory=249460 CPUtime=1194.64 cores=4,6
/proc/49256/stat : 49256 (ExactPR-nols) R 49255 49255 48326 0 -1 4194304 36916 0 0 0 119086 378 0 0 20 0 1 0 50277874 277770240 62365 18446744073709551615 94827478310912 94827487610565 140732391364960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94827489397056 94827489436136 94827514830848 140732391369112 140732391369252 140732391369252 140732391374825 0
/proc/49256/statm: 67815 62365 1856 2271 0 62453 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 278244 KiB
Current children cumulated memory: 253940 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.13 4.12 5/270 49322
/proc/meminfo: memFree=108948924/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=2392.5 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 283 128344 0 0 0 0 239217 33 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
[pid=49255] ppid=49005 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/49255/stat : 49255 (timeout) S 49005 49255 48326 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50277873 2723840 352 18446744073709551615 94336743174144 94336743190657 140725316593072 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94336743205424 94336743207512 94336772571136 140725316602243 140725316602402 140725316602402 140725316607975 0
/proc/49255/statm: 665 352 352 5 0 90 0
[pid=49256] ppid=49255 vsize=271260 memory=249460 CPUtime=1195.04 cores=4,6
/proc/49256/stat : 49256 (ExactPR-nols) R 49255 49255 48326 0 -1 4194304 36916 0 0 0 119126 378 0 0 20 0 1 0 50277874 277770240 62365 18446744073709551615 94827478310912 94827487610565 140732391364960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94827489397056 94827489436136 94827514830848 140732391369112 140732391369252 140732391369252 140732391374825 0
/proc/49256/statm: 67815 62365 1856 2271 0 62453 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 278244 KiB
Current children cumulated memory: 253940 KiB

[startup+3596.1 s]
/proc/loadavg: 4.11 4.13 4.12 5/270 49322
/proc/meminfo: memFree=108948924/131249988 swapFree=33010416/33010684
[pid=49005] ppid=48997 vsize=4324 memory=3072 CPUtime=3587.61 cores=4,6
/proc/49005/stat : 49005 (Hybrid-NuPBODee) S 48997 49005 48326 0 -1 4194304 394 167097 0 0 0 0 358348 413 20 0 1 0 50038070 4427776 768 18446744073709551615 94749081915392 94749082809925 140734116105776 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 94749083048976 94749083096720 94749110546432 140734116112731 140734116112883 140734116112883 140734116118485 0
/proc/49005/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3587.61 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3587.63
CPU user time (s): 3583.49
CPU system time (s): 4.14402
CPU usage (%): 99.7627
Max. virtual memory (cumulated for all children) (KiB): 510376
Max. memory (cumulated for all children) (KiB): 498460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.49
system time used= 4.14402
maximum resident set size= 493980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168783
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2230
involuntary context switches= 2291


# summary of solver processes directly reported to runsolver:
#   pid: 49005
#   total CPU time (s): 3587.63
#   total CPU user time (s): 3583.49
#   total CPU system time (s): 4.14402

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94601 second user time and 13.7539 second system time

The end