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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521214-1751573425/watcher-4521214-1751573425 -o /tmp/evaluation-result-4521214-1751573425/solver-4521214-1751573425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751566991-80087 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 200640221 HOME/instance-4521214-1751573425.opb 

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


[startup+0.100063 s]*
/proc/loadavg: 5.56 5.50 5.52 7/267 80878
/proc/meminfo: memFree=106542068/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=149708 memory=77424 CPUtime=0.13 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 11733 0 0 0 10 3 0 0 20 0 2 0 73021030 153300992 19356 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 37460 19356 576 633 0 21993 0
[pid=80876/tid=80878] ppid=80873 vsize=149840 memory=4026531960 CPUtime=0.03 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) R 80873 80876 80074 0 -1 4194368 1703 0 0 0 3 0 0 0 20 0 2 0 73021036 153436160 19356 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 149708 KiB
Current children cumulated memory: 77424 KiB

[startup+0.205717 s]*
/proc/loadavg: 5.56 5.50 5.52 8/267 80878
/proc/meminfo: memFree=106497716/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=169508 memory=114800 CPUtime=0.33 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 21088 0 0 0 28 5 0 0 20 0 2 0 73021030 173576192 28700 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 42377 28700 576 633 0 31343 0
[pid=80876/tid=80878] ppid=80873 vsize=169508 memory=664958721904869660 CPUtime=0.13 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) R 80873 80876 80074 0 -1 4194368 6136 0 0 0 11 2 0 0 20 0 2 0 73021036 173576192 28700 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 169508 KiB
Current children cumulated memory: 114800 KiB

[startup+0.305595 s]*
/proc/loadavg: 5.56 5.50 5.52 8/267 80878
/proc/meminfo: memFree=106465460/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=188120 memory=150128 CPUtime=0.53 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 29921 0 0 0 45 8 0 0 20 0 2 0 73021030 192634880 37532 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 47030 37532 576 633 0 40158 0
[pid=80876/tid=80878] ppid=80873 vsize=188120 memory=7970394459704541298 CPUtime=0.22 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) R 80873 80876 80074 0 -1 4194368 10298 0 0 0 19 3 0 0 20 0 2 0 73021036 192634880 37532 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 188120 KiB
Current children cumulated memory: 150128 KiB

[startup+0.7002 s]
/proc/loadavg: 5.56 5.50 5.52 7/267 80878
/proc/meminfo: memFree=106417328/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=467440 memory=456476 CPUtime=1 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 59830 0 0 0 84 16 0 0 20 0 2 0 73021030 478658560 114119 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 116860 114119 608 633 0 115681 0
[pid=80876/tid=80878] ppid=80873 vsize=467440 memory=18432 CPUtime=0.35 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) R 80873 80876 80074 0 -1 4194368 15994 0 0 0 31 4 0 0 20 0 2 0 73021036 478658560 114119 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 467440 KiB
Current children cumulated memory: 456476 KiB

[startup+1.5002 s]
/proc/loadavg: 5.59 5.51 5.52 7/267 80878
/proc/meminfo: memFree=106076076/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=637092 memory=606980 CPUtime=2.14 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 130448 0 0 0 188 26 0 0 20 0 2 0 73021030 652382208 151745 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 159273 151745 640 633 0 153265 0
[pid=80876/tid=80878] ppid=80873 vsize=637092 memory=18432 CPUtime=0.71 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 27548 0 0 0 64 7 0 0 20 0 2 0 73021036 652382208 151745 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 2.14 s
Current children cumulated vsize: 637092 KiB
Current children cumulated memory: 606980 KiB

[startup+3.10567 s]
/proc/loadavg: 5.59 5.51 5.52 6/267 80878
/proc/meminfo: memFree=105785512/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=859420 memory=826972 CPUtime=3.74 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 235728 0 0 0 337 37 0 0 20 0 2 0 73021030 880046080 206743 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 214855 206743 640 633 0 208847 0
[pid=80876/tid=80878] ppid=80873 vsize=859420 memory=624268 CPUtime=0.71 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 27548 0 0 0 64 7 0 0 20 0 2 0 73021036 880046080 206743 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3.74 s
Current children cumulated vsize: 859420 KiB
Current children cumulated memory: 826972 KiB

[startup+6.30021 s]
/proc/loadavg: 5.62 5.52 5.53 7/267 80878
/proc/meminfo: memFree=105356580/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1278644 memory=1248752 CPUtime=6.94 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 406843 0 0 0 637 57 0 0 20 0 2 0 73021030 1309331456 312188 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 319661 312188 640 633 0 313653 0
[pid=80876/tid=80878] ppid=80873 vsize=1278644 memory=18432 CPUtime=0.72 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 27548 0 0 0 65 7 0 0 20 0 2 0 73021036 1309331456 312188 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 6.94 s
Current children cumulated vsize: 1278644 KiB
Current children cumulated memory: 1248752 KiB

[startup+12.7002 s]
/proc/loadavg: 5.57 5.51 5.52 7/267 80878
/proc/meminfo: memFree=105357380/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1278908 memory=1248880 CPUtime=15.72 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 505008 0 0 0 1508 64 0 0 20 0 2 0 73021030 1309601792 312220 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 319727 312220 640 633 0 313719 0
[pid=80876/tid=80878] ppid=80873 vsize=1278908 memory=1248880 CPUtime=3.14 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 30964 0 0 0 307 7 0 0 20 0 2 0 73021036 1309601792 312220 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 15.72 s
Current children cumulated vsize: 1278908 KiB
Current children cumulated memory: 1248880 KiB

[startup+25.5002 s]
/proc/loadavg: 5.71 5.54 5.53 6/267 80878
/proc/meminfo: memFree=105358144/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1279172 memory=1249136 CPUtime=33.22 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 799648 0 0 0 3239 83 0 0 20 0 2 0 73021030 1309872128 312284 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 319793 312284 640 633 0 313785 0
[pid=80876/tid=80878] ppid=80873 vsize=1279172 memory=1249008 CPUtime=7.92 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 36370 0 0 0 783 9 0 0 20 0 2 0 73021036 1309872128 312284 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 33.22 s
Current children cumulated vsize: 1279172 KiB
Current children cumulated memory: 1249136 KiB

[startup+51.1056 s]
/proc/loadavg: 5.74 5.57 5.54 7/266 80879
/proc/meminfo: memFree=105358656/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1279700 memory=1249648 CPUtime=74.15 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 1082723 0 0 0 7312 103 0 0 20 0 2 0 73021030 1310412800 312412 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 319925 312412 640 633 0 313917 0
[pid=80876/tid=80878] ppid=80873 vsize=1279700 memory=18432 CPUtime=23.41 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) R 80873 80876 80074 0 -1 4194368 45446 0 0 0 2330 11 0 0 20 0 2 0 73021036 1310412800 312412 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 74.15 s
Current children cumulated vsize: 1279700 KiB
Current children cumulated memory: 1249648 KiB

[startup+102.3 s]
/proc/loadavg: 6.16 5.71 5.60 8/266 80881
/proc/meminfo: memFree=105360520/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1279700 memory=1249648 CPUtime=161.29 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 1340944 0 0 0 16006 123 0 0 20 0 2 0 73021030 1310412800 312412 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 319925 312412 640 633 0 313917 0
[pid=80876/tid=80878] ppid=80873 vsize=1279700 memory=18432 CPUtime=59.8 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) R 80873 80876 80074 0 -1 4194368 56612 0 0 0 5966 14 0 0 20 0 2 0 73021036 1310412800 312412 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 161.29 s
Current children cumulated vsize: 1279700 KiB
Current children cumulated memory: 1249648 KiB

[startup+162.3 s]
/proc/loadavg: 6.00 5.76 5.62 6/266 80883
/proc/meminfo: memFree=105374464/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1280360 memory=1250288 CPUtime=242.54 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 1554025 0 0 0 24114 140 0 0 20 0 2 0 73021030 1311088640 312572 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320090 312572 640 633 0 314082 0
[pid=80876/tid=80878] ppid=80873 vsize=1280360 memory=1250032 CPUtime=81.43 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 62845 0 0 0 8127 16 0 0 20 0 2 0 73021036 1311088640 312572 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 242.54 s
Current children cumulated vsize: 1280360 KiB
Current children cumulated memory: 1250288 KiB

[startup+222.3 s]
/proc/loadavg: 5.65 5.70 5.61 7/267 80890
/proc/meminfo: memFree=105375092/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1280360 memory=1250416 CPUtime=307.15 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 1708264 0 0 0 30565 150 0 0 20 0 2 0 73021030 1311088640 312604 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320090 312604 640 633 0 314082 0
[pid=80876/tid=80878] ppid=80873 vsize=1280360 memory=18432 CPUtime=86.33 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 67574 0 0 0 8616 17 0 0 20 0 2 0 73021036 1311088640 312604 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 307.15 s
Current children cumulated vsize: 1280360 KiB
Current children cumulated memory: 1250416 KiB

[startup+282.3 s]
/proc/loadavg: 5.66 5.69 5.62 6/267 80892
/proc/meminfo: memFree=105377868/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1280624 memory=1250544 CPUtime=373.03 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 1815368 0 0 0 37144 159 0 0 20 0 2 0 73021030 1311358976 312636 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320156 312636 640 633 0 314148 0
[pid=80876/tid=80878] ppid=80873 vsize=1280624 memory=1250416 CPUtime=92.51 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 72307 0 0 0 9233 18 0 0 20 0 2 0 73021036 1311358976 312636 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 373.03 s
Current children cumulated vsize: 1280624 KiB
Current children cumulated memory: 1250544 KiB

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

Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB

[startup+2742.3 s]
/proc/loadavg: 5.85 6.11 6.07 5/267 81185
/proc/meminfo: memFree=107173500/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1282076 memory=1252080 CPUtime=3162.69 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3258995 0 0 0 315977 292 0 0 20 0 2 0 73021030 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320519 313020 640 633 0 314511 0
[pid=80876/tid=80878] ppid=80873 vsize=1282076 memory=1252080 CPUtime=435.01 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 110557 0 0 0 43454 47 0 0 20 0 2 0 73021036 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3162.69 s
Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB

[startup+2802.3 s]
/proc/loadavg: 5.86 6.06 6.05 7/267 81187
/proc/meminfo: memFree=107174504/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1282076 memory=1252080 CPUtime=3228.47 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3259580 0 0 0 322554 293 0 0 20 0 2 0 73021030 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320519 313020 640 633 0 314511 0
[pid=80876/tid=80878] ppid=80873 vsize=1282076 memory=1252080 CPUtime=441.11 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 110661 0 0 0 44063 48 0 0 20 0 2 0 73021036 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3228.47 s
Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB

[startup+2862.3 s]
/proc/loadavg: 5.85 6.01 6.03 7/267 81189
/proc/meminfo: memFree=107174368/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1282076 memory=1252080 CPUtime=3294.1 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3260956 0 0 0 329117 293 0 0 20 0 2 0 73021030 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320519 313020 640 633 0 314511 0
[pid=80876/tid=80878] ppid=80873 vsize=1282076 memory=14344 CPUtime=447.06 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) R 80873 80876 80074 0 -1 4194368 110661 0 0 0 44658 48 0 0 20 0 2 0 73021036 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3294.1 s
Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB

[startup+2922.3 s]
/proc/loadavg: 5.68 5.92 6.00 7/267 81191
/proc/meminfo: memFree=107174236/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1282076 memory=1252080 CPUtime=3366.66 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3262767 0 0 0 336371 295 0 0 20 0 2 0 73021030 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320519 313020 640 633 0 314511 0
[pid=80876/tid=80878] ppid=80873 vsize=1282076 memory=1252080 CPUtime=459.97 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 110760 0 0 0 45948 49 0 0 20 0 2 0 73021036 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3366.66 s
Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB

[startup+2982.3 s]
/proc/loadavg: 5.96 5.95 6.00 8/267 81193
/proc/meminfo: memFree=107174148/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1282076 memory=1252080 CPUtime=3432.22 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3264613 0 0 0 342926 296 0 0 20 0 2 0 73021030 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320519 313020 640 633 0 314511 0
[pid=80876/tid=80878] ppid=80873 vsize=1282076 memory=1252080 CPUtime=465.84 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 110861 0 0 0 46535 49 0 0 20 0 2 0 73021036 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3432.22 s
Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB

[startup+3042.3 s]
/proc/loadavg: 6.01 5.94 6.00 8/267 81206
/proc/meminfo: memFree=107149400/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1282076 memory=1252080 CPUtime=3502.29 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3265179 0 0 0 349931 298 0 0 20 0 2 0 73021030 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320519 313020 640 633 0 314511 0
[pid=80876/tid=80878] ppid=80873 vsize=1282076 memory=1252080 CPUtime=476.26 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) R 80873 80876 80074 0 -1 4194368 110978 0 0 0 47575 51 0 0 20 0 2 0 73021036 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3502.29 s
Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB

[startup+3102.3 s]
/proc/loadavg: 5.70 5.86 5.97 7/267 81208
/proc/meminfo: memFree=107165148/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1282076 memory=1252080 CPUtime=3568.43 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3266922 0 0 0 356544 299 0 0 20 0 2 0 73021030 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320519 313020 640 633 0 314511 0
[pid=80876/tid=80878] ppid=80873 vsize=1282076 memory=1252080 CPUtime=482.7 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 111154 0 0 0 48219 51 0 0 20 0 2 0 73021036 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3568.43 s
Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3131.11 s]
/proc/loadavg: 5.67 5.84 5.96 7/267 81212
/proc/meminfo: memFree=107165284/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1282076 memory=1252080 CPUtime=3600.03 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3268345 0 0 0 359704 299 0 0 20 0 2 0 73021030 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320519 313020 640 633 0 314511 0
[pid=80876/tid=80878] ppid=80873 vsize=1282076 memory=1252080 CPUtime=485.67 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 111154 0 0 0 48515 52 0 0 20 0 2 0 73021036 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.79 s, system=3.06147 s

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

[startup+3131.2 s]
/proc/loadavg: 5.67 5.84 5.96 7/267 81212
/proc/meminfo: memFree=107165284/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1282076 memory=1252080 CPUtime=3600.13 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3268345 0 0 0 359714 299 0 0 20 0 2 0 73021030 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320519 313020 640 633 0 314511 0
[pid=80876/tid=80878] ppid=80873 vsize=1282076 memory=5632 CPUtime=485.67 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 111154 0 0 0 48515 52 0 0 20 0 2 0 73021036 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB

[startup+3131.6 s]
/proc/loadavg: 5.67 5.84 5.96 7/267 81212
/proc/meminfo: memFree=107165284/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1282076 memory=1252080 CPUtime=3600.53 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3318105 0 0 0 359751 302 0 0 20 0 2 0 73021030 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 320519 313020 640 633 0 314511 0
[pid=80876/tid=80878] ppid=80873 vsize=1282076 memory=18432 CPUtime=485.67 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 111154 0 0 0 48515 52 0 0 20 0 2 0 73021036 1312845824 313020 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3600.53 s
Current children cumulated vsize: 1282076 KiB
Current children cumulated memory: 1252080 KiB

[startup+3131.8 s]
/proc/loadavg: 5.67 5.84 5.96 7/267 81212
/proc/meminfo: memFree=107165284/131249988 swapFree=33010416/33010684
[pid=80876] ppid=80873 vsize=1079596 memory=1049656 CPUtime=3600.73 cores=5,7
/proc/80876/stat : 80876 (pb_competition_) R 80873 80876 80074 0 -1 4194304 3327468 0 0 0 359771 302 0 0 20 0 2 0 73021030 1105506304 262414 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
/proc/80876/statm: 269899 262414 640 633 0 263891 0
[pid=80876/tid=80878] ppid=80873 vsize=1079596 memory=7970394459704541298 CPUtime=485.67 cores=5,7
/proc/80876/task/80878/stat : 80878 (pb_competition_) S 80873 80876 80074 0 -1 4194368 111154 0 0 0 48515 52 0 0 20 0 2 0 73021036 1105506304 262414 18446744073709551615 4198400 6788177 140729099850000 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 15319040 140729099856218 140729099856344 140729099856344 140729099861946 0
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 1079596 KiB
Current children cumulated memory: 1049656 KiB

[startup+3131.9 s]*
/proc/loadavg: 5.69 5.84 5.96 7/266 81212
/proc/meminfo: memFree=107447228/131249988 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3131.92
CPU time (s): 3600.85
CPU user time (s): 3597.79
CPU system time (s): 3.06147
CPU usage (%): 114.973
Max. virtual memory (cumulated for all children) (KiB): 1282076
Max. memory (cumulated for all children) (KiB): 1252080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.79
system time used= 3.06147
maximum resident set size= 1252080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3359553
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= 42446
involuntary context switches= 34423


# summary of solver processes directly reported to runsolver:
#   pid: 80876
#   total CPU time (s): 3600.85
#   total CPU user time (s): 3597.79
#   total CPU system time (s): 3.06147

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21233 second user time and 14.924 second system time

The end