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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497006-1751383332/watcher-4497006-1751383332 -o /tmp/evaluation-result-4497006-1751383332/solver-4497006-1751383332 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751374507-50065 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1703541268 HOME/instance-4497006-1751383332.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51167, runsolver pid=51164
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 5.07 4.90 5.01 6/268 51169
/proc/meminfo: memFree=129746032/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=85712 memory=11648 CPUtime=0.17 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 2414 0 0 0 17 0 0 0 20 0 2 0 54013071 87769088 2912 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21428 2912 672 633 0 4407 0
[pid=51167/tid=51169] ppid=51164 vsize=85712 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) S 51164 51167 50054 0 -1 4194368 151 0 0 0 8 0 0 0 20 0 2 0 54013071 87769088 2912 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 85712 KiB
Current children cumulated memory: 11648 KiB

[startup+0.205814 s]*
/proc/loadavg: 5.07 4.90 5.01 6/268 51169
/proc/meminfo: memFree=129746032/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=85712 memory=11648 CPUtime=0.32 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 2419 0 0 0 32 0 0 0 20 0 2 0 54013071 87769088 2912 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21428 2912 672 633 0 4407 0
[pid=51167/tid=51169] ppid=51164 vsize=85712 memory=664958721904869660 CPUtime=0.12 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 151 0 0 0 12 0 0 0 20 0 2 0 54013071 87769088 2912 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 85712 KiB
Current children cumulated memory: 11648 KiB

[startup+0.305698 s]*
/proc/loadavg: 5.07 4.90 5.01 6/268 51169
/proc/meminfo: memFree=129746032/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=85712 memory=11648 CPUtime=0.48 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 2421 0 0 0 48 0 0 0 20 0 2 0 54013071 87769088 2912 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21428 2912 672 633 0 4407 0
[pid=51167/tid=51169] ppid=51164 vsize=85712 memory=7970674805121498987 CPUtime=0.19 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) S 51164 51167 50054 0 -1 4194368 151 0 0 0 19 0 0 0 20 0 2 0 54013071 87769088 2912 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 85712 KiB
Current children cumulated memory: 11648 KiB

[startup+0.700215 s]
/proc/loadavg: 5.07 4.90 5.01 6/268 51169
/proc/meminfo: memFree=129746032/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=85712 memory=11904 CPUtime=1.08 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 2435 0 0 0 106 2 0 0 20 0 2 0 54013071 87769088 2976 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21428 2976 672 633 0 4407 0
[pid=51167/tid=51169] ppid=51164 vsize=85712 memory=17920 CPUtime=0.41 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 151 0 0 0 41 0 0 0 20 0 2 0 54013071 87769088 2976 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 85712 KiB
Current children cumulated memory: 11904 KiB

[startup+1.50018 s]
/proc/loadavg: 5.07 4.90 5.01 7/268 51169
/proc/meminfo: memFree=129746032/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=85844 memory=11904 CPUtime=2.65 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 4007 0 0 0 261 4 0 0 20 0 2 0 54013071 87904256 2976 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21461 2976 672 633 0 4440 0
[pid=51167/tid=51169] ppid=51164 vsize=85844 memory=17920 CPUtime=1.17 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 328 0 0 0 117 0 0 0 20 0 2 0 54013071 87904256 2976 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 85844 KiB
Current children cumulated memory: 11904 KiB

[startup+3.10571 s]
/proc/loadavg: 5.06 4.90 5.01 7/268 51169
/proc/meminfo: memFree=129746056/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=86152 memory=12160 CPUtime=5.74 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 5624 0 0 0 567 7 0 0 20 0 2 0 54013071 88219648 3040 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21538 3040 672 633 0 4517 0
[pid=51167/tid=51169] ppid=51164 vsize=86152 memory=12032 CPUtime=2.69 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 567 0 0 0 268 1 0 0 20 0 2 0 54013071 88219648 3040 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 5.74 s
Current children cumulated vsize: 86152 KiB
Current children cumulated memory: 12160 KiB

[startup+6.30018 s]
/proc/loadavg: 5.06 4.90 5.01 5/268 51169
/proc/meminfo: memFree=129746088/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=86152 memory=12160 CPUtime=10.16 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 7281 0 0 0 1003 13 0 0 20 0 2 0 54013071 88219648 3040 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21538 3040 672 633 0 4517 0
[pid=51167/tid=51169] ppid=51164 vsize=86152 memory=17920 CPUtime=3.91 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) S 51164 51167 50054 0 -1 4194368 568 0 0 0 390 1 0 0 20 0 2 0 54013071 88219648 3040 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 10.16 s
Current children cumulated vsize: 86152 KiB
Current children cumulated memory: 12160 KiB

[startup+12.7002 s]
/proc/loadavg: 5.14 4.92 5.02 6/268 51169
/proc/meminfo: memFree=129746088/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=86476 memory=12416 CPUtime=21.44 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 10726 0 0 0 2114 30 0 0 20 0 2 0 54013071 88551424 3104 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21619 3104 672 633 0 4598 0
[pid=51167/tid=51169] ppid=51164 vsize=86476 memory=12416 CPUtime=8.82 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 1089 0 0 0 878 4 0 0 20 0 2 0 54013071 88551424 3104 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 21.44 s
Current children cumulated vsize: 86476 KiB
Current children cumulated memory: 12416 KiB

[startup+25.5002 s]
/proc/loadavg: 5.26 4.96 5.03 6/268 51170
/proc/meminfo: memFree=129746600/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=86608 memory=12544 CPUtime=45.77 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 12490 0 0 0 4512 65 0 0 20 0 2 0 54013071 88686592 3136 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21652 3136 672 633 0 4631 0
[pid=51167/tid=51169] ppid=51164 vsize=86608 memory=12544 CPUtime=20.47 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) S 51164 51167 50054 0 -1 4194368 1248 0 0 0 2035 12 0 0 20 0 2 0 54013071 88686592 3136 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 45.77 s
Current children cumulated vsize: 86608 KiB
Current children cumulated memory: 12544 KiB

[startup+51.1056 s]
/proc/loadavg: 5.31 5.00 5.04 6/268 51170
/proc/meminfo: memFree=129746608/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=86608 memory=12672 CPUtime=94.32 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 17838 0 0 0 9305 127 0 0 20 0 2 0 54013071 88686592 3168 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21652 3168 672 633 0 4631 0
[pid=51167/tid=51169] ppid=51164 vsize=86608 memory=17920 CPUtime=43.61 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 1912 0 0 0 4336 25 0 0 20 0 2 0 54013071 88686592 3168 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 94.32 s
Current children cumulated vsize: 86608 KiB
Current children cumulated memory: 12672 KiB

[startup+102.3 s]
/proc/loadavg: 5.26 5.05 5.06 7/268 51172
/proc/meminfo: memFree=129747728/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87060 memory=12772 CPUtime=189.9 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 21114 0 0 0 18751 239 0 0 20 0 2 0 54013071 89149440 3193 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21765 3193 672 633 0 4744 0
[pid=51167/tid=51169] ppid=51164 vsize=87060 memory=17920 CPUtime=88.39 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 2697 0 0 0 8786 53 0 0 20 0 2 0 54013071 89149440 3193 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 189.9 s
Current children cumulated vsize: 87060 KiB
Current children cumulated memory: 12772 KiB

[startup+162.3 s]
/proc/loadavg: 5.88 5.25 5.12 7/268 51219
/proc/meminfo: memFree=129741844/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87060 memory=12772 CPUtime=287.64 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 21455 0 0 0 28417 347 0 0 20 0 2 0 54013071 89149440 3193 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21765 3193 672 633 0 4744 0
[pid=51167/tid=51169] ppid=51164 vsize=87060 memory=12772 CPUtime=126.54 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 2697 0 0 0 12580 74 0 0 20 0 2 0 54013071 89149440 3193 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 287.64 s
Current children cumulated vsize: 87060 KiB
Current children cumulated memory: 12772 KiB

[startup+222.3 s]
/proc/loadavg: 6.51 5.56 5.24 8/269 51222
/proc/meminfo: memFree=129741956/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=400.78 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 22820 0 0 0 39595 483 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=180.11 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 3108 0 0 0 17904 107 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+282.3 s]
/proc/loadavg: 6.49 5.75 5.33 7/269 51224
/proc/meminfo: memFree=129733720/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=513.98 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 23319 0 0 0 50788 610 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=233.77 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 3176 0 0 0 23234 143 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 513.98 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

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

/proc/meminfo: memFree=129793972/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=2437.91 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 28047 0 0 0 241152 2639 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1144.97 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 3748 0 0 0 113853 644 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 2437.91 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+1362.3 s]
/proc/loadavg: 6.84 6.82 6.31 8/267 51320
/proc/meminfo: memFree=129794432/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=2551.16 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 28887 0 0 0 252348 2768 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1198.66 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) S 51164 51167 50054 0 -1 4194368 3852 0 0 0 119188 678 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 2551.16 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+1422.3 s]
/proc/loadavg: 6.74 6.81 6.34 8/268 51323
/proc/meminfo: memFree=129794020/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=2664.31 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 28898 0 0 0 263534 2897 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1252.23 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) S 51164 51167 50054 0 -1 4194368 3852 0 0 0 124512 711 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 2664.31 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+1482.3 s]
/proc/loadavg: 6.83 6.83 6.38 6/268 51325
/proc/meminfo: memFree=129793952/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=2777.43 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 28899 0 0 0 274718 3025 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1305.8 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 3852 0 0 0 129834 746 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 2777.43 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+1542.3 s]
/proc/loadavg: 7.00 6.87 6.42 8/268 51327
/proc/meminfo: memFree=129794080/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=2890.56 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 29749 0 0 0 285910 3146 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1359.37 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 3854 0 0 0 135160 777 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 2890.56 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+1602.3 s]
/proc/loadavg: 6.55 6.79 6.42 6/261 51360
/proc/meminfo: memFree=129991580/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=3004.66 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 29750 0 0 0 297192 3274 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1413.88 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 3854 0 0 0 140577 811 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 3004.66 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+1662.3 s]
/proc/loadavg: 5.56 6.48 6.34 6/261 51362
/proc/meminfo: memFree=129991748/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=3120.05 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 30601 0 0 0 308599 3406 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1469.6 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 4048 0 0 0 146115 845 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 3120.05 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+1722.3 s]
/proc/loadavg: 4.80 6.08 6.21 6/260 51365
/proc/meminfo: memFree=129991288/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=3235.39 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 30603 0 0 0 320002 3537 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1525.29 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 4048 0 0 0 151647 882 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 3235.39 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+1782.3 s]
/proc/loadavg: 4.62 5.81 6.10 5/260 51369
/proc/meminfo: memFree=129991588/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=3350.71 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 31453 0 0 0 331400 3671 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1580.98 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) S 51164 51167 50054 0 -1 4194368 4114 0 0 0 157184 914 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 3350.71 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+1842.3 s]
/proc/loadavg: 4.57 5.58 6.01 5/260 51376
/proc/meminfo: memFree=129991948/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=3466.07 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 31456 0 0 0 342809 3798 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1636.7 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 4114 0 0 0 162722 948 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 3466.07 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

[startup+1902.3 s]
/proc/loadavg: 5.14 5.55 5.97 6/260 51378
/proc/meminfo: memFree=129998884/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=3581.5 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 32296 0 0 0 354222 3928 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=13028 CPUtime=1692.46 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 4167 0 0 0 168263 983 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 3581.5 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1912 s]*
/proc/loadavg: 5.19 5.55 5.96 7/260 51378
/proc/meminfo: memFree=129998892/131250000 swapFree=33010416/33010684
[pid=51167] ppid=51164 vsize=87240 memory=13028 CPUtime=3600.17 cores=4,6
/proc/51167/stat : 51167 (pb_competition_) R 51164 51167 50054 0 -1 4194304 32297 0 0 0 356068 3949 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
/proc/51167/statm: 21810 3257 672 633 0 4789 0
[pid=51167/tid=51169] ppid=51164 vsize=87240 memory=48124 CPUtime=1701.49 cores=4,6
/proc/51167/task/51169/stat : 51169 (pb_competition_) R 51164 51167 50054 0 -1 4194368 4167 0 0 0 169161 988 0 0 20 0 2 0 54013071 89333760 3257 18446744073709551615 4198400 6788177 140728563476528 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 31911936 140728563485017 140728563485144 140728563485144 140728563490746 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 87240 KiB
Current children cumulated memory: 13028 KiB

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

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

# cumulated CPU time of all completed processes:  user=3560.7 s, system=39.4976 s

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

Child status: 0

Real time (s): 1912.01
CPU time (s): 3600.2
CPU user time (s): 3560.7
CPU system time (s): 39.4976
CPU usage (%): 188.294
Max. virtual memory (cumulated for all children) (KiB): 87240
Max. memory (cumulated for all children) (KiB): 13028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.7
system time used= 39.4976
maximum resident set size= 13056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32525
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= 153523
involuntary context switches= 26952


# summary of solver processes directly reported to runsolver:
#   pid: 51167
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3560.7
#   total CPU system time (s): 39.4976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87387 second user time and 8.34499 second system time

The end