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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100061 s]*
/proc/loadavg: 0.90 2.27 3.25 5/270 88362
/proc/meminfo: memFree=122066120/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=22988 memory=14080 CPUtime=0.08 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 2616 0 0 0 8 0 0 0 20 0 1 0 77221159 23539712 3520 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 7 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 5747 3520 1024 1162 0 4356 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27180 KiB
Current children cumulated memory: 17024 KiB

[startup+0.205869 s]*
/proc/loadavg: 0.90 2.27 3.25 6/270 88362
/proc/meminfo: memFree=122065364/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=23472 memory=15744 CPUtime=0.18 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 2890 0 0 0 18 0 0 0 20 0 1 0 77221159 24035328 3936 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 5868 3936 1184 1162 0 4477 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 27664 KiB
Current children cumulated memory: 18688 KiB

[startup+0.305487 s]*
/proc/loadavg: 0.90 2.27 3.25 5/270 88362
/proc/meminfo: memFree=122065364/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=23472 memory=15744 CPUtime=0.28 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 2890 0 0 0 28 0 0 0 20 0 1 0 77221159 24035328 3936 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 5868 3936 1184 1162 0 4477 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 27664 KiB
Current children cumulated memory: 18688 KiB

[startup+0.700144 s]
/proc/loadavg: 0.90 2.27 3.25 5/270 88362
/proc/meminfo: memFree=122065364/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=23616 memory=15872 CPUtime=0.67 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 2923 0 0 0 67 0 0 0 20 0 1 0 77221159 24182784 3968 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 5904 3968 1184 1162 0 4513 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 27808 KiB
Current children cumulated memory: 18816 KiB

[startup+1.50016 s]
/proc/loadavg: 0.90 2.27 3.25 5/270 88362
/proc/meminfo: memFree=122057300/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=23872 memory=16128 CPUtime=1.47 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 3004 0 0 0 147 0 0 0 20 0 1 0 77221159 24444928 4032 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 5968 4032 1184 1162 0 4577 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 19072 KiB

[startup+3.1054 s]
/proc/loadavg: 1.15 2.30 3.26 5/270 88362
/proc/meminfo: memFree=122057488/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=24836 memory=16632 CPUtime=3.07 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 3289 0 0 0 307 0 0 0 20 0 1 0 77221159 25432064 4158 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 6209 4158 1184 1162 0 4818 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 29028 KiB
Current children cumulated memory: 19576 KiB

[startup+6.30013 s]
/proc/loadavg: 1.15 2.30 3.26 5/270 88362
/proc/meminfo: memFree=122058232/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=25988 memory=17528 CPUtime=6.26 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 3796 0 0 0 626 0 0 0 20 0 1 0 77221159 26611712 4382 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 6497 4382 1184 1162 0 5106 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 30180 KiB
Current children cumulated memory: 20472 KiB

[startup+12.7001 s]
/proc/loadavg: 1.37 2.33 3.26 5/270 88362
/proc/meminfo: memFree=122058312/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=25988 memory=17656 CPUtime=12.64 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 3806 0 0 0 1264 0 0 0 20 0 1 0 77221159 26611712 4414 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 6497 4414 1184 1162 0 5106 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 30180 KiB
Current children cumulated memory: 20600 KiB

[startup+25.5001 s]
/proc/loadavg: 2.04 2.42 3.28 5/270 88362
/proc/meminfo: memFree=122058188/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=25988 memory=17656 CPUtime=25.41 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 3806 0 0 0 2541 0 0 0 20 0 1 0 77221159 26611712 4414 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 6497 4414 1184 1162 0 5106 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 30180 KiB
Current children cumulated memory: 20600 KiB

[startup+51.1052 s]
/proc/loadavg: 2.71 2.55 3.30 5/270 88363
/proc/meminfo: memFree=122030324/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=25988 memory=17656 CPUtime=50.96 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 3811 0 0 0 5096 0 0 0 20 0 1 0 77221159 26611712 4414 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 6497 4414 1184 1162 0 5106 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 30180 KiB
Current children cumulated memory: 20600 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 2.79 3.34 5/270 88364
/proc/meminfo: memFree=122018120/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=25988 memory=23928 CPUtime=102.02 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 3836 0 0 0 10202 0 0 0 20 0 1 0 77221159 26611712 5982 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 6497 5982 1184 1162 0 5106 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 30180 KiB
Current children cumulated memory: 26872 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.05 3.40 5/269 88366
/proc/meminfo: memFree=122041312/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=26756 memory=24012 CPUtime=161.89 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4057 0 0 0 16189 0 0 0 20 0 1 0 77221159 27398144 6003 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 6689 6003 1184 1162 0 5298 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 30948 KiB
Current children cumulated memory: 26956 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.24 3.44 5/269 88368
/proc/meminfo: memFree=122037436/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=26756 memory=25036 CPUtime=221.76 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4081 0 0 0 22176 0 0 0 20 0 1 0 77221159 27398144 6259 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 6689 6259 1184 1162 0 5298 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 30948 KiB

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

/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4586 0 0 0 339480 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3394.8 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/267 88531
/proc/meminfo: memFree=122008712/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3454.67 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4587 0 0 0 345467 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3454.67 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/267 88533
/proc/meminfo: memFree=122009520/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3514.54 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4591 0 0 0 351454 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3514.54 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/266 88535
/proc/meminfo: memFree=122009640/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3574.41 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4591 0 0 0 357441 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3574.41 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

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

# cumulated CPU time of all completed processes:  user=3600.05 s, system=0.008327 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.09 4.06 5/266 88535
/proc/meminfo: memFree=122005544/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3576.11 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4591 0 0 0 357611 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3576.11 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

[startup+3596.8 s]
/proc/loadavg: 4.06 4.09 4.06 6/266 88535
/proc/meminfo: memFree=122005624/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3588.87 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4591 0 0 0 358887 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3588.87 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

[startup+3603.2 s]
/proc/loadavg: 4.14 4.10 4.06 5/266 88535
/proc/meminfo: memFree=122005648/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3595.26 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4591 0 0 0 359526 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3595.26 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

[startup+3606.4 s]
/proc/loadavg: 4.12 4.10 4.06 5/266 88535
/proc/meminfo: memFree=122005672/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3598.45 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4591 0 0 0 359845 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3598.45 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

[startup+3607.2 s]
/proc/loadavg: 4.12 4.10 4.06 5/266 88535
/proc/meminfo: memFree=122005672/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3599.25 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4591 0 0 0 359925 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3599.25 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

[startup+3607.6 s]
/proc/loadavg: 4.12 4.10 4.06 5/266 88535
/proc/meminfo: memFree=122005672/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3599.65 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4591 0 0 0 359965 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3599.65 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

[startup+3607.8 s]
/proc/loadavg: 4.12 4.10 4.06 5/266 88535
/proc/meminfo: memFree=122005672/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3599.85 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4591 0 0 0 359985 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3599.85 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

[startup+3607.9 s]
/proc/loadavg: 4.12 4.10 4.06 5/266 88535
/proc/meminfo: memFree=122005672/131249996 swapFree=33010416/33010684
[pid=88358] ppid=88341 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/88358/stat : 88358 (toulbar2.sh) S 88341 88358 88289 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77221158 4292608 736 18446744073709551615 94090223288320 94090224182853 140722154341296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94090224421904 94090224469648 94090247131136 140722154342709 140722154342885 140722154342885 140722154348489 0
/proc/88358/statm: 1048 736 672 219 0 110 0
[pid=88361] ppid=88358 vsize=28292 memory=26636 CPUtime=3599.95 cores=5,7
/proc/88361/stat : 88361 (toulbar2) R 88358 88358 88289 0 -1 4194304 4591 0 0 0 359995 0 0 0 20 0 1 0 77221159 28971008 6659 18446744073709551615 4198400 8956741 140724867383504 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 38359040 140724867389811 140724867389930 140724867389930 140724867395532 0
/proc/88361/statm: 7073 6659 1184 1162 0 5682 0
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 32484 KiB
Current children cumulated memory: 29580 KiB

Child status: 0

Real time (s): 3608
CPU time (s): 3600.06
CPU user time (s): 3600.05
CPU system time (s): 0.008327
CPU usage (%): 99.78
Max. virtual memory (cumulated for all children) (KiB): 32484
Max. memory (cumulated for all children) (KiB): 29580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.05
system time used= 0.008327
maximum resident set size= 26636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4806
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= 124
involuntary context switches= 1004


# summary of solver processes directly reported to runsolver:
#   pid: 88358
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3600.05
#   total CPU system time (s): 0.008327

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78745 second user time and 11.1298 second system time

The end