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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525180-1751622914/watcher-4525180-1751622914 -o /tmp/evaluation-result-4525180-1751622914/solver-4525180-1751622914 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751617473-92363 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 591389775 HOME/instance-4525180-1751622914.wbo 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=93038, runsolver pid=93035

[startup+0.100066 s]*
/proc/loadavg: 4.93 4.32 4.23 8/255 93040
/proc/meminfo: memFree=123832484/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=83604 memory=9752 CPUtime=0.15 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 1942 0 0 0 14 1 0 0 20 0 2 0 77971081 85610496 2438 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 20901 2438 672 633 0 3895 0
[pid=93038/tid=93040] ppid=93035 vsize=83604 memory=4026531960 CPUtime=0.04 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 167 0 0 0 4 0 0 0 20 0 2 0 77971082 85610496 2438 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 83604 KiB
Current children cumulated memory: 9752 KiB

[startup+0.213038 s]*
/proc/loadavg: 5.02 4.35 4.24 8/255 93040
/proc/meminfo: memFree=123832484/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=83892 memory=10136 CPUtime=0.31 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) S 93035 93038 92353 0 -1 4194304 2038 0 0 0 30 1 0 0 20 0 2 0 77971081 85905408 2534 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 20973 2534 672 633 0 3967 0
[pid=93038/tid=93040] ppid=93035 vsize=83892 memory=664958721904869660 CPUtime=0.11 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 167 0 0 0 11 0 0 0 20 0 2 0 77971082 85905408 2534 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 83892 KiB
Current children cumulated memory: 10136 KiB

[startup+0.313348 s]*
/proc/loadavg: 5.02 4.35 4.24 8/255 93040
/proc/meminfo: memFree=123832484/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=84296 memory=10392 CPUtime=0.47 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 2106 0 0 0 46 1 0 0 20 0 2 0 77971081 86319104 2598 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 21074 2598 672 633 0 4068 0
[pid=93038/tid=93040] ppid=93035 vsize=84296 memory=7970952977302240362 CPUtime=0.18 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 167 0 0 0 18 0 0 0 20 0 2 0 77971082 86319104 2598 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 84296 KiB
Current children cumulated memory: 10392 KiB

[startup+0.700335 s]
/proc/loadavg: 5.02 4.35 4.24 8/255 93040
/proc/meminfo: memFree=123832484/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=84940 memory=10904 CPUtime=1.07 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 2241 0 0 0 106 1 0 0 20 0 2 0 77971081 86978560 2726 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 21235 2726 672 633 0 4229 0
[pid=93038/tid=93040] ppid=93035 vsize=84940 memory=18816 CPUtime=0.42 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 167 0 0 0 42 0 0 0 20 0 2 0 77971082 86978560 2726 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 84940 KiB
Current children cumulated memory: 10904 KiB

[startup+1.50024 s]
/proc/loadavg: 5.02 4.35 4.24 8/255 93040
/proc/meminfo: memFree=123832484/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=85168 memory=11092 CPUtime=2.65 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 4464 0 0 0 262 3 0 0 20 0 2 0 77971081 87212032 2773 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 21292 2773 672 633 0 4286 0
[pid=93038/tid=93040] ppid=93035 vsize=85168 memory=18816 CPUtime=1.21 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 544 0 0 0 120 1 0 0 20 0 2 0 77971082 87212032 2773 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 85168 KiB
Current children cumulated memory: 11092 KiB

[startup+3.11501 s]
/proc/loadavg: 5.02 4.35 4.24 8/255 93040
/proc/meminfo: memFree=123832852/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=85964 memory=11484 CPUtime=4.61 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 6173 0 0 0 455 6 0 0 20 0 2 0 77971081 88027136 2871 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 21491 2871 672 633 0 4485 0
[pid=93038/tid=93040] ppid=93035 vsize=85964 memory=11220 CPUtime=1.57 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 552 0 0 0 156 1 0 0 20 0 2 0 77971082 88027136 2871 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 85964 KiB
Current children cumulated memory: 11484 KiB

[startup+6.3003 s]
/proc/loadavg: 5.10 4.38 4.25 8/255 93040
/proc/meminfo: memFree=123833328/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=86260 memory=11996 CPUtime=9 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 8194 0 0 0 892 8 0 0 20 0 2 0 77971081 88330240 2999 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 21565 2999 672 633 0 4559 0
[pid=93038/tid=93040] ppid=93035 vsize=86260 memory=18816 CPUtime=2.81 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 957 0 0 0 279 2 0 0 20 0 2 0 77971082 88330240 2999 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 9 s
Current children cumulated vsize: 86260 KiB
Current children cumulated memory: 11996 KiB

[startup+12.7002 s]
/proc/loadavg: 5.25 4.42 4.27 8/255 93040
/proc/meminfo: memFree=123833144/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=88100 memory=14048 CPUtime=21.1 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 12495 0 0 0 2094 16 0 0 20 0 2 0 77971081 90214400 3512 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 22025 3512 672 633 0 5019 0
[pid=93038/tid=93040] ppid=93035 vsize=88100 memory=14048 CPUtime=8.55 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 2267 0 0 0 850 5 0 0 20 0 2 0 77971082 90214400 3512 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 21.1 s
Current children cumulated vsize: 88100 KiB
Current children cumulated memory: 14048 KiB

[startup+25.5001 s]
/proc/loadavg: 5.51 4.51 4.30 8/255 93086
/proc/meminfo: memFree=123934352/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=88908 memory=14944 CPUtime=45.23 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 14495 0 0 0 4498 25 0 0 20 0 2 0 77971081 91041792 3736 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 22227 3736 672 633 0 5221 0
[pid=93038/tid=93040] ppid=93035 vsize=88908 memory=14816 CPUtime=19.96 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 3084 0 0 0 1989 7 0 0 20 0 2 0 77971082 91041792 3736 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 45.23 s
Current children cumulated vsize: 88908 KiB
Current children cumulated memory: 14944 KiB

[startup+51.1047 s]
/proc/loadavg: 6.54 4.86 4.42 9/255 93086
/proc/meminfo: memFree=123930036/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=90024 memory=16096 CPUtime=93.11 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 15054 0 0 0 9268 43 0 0 20 0 2 0 77971081 92184576 4024 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 22506 4024 672 633 0 5500 0
[pid=93038/tid=93040] ppid=93035 vsize=90024 memory=15968 CPUtime=42.38 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 3130 0 0 0 4225 13 0 0 20 0 2 0 77971082 92184576 4024 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 93.11 s
Current children cumulated vsize: 90024 KiB
Current children cumulated memory: 16096 KiB

[startup+102.3 s]
/proc/loadavg: 7.16 5.28 4.59 8/255 93088
/proc/meminfo: memFree=123936140/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=93732 memory=18420 CPUtime=188.12 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 16479 0 0 0 18738 74 0 0 20 0 2 0 77971081 95981568 4605 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 23433 4605 672 633 0 6427 0
[pid=93038/tid=93040] ppid=93035 vsize=93732 memory=18292 CPUtime=86.5 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) S 93035 93038 92353 0 -1 4194368 3221 0 0 0 8627 23 0 0 20 0 2 0 77971082 95981568 4605 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 188.12 s
Current children cumulated vsize: 93732 KiB
Current children cumulated memory: 18420 KiB

[startup+162.3 s]
/proc/loadavg: 7.68 5.77 4.80 9/255 93090
/proc/meminfo: memFree=123935480/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=94896 memory=19956 CPUtime=298.82 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 18008 0 0 0 29777 105 0 0 20 0 2 0 77971081 97173504 4989 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 23724 4989 672 633 0 6718 0
[pid=93038/tid=93040] ppid=93035 vsize=94896 memory=19700 CPUtime=137.6 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 3427 0 0 0 13726 34 0 0 20 0 2 0 77971082 97173504 4989 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 298.82 s
Current children cumulated vsize: 94896 KiB
Current children cumulated memory: 19956 KiB

[startup+222.3 s]
/proc/loadavg: 7.82 6.16 5.00 9/254 93092
/proc/meminfo: memFree=123930148/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=95612 memory=21236 CPUtime=408.58 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 19973 0 0 0 40725 133 0 0 20 0 2 0 77971081 97906688 5309 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 23903 5309 672 633 0 6897 0
[pid=93038/tid=93040] ppid=93035 vsize=95612 memory=14336 CPUtime=187.73 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4001 0 0 0 18729 44 0 0 20 0 2 0 77971082 97906688 5309 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 408.58 s
Current children cumulated vsize: 95612 KiB
Current children cumulated memory: 21236 KiB

[startup+282.3 s]
/proc/loadavg: 7.83 6.47 5.18 9/253 93094
/proc/meminfo: memFree=123929416/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=96036 memory=22004 CPUtime=517.31 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 20277 0 0 0 51574 157 0 0 20 0 2 0 77971081 98340864 5501 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 24009 5501 672 633 0 7003 0
[pid=93038/tid=93040] ppid=93035 vsize=96036 memory=22004 CPUtime=236.85 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) S 93035 93038 92353 0 -1 4194368 4041 0 0 0 23631 54 0 0 20 0 2 0 77971082 98340864 5501 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 517.31 s
Current children cumulated vsize: 96036 KiB
Current children cumulated memory: 22004 KiB

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

/proc/meminfo: memFree=123932020/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105388 memory=28888 CPUtime=2584.68 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 29370 0 0 0 257996 472 0 0 20 0 2 0 77971081 107917312 7222 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26347 7222 672 633 0 9341 0
[pid=93038/tid=93040] ppid=93035 vsize=105388 memory=28760 CPUtime=1173 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4469 0 0 0 117124 176 0 0 20 0 2 0 77971082 107917312 7222 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 2584.68 s
Current children cumulated vsize: 105388 KiB
Current children cumulated memory: 28888 KiB

[startup+1482.3 s]
/proc/loadavg: 7.70 7.68 7.05 9/254 93163
/proc/meminfo: memFree=123927952/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105620 memory=31132 CPUtime=2693.81 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 30187 0 0 0 268896 485 0 0 20 0 2 0 77971081 108154880 7783 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26405 7783 672 633 0 9399 0
[pid=93038/tid=93040] ppid=93035 vsize=105620 memory=31004 CPUtime=1222.62 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4593 0 0 0 122080 182 0 0 20 0 2 0 77971082 108154880 7783 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 2693.81 s
Current children cumulated vsize: 105620 KiB
Current children cumulated memory: 31132 KiB

[startup+1542.3 s]
/proc/loadavg: 7.80 7.74 7.11 8/255 93166
/proc/meminfo: memFree=123928732/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105620 memory=31260 CPUtime=2803 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 30214 0 0 0 279802 498 0 0 20 0 2 0 77971081 108154880 7815 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26405 7815 672 633 0 9399 0
[pid=93038/tid=93040] ppid=93035 vsize=105620 memory=31260 CPUtime=1272.26 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4593 0 0 0 127037 189 0 0 20 0 2 0 77971082 108154880 7815 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 2803 s
Current children cumulated vsize: 105620 KiB
Current children cumulated memory: 31260 KiB

[startup+1602.3 s]
/proc/loadavg: 7.59 7.68 7.13 7/255 93172
/proc/meminfo: memFree=123930988/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105756 memory=31388 CPUtime=2911.92 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 31047 0 0 0 290681 511 0 0 20 0 2 0 77971081 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26439 7847 672 633 0 9433 0
[pid=93038/tid=93040] ppid=93035 vsize=105756 memory=31260 CPUtime=1321.67 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4695 0 0 0 131972 195 0 0 20 0 2 0 77971082 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 2911.92 s
Current children cumulated vsize: 105756 KiB
Current children cumulated memory: 31388 KiB

[startup+1662.3 s]
/proc/loadavg: 7.94 7.76 7.19 6/255 93174
/proc/meminfo: memFree=123930468/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105756 memory=31388 CPUtime=3021 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 31058 0 0 0 301577 523 0 0 20 0 2 0 77971081 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26439 7847 672 633 0 9433 0
[pid=93038/tid=93040] ppid=93035 vsize=105756 memory=31388 CPUtime=1371.26 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4696 0 0 0 136925 201 0 0 20 0 2 0 77971082 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 3021 s
Current children cumulated vsize: 105756 KiB
Current children cumulated memory: 31388 KiB

[startup+1722.3 s]
/proc/loadavg: 7.78 7.73 7.22 9/254 93178
/proc/meminfo: memFree=123931240/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105756 memory=31388 CPUtime=3129.98 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 31058 0 0 0 312460 538 0 0 20 0 2 0 77971081 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26439 7847 672 633 0 9433 0
[pid=93038/tid=93040] ppid=93035 vsize=105756 memory=31388 CPUtime=1420.76 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4696 0 0 0 141870 206 0 0 20 0 2 0 77971082 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 3129.98 s
Current children cumulated vsize: 105756 KiB
Current children cumulated memory: 31388 KiB

[startup+1782.3 s]
/proc/loadavg: 7.94 7.78 7.27 7/255 93227
/proc/meminfo: memFree=123937848/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105756 memory=31388 CPUtime=3239.03 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 31882 0 0 0 323354 549 0 0 20 0 2 0 77971081 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26439 7847 672 633 0 9433 0
[pid=93038/tid=93040] ppid=93035 vsize=105756 memory=14336 CPUtime=1470.32 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4776 0 0 0 146822 210 0 0 20 0 2 0 77971082 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 3239.03 s
Current children cumulated vsize: 105756 KiB
Current children cumulated memory: 31388 KiB

[startup+1842.3 s]
/proc/loadavg: 7.76 7.76 7.29 8/255 93229
/proc/meminfo: memFree=123939152/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105756 memory=31388 CPUtime=3348.03 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 31883 0 0 0 334241 562 0 0 20 0 2 0 77971081 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26439 7847 672 633 0 9433 0
[pid=93038/tid=93040] ppid=93035 vsize=105756 memory=31388 CPUtime=1519.8 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4776 0 0 0 151765 215 0 0 20 0 2 0 77971082 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 3348.03 s
Current children cumulated vsize: 105756 KiB
Current children cumulated memory: 31388 KiB

[startup+1902.3 s]
/proc/loadavg: 7.46 7.64 7.28 9/255 93277
/proc/meminfo: memFree=123935624/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105756 memory=31388 CPUtime=3457.28 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 32704 0 0 0 345152 576 0 0 20 0 2 0 77971081 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26439 7847 672 633 0 9433 0
[pid=93038/tid=93040] ppid=93035 vsize=105756 memory=31388 CPUtime=1569.53 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4816 0 0 0 156731 222 0 0 20 0 2 0 77971082 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 3457.28 s
Current children cumulated vsize: 105756 KiB
Current children cumulated memory: 31388 KiB

[startup+1962.3 s]
/proc/loadavg: 7.81 7.71 7.33 9/255 93323
/proc/meminfo: memFree=123953540/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105756 memory=31388 CPUtime=3566.79 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 32704 0 0 0 356092 587 0 0 20 0 2 0 77971081 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26439 7847 672 633 0 9433 0
[pid=93038/tid=93040] ppid=93035 vsize=105756 memory=31388 CPUtime=1619.49 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) R 93035 93038 92353 0 -1 4194368 4816 0 0 0 161722 227 0 0 20 0 2 0 77971082 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 3566.79 s
Current children cumulated vsize: 105756 KiB
Current children cumulated memory: 31388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1980.5 s]
/proc/loadavg: 7.92 7.74 7.34 8/255 93325
/proc/meminfo: memFree=123955088/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105756 memory=31388 CPUtime=3600 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 32704 0 0 0 359409 591 0 0 20 0 2 0 77971081 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26439 7847 672 633 0 9433 0
[pid=93038/tid=93040] ppid=93035 vsize=105756 memory=31388 CPUtime=1634.64 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) S 93035 93038 92353 0 -1 4194368 4816 0 0 0 163236 228 0 0 20 0 2 0 77971082 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 105756 KiB
Current children cumulated memory: 31388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.15 s, system=5.91459 s

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

[startup+1980.5 s]
/proc/loadavg: 7.92 7.74 7.34 8/255 93325
/proc/meminfo: memFree=123955088/131382116 swapFree=33010684/33010684
[pid=93038] ppid=93035 vsize=105756 memory=31388 CPUtime=3600 cores=0,2
/proc/93038/stat : 93038 (pb_competition_) R 93035 93038 92353 0 -1 4194304 32704 0 0 0 359409 591 0 0 20 0 2 0 77971081 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
/proc/93038/statm: 26439 7847 672 633 0 9433 0
[pid=93038/tid=93040] ppid=93035 vsize=105756 memory=31388 CPUtime=1634.64 cores=0,2
/proc/93038/task/93040/stat : 93040 (pb_competition_) S 93035 93038 92353 0 -1 4194368 4816 0 0 0 163236 228 0 0 20 0 2 0 77971082 108294144 7847 18446744073709551615 4198400 6788177 140726610938880 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 34287616 140726610942296 140726610942422 140726610942422 140726610948026 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 105756 KiB
Current children cumulated memory: 31388 KiB

Child status: 0

Real time (s): 1980.55
CPU time (s): 3600.06
CPU user time (s): 3594.15
CPU system time (s): 5.91459
CPU usage (%): 181.771
Max. virtual memory (cumulated for all children) (KiB): 105756
Max. memory (cumulated for all children) (KiB): 31388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.15
system time used= 5.91459
maximum resident set size= 31388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32920
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= 24517
involuntary context switches= 142671


# summary of solver processes directly reported to runsolver:
#   pid: 93038
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3594.15
#   total CPU system time (s): 5.91459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9303 second user time and 8.80953 second system time

The end