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: 63665 MiB (62892 MiB free)
  memory of node 1: 64507 MiB (60888 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484808-1751294944/watcher-4484808-1751294944 -o /tmp/evaluation-result-4484808-1751294944/solver-4484808-1751294944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751291333-43523 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4484808-1751294944.opb -t 3600 -s 1360837838 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=43943, runsolver pid=43940

[startup+0.100064 s]*
/proc/loadavg: 4.14 4.25 4.14 5/264 43944
/proc/meminfo: memFree=126747140/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=25968 memory=11524 CPUtime=0.09 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 1913 0 0 0 9 0 0 0 20 0 1 0 45172163 26591232 2881 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 6492 2881 1088 2752 0 3145 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25968 KiB
Current children cumulated memory: 11524 KiB

[startup+0.20555 s]*
/proc/loadavg: 4.14 4.25 4.14 5/264 43944
/proc/meminfo: memFree=126743304/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=32112 memory=14304 CPUtime=0.19 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 2612 0 0 0 19 0 0 0 20 0 1 0 45172163 32882688 3576 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 8028 3576 1088 2752 0 4681 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32112 KiB
Current children cumulated memory: 14304 KiB

[startup+0.305565 s]*
/proc/loadavg: 4.14 4.25 4.14 5/264 43944
/proc/meminfo: memFree=126737444/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=44632 memory=28352 CPUtime=0.3 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 4597 0 0 0 29 1 0 0 20 0 1 0 45172163 45703168 7088 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 11158 7088 1088 2752 0 7811 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44632 KiB
Current children cumulated memory: 28352 KiB

[startup+0.70019 s]
/proc/loadavg: 4.14 4.25 4.14 5/264 43944
/proc/meminfo: memFree=126707328/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=67680 memory=52004 CPUtime=0.68 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 10251 0 0 0 66 2 0 0 20 0 1 0 45172163 69304320 13001 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 16920 13001 1152 2752 0 13573 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67680 KiB
Current children cumulated memory: 52004 KiB

[startup+1.5002 s]
/proc/loadavg: 4.14 4.25 4.14 5/264 43944
/proc/meminfo: memFree=126706824/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=67680 memory=52004 CPUtime=1.48 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 10251 0 0 0 146 2 0 0 20 0 1 0 45172163 69304320 13001 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 16920 13001 1152 2752 0 13573 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67680 KiB
Current children cumulated memory: 52004 KiB

[startup+3.1054 s]
/proc/loadavg: 4.14 4.25 4.14 5/264 43944
/proc/meminfo: memFree=125771936/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=257032 memory=237400 CPUtime=3.08 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 56621 0 0 0 298 10 0 0 20 0 1 0 45172163 263200768 59350 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 64258 59350 2720 2752 0 60911 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 257032 KiB
Current children cumulated memory: 237400 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.25 4.14 5/264 43944
/proc/meminfo: memFree=125185200/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=595068 memory=524572 CPUtime=6.27 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 89843 0 0 0 607 20 0 0 20 0 1 0 45172163 609349632 131143 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 148767 131143 2816 2752 0 145420 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 595068 KiB
Current children cumulated memory: 524572 KiB

[startup+12.7001 s]
/proc/loadavg: 4.20 4.26 4.15 5/264 43944
/proc/meminfo: memFree=125137320/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=631088 memory=539040 CPUtime=12.65 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 92425 0 0 0 1245 20 0 0 20 0 1 0 45172163 646234112 134760 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 157772 134760 2816 2752 0 154425 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 631088 KiB
Current children cumulated memory: 539040 KiB

[startup+25.5001 s]
/proc/loadavg: 4.15 4.25 4.15 5/264 43944
/proc/meminfo: memFree=125122080/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=657596 memory=547884 CPUtime=25.42 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 93627 0 0 0 2521 21 0 0 20 0 1 0 45172163 673378304 136971 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 164399 136971 2816 2752 0 161052 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 657596 KiB
Current children cumulated memory: 547884 KiB

[startup+51.1058 s]
/proc/loadavg: 4.10 4.23 4.14 5/264 43944
/proc/meminfo: memFree=125095572/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=800244 memory=559240 CPUtime=50.94 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 95974 0 0 0 5073 21 0 0 20 0 1 0 45172163 819449856 139810 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 200061 139810 2816 2752 0 196714 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 800244 KiB
Current children cumulated memory: 559240 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.22 4.14 5/264 43947
/proc/meminfo: memFree=124618480/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=912944 memory=669704 CPUtime=101.96 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 123593 0 0 0 10170 26 0 0 20 0 1 0 45172163 934854656 167426 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 228236 167426 2816 2752 0 224889 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 912944 KiB
Current children cumulated memory: 669704 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.18 4.13 5/264 43952
/proc/meminfo: memFree=124555780/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=957124 memory=671864 CPUtime=161.74 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 123613 0 0 0 16147 27 0 0 20 0 1 0 45172163 980094976 167966 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 239281 167966 2816 2752 0 235934 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 957124 KiB
Current children cumulated memory: 671864 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.16 4.12 5/265 43959
/proc/meminfo: memFree=124262164/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1091752 memory=805080 CPUtime=221.53 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 155504 0 0 0 22120 33 0 0 20 0 1 0 45172163 1117954048 201270 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 272938 201270 2816 2752 0 269591 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 1091752 KiB
Current children cumulated memory: 805080 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/265 43961
/proc/meminfo: memFree=124166836/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1148680 memory=837592 CPUtime=281.32 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 163836 0 0 0 28098 34 0 0 20 0 1 0 45172163 1176248320 209398 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 287170 209398 2816 2752 0 283823 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 1148680 KiB
Current children cumulated memory: 837592 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 43963
/proc/meminfo: memFree=124008264/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1199776 memory=887792 CPUtime=341.09 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 177060 0 0 0 34073 36 0 0 20 0 1 0 45172163 1228570624 221948 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 299944 221948 2816 2752 0 296597 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 1199776 KiB
Current children cumulated memory: 887792 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/264 43965
/proc/meminfo: memFree=123889648/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1243748 memory=892880 CPUtime=400.88 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 185950 0 0 0 40050 38 0 0 20 0 1 0 45172163 1273597952 223220 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 310937 223220 2816 2752 0 307590 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 1243748 KiB
Current children cumulated memory: 892880 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/263 43967
/proc/meminfo: memFree=123810808/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1333804 memory=907840 CPUtime=460.69 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 187723 0 0 0 46030 39 0 0 20 0 1 0 45172163 1365815296 226960 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 333451 226960 2816 2752 0 330104 0
Current children cumulated CPU time: 460.69 s

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

Current children cumulated memory: 1088748 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 44097
/proc/meminfo: memFree=123354212/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=2913.64 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300409 0 0 0 291298 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 2913.64 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 44099
/proc/meminfo: memFree=123354068/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=2973.5 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300429 0 0 0 297284 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 2973.5 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 44102
/proc/meminfo: memFree=123354156/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3033.37 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300429 0 0 0 303271 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 44104
/proc/meminfo: memFree=123354300/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3093.23 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300449 0 0 0 309257 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 44108
/proc/meminfo: memFree=123354188/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3153.09 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300469 0 0 0 315243 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 44116
/proc/meminfo: memFree=123361888/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3212.95 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300489 0 0 0 321229 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3212.95 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 44118
/proc/meminfo: memFree=123361492/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3272.81 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300489 0 0 0 327215 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 44120
/proc/meminfo: memFree=123361604/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3332.67 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300509 0 0 0 333201 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3332.67 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 44122
/proc/meminfo: memFree=123364892/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3392.53 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300529 0 0 0 339187 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 44125
/proc/meminfo: memFree=123364040/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3452.39 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300529 0 0 0 345173 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 44127
/proc/meminfo: memFree=123364384/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3512.25 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300549 0 0 0 351159 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 44129
/proc/meminfo: memFree=123364248/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3572.11 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300569 0 0 0 357145 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 44265
/proc/meminfo: memFree=125572888/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3600.05 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300569 0 0 0 359939 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.32 s]
# the end of solver process 43943 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.41 s, system=0.671711 s

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

[startup+3610.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 44265
/proc/meminfo: memFree=125572888/131249996 swapFree=33010684/33010684
[pid=43943] ppid=43940 vsize=1415772 memory=1088748 CPUtime=3600.05 cores=5,7
/proc/43943/stat : 43943 (NuPBO-DeepOptS+) R 43940 43943 43510 0 -1 4194304 300569 0 0 0 359939 66 0 0 20 0 1 0 45172163 1449750528 272187 18446744073709551615 4198400 15468185 140732279474096 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46878720 140732279482774 140732279482884 140732279482884 140732279488486 0
/proc/43943/statm: 353943 272187 3168 2752 0 350596 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1415772 KiB
Current children cumulated memory: 1088748 KiB

Child status: 10

Real time (s): 3610.32
CPU time (s): 3600.08
CPU user time (s): 3599.41
CPU system time (s): 0.671711
CPU usage (%): 99.7164
Max. virtual memory (cumulated for all children) (KiB): 1938904
Max. memory (cumulated for all children) (KiB): 1416452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.41
system time used= 0.671711
maximum resident set size= 1416452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 18994


# summary of solver processes directly reported to runsolver:
#   pid: 43943
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.41
#   total CPU system time (s): 0.671711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00307 second user time and 16.0635 second system time

The end