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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502414-1751423772/watcher-4502414-1751423772 -o /tmp/evaluation-result-4502414-1751423772/solver-4502414-1751423772 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751420544-56483 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 316542815 HOME/instance-4502414-1751423772.opb 

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=56821, runsolver pid=56818

[startup+0.100076 s]*
/proc/loadavg: 2.21 2.27 2.29 4/241 56823
/proc/meminfo: memFree=129341136/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=90392 memory=17920 CPUtime=0.14 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 3945 0 0 0 12 2 0 0 20 0 2 0 58056026 92561408 4480 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 22598 4480 672 633 0 5922 0
[pid=56821/tid=56823] ppid=56818 vsize=90392 memory=4026532068 CPUtime=0.03 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 496 0 0 0 3 0 0 0 20 0 2 0 58056026 92561408 4480 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 90392 KiB
Current children cumulated memory: 17920 KiB

[startup+0.213227 s]*
/proc/loadavg: 2.21 2.27 2.29 4/241 56823
/proc/meminfo: memFree=129341136/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=90392 memory=17920 CPUtime=0.34 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 3945 0 0 0 32 2 0 0 20 0 2 0 58056026 92561408 4480 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 22598 4480 672 633 0 5922 0
[pid=56821/tid=56823] ppid=56818 vsize=90392 memory=7948967048397863089 CPUtime=0.13 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 496 0 0 0 13 0 0 0 20 0 2 0 58056026 92561408 4480 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 90392 KiB
Current children cumulated memory: 17920 KiB

[startup+0.312242 s]*
/proc/loadavg: 2.21 2.27 2.29 3/241 56823
/proc/meminfo: memFree=129341136/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=90392 memory=17920 CPUtime=0.49 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 3953 0 0 0 47 2 0 0 20 0 2 0 58056026 92561408 4480 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 22598 4480 672 633 0 5922 0
[pid=56821/tid=56823] ppid=56818 vsize=90392 memory=7971795237618465650 CPUtime=0.19 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 496 0 0 0 19 0 0 0 20 0 2 0 58056026 92561408 4480 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 90392 KiB
Current children cumulated memory: 17920 KiB

[startup+0.700279 s]
/proc/loadavg: 2.21 2.27 2.29 3/241 56823
/proc/meminfo: memFree=129341136/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=90880 memory=18304 CPUtime=1.16 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 4241 0 0 0 114 2 0 0 20 0 2 0 58056026 93061120 4576 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 22720 4576 672 633 0 6044 0
[pid=56821/tid=56823] ppid=56818 vsize=90880 memory=17664 CPUtime=0.5 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) S 56818 56821 55658 0 -1 4194368 496 0 0 0 50 0 0 0 20 0 2 0 58056026 93061120 4576 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 90880 KiB
Current children cumulated memory: 18304 KiB

[startup+1.50014 s]
/proc/loadavg: 2.27 2.28 2.30 4/241 56823
/proc/meminfo: memFree=129340912/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=91820 memory=19200 CPUtime=2.48 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 7366 0 0 0 244 4 0 0 20 0 2 0 58056026 94023680 4800 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 22955 4800 672 633 0 6279 0
[pid=56821/tid=56823] ppid=56818 vsize=91820 memory=17664 CPUtime=1.03 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 888 0 0 0 103 0 0 0 20 0 2 0 58056026 94023680 4800 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 91820 KiB
Current children cumulated memory: 19200 KiB

[startup+3.10465 s]
/proc/loadavg: 2.27 2.28 2.30 4/241 56823
/proc/meminfo: memFree=129338408/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=94188 memory=21488 CPUtime=5.44 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 11026 0 0 0 537 7 0 0 20 0 2 0 58056026 96448512 5372 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 23547 5372 672 633 0 6871 0
[pid=56821/tid=56823] ppid=56818 vsize=94188 memory=19200 CPUtime=2.4 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 1350 0 0 0 239 1 0 0 20 0 2 0 58056026 96448512 5372 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 5.44 s
Current children cumulated vsize: 94188 KiB
Current children cumulated memory: 21488 KiB

[startup+6.30017 s]
/proc/loadavg: 2.33 2.29 2.30 4/241 56823
/proc/meminfo: memFree=129332804/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=100524 memory=26920 CPUtime=11.48 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 17157 0 0 0 1137 11 0 0 20 0 2 0 58056026 102936576 6730 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 25131 6730 672 633 0 8455 0
[pid=56821/tid=56823] ppid=56818 vsize=100524 memory=25176 CPUtime=5.27 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 3158 0 0 0 525 2 0 0 20 0 2 0 58056026 102936576 6730 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 11.48 s
Current children cumulated vsize: 100524 KiB
Current children cumulated memory: 26920 KiB

[startup+12.7002 s]
/proc/loadavg: 2.38 2.30 2.31 4/241 56824
/proc/meminfo: memFree=129324992/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=105548 memory=32936 CPUtime=23.69 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 24518 0 0 0 2351 18 0 0 20 0 2 0 58056026 108081152 8234 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 26387 8234 672 633 0 9711 0
[pid=56821/tid=56823] ppid=56818 vsize=105548 memory=32168 CPUtime=11.14 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 5439 0 0 0 1110 4 0 0 20 0 2 0 58056026 108081152 8234 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 23.69 s
Current children cumulated vsize: 105548 KiB
Current children cumulated memory: 32936 KiB

[startup+25.5002 s]
/proc/loadavg: 2.48 2.33 2.31 4/241 56824
/proc/meminfo: memFree=129321604/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=113948 memory=40308 CPUtime=47.77 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 32697 0 0 0 4749 28 0 0 20 0 2 0 58056026 116682752 10077 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 28487 10077 672 633 0 11811 0
[pid=56821/tid=56823] ppid=56818 vsize=113948 memory=39284 CPUtime=22.51 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 7983 0 0 0 2244 7 0 0 20 0 2 0 58056026 116682752 10077 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 47.77 s
Current children cumulated vsize: 113948 KiB
Current children cumulated memory: 40308 KiB

[startup+51.1055 s]
/proc/loadavg: 2.74 2.41 2.34 4/241 56824
/proc/meminfo: memFree=129321864/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=115028 memory=41204 CPUtime=96.93 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 45755 0 0 0 9645 48 0 0 20 0 2 0 58056026 117788672 10301 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 28757 10301 672 633 0 12081 0
[pid=56821/tid=56823] ppid=56818 vsize=115028 memory=17664 CPUtime=46.25 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 10506 0 0 0 4612 13 0 0 20 0 2 0 58056026 117788672 10301 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 96.93 s
Current children cumulated vsize: 115028 KiB
Current children cumulated memory: 41204 KiB

[startup+102.3 s]
/proc/loadavg: 3.02 2.53 2.39 4/240 56826
/proc/meminfo: memFree=129307512/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=127652 memory=50908 CPUtime=193.84 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 58767 0 0 0 19314 70 0 0 20 0 2 0 58056026 130715648 12727 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 31913 12727 672 633 0 15237 0
[pid=56821/tid=56823] ppid=56818 vsize=127652 memory=17664 CPUtime=92.36 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 13958 0 0 0 9217 19 0 0 20 0 2 0 58056026 130715648 12727 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 193.84 s
Current children cumulated vsize: 127652 KiB
Current children cumulated memory: 50908 KiB

[startup+162.3 s]
/proc/loadavg: 3.04 2.62 2.43 3/239 56828
/proc/meminfo: memFree=129307088/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=137464 memory=62708 CPUtime=303.66 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 71066 0 0 0 30279 87 0 0 20 0 2 0 58056026 140763136 15677 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 34366 15677 672 633 0 17690 0
[pid=56821/tid=56823] ppid=56818 vsize=137464 memory=57844 CPUtime=142.65 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) S 56818 56821 55658 0 -1 4194368 15799 0 0 0 14240 25 0 0 20 0 2 0 58056026 140763136 15677 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 303.66 s
Current children cumulated vsize: 137464 KiB
Current children cumulated memory: 62708 KiB

[startup+222.3 s]
/proc/loadavg: 3.11 2.71 2.47 5/239 56876
/proc/meminfo: memFree=129545488/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=141720 memory=66932 CPUtime=415.86 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 97518 0 0 0 41484 102 0 0 20 0 2 0 58056026 145121280 16733 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 35430 16733 672 633 0 18754 0
[pid=56821/tid=56823] ppid=56818 vsize=141720 memory=65780 CPUtime=195.34 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) S 56818 56821 55658 0 -1 4194368 24181 0 0 0 19504 30 0 0 20 0 2 0 58056026 145121280 16733 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 415.86 s
Current children cumulated vsize: 141720 KiB
Current children cumulated memory: 66932 KiB

[startup+282.3 s]
/proc/loadavg: 3.54 2.92 2.56 5/239 56878
/proc/meminfo: memFree=129541884/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=144504 memory=69748 CPUtime=529.2 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 104970 0 0 0 52808 112 0 0 20 0 2 0 58056026 147972096 17437 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 36126 17437 672 633 0 19450 0
[pid=56821/tid=56823] ppid=56818 vsize=144504 memory=68468 CPUtime=249.12 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 26747 0 0 0 24880 32 0 0 20 0 2 0 58056026 147972096 17437 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 529.2 s
Current children cumulated vsize: 144504 KiB
Current children cumulated memory: 69748 KiB

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

/proc/meminfo: memFree=129520864/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=166288 memory=91508 CPUtime=2455.62 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 119606 0 0 0 245281 281 0 0 20 0 2 0 58056026 170278912 22877 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 41572 22877 672 633 0 24896 0
[pid=56821/tid=56823] ppid=56818 vsize=166288 memory=14464 CPUtime=1162.65 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27434 0 0 0 116187 78 0 0 20 0 2 0 58056026 170278912 22877 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 2455.62 s
Current children cumulated vsize: 166288 KiB
Current children cumulated memory: 91508 KiB

[startup+1362.3 s]
/proc/loadavg: 3.82 3.95 3.58 5/240 56931
/proc/meminfo: memFree=129521116/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=166288 memory=91508 CPUtime=2569.13 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 120343 0 0 0 256624 289 0 0 20 0 2 0 58056026 170278912 22877 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 41572 22877 672 633 0 24896 0
[pid=56821/tid=56823] ppid=56818 vsize=166288 memory=91508 CPUtime=1216.57 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27516 0 0 0 121578 79 0 0 20 0 2 0 58056026 170278912 22877 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 2569.13 s
Current children cumulated vsize: 166288 KiB
Current children cumulated memory: 91508 KiB

[startup+1422.3 s]
/proc/loadavg: 3.75 3.91 3.59 5/241 56935
/proc/meminfo: memFree=129521192/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=167032 memory=92404 CPUtime=2682.76 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 120743 0 0 0 267978 298 0 0 20 0 2 0 58056026 171040768 23101 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 41758 23101 672 633 0 25082 0
[pid=56821/tid=56823] ppid=56818 vsize=167032 memory=91508 CPUtime=1270.62 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27516 0 0 0 126980 82 0 0 20 0 2 0 58056026 171040768 23101 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 2682.76 s
Current children cumulated vsize: 167032 KiB
Current children cumulated memory: 92404 KiB

[startup+1482.3 s]
/proc/loadavg: 3.90 3.93 3.62 5/240 56937
/proc/meminfo: memFree=129521324/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=167512 memory=92788 CPUtime=2796.21 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 121347 0 0 0 279314 307 0 0 20 0 2 0 58056026 171532288 23197 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 41878 23197 672 633 0 25202 0
[pid=56821/tid=56823] ppid=56818 vsize=167512 memory=92404 CPUtime=1324.46 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27518 0 0 0 132362 84 0 0 20 0 2 0 58056026 171532288 23197 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 2796.21 s
Current children cumulated vsize: 167512 KiB
Current children cumulated memory: 92788 KiB

[startup+1542.3 s]
/proc/loadavg: 4.07 3.98 3.66 5/241 56953
/proc/meminfo: memFree=129519924/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=167684 memory=93044 CPUtime=2909.72 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 121700 0 0 0 290656 316 0 0 20 0 2 0 58056026 171708416 23261 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 41921 23261 672 633 0 25245 0
[pid=56821/tid=56823] ppid=56818 vsize=167684 memory=92916 CPUtime=1378.37 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27656 0 0 0 137751 86 0 0 20 0 2 0 58056026 171708416 23261 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 2909.72 s
Current children cumulated vsize: 167684 KiB
Current children cumulated memory: 93044 KiB

[startup+1602.3 s]
/proc/loadavg: 4.05 3.99 3.68 5/241 56959
/proc/meminfo: memFree=129520688/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=167852 memory=93044 CPUtime=3023.42 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 121727 0 0 0 302016 326 0 0 20 0 2 0 58056026 171880448 23261 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 41963 23261 672 633 0 25287 0
[pid=56821/tid=56823] ppid=56818 vsize=167852 memory=92916 CPUtime=1432.48 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27658 0 0 0 143159 89 0 0 20 0 2 0 58056026 171880448 23261 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 3023.42 s
Current children cumulated vsize: 167852 KiB
Current children cumulated memory: 93044 KiB

[startup+1662.3 s]
/proc/loadavg: 4.07 4.00 3.71 5/241 56961
/proc/meminfo: memFree=129520964/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=168356 memory=93684 CPUtime=3136.84 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 121863 0 0 0 313349 335 0 0 20 0 2 0 58056026 172396544 23421 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 42089 23421 672 633 0 25413 0
[pid=56821/tid=56823] ppid=56818 vsize=168356 memory=92916 CPUtime=1486.28 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27659 0 0 0 148536 92 0 0 20 0 2 0 58056026 172396544 23421 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 3136.84 s
Current children cumulated vsize: 168356 KiB
Current children cumulated memory: 93684 KiB

[startup+1722.3 s]
/proc/loadavg: 4.02 4.00 3.73 5/240 56963
/proc/meminfo: memFree=129521272/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=168728 memory=94068 CPUtime=3250.48 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 121962 0 0 0 324703 345 0 0 20 0 2 0 58056026 172777472 23517 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 42182 23517 672 633 0 25506 0
[pid=56821/tid=56823] ppid=56818 vsize=168728 memory=92916 CPUtime=1540.3 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27659 0 0 0 153936 94 0 0 20 0 2 0 58056026 172777472 23517 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 3250.48 s
Current children cumulated vsize: 168728 KiB
Current children cumulated memory: 94068 KiB

[startup+1782.3 s]
/proc/loadavg: 4.06 4.01 3.76 5/240 56965
/proc/meminfo: memFree=129523176/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=169068 memory=94324 CPUtime=3364.04 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 123431 0 0 0 336050 354 0 0 20 0 2 0 58056026 173125632 23581 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 42267 23581 672 633 0 25591 0
[pid=56821/tid=56823] ppid=56818 vsize=169068 memory=94324 CPUtime=1594.26 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27662 0 0 0 159329 97 0 0 20 0 2 0 58056026 173125632 23581 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 3364.04 s
Current children cumulated vsize: 169068 KiB
Current children cumulated memory: 94324 KiB

[startup+1842.3 s]
/proc/loadavg: 4.08 4.03 3.78 5/240 56967
/proc/meminfo: memFree=129523888/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=169356 memory=94580 CPUtime=3478 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 123504 0 0 0 347437 363 0 0 20 0 2 0 58056026 173420544 23645 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 42339 23645 672 633 0 25663 0
[pid=56821/tid=56823] ppid=56818 vsize=169356 memory=94452 CPUtime=1648.64 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27662 0 0 0 164765 99 0 0 20 0 2 0 58056026 173420544 23645 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 3478 s
Current children cumulated vsize: 169356 KiB
Current children cumulated memory: 94580 KiB

[startup+1902.3 s]
/proc/loadavg: 4.05 4.02 3.80 5/240 56969
/proc/meminfo: memFree=129523388/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=169644 memory=94964 CPUtime=3592.02 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 125117 0 0 0 358828 374 0 0 20 0 2 0 58056026 173715456 23741 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 42411 23741 672 633 0 25735 0
[pid=56821/tid=56823] ppid=56818 vsize=169644 memory=94708 CPUtime=1703.06 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27709 0 0 0 170204 102 0 0 20 0 2 0 58056026 173715456 23741 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 3592.02 s
Current children cumulated vsize: 169644 KiB
Current children cumulated memory: 94964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1906.6 s]
/proc/loadavg: 4.05 4.02 3.80 5/240 56969
/proc/meminfo: memFree=129523388/131382120 swapFree=33010416/33010684
[pid=56821] ppid=56818 vsize=169644 memory=94964 CPUtime=3600.17 cores=0,2
/proc/56821/stat : 56821 (pb_competition_) R 56818 56821 55658 0 -1 4194304 125146 0 0 0 359643 374 0 0 20 0 2 0 58056026 173715456 23741 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
/proc/56821/statm: 42411 23741 672 633 0 25735 0
[pid=56821/tid=56823] ppid=56818 vsize=169644 memory=94964 CPUtime=1706.95 cores=0,2
/proc/56821/task/56823/stat : 56823 (pb_competition_) R 56818 56821 55658 0 -1 4194368 27709 0 0 0 170593 102 0 0 20 0 2 0 58056026 173715456 23741 18446744073709551615 4198400 6788177 140732306777776 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 21368832 140732306782554 140732306782680 140732306782680 140732306788282 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 169644 KiB
Current children cumulated memory: 94964 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.5 s, system=3.75091 s

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

Child status: 0

Real time (s): 1906.66
CPU time (s): 3600.25
CPU user time (s): 3596.5
CPU system time (s): 3.75091
CPU usage (%): 188.825
Max. virtual memory (cumulated for all children) (KiB): 169644
Max. memory (cumulated for all children) (KiB): 94964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.5
system time used= 3.75091
maximum resident set size= 94964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125735
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= 13336
involuntary context switches= 27506


# summary of solver processes directly reported to runsolver:
#   pid: 56821
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3596.5
#   total CPU system time (s): 3.75091

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7148 second user time and 8.71446 second system time

The end