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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62918 MiB free)
  memory of node 1: 64465 MiB (61095 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525670-1751626904/watcher-4525670-1751626904 -o /tmp/evaluation-result-4525670-1751626904/solver-4525670-1751626904 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751623294-89822 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4525670-1751626904.wbo -timer=3600 -hve=512 -f=3 -n: -precision=0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=90203, runsolver pid=90200

[startup+0.100063 s]*
/proc/loadavg: 4.08 4.12 4.09 4/263 90209
/proc/meminfo: memFree=126844820/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=100148 memory=88296 CPUtime=0.09 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 21783 0 0 0 6 3 0 0 20 0 1 0 78364966 102551552 22074 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 25037 22074 864 1162 0 23646 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 104340 KiB
Current children cumulated memory: 91240 KiB

[startup+0.205996 s]*
/proc/loadavg: 4.08 4.12 4.09 4/263 90219
/proc/meminfo: memFree=126705028/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=192612 memory=178928 CPUtime=0.19 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 44420 0 0 0 13 6 0 0 20 0 1 0 78364966 197234688 44732 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 48153 44732 864 1162 0 46762 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 196804 KiB
Current children cumulated memory: 181872 KiB

[startup+0.305382 s]*
/proc/loadavg: 4.08 4.12 4.09 5/260 90219
/proc/meminfo: memFree=126576004/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=275772 memory=264048 CPUtime=0.29 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 65701 0 0 0 19 10 0 0 20 0 1 0 78364966 282390528 66012 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 68943 66012 864 1162 0 67552 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 279964 KiB
Current children cumulated memory: 266992 KiB

[startup+0.700221 s]
/proc/loadavg: 4.08 4.12 4.09 5/262 90240
/proc/meminfo: memFree=126386240/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=442552 memory=431984 CPUtime=0.68 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 107678 0 0 0 52 16 0 0 20 0 1 0 78364966 453173248 107996 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 110638 107996 896 1162 0 109247 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 446744 KiB
Current children cumulated memory: 434928 KiB

[startup+1.5002 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 90251
/proc/meminfo: memFree=125831084/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=750872 memory=739968 CPUtime=1.48 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 184151 0 0 0 118 30 0 0 20 0 1 0 78364966 768892928 184992 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 187718 184992 896 1162 0 186327 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 755064 KiB
Current children cumulated memory: 742912 KiB

[startup+3.10532 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 90251
/proc/meminfo: memFree=122889008/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=1363700 memory=1352080 CPUtime=3.08 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 336666 0 0 0 253 55 0 0 20 0 1 0 78364966 1396428800 338020 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 340925 338020 896 1162 0 339534 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1367892 KiB
Current children cumulated memory: 1355024 KiB

[startup+6.3002 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 90251
/proc/meminfo: memFree=120786980/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2104296 memory=2091536 CPUtime=6.26 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 519443 0 0 0 543 83 0 0 20 0 1 0 78364966 2154799104 522884 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 526074 522884 960 1162 0 524683 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2108488 KiB
Current children cumulated memory: 2094480 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 90251
/proc/meminfo: memFree=118480224/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2125064 memory=2112900 CPUtime=12.63 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 526664 0 0 0 1179 84 0 0 20 0 1 0 78364966 2176065536 528225 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 531266 528225 1024 1162 0 529875 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2129256 KiB
Current children cumulated memory: 2115844 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 90251
/proc/meminfo: memFree=113427732/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2282544 memory=2272748 CPUtime=25.4 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 561142 0 0 0 2450 90 0 0 20 0 1 0 78364966 2337325056 568187 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 570636 568187 1152 1162 0 569245 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2286736 KiB
Current children cumulated memory: 2275692 KiB

[startup+51.1053 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 90252
/proc/meminfo: memFree=108187524/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2286816 memory=2276844 CPUtime=50.92 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 562170 0 0 0 5001 91 0 0 20 0 1 0 78364966 2341699584 569211 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 571704 569211 1152 1162 0 570313 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2291008 KiB
Current children cumulated memory: 2279788 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 90299
/proc/meminfo: memFree=103575712/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2287584 memory=2277484 CPUtime=101.95 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 562339 0 0 0 10102 93 0 0 20 0 1 0 78364966 2342486016 569371 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 571896 569371 1152 1162 0 570505 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2291776 KiB
Current children cumulated memory: 2280428 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 90301
/proc/meminfo: memFree=95325404/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2287584 memory=2277740 CPUtime=161.75 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 562398 0 0 0 16081 94 0 0 20 0 1 0 78364966 2342486016 569435 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 571896 569435 1152 1162 0 570505 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 2291776 KiB
Current children cumulated memory: 2280684 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 90305
/proc/meminfo: memFree=94450448/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2289120 memory=2278636 CPUtime=221.57 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 562622 0 0 0 22061 96 0 0 20 0 1 0 78364966 2344058880 569659 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 572280 569659 1152 1162 0 570889 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 2293312 KiB
Current children cumulated memory: 2281580 KiB

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

# cumulated CPU time of all completed processes:  user=233.379 s, system=1.04302 s

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

[startup+224 s]*
/proc/loadavg: 4.08 4.11 4.09 5/266 90305
/proc/meminfo: memFree=94443696/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2289120 memory=2278636 CPUtime=223.27 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 562622 0 0 0 22231 96 0 0 20 0 1 0 78364966 2344058880 569659 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 572280 569659 1152 1162 0 570889 0
Current children cumulated CPU time: 223.27 s
Current children cumulated vsize: 2293312 KiB
Current children cumulated memory: 2281580 KiB

[startup+230.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 90306
/proc/meminfo: memFree=94423728/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2289120 memory=2278636 CPUtime=229.65 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 562626 0 0 0 22869 96 0 0 20 0 1 0 78364966 2344058880 569659 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 572280 569659 1152 1162 0 570889 0
Current children cumulated CPU time: 229.65 s
Current children cumulated vsize: 2293312 KiB
Current children cumulated memory: 2281580 KiB

[startup+233.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 90306
/proc/meminfo: memFree=94415916/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2289140 memory=2278636 CPUtime=232.84 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 562647 0 0 0 23188 96 0 0 20 0 1 0 78364966 2344079360 569659 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 572285 569659 1152 1162 0 570894 0
Current children cumulated CPU time: 232.84 s
Current children cumulated vsize: 2293332 KiB
Current children cumulated memory: 2281580 KiB

[startup+234.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 90306
/proc/meminfo: memFree=94412168/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2289184 memory=2278764 CPUtime=233.64 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 562658 0 0 0 23268 96 0 0 20 0 1 0 78364966 2344124416 569691 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 572296 569691 1152 1162 0 570905 0
Current children cumulated CPU time: 233.64 s
Current children cumulated vsize: 2293376 KiB
Current children cumulated memory: 2281708 KiB

[startup+234.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 90306
/proc/meminfo: memFree=94412168/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2289212 memory=2278764 CPUtime=234.04 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 562665 0 0 0 23308 96 0 0 20 0 1 0 78364966 2344153088 569691 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 572303 569691 1152 1162 0 570912 0
Current children cumulated CPU time: 234.04 s
Current children cumulated vsize: 2293404 KiB
Current children cumulated memory: 2281708 KiB

[startup+235 s]*
/proc/loadavg: 4.07 4.10 4.09 5/266 90306
/proc/meminfo: memFree=94412172/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
[pid=90205] ppid=90203 vsize=2289236 memory=2278764 CPUtime=234.24 cores=4,6
/proc/90205/stat : 90205 (toulbar2) R 90203 90203 89811 0 -1 4194304 562671 0 0 0 23328 96 0 0 20 0 1 0 78364966 2344177664 569691 18446744073709551615 4198400 8956741 140720977924720 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 12668928 140720977926515 140720977926634 140720977926634 140720977932236 0
/proc/90205/statm: 572309 569691 1152 1162 0 570918 0
Current children cumulated CPU time: 234.24 s
Current children cumulated vsize: 2293428 KiB
Current children cumulated memory: 2281708 KiB

[startup+235.105 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 90306
/proc/meminfo: memFree=94412172/131249992 swapFree=33009392/33010684
[pid=90203] ppid=90200 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90203/stat : 90203 (toulbar2.sh) S 90200 90203 89811 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 78364966 4292608 736 18446744073709551615 94151383482368 94151384376901 140723031533552 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94151384615952 94151384663696 94151412281344 140723031537973 140723031538149 140723031538149 140723031543753 0
/proc/90203/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 235.167
CPU time (s): 234.422
CPU user time (s): 233.379
CPU system time (s): 1.04302
CPU usage (%): 99.6832
Max. virtual memory (cumulated for all children) (KiB): 2293428
Max. memory (cumulated for all children) (KiB): 2281708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 233.379
system time used= 1.04302
maximum resident set size= 2278892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562965
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= 67
involuntary context switches= 370


# summary of solver processes directly reported to runsolver:
#   pid: 90203
#   total CPU time (s): 234.422
#   total CPU user time (s): 233.379
#   total CPU system time (s): 1.04302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.487645 second user time and 1.06638 second system time

The end