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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524128-1751615508/watcher-4524128-1751615508 -o /tmp/evaluation-result-4524128-1751615508/solver-4524128-1751615508 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751611894-89390 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4524128-1751615508.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=89762, runsolver pid=89759

[startup+0.10007 s]*
/proc/loadavg: 4.10 4.12 4.12 4/246 89768
/proc/meminfo: memFree=130059628/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=30024 memory=20480 CPUtime=0.09 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 4288 0 0 0 7 2 0 0 20 0 1 0 77230183 30744576 5120 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 7506 5120 928 1162 0 6115 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34216 KiB
Current children cumulated memory: 23424 KiB

[startup+0.214017 s]*
/proc/loadavg: 4.10 4.12 4.12 5/249 89775
/proc/meminfo: memFree=130038260/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=48160 memory=38528 CPUtime=0.2 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 8820 0 0 0 16 4 0 0 20 0 1 0 77230183 49315840 9632 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 12040 9632 928 1162 0 10649 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52352 KiB
Current children cumulated memory: 41472 KiB

[startup+0.313794 s]*
/proc/loadavg: 4.10 4.12 4.12 5/248 89775
/proc/meminfo: memFree=129988364/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=56208 memory=46976 CPUtime=0.3 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 10840 0 0 0 25 5 0 0 20 0 1 0 77230183 57556992 11744 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 14052 11744 1024 1162 0 12661 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60400 KiB
Current children cumulated memory: 49920 KiB

[startup+0.700401 s]
/proc/loadavg: 4.10 4.12 4.12 4/248 89790
/proc/meminfo: memFree=129958448/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=65184 memory=55516 CPUtime=0.66 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 13070 0 0 0 61 5 0 0 20 0 1 0 77230183 66748416 13879 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 16296 13879 1024 1162 0 14905 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 69376 KiB
Current children cumulated memory: 58460 KiB

[startup+1.50041 s]
/proc/loadavg: 4.10 4.12 4.12 5/248 89801
/proc/meminfo: memFree=129760980/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=145864 memory=137676 CPUtime=1.46 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 33712 0 0 0 133 13 0 0 20 0 1 0 77230183 149364736 34419 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 36466 34419 1184 1162 0 35075 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 150056 KiB
Current children cumulated memory: 140620 KiB

[startup+3.11287 s]
/proc/loadavg: 4.10 4.12 4.12 5/249 89807
/proc/meminfo: memFree=127980436/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=167112 memory=158304 CPUtime=3.06 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 39134 0 0 0 292 14 0 0 20 0 1 0 77230183 171122688 39576 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 41778 39576 1184 1162 0 40387 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 171304 KiB
Current children cumulated memory: 161248 KiB

[startup+6.30038 s]
/proc/loadavg: 4.10 4.12 4.12 5/255 89818
/proc/meminfo: memFree=125164088/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=169332 memory=160480 CPUtime=6.24 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 39654 0 0 0 610 14 0 0 20 0 1 0 77230183 173395968 40120 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 42333 40120 1184 1162 0 40942 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 173524 KiB
Current children cumulated memory: 163424 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.11 4.12 5/255 89818
/proc/meminfo: memFree=120137724/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=176160 memory=167136 CPUtime=12.63 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 41315 0 0 0 1248 15 0 0 20 0 1 0 77230183 180387840 41784 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 44040 41784 1184 1162 0 42649 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 180352 KiB
Current children cumulated memory: 170080 KiB

[startup+25.5004 s]
/proc/loadavg: 4.07 4.11 4.12 5/255 89819
/proc/meminfo: memFree=112210296/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=177072 memory=168032 CPUtime=25.38 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 41541 0 0 0 2523 15 0 0 20 0 1 0 77230183 181321728 42008 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 44268 42008 1184 1162 0 42877 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 181264 KiB
Current children cumulated memory: 170976 KiB

[startup+51.113 s]
/proc/loadavg: 4.11 4.12 4.12 5/255 89819
/proc/meminfo: memFree=103847928/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=178684 memory=169696 CPUtime=50.92 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 41960 0 0 0 5077 15 0 0 20 0 1 0 77230183 182972416 42424 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 44671 42424 1184 1162 0 43280 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 182876 KiB
Current children cumulated memory: 172640 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.12 6/252 89859
/proc/meminfo: memFree=118662752/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=180980 memory=171744 CPUtime=101.9 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 42508 0 0 0 10175 15 0 0 20 0 1 0 77230183 185323520 42936 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 45245 42936 1184 1162 0 43854 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 185172 KiB
Current children cumulated memory: 174688 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.15 4.13 6/257 89878
/proc/meminfo: memFree=102662632/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=181748 memory=175072 CPUtime=161.69 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 42810 0 0 0 16154 15 0 0 20 0 1 0 77230183 186109952 43768 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 45437 43768 1184 1162 0 44046 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 185940 KiB
Current children cumulated memory: 178016 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/256 89879
/proc/meminfo: memFree=94213100/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=182704 memory=177120 CPUtime=221.52 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 43022 0 0 0 22137 15 0 0 20 0 1 0 77230183 187088896 44280 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 45676 44280 1184 1162 0 44285 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 186896 KiB

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

/proc/loadavg: 4.09 4.14 4.16 5/255 90084
/proc/meminfo: memFree=97574368/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3091.57 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45459 0 0 0 309133 24 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3091.57 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/255 90086
/proc/meminfo: memFree=97578596/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3151.36 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45459 0 0 0 315112 24 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3151.36 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB

[startup+3222.3 s]
/proc/loadavg: 4.51 4.23 4.19 5/255 90088
/proc/meminfo: memFree=97576052/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3211.15 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45463 0 0 0 321091 24 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3211.15 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB

[startup+3282.3 s]
/proc/loadavg: 4.59 4.32 4.22 5/255 90090
/proc/meminfo: memFree=97574904/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3270.95 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45463 0 0 0 327071 24 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3270.95 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.28 4.21 5/256 90097
/proc/meminfo: memFree=97574596/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3330.74 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45463 0 0 0 333050 24 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3330.74 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.25 4.20 5/255 90099
/proc/meminfo: memFree=97575856/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3390.53 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45463 0 0 0 339029 24 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3390.53 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.22 4.19 5/254 90101
/proc/meminfo: memFree=97576924/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3450.33 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45463 0 0 0 345009 24 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3450.33 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.21 4.19 5/254 90102
/proc/meminfo: memFree=97571432/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3510.12 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45463 0 0 0 350988 24 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3510.12 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.18 4.18 6/254 90106
/proc/meminfo: memFree=97571536/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3569.91 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45463 0 0 0 356967 24 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3569.91 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.11 4.18 4.18 5/254 90153
/proc/meminfo: memFree=98155632/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3600.01 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45536 0 0 0 359976 25 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.77 s, system=0.261975 s

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

[startup+3612.5 s]
/proc/loadavg: 4.11 4.18 4.18 5/254 90153
/proc/meminfo: memFree=98155632/131382116 swapFree=33005528/33010684
[pid=89762] ppid=89759 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/89762/stat : 89762 (toulbar2.sh) S 89759 89762 89377 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77230182 4292608 736 18446744073709551615 94022675951616 94022676846149 140731947638016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94022677085200 94022677132944 94022687461376 140731947645239 140731947645415 140731947645415 140731947651017 0
/proc/89762/statm: 1048 736 672 219 0 110 0
[pid=89765] ppid=89762 vsize=191312 memory=184904 CPUtime=3600.01 cores=5,7
/proc/89765/stat : 89765 (toulbar2) R 89762 89762 89377 0 -1 4194304 45536 0 0 0 359976 25 0 0 20 0 1 0 77230183 195903488 46226 18446744073709551615 4198400 8956741 140724274517120 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 18497536 140724274522485 140724274522604 140724274522604 140724274528204 0
/proc/89765/statm: 47828 46226 1184 1162 0 46437 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 195504 KiB
Current children cumulated memory: 187848 KiB

Child status: 0

Real time (s): 3612.5
CPU time (s): 3600.03
CPU user time (s): 3599.77
CPU system time (s): 0.261975
CPU usage (%): 99.6547
Max. virtual memory (cumulated for all children) (KiB): 195504
Max. memory (cumulated for all children) (KiB): 187848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.77
system time used= 0.261975
maximum resident set size= 187468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45752
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= 129
involuntary context switches= 1633


# summary of solver processes directly reported to runsolver:
#   pid: 89762
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.77
#   total CPU system time (s): 0.261975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5858 second user time and 36.4642 second system time

The end