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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499732-1751419661/watcher-4499732-1751419661 -o /tmp/evaluation-result-4499732-1751419661/solver-4499732-1751419661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751419661-61043 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4499732-1751419661.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
Current StackSize limit: 8192 KiB

solver pid=61085, runsolver pid=61079

[startup+0.100061 s]*
/proc/loadavg: 0.38 0.86 1.00 5/274 61106
/proc/meminfo: memFree=108161704/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=50508 memory=40960 CPUtime=0.08 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 9428 0 0 0 7 1 0 0 20 0 1 0 57644963 51720192 10240 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 12627 10240 928 1162 0 11236 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54700 KiB
Current children cumulated memory: 44032 KiB

[startup+0.205784 s]*
/proc/loadavg: 0.38 0.86 1.00 5/274 61106
/proc/meminfo: memFree=107944480/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=91520 memory=81792 CPUtime=0.18 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 19668 0 0 0 15 3 0 0 20 0 1 0 57644963 93716480 20448 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 22880 20448 928 1162 0 21489 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 95712 KiB
Current children cumulated memory: 84864 KiB

[startup+0.30564 s]*
/proc/loadavg: 0.38 0.86 1.00 5/274 61106
/proc/meminfo: memFree=107775892/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=130196 memory=120576 CPUtime=0.28 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 29363 0 0 0 23 5 0 0 20 0 1 0 57644963 133320704 30144 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 32549 30144 928 1162 0 31158 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 134388 KiB
Current children cumulated memory: 123648 KiB

[startup+0.700199 s]
/proc/loadavg: 0.38 0.86 1.00 5/274 61106
/proc/meminfo: memFree=107446276/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=229248 memory=219540 CPUtime=0.67 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 54208 0 0 0 58 9 0 0 20 0 1 0 57644963 234749952 54885 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 57312 54885 1024 1162 0 55921 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 233440 KiB
Current children cumulated memory: 222612 KiB

[startup+1.5002 s]
/proc/loadavg: 0.67 0.91 1.02 5/274 61106
/proc/meminfo: memFree=106762852/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=229248 memory=219540 CPUtime=1.47 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 54208 0 0 0 138 9 0 0 20 0 1 0 57644963 234749952 54885 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 57312 54885 1024 1162 0 55921 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 233440 KiB
Current children cumulated memory: 222612 KiB

[startup+3.10569 s]
/proc/loadavg: 0.67 0.91 1.02 5/274 61107
/proc/meminfo: memFree=105570452/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=232900 memory=223736 CPUtime=3.07 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 55865 0 0 0 297 10 0 0 20 0 1 0 57644963 238489600 55934 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 58225 55934 1184 1162 0 56834 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 237092 KiB
Current children cumulated memory: 226808 KiB

[startup+6.3002 s]
/proc/loadavg: 0.93 0.97 1.03 5/274 61107
/proc/meminfo: memFree=105514316/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=232900 memory=223736 CPUtime=6.26 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 55865 0 0 0 616 10 0 0 20 0 1 0 57644963 238489600 55934 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 58225 55934 1184 1162 0 56834 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 237092 KiB
Current children cumulated memory: 226808 KiB

[startup+12.7002 s]
/proc/loadavg: 1.18 1.02 1.05 5/274 61107
/proc/meminfo: memFree=105441208/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=232900 memory=224376 CPUtime=12.63 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 56023 0 0 0 1253 10 0 0 20 0 1 0 57644963 238489600 56094 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 58225 56094 1184 1162 0 56834 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 237092 KiB
Current children cumulated memory: 227448 KiB

[startup+25.5002 s]
/proc/loadavg: 1.61 1.12 1.08 4/268 61143
/proc/meminfo: memFree=106978508/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=233068 memory=224376 CPUtime=25.39 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 56048 0 0 0 2529 10 0 0 20 0 1 0 57644963 238661632 56094 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 58267 56094 1184 1162 0 56876 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 237260 KiB
Current children cumulated memory: 227448 KiB

[startup+51.1056 s]
/proc/loadavg: 2.16 1.30 1.14 4/268 61143
/proc/meminfo: memFree=107067148/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=233216 memory=224504 CPUtime=50.9 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 56085 0 0 0 5080 10 0 0 20 0 1 0 57644963 238813184 56126 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 58304 56126 1184 1162 0 56913 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 237408 KiB
Current children cumulated memory: 227576 KiB

[startup+102.3 s]
/proc/loadavg: 2.68 1.58 1.25 4/267 61145
/proc/meminfo: memFree=107068096/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=233504 memory=224760 CPUtime=101.91 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 56167 0 0 0 10181 10 0 0 20 0 1 0 57644963 239108096 56190 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 58376 56190 1184 1162 0 56985 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 237696 KiB
Current children cumulated memory: 227832 KiB

[startup+162.3 s]
/proc/loadavg: 2.98 1.87 1.37 4/269 61149
/proc/meminfo: memFree=107071216/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=234080 memory=225272 CPUtime=161.68 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 56390 0 0 0 16158 10 0 0 20 0 1 0 57644963 239697920 56318 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 58520 56318 1184 1162 0 57129 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 238272 KiB
Current children cumulated memory: 228344 KiB

[startup+222.3 s]
/proc/loadavg: 3.04 2.09 1.48 4/265 61155
/proc/meminfo: memFree=107047668/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=234080 memory=228984 CPUtime=221.48 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 56529 0 0 0 22138 10 0 0 20 0 1 0 57644963 239697920 57246 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 58520 57246 1184 1162 0 57129 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 238272 KiB

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

/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58391 0 0 0 339031 11 0 0 20 0 1 0 57644963 243634176 57988 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 57988 1184 1162 0 58090 0
Current children cumulated CPU time: 3390.42 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235024 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.09 3.02 4/261 61322
/proc/meminfo: memFree=107083020/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=231952 CPUtime=3450.21 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58400 0 0 0 345010 11 0 0 20 0 1 0 57644963 243634176 57988 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 57988 1184 1162 0 58090 0
Current children cumulated CPU time: 3450.21 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235024 KiB

[startup+3522.3 s]
/proc/loadavg: 3.11 3.09 3.02 4/261 61324
/proc/meminfo: memFree=107083148/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=232720 CPUtime=3510 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58404 0 0 0 350989 11 0 0 20 0 1 0 57644963 243634176 58180 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 58180 1184 1162 0 58090 0
Current children cumulated CPU time: 3510 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235792 KiB

[startup+3582.3 s]
/proc/loadavg: 3.09 3.09 3.02 4/261 61326
/proc/meminfo: memFree=107083732/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=232720 CPUtime=3569.79 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58408 0 0 0 356968 11 0 0 20 0 1 0 57644963 243634176 58180 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 58180 1184 1162 0 58090 0
Current children cumulated CPU time: 3569.79 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235792 KiB

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

# cumulated CPU time of all completed processes:  user=3599.98 s, system=0.115264 s

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

[startup+3584 s]*
/proc/loadavg: 3.09 3.09 3.02 4/261 61326
/proc/meminfo: memFree=107083780/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=232720 CPUtime=3571.49 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58409 0 0 0 357138 11 0 0 20 0 1 0 57644963 243634176 58180 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 58180 1184 1162 0 58090 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235792 KiB

[startup+3596.8 s]
/proc/loadavg: 3.07 3.08 3.02 4/261 61326
/proc/meminfo: memFree=107083644/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=232720 CPUtime=3584.24 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58409 0 0 0 358413 11 0 0 20 0 1 0 57644963 243634176 58180 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 58180 1184 1162 0 58090 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235792 KiB

[startup+3603.2 s]
/proc/loadavg: 3.14 3.10 3.02 4/261 61326
/proc/meminfo: memFree=107083732/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=232720 CPUtime=3590.62 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58409 0 0 0 359051 11 0 0 20 0 1 0 57644963 243634176 58180 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 58180 1184 1162 0 58090 0
Current children cumulated CPU time: 3590.62 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235792 KiB

[startup+3609.6 s]
/proc/loadavg: 3.12 3.09 3.02 4/261 61326
/proc/meminfo: memFree=107083820/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=232720 CPUtime=3597 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58409 0 0 0 359689 11 0 0 20 0 1 0 57644963 243634176 58180 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 58180 1184 1162 0 58090 0
Current children cumulated CPU time: 3597 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235792 KiB

[startup+3611.2 s]
/proc/loadavg: 3.12 3.09 3.02 3/256 61334
/proc/meminfo: memFree=107555424/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=232720 CPUtime=3598.59 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58409 0 0 0 359848 11 0 0 20 0 1 0 57644963 243634176 58180 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 58180 1184 1162 0 58090 0
Current children cumulated CPU time: 3598.59 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235792 KiB

[startup+3612 s]*
/proc/loadavg: 3.11 3.09 3.02 4/257 61354
/proc/meminfo: memFree=108016044/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=232720 CPUtime=3599.4 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58409 0 0 0 359929 11 0 0 20 0 1 0 57644963 243634176 58180 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 58180 1184 1162 0 58090 0
Current children cumulated CPU time: 3599.4 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235792 KiB

[startup+3612.4 s]
/proc/loadavg: 3.11 3.09 3.02 4/257 61354
/proc/meminfo: memFree=108016044/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=232720 CPUtime=3599.79 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58409 0 0 0 359968 11 0 0 20 0 1 0 57644963 243634176 58180 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 58180 1184 1162 0 58090 0
Current children cumulated CPU time: 3599.79 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235792 KiB

[startup+3612.6 s]
/proc/loadavg: 3.11 3.09 3.02 4/257 61354
/proc/meminfo: memFree=108016044/131249988 swapFree=33010160/33010684
[pid=61085] ppid=61079 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/61085/stat : 61085 (toulbar2.sh) S 61079 61085 61005 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 57644961 4292608 768 18446744073709551615 94417465888768 94417466783301 140737258994112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94417467022352 94417467070096 94417472811008 140737258998071 140737258998247 140737258998247 140737259003849 0
/proc/61085/statm: 1048 768 704 219 0 110 0
[pid=61090] ppid=61085 vsize=237924 memory=232720 CPUtime=3599.99 cores=0,2
/proc/61090/stat : 61090 (toulbar2) R 61085 61085 61005 0 -1 4194304 58409 0 0 0 359988 11 0 0 20 0 1 0 57644963 243634176 58180 18446744073709551615 4198400 8956741 140735069835120 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16396288 140735069841781 140735069841900 140735069841900 140735069847500 0
/proc/61090/statm: 59481 58180 1184 1162 0 58090 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 242116 KiB
Current children cumulated memory: 235792 KiB

Child status: 0

Real time (s): 3612.7
CPU time (s): 3600.09
CPU user time (s): 3599.98
CPU system time (s): 0.115264
CPU usage (%): 99.6512
Max. virtual memory (cumulated for all children) (KiB): 242116
Max. memory (cumulated for all children) (KiB): 235792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.98
system time used= 0.115264
maximum resident set size= 233456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58626
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= 168
involuntary context switches= 8115


# summary of solver processes directly reported to runsolver:
#   pid: 61085
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.98
#   total CPU system time (s): 0.115264

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7949 second user time and 16.5856 second system time

The end