runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61836 MiB free)
  memory of node 1: 64507 MiB (63876 MiB free)
  node distances:
     10  21
     21  10

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

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


[startup+0.100061 s]*
/proc/loadavg: 4.11 4.09 4.04 4/264 44731
/proc/meminfo: memFree=128613296/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=54844 memory=45184 CPUtime=0.08 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 10477 0 0 0 7 1 0 0 20 0 1 0 45202496 56160256 11296 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 13711 11296 928 1162 0 12320 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 59036 KiB
Current children cumulated memory: 48128 KiB

[startup+0.205039 s]*
/proc/loadavg: 4.11 4.09 4.04 5/264 44731
/proc/meminfo: memFree=128493520/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=100648 memory=91008 CPUtime=0.18 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 21953 0 0 0 15 3 0 0 20 0 1 0 45202496 103063552 22752 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 25162 22752 928 1162 0 23771 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 104840 KiB
Current children cumulated memory: 93952 KiB

[startup+0.305115 s]*
/proc/loadavg: 4.11 4.09 4.04 4/267 44737
/proc/meminfo: memFree=128357284/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=144812 memory=134860 CPUtime=0.29 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 32978 0 0 0 24 5 0 0 20 0 1 0 45202496 148287488 33715 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 36203 33715 928 1162 0 34812 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 149004 KiB
Current children cumulated memory: 137804 KiB

[startup+0.700184 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 44746
/proc/meminfo: memFree=128083268/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=315508 memory=305356 CPUtime=0.68 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 75754 0 0 0 57 11 0 0 20 0 1 0 45202496 323080192 76339 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 78877 76339 928 1162 0 77486 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 319700 KiB
Current children cumulated memory: 308300 KiB

[startup+1.5002 s]
/proc/loadavg: 4.18 4.11 4.04 5/269 44769
/proc/meminfo: memFree=127085124/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=568224 memory=556080 CPUtime=1.47 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 138588 0 0 0 129 18 0 0 20 0 1 0 45202496 581861376 139020 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 142056 139020 1024 1162 0 140665 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 572416 KiB
Current children cumulated memory: 559024 KiB

[startup+3.10561 s]
/proc/loadavg: 4.18 4.11 4.04 5/269 44769
/proc/meminfo: memFree=126987448/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=574084 memory=561872 CPUtime=3.07 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 140651 0 0 0 288 19 0 0 20 0 1 0 45202496 587862016 140468 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 143521 140468 1184 1162 0 142130 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 578276 KiB
Current children cumulated memory: 564816 KiB

[startup+6.3002 s]
/proc/loadavg: 4.25 4.12 4.05 5/269 44769
/proc/meminfo: memFree=126987576/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=574084 memory=562000 CPUtime=6.25 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 140681 0 0 0 606 19 0 0 20 0 1 0 45202496 587862016 140500 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 143521 140500 1184 1162 0 142130 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 578276 KiB
Current children cumulated memory: 564944 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.12 4.05 5/269 44769
/proc/meminfo: memFree=126974628/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=574480 memory=562512 CPUtime=12.63 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 140812 0 0 0 1244 19 0 0 20 0 1 0 45202496 588267520 140628 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 143620 140628 1184 1162 0 142229 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 578672 KiB
Current children cumulated memory: 565456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.11 4.05 5/269 44769
/proc/meminfo: memFree=126968208/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=575140 memory=563152 CPUtime=25.39 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 140966 0 0 0 2520 19 0 0 20 0 1 0 45202496 588943360 140788 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 143785 140788 1184 1162 0 142394 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 579332 KiB
Current children cumulated memory: 566096 KiB

[startup+51.1056 s]
/proc/loadavg: 4.20 4.12 4.05 6/269 44769
/proc/meminfo: memFree=126966068/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=575160 memory=563280 CPUtime=50.9 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 140997 0 0 0 5071 19 0 0 20 0 1 0 45202496 588963840 140820 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 143790 140820 1184 1162 0 142399 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 579352 KiB
Current children cumulated memory: 566224 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.05 6/269 44771
/proc/meminfo: memFree=126965704/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=575368 memory=563280 CPUtime=101.92 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 141005 0 0 0 10172 20 0 0 20 0 1 0 45202496 589176832 140820 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 143842 140820 1184 1162 0 142451 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 579560 KiB
Current children cumulated memory: 566224 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/270 44774
/proc/meminfo: memFree=126956672/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=575752 memory=563664 CPUtime=161.71 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 141098 0 0 0 16151 20 0 0 20 0 1 0 45202496 589570048 140916 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 143938 140916 1184 1162 0 142547 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 579944 KiB
Current children cumulated memory: 566608 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.06 6/269 44777
/proc/meminfo: memFree=126965436/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=576520 memory=564176 CPUtime=221.51 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 141248 0 0 0 22131 20 0 0 20 0 1 0 45202496 590356480 141044 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 144130 141044 1184 1162 0 142739 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 580712 KiB

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

/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151006 0 0 0 345004 28 0 0 20 0 1 0 45202496 695046144 158997 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 158997 1184 1162 0 168298 0
Current children cumulated CPU time: 3450.32 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 638932 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.11 7/268 44951
/proc/meminfo: memFree=126578796/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3510.11 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151207 0 0 0 350983 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3510.11 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/269 44958
/proc/meminfo: memFree=126580236/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3569.9 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151254 0 0 0 356962 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3569.9 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

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

# cumulated CPU time of all completed processes:  user=3599.15 s, system=0.284688 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.11 5/269 44958
/proc/meminfo: memFree=126580236/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3571.6 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151254 0 0 0 357132 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

[startup+3596.8 s]
/proc/loadavg: 4.20 4.13 4.11 5/269 44958
/proc/meminfo: memFree=126580284/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3584.35 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151254 0 0 0 358407 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3584.35 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

[startup+3603.2 s]
/proc/loadavg: 4.17 4.13 4.11 5/269 44958
/proc/meminfo: memFree=126580308/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3590.73 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151255 0 0 0 359045 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3590.73 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

[startup+3606.4 s]
/proc/loadavg: 4.17 4.13 4.11 5/269 44959
/proc/meminfo: memFree=126579076/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3593.92 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151255 0 0 0 359364 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3593.92 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

[startup+3609.6 s]
/proc/loadavg: 4.16 4.13 4.11 5/269 44959
/proc/meminfo: memFree=126579156/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3597.1 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151255 0 0 0 359682 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3597.1 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

[startup+3611.2 s]
/proc/loadavg: 4.16 4.13 4.11 3/259 44975
/proc/meminfo: memFree=127757580/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3598.7 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151255 0 0 0 359842 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3598.7 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

[startup+3611.6 s]
/proc/loadavg: 4.16 4.13 4.11 3/259 44975
/proc/meminfo: memFree=127757580/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3599.1 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151255 0 0 0 359882 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3599.1 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

[startup+3611.8 s]
/proc/loadavg: 4.16 4.13 4.11 3/259 44975
/proc/meminfo: memFree=127757580/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3599.3 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151255 0 0 0 359902 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3599.3 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

[startup+3611.9 s]
/proc/loadavg: 4.16 4.13 4.11 3/259 44975
/proc/meminfo: memFree=127757580/131250000 swapFree=33010684/33010684
[pid=44724] ppid=44715 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44724/stat : 44724 (toulbar2.sh) S 44715 44724 44320 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 45202495 4292608 736 18446744073709551615 94114727882752 94114728777285 140722349698592 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94114729016336 94114729064080 94114758180864 140722349701431 140722349701607 140722349701607 140722349707209 0
/proc/44724/statm: 1048 736 672 219 0 110 0
[pid=44726] ppid=44724 vsize=678756 memory=639828 CPUtime=3599.4 cores=0,2
/proc/44726/stat : 44726 (toulbar2) R 44724 44724 44320 0 -1 4194304 151255 0 0 0 359912 28 0 0 20 0 1 0 45202496 695046144 159957 18446744073709551615 4198400 8956741 140724063885344 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 26296320 140724063893877 140724063893996 140724063893996 140724063899596 0
/proc/44726/statm: 169689 159957 1184 1162 0 168298 0
Current children cumulated CPU time: 3599.4 s
Current children cumulated vsize: 682948 KiB
Current children cumulated memory: 642772 KiB

Child status: 0

Real time (s): 3611.93
CPU time (s): 3599.44
CPU user time (s): 3599.15
CPU system time (s): 0.284688
CPU usage (%): 99.6541
Max. virtual memory (cumulated for all children) (KiB): 682948
Max. memory (cumulated for all children) (KiB): 642772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 0.284688
maximum resident set size= 650320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151469
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= 22156


# summary of solver processes directly reported to runsolver:
#   pid: 44724
#   total CPU time (s): 3599.44
#   total CPU user time (s): 3599.15
#   total CPU system time (s): 0.284688

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41656 second user time and 17.0574 second system time

The end