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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525845-1751625560/watcher-4525845-1751625560 -o /tmp/evaluation-result-4525845-1751625560/solver-4525845-1751625560 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89350 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1885463146 --competition_mode --input HOME/instance-4525845-1751625560.wbo 

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

Starting watchdog thread

[startup+0.100066 s]*
/proc/loadavg: 1.44 1.89 2.95 6/267 89646
/proc/meminfo: memFree=129384524/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=57512 memory=51368 CPUtime=0.1 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) R 89635 89638 89339 0 -1 4194304 12518 0 0 0 9 1 0 0 20 0 1 0 78233835 58892288 12842 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 14378 12842 1408 2102 0 11918 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 51368 KiB

[startup+0.205652 s]*
/proc/loadavg: 1.44 1.89 2.95 6/267 89646
/proc/meminfo: memFree=129304828/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=64264 memory=58408 CPUtime=0.2 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) R 89635 89638 89339 0 -1 4194304 14221 0 0 0 19 1 0 0 20 0 1 0 78233835 65806336 14602 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 16066 14602 1472 2102 0 13606 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 64264 KiB
Current children cumulated memory: 58408 KiB

[startup+0.305624 s]*
/proc/loadavg: 1.44 1.89 2.95 6/267 89646
/proc/meminfo: memFree=129276728/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=74968 memory=68476 CPUtime=0.3 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) R 89635 89638 89339 0 -1 4194304 16196 0 0 0 28 2 0 0 20 0 1 0 78233835 76767232 17119 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 18742 17119 1504 2102 0 16282 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74968 KiB
Current children cumulated memory: 68476 KiB

[startup+0.700187 s]
/proc/loadavg: 1.44 1.89 2.95 6/267 89646
/proc/meminfo: memFree=129209304/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=119140 memory=112424 CPUtime=0.69 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) R 89635 89638 89339 0 -1 4194304 34086 0 0 0 64 5 0 0 20 0 1 0 78233835 121999360 28106 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 29785 28106 1888 2102 0 27325 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 119140 KiB
Current children cumulated memory: 112424 KiB

[startup+1.50019 s]
/proc/loadavg: 1.44 1.89 2.95 5/263 89656
/proc/meminfo: memFree=129125260/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=117816 memory=114428 CPUtime=1.49 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) R 89635 89638 89339 0 -1 4194304 37581 0 0 0 143 6 0 0 20 0 1 0 78233835 120643584 28607 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 29454 28607 1920 2102 0 26994 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 117816 KiB
Current children cumulated memory: 114428 KiB

[startup+3.10549 s]
/proc/loadavg: 1.44 1.89 2.95 7/269 89695
/proc/meminfo: memFree=128603808/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=669744 memory=521404 CPUtime=4.58 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 165652 0 0 0 433 25 0 0 20 0 3 0 78233835 685817856 130351 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 167436 130351 2144 2102 0 148970 0
[pid=89638/tid=89657] ppid=89635 vsize=669744 memory=0 CPUtime=1.35 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 69773 0 0 0 124 11 0 0 20 0 3 0 78233989 685817856 130351 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=669744 memory=539560 CPUtime=1.5 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 30872 0 0 0 144 6 0 0 20 0 3 0 78233989 685817856 130351 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 669744 KiB
Current children cumulated memory: 521404 KiB

[startup+6.30021 s]
/proc/loadavg: 1.88 1.97 2.97 8/271 89697
/proc/meminfo: memFree=128334384/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=669744 memory=543444 CPUtime=10.92 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 198185 0 0 0 1062 30 0 0 20 0 3 0 78233835 685817856 135861 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 167436 135861 2144 2102 0 150711 0
[pid=89638/tid=89657] ppid=89635 vsize=669744 memory=539560 CPUtime=4.51 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 89740 0 0 0 438 13 0 0 20 0 3 0 78233989 685817856 135861 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=669744 memory=0 CPUtime=4.65 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 43403 0 0 0 456 9 0 0 20 0 3 0 78233989 685817856 135861 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 10.92 s
Current children cumulated vsize: 669744 KiB
Current children cumulated memory: 543444 KiB

[startup+12.7002 s]
/proc/loadavg: 2.21 2.04 2.99 7/265 89799
/proc/meminfo: memFree=128347348/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=675268 memory=543420 CPUtime=23.34 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 303624 0 0 0 2277 57 0 0 20 0 3 0 78233835 691474432 135855 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 168817 135855 2144 2102 0 146368 0
[pid=89638/tid=89657] ppid=89635 vsize=675268 memory=-8183433557431849918 CPUtime=10.6 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 146198 0 0 0 1030 30 0 0 20 0 3 0 78233989 691474432 135855 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=675268 memory=-8183429185155141572 CPUtime=10.79 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 92324 0 0 0 1061 18 0 0 20 0 3 0 78233989 691474432 135855 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 23.34 s
Current children cumulated vsize: 675268 KiB
Current children cumulated memory: 543420 KiB

[startup+25.5002 s]
/proc/loadavg: 3.13 2.25 3.04 8/267 90224
/proc/meminfo: memFree=127691840/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=638636 memory=558600 CPUtime=48.37 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 360040 0 0 0 4753 84 0 0 20 0 3 0 78233835 653963264 139650 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 159659 139650 2144 2102 0 151201 0
[pid=89638/tid=89657] ppid=89635 vsize=638636 memory=558600 CPUtime=23 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 148677 0 0 0 2250 50 0 0 20 0 3 0 78233989 653963264 139650 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=638636 memory=558600 CPUtime=23.41 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 146193 0 0 0 2316 25 0 0 20 0 3 0 78233989 653963264 139650 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 48.37 s
Current children cumulated vsize: 638636 KiB
Current children cumulated memory: 558600 KiB

[startup+51.1059 s]
/proc/loadavg: 4.73 2.70 3.17 9/273 90404
/proc/meminfo: memFree=126120240/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=638636 memory=559196 CPUtime=99.03 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 407906 0 0 0 9802 101 0 0 20 0 3 0 78233835 653963264 139799 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 159659 139799 2144 2102 0 151201 0
[pid=89638/tid=89657] ppid=89635 vsize=638636 memory=14156 CPUtime=48.2 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 160687 0 0 0 4760 60 0 0 20 0 3 0 78233989 653963264 139799 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=638636 memory=14336 CPUtime=48.85 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 181975 0 0 0 4854 31 0 0 20 0 3 0 78233989 653963264 139799 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 99.03 s
Current children cumulated vsize: 638636 KiB
Current children cumulated memory: 559196 KiB

[startup+102.3 s]
/proc/loadavg: 6.62 3.53 3.43 9/275 90501
/proc/meminfo: memFree=126413152/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=692656 memory=604280 CPUtime=200.53 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 478118 0 0 0 19937 116 0 0 20 0 3 0 78233835 709279744 151070 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 173164 151070 2144 2102 0 164721 0
[pid=89638/tid=89657] ppid=89635 vsize=692656 memory=604280 CPUtime=98.91 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 195755 0 0 0 9825 66 0 0 20 0 3 0 78233989 709279744 151070 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=692656 memory=10624 CPUtime=99.37 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 213849 0 0 0 9897 40 0 0 20 0 3 0 78233989 709279744 151070 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 200.53 s
Current children cumulated vsize: 692656 KiB
Current children cumulated memory: 604280 KiB

[startup+162.3 s]
/proc/loadavg: 7.58 4.38 3.73 9/275 90503
/proc/meminfo: memFree=126032496/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=795060 memory=692440 CPUtime=319.63 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 520772 0 0 0 31838 125 0 0 20 0 3 0 78233835 814141440 173110 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 198765 173110 2144 2102 0 190322 0
[pid=89638/tid=89657] ppid=89635 vsize=795060 memory=604280 CPUtime=158.67 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 226938 0 0 0 15795 72 0 0 20 0 3 0 78233989 814141440 173110 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=795060 memory=692440 CPUtime=158.64 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 223977 0 0 0 15823 41 0 0 20 0 3 0 78233989 814141440 173110 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 319.63 s
Current children cumulated vsize: 795060 KiB
Current children cumulated memory: 692440 KiB

[startup+222.3 s]
/proc/loadavg: 7.77 5.01 3.99 9/275 90739
/proc/meminfo: memFree=124890196/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=795060 memory=692440 CPUtime=438.47 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 558280 0 0 0 43700 147 0 0 20 0 3 0 78233835 814141440 173110 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 198765 173110 2144 2102 0 190322 0
[pid=89638/tid=89657] ppid=89635 vsize=795060 memory=14156 CPUtime=218.38 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 244189 0 0 0 21761 77 0 0 20 0 3 0 78233989 814141440 173110 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=795060 memory=14156 CPUtime=217.75 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 244162 0 0 0 21717 58 0 0 20 0 3 0 78233989 814141440 173110 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 438.47 s
Current children cumulated vsize: 795060 KiB
Current children cumulated memory: 692440 KiB

[startup+282.3 s]
/proc/loadavg: 8.03 5.59 4.25 9/274 90741
/proc/meminfo: memFree=124762572/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=795060 memory=692440 CPUtime=557.57 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 569122 0 0 0 55607 150 0 0 20 0 3 0 78233835 814141440 173110 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0

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

/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=692440 CPUtime=696.56 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 276155 0 0 0 69572 84 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=692440 CPUtime=692.07 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 294658 0 0 0 69136 71 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1391.21 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

[startup+762.3 s]
/proc/loadavg: 8.18 7.68 5.86 9/272 90765
/proc/meminfo: memFree=124095388/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=868788 memory=776416 CPUtime=1510.26 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 662718 0 0 0 150846 180 0 0 20 0 3 0 78233835 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=776416 CPUtime=756.33 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 277481 0 0 0 75548 85 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=776416 CPUtime=751.33 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 313775 0 0 0 75059 74 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1510.26 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

[startup+822.3 s]
/proc/loadavg: 8.06 7.74 6.00 9/272 90767
/proc/meminfo: memFree=124005768/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=868788 memory=776416 CPUtime=1629.3 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 671049 0 0 0 162747 183 0 0 20 0 3 0 78233835 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=776416 CPUtime=816.08 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 283426 0 0 0 81523 85 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=776416 CPUtime=810.53 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 314849 0 0 0 80977 76 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1629.3 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

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

# cumulated CPU time of all completed processes:  user=1720.79 s, system=1.88507 s

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

[startup+844.8 s]
/proc/loadavg: 8.10 7.78 6.06 9/272 90768
/proc/meminfo: memFree=123958220/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=868788 memory=776416 CPUtime=1673.95 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 671098 0 0 0 167211 184 0 0 20 0 3 0 78233835 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=10624 CPUtime=838.5 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 283475 0 0 0 83764 86 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=776416 CPUtime=832.77 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 314849 0 0 0 83201 76 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1673.95 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

[startup+857.6 s]
/proc/loadavg: 8.09 7.79 6.08 9/271 90768
/proc/meminfo: memFree=123944168/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=868788 memory=776416 CPUtime=1699.36 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 671159 0 0 0 169752 184 0 0 20 0 3 0 78233835 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=776416 CPUtime=851.25 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 283536 0 0 0 85039 86 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=14336 CPUtime=845.42 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 314849 0 0 0 84466 76 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1699.36 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

[startup+864 s]*
/proc/loadavg: 8.07 7.80 6.10 9/271 90769
/proc/meminfo: memFree=123951316/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=868788 memory=776416 CPUtime=1712.07 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 671176 0 0 0 171023 184 0 0 20 0 3 0 78233835 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=-8183432483673838020 CPUtime=857.63 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 283550 0 0 0 85677 86 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=4499540927727693470 CPUtime=851.74 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 314850 0 0 0 85098 76 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1712.07 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

[startup+867.2 s]
/proc/loadavg: 8.07 7.80 6.10 9/271 90769
/proc/meminfo: memFree=123923844/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=868788 memory=776416 CPUtime=1718.41 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 671188 0 0 0 171657 184 0 0 20 0 3 0 78233835 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=776416 CPUtime=860.81 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 283562 0 0 0 85995 86 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=14156 CPUtime=854.9 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 314850 0 0 0 85414 76 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1718.41 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

[startup+868 s]*
/proc/loadavg: 8.07 7.80 6.10 9/271 90769
/proc/meminfo: memFree=124009860/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=868788 memory=776416 CPUtime=1720.01 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 673073 0 0 0 171816 185 0 0 20 0 3 0 78233835 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=-8183432483673838020 CPUtime=861.61 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 285409 0 0 0 86075 86 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=4499540927727693470 CPUtime=855.68 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 314851 0 0 0 85492 76 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1720.01 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

[startup+868.8 s]
/proc/loadavg: 8.07 7.80 6.10 9/271 90769
/proc/meminfo: memFree=124009860/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=868788 memory=776416 CPUtime=1721.59 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 673799 0 0 0 171974 185 0 0 20 0 3 0 78233835 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=-8183429185155141572 CPUtime=862.4 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 286135 0 0 0 86154 86 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=1231268 CPUtime=856.46 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 314851 0 0 0 85570 76 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1721.59 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

[startup+869.2 s]
/proc/loadavg: 8.07 7.80 6.11 9/271 90769
/proc/meminfo: memFree=123946656/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=868788 memory=776416 CPUtime=1722.39 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) S 89635 89638 89339 0 -1 4194304 673833 0 0 0 172054 185 0 0 20 0 3 0 78233835 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=14336 CPUtime=862.8 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 286170 0 0 0 86194 86 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=10624 CPUtime=856.85 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 314851 0 0 0 85609 76 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1722.39 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

[startup+869.3 s]
/proc/loadavg: 8.07 7.80 6.11 9/271 90769
/proc/meminfo: memFree=123946656/131249996 swapFree=33000896/33010684
[pid=89638] ppid=89635 vsize=868788 memory=776416 CPUtime=1722.58 cores=4,6
/proc/89638/stat : 89638 (cp-sat-runner) R 89635 89638 89339 0 -1 4194304 673862 0 0 0 172073 185 0 0 20 0 3 0 78233835 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
/proc/89638/statm: 217197 194104 2144 2102 0 208754 0
[pid=89638/tid=89657] ppid=89635 vsize=868788 memory=776416 CPUtime=862.9 cores=4,6
/proc/89638/task/89657/stat : 89657 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 286197 0 0 0 86204 86 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
[pid=89638/tid=89658] ppid=89635 vsize=868788 memory=14336 CPUtime=856.93 cores=4,6
/proc/89638/task/89658/stat : 89658 (cp-sat-runner) R 89635 89638 89339 0 -1 4194368 314851 0 0 0 85617 76 0 0 20 0 3 0 78233989 889638912 194104 18446744073709551615 4198400 12805993 140724366751184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 16470016 140724366760214 140724366760419 140724366760419 140724366766023 0
Current children cumulated CPU time: 1722.58 s
Current children cumulated vsize: 868788 KiB
Current children cumulated memory: 776416 KiB

Child status: 10

Real time (s): 869.369
CPU time (s): 1722.67
CPU user time (s): 1720.79
CPU system time (s): 1.88507
CPU usage (%): 198.152
Max. virtual memory (cumulated for all children) (KiB): 942520
Max. memory (cumulated for all children) (KiB): 776416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1720.79
system time used= 1.88507
maximum resident set size= 845932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688002
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= 12264
involuntary context switches= 113743


# summary of solver processes directly reported to runsolver:
#   pid: 89638
#   total CPU time (s): 1722.67
#   total CPU user time (s): 1720.79
#   total CPU system time (s): 1.88507

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50463 second user time and 4.8138 second system time

The end