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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100057 s]*
/proc/loadavg: 4.15 4.26 4.15 5/264 43899
/proc/meminfo: memFree=126734868/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=30816 memory=14832 CPUtime=0.1 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 2231 0 0 0 10 0 0 0 20 0 1 0 45172021 31555584 3708 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 7704 3708 1088 2752 0 4357 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30816 KiB
Current children cumulated memory: 14832 KiB

[startup+0.2054 s]*
/proc/loadavg: 4.14 4.25 4.14 5/264 43899
/proc/meminfo: memFree=126731076/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=32860 memory=14928 CPUtime=0.2 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 2747 0 0 0 20 0 0 0 20 0 1 0 45172021 33648640 3732 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 8215 3732 1088 2752 0 4868 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32860 KiB
Current children cumulated memory: 14928 KiB

[startup+0.305034 s]*
/proc/loadavg: 4.14 4.25 4.14 5/264 43899
/proc/meminfo: memFree=126731076/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=32860 memory=16976 CPUtime=0.3 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 2748 0 0 0 30 0 0 0 20 0 1 0 45172021 33648640 4244 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 8215 4244 1088 2752 0 4868 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32860 KiB
Current children cumulated memory: 16976 KiB

[startup+0.70018 s]
/proc/loadavg: 4.14 4.25 4.14 4/260 43904
/proc/meminfo: memFree=126742696/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=74184 memory=58540 CPUtime=0.69 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 10643 0 0 0 67 2 0 0 20 0 1 0 45172021 75964416 14635 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 18546 14635 1152 2752 0 15199 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74184 KiB
Current children cumulated memory: 58540 KiB

[startup+1.50015 s]
/proc/loadavg: 4.14 4.25 4.14 4/262 43913
/proc/meminfo: memFree=126740768/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=74184 memory=58540 CPUtime=1.49 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 10643 0 0 0 147 2 0 0 20 0 1 0 45172021 75964416 14635 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 18546 14635 1152 2752 0 15199 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74184 KiB
Current children cumulated memory: 58540 KiB

[startup+3.10546 s]
/proc/loadavg: 4.14 4.25 4.14 5/264 43944
/proc/meminfo: memFree=126393128/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=240428 memory=220632 CPUtime=3.09 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 51472 0 0 0 301 8 0 0 20 0 1 0 45172021 246198272 55158 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 60107 55158 2656 2752 0 56760 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 240428 KiB
Current children cumulated memory: 220632 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.25 4.14 5/264 43944
/proc/meminfo: memFree=125229276/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=615276 memory=562556 CPUtime=6.27 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 94809 0 0 0 609 18 0 0 20 0 1 0 45172021 630042624 140639 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 153819 140639 2816 2752 0 150472 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 615276 KiB
Current children cumulated memory: 562556 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=43898] ppid=43895 vsize=678700 memory=599972 CPUtime=12.66 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 102128 0 0 0 1247 19 0 0 20 0 1 0 45172021 694988800 149993 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 169675 149993 2816 2752 0 166328 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 678700 KiB
Current children cumulated memory: 599972 KiB

[startup+25.5001 s]
/proc/loadavg: 4.16 4.25 4.15 5/264 43944
/proc/meminfo: memFree=125134240/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=699208 memory=599972 CPUtime=25.42 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 102143 0 0 0 2523 19 0 0 20 0 1 0 45172021 715988992 149993 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 174802 149993 2816 2752 0 171455 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 699208 KiB
Current children cumulated memory: 599972 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.23 4.14 5/264 43944
/proc/meminfo: memFree=125103636/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=864996 memory=615272 CPUtime=50.96 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 104439 0 0 0 5076 20 0 0 20 0 1 0 45172021 885755904 153818 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 216249 153818 2816 2752 0 212902 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 864996 KiB
Current children cumulated memory: 615272 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=43898] ppid=43895 vsize=1054960 memory=785000 CPUtime=101.98 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 146843 0 0 0 10172 26 0 0 20 0 1 0 45172021 1080279040 196250 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 263740 196250 2848 2752 0 260393 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1054960 KiB
Current children cumulated memory: 785000 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.18 4.13 5/264 43952
/proc/meminfo: memFree=124555440/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1126692 memory=829672 CPUtime=161.78 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 158035 0 0 0 16150 28 0 0 20 0 1 0 45172021 1153732608 207418 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 281673 207418 2848 2752 0 278326 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1126692 KiB
Current children cumulated memory: 829672 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.16 4.12 5/265 43959
/proc/meminfo: memFree=124267364/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1178912 memory=865256 CPUtime=221.58 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 166942 0 0 0 22128 30 0 0 20 0 1 0 45172021 1207205888 216314 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 294728 216314 2848 2752 0 291381 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 1178912 KiB
Current children cumulated memory: 865256 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/265 43961
/proc/meminfo: memFree=124166820/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1285020 memory=890648 CPUtime=281.4 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 167804 0 0 0 28109 31 0 0 20 0 1 0 45172021 1315860480 222662 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 321255 222662 2848 2752 0 317908 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 1285020 KiB
Current children cumulated memory: 890648 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 43963
/proc/meminfo: memFree=124008012/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1368464 memory=971000 CPUtime=341.19 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 187400 0 0 0 34085 34 0 0 20 0 1 0 45172021 1401307136 242750 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 342116 242750 2848 2752 0 338769 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 1368464 KiB
Current children cumulated memory: 971000 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/264 43965
/proc/meminfo: memFree=123889396/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1403616 memory=1004064 CPUtime=400.99 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 189121 0 0 0 40064 35 0 0 20 0 1 0 45172021 1437302784 251016 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 350904 251016 2848 2752 0 347557 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 1403616 KiB
Current children cumulated memory: 1004064 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/263 43967
/proc/meminfo: memFree=123810548/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1418616 memory=1016352 CPUtime=460.81 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 192215 0 0 0 46045 36 0 0 20 0 1 0 45172021 1452662784 254088 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 354654 254088 2848 2752 0 351307 0
Current children cumulated CPU time: 460.81 s

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

Current children cumulated memory: 1148748 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 44094
/proc/meminfo: memFree=123352188/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=2854.52 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283292 0 0 0 285396 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 2854.52 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 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=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=2914.39 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283315 0 0 0 291383 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 2914.39 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 44099
/proc/meminfo: memFree=123354004/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=2974.27 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283338 0 0 0 297371 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 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=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3034.14 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283338 0 0 0 303358 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3034.14 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 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=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3094.01 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283361 0 0 0 309345 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 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=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3153.88 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283384 0 0 0 315332 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 44116
/proc/meminfo: memFree=123361856/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3213.75 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283407 0 0 0 321319 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 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=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3273.62 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283407 0 0 0 327306 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 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=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3333.5 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283430 0 0 0 333294 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 44122
/proc/meminfo: memFree=123364828/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3393.37 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283453 0 0 0 339281 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 44124
/proc/meminfo: memFree=123364292/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3453.24 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283453 0 0 0 345268 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 44127
/proc/meminfo: memFree=123364376/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3513.11 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283476 0 0 0 351255 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 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=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3572.98 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283499 0 0 0 357242 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.10 4.09 4.09 4/260 44138
/proc/meminfo: memFree=124621548/131249996 swapFree=33010684/33010684
[pid=43898] ppid=43895 vsize=1408112 memory=1148748 CPUtime=3600.02 cores=1,3
/proc/43898/stat : 43898 (NuPBO-DeepOptS+) R 43895 43898 43510 0 -1 4194304 283499 0 0 0 359946 56 0 0 20 0 1 0 45172021 1441906688 287187 18446744073709551615 4198400 15468185 140727214174320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44752896 140727214176662 140727214176772 140727214176772 140727214182374 0
/proc/43898/statm: 352028 287187 3168 2752 0 348681 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1408112 KiB
Current children cumulated memory: 1148748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.49 s, system=0.570322 s

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

Child status: 10

Real time (s): 3609.42
CPU time (s): 3600.06
CPU user time (s): 3599.49
CPU system time (s): 0.570322
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 2043964
Max. memory (cumulated for all children) (KiB): 1571412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.570322
maximum resident set size= 1571412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283655
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= 73
involuntary context switches= 4976


# summary of solver processes directly reported to runsolver:
#   pid: 43898
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.49
#   total CPU system time (s): 0.570322

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01611 second user time and 15.6972 second system time

The end