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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519620-1751562611/watcher-4519620-1751562611 -o /tmp/evaluation-result-4519620-1751562611/solver-4519620-1751562611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751562611-81222 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4519620-1751562611.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81274, runsolver pid=81261
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 0.22 0.85 1.82 5/268 81282
/proc/meminfo: memFree=129419668/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=39072 memory=29824 CPUtime=0.08 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 6535 0 0 0 8 0 0 0 20 0 1 0 71941034 40009728 7456 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 9768 7456 1024 1162 0 8377 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43264 KiB
Current children cumulated memory: 32768 KiB

[startup+0.205683 s]*
/proc/loadavg: 0.22 0.85 1.82 5/268 81282
/proc/meminfo: memFree=129379600/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=41344 memory=31744 CPUtime=0.19 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 7083 0 0 0 18 1 0 0 20 0 1 0 71941034 42336256 7936 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 10336 7936 1024 1162 0 8945 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45536 KiB
Current children cumulated memory: 34688 KiB

[startup+0.305684 s]*
/proc/loadavg: 0.22 0.85 1.82 5/268 81282
/proc/meminfo: memFree=129368008/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=50076 memory=40448 CPUtime=0.29 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 9261 0 0 0 28 1 0 0 20 0 1 0 71941034 51277824 10112 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 12519 10112 1024 1162 0 11128 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 54268 KiB
Current children cumulated memory: 43392 KiB

[startup+0.700222 s]
/proc/loadavg: 0.22 0.85 1.82 5/268 81282
/proc/meminfo: memFree=129348140/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=59132 memory=51072 CPUtime=0.68 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 11762 0 0 0 66 2 0 0 20 0 1 0 71941034 60551168 12768 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 14783 12768 1184 1162 0 13392 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63324 KiB
Current children cumulated memory: 54016 KiB

[startup+1.50022 s]
/proc/loadavg: 0.22 0.85 1.82 5/268 81282
/proc/meminfo: memFree=129348140/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=59808 memory=51712 CPUtime=1.48 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 11930 0 0 0 146 2 0 0 20 0 1 0 71941034 61243392 12928 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 14952 12928 1184 1162 0 13561 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64000 KiB
Current children cumulated memory: 54656 KiB

[startup+3.10557 s]
/proc/loadavg: 0.22 0.85 1.82 5/268 81282
/proc/meminfo: memFree=129260528/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=60092 memory=51968 CPUtime=3.08 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 11996 0 0 0 306 2 0 0 20 0 1 0 71941034 61534208 12992 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 15023 12992 1184 1162 0 13632 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64284 KiB
Current children cumulated memory: 54912 KiB

[startup+6.30022 s]
/proc/loadavg: 0.52 0.90 1.83 5/268 81282
/proc/meminfo: memFree=129218684/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=60092 memory=51968 CPUtime=6.26 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 12004 0 0 0 624 2 0 0 20 0 1 0 71941034 61534208 12992 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 15023 12992 1184 1162 0 13632 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 64284 KiB
Current children cumulated memory: 54912 KiB

[startup+12.7002 s]
/proc/loadavg: 0.80 0.96 1.85 5/268 81282
/proc/meminfo: memFree=129211684/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=60792 memory=52736 CPUtime=12.64 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 12171 0 0 0 1262 2 0 0 20 0 1 0 71941034 62251008 13184 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 15198 13184 1184 1162 0 13807 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 64984 KiB
Current children cumulated memory: 55680 KiB

[startup+25.5002 s]
/proc/loadavg: 1.59 1.12 1.89 5/268 81283
/proc/meminfo: memFree=129196828/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=60792 memory=52736 CPUtime=25.41 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 12188 0 0 0 2539 2 0 0 20 0 1 0 71941034 62251008 13184 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 15198 13184 1184 1162 0 13807 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64984 KiB
Current children cumulated memory: 55680 KiB

[startup+51.1054 s]
/proc/loadavg: 2.41 1.35 1.94 5/268 81283
/proc/meminfo: memFree=129189328/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=61204 memory=52980 CPUtime=50.94 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 12327 0 0 0 5092 2 0 0 20 0 1 0 71941034 62672896 13245 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 15301 13245 1184 1162 0 13910 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 65396 KiB
Current children cumulated memory: 55924 KiB

[startup+102.3 s]
/proc/loadavg: 3.36 1.78 2.06 5/269 81286
/proc/meminfo: memFree=129176352/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=61204 memory=53108 CPUtime=101.99 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 12384 0 0 0 10197 2 0 0 20 0 1 0 71941034 62672896 13277 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 15301 13277 1184 1162 0 13910 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 65396 KiB
Current children cumulated memory: 56052 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 2.20 2.19 5/269 81292
/proc/meminfo: memFree=129157712/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=61980 memory=57796 CPUtime=161.83 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 12684 0 0 0 16181 2 0 0 20 0 1 0 71941034 63467520 14449 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 15495 14449 1184 1162 0 14104 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 66172 KiB
Current children cumulated memory: 60740 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.55 2.31 5/269 81294
/proc/meminfo: memFree=129163768/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=61980 memory=57924 CPUtime=221.68 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 12759 0 0 0 22166 2 0 0 20 0 1 0 71941034 63467520 14481 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 15495 14481 1184 1162 0 14104 0
Current children cumulated CPU time: 221.68 s

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

/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15335 0 0 0 339377 3 0 0 20 0 1 0 71941034 76910592 16646 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 16646 1184 1162 0 17386 0
Current children cumulated CPU time: 3393.8 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 69528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/267 81499
/proc/meminfo: memFree=129084744/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3453.65 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15340 0 0 0 345362 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3453.65 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/266 81501
/proc/meminfo: memFree=129084496/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3513.51 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15342 0 0 0 351348 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3513.51 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/267 81504
/proc/meminfo: memFree=129084752/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3573.36 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15344 0 0 0 357333 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

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

# cumulated CPU time of all completed processes:  user=3599.55 s, system=0.039279 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.04 5/267 81504
/proc/meminfo: memFree=129084816/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3575.06 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15344 0 0 0 357503 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3575.06 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.04 5/267 81504
/proc/meminfo: memFree=129084600/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3587.82 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15345 0 0 0 358779 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

[startup+3603.2 s]
/proc/loadavg: 4.06 4.08 4.04 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3594.2 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15345 0 0 0 359417 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3594.2 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

[startup+3606.4 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3597.4 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15345 0 0 0 359737 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3597.4 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

[startup+3607.2 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3598.19 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15345 0 0 0 359816 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3598.19 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

[startup+3608 s]*
/proc/loadavg: 4.06 4.08 4.03 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3599 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15345 0 0 0 359897 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3599 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

[startup+3608.4 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3599.39 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15345 0 0 0 359936 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3599.39 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

[startup+3608.5 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81274] ppid=81261 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81274/stat : 81274 (toulbar2.sh) S 81261 81274 81183 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71941033 4292608 736 18446744073709551615 94449204543488 94449205438021 140724241258128 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94449205677072 94449205724816 94449227104256 140724241266999 140724241267175 140724241267175 140724241272777 0
/proc/81274/statm: 1048 736 672 219 0 110 0
[pid=81281] ppid=81274 vsize=75108 memory=68692 CPUtime=3599.49 cores=5,7
/proc/81281/stat : 81281 (toulbar2) R 81274 81274 81183 0 -1 4194304 15345 0 0 0 359946 3 0 0 20 0 1 0 71941034 76910592 17173 18446744073709551615 4198400 8956741 140726310279104 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11669504 140726310283637 140726310283756 140726310283756 140726310289356 0
/proc/81281/statm: 18777 17173 1184 1162 0 17386 0
Current children cumulated CPU time: 3599.49 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 71636 KiB

Child status: 0

Real time (s): 3608.59
CPU time (s): 3599.59
CPU user time (s): 3599.55
CPU system time (s): 0.039279
CPU usage (%): 99.7507
Max. virtual memory (cumulated for all children) (KiB): 79300
Max. memory (cumulated for all children) (KiB): 71636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.55
system time used= 0.039279
maximum resident set size= 72604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15562
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= 85
involuntary context switches= 4882


# summary of solver processes directly reported to runsolver:
#   pid: 81274
#   total CPU time (s): 3599.59
#   total CPU user time (s): 3599.55
#   total CPU system time (s): 0.039279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69472 second user time and 15.3938 second system time

The end