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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=89058, runsolver pid=89044
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.07 4.09 4.09 6/262 89067
/proc/meminfo: memFree=122108316/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=36572 memory=27008 CPUtime=0.07 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 5908 0 0 0 7 0 0 0 20 0 1 0 77943178 37449728 6752 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 3 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 9143 6752 1024 1162 0 7752 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 29952 KiB

[startup+0.205752 s]*
/proc/loadavg: 4.07 4.09 4.09 6/262 89067
/proc/meminfo: memFree=122108316/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=36732 memory=27648 CPUtime=0.18 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 6062 0 0 0 18 0 0 0 20 0 1 0 77943178 37613568 6912 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 9183 6912 1024 1162 0 7792 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40924 KiB
Current children cumulated memory: 30592 KiB

[startup+0.305442 s]*
/proc/loadavg: 4.07 4.09 4.09 5/262 89067
/proc/meminfo: memFree=122108316/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=36876 memory=28032 CPUtime=0.28 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 6170 0 0 0 28 0 0 0 20 0 1 0 77943178 37761024 7008 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 9219 7008 1024 1162 0 7828 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41068 KiB
Current children cumulated memory: 30976 KiB

[startup+0.700163 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 89073
/proc/meminfo: memFree=122108068/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=37952 memory=30592 CPUtime=0.66 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 6698 0 0 0 66 0 0 0 20 0 1 0 77943178 38862848 7648 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 9488 7648 1152 1162 0 8097 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 42144 KiB
Current children cumulated memory: 33536 KiB

[startup+1.50017 s]
/proc/loadavg: 4.07 4.09 4.09 7/267 89105
/proc/meminfo: memFree=122095208/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=38088 memory=30720 CPUtime=1.46 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 6723 0 0 0 146 0 0 0 20 0 1 0 77943178 39002112 7680 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 9522 7680 1152 1162 0 8131 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 42280 KiB
Current children cumulated memory: 33664 KiB

[startup+3.10555 s]
/proc/loadavg: 4.07 4.09 4.09 6/267 89105
/proc/meminfo: memFree=122095660/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=41148 memory=33792 CPUtime=3.06 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 7503 0 0 0 306 0 0 0 20 0 1 0 77943178 42135552 8448 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 10287 8448 1152 1162 0 8896 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 45340 KiB
Current children cumulated memory: 36736 KiB

[startup+6.30013 s]
/proc/loadavg: 4.06 4.08 4.09 6/267 89105
/proc/meminfo: memFree=122092268/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=43292 memory=35636 CPUtime=6.26 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 8042 0 0 0 625 1 0 0 20 0 1 0 77943178 44331008 8909 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 10823 8909 1152 1162 0 9432 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47484 KiB
Current children cumulated memory: 38580 KiB

[startup+12.7001 s]
/proc/loadavg: 4.06 4.08 4.09 6/267 89105
/proc/meminfo: memFree=122092276/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=44852 memory=37300 CPUtime=12.64 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 8480 0 0 0 1263 1 0 0 20 0 1 0 77943178 45928448 9325 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 11213 9325 1152 1162 0 9822 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 40244 KiB

[startup+25.5001 s]
/proc/loadavg: 4.04 4.08 4.08 6/267 89106
/proc/meminfo: memFree=122091672/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=46912 memory=39368 CPUtime=25.41 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 9093 0 0 0 2540 1 0 0 20 0 1 0 77943178 48037888 9842 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 11728 9842 1152 1162 0 10337 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 51104 KiB
Current children cumulated memory: 42312 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.09 4.09 6/267 89106
/proc/meminfo: memFree=122071288/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=47208 memory=40008 CPUtime=50.95 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 9249 0 0 0 5094 1 0 0 20 0 1 0 77943178 48340992 10002 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 11802 10002 1152 1162 0 10411 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 42952 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/268 89109
/proc/meminfo: memFree=122043764/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=49752 memory=45612 CPUtime=102.02 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 10099 0 0 0 10201 1 0 0 20 0 1 0 77943178 50946048 11403 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 12438 11403 1152 1162 0 11047 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 48556 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/268 89111
/proc/meminfo: memFree=122047236/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=49752 memory=45868 CPUtime=161.88 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 10213 0 0 0 16187 1 0 0 20 0 1 0 77943178 50946048 11467 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 12438 11467 1152 1162 0 11047 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 48812 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/268 89113
/proc/meminfo: memFree=122047288/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=49752 memory=46124 CPUtime=221.74 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 10281 0 0 0 22173 1 0 0 20 0 1 0 77943178 50946048 11531 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 12438 11531 1152 1162 0 11047 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 53944 KiB

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

/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11405 0 0 0 333447 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3334.49 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/267 89272
/proc/meminfo: memFree=121938196/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3394.35 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11405 0 0 0 339433 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3394.35 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/267 89274
/proc/meminfo: memFree=121938180/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3454.22 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11422 0 0 0 345420 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3454.22 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.19 4.12 6/266 89276
/proc/meminfo: memFree=121937968/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3514.08 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11423 0 0 0 351406 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3514.08 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.17 4.11 6/266 89278
/proc/meminfo: memFree=121937772/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3573.94 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11423 0 0 0 357392 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3573.94 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

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

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

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

[startup+3584 s]*
/proc/loadavg: 4.21 4.17 4.11 6/266 89278
/proc/meminfo: memFree=121937772/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3575.64 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11423 0 0 0 357562 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3575.64 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

[startup+3596.8 s]
/proc/loadavg: 4.16 4.16 4.11 6/266 89278
/proc/meminfo: memFree=121937884/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3588.4 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11423 0 0 0 358838 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3588.4 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

[startup+3603.2 s]
/proc/loadavg: 4.15 4.16 4.11 6/266 89278
/proc/meminfo: memFree=121937940/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3594.79 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11423 0 0 0 359477 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3594.79 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

[startup+3606.4 s]
/proc/loadavg: 4.14 4.15 4.11 6/267 89282
/proc/meminfo: memFree=121937988/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3597.98 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11423 0 0 0 359796 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3597.98 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

[startup+3607.2 s]
/proc/loadavg: 4.14 4.15 4.11 6/267 89282
/proc/meminfo: memFree=121937916/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3598.78 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11423 0 0 0 359876 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3598.78 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

[startup+3608 s]*
/proc/loadavg: 4.14 4.15 4.11 6/267 89282
/proc/meminfo: memFree=121937916/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3599.58 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11423 0 0 0 359956 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3599.58 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

[startup+3608.4 s]
/proc/loadavg: 4.14 4.15 4.11 6/267 89282
/proc/meminfo: memFree=121937916/131249996 swapFree=33010416/33010684
[pid=89058] ppid=89044 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/89058/stat : 89058 (toulbar2.sh) S 89044 89058 88289 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 77943176 4292608 736 18446744073709551615 94265862889472 94265863784005 140729871575920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94265864023056 94265864070800 94265885618176 140729871579445 140729871579621 140729871579621 140729871585225 0
/proc/89058/statm: 1048 736 672 219 0 110 0
[pid=89064] ppid=89058 vsize=60504 memory=53488 CPUtime=3599.98 cores=1,3
/proc/89064/stat : 89064 (toulbar2) R 89058 89058 88289 0 -1 4194304 11423 0 0 0 359996 2 0 0 20 0 1 0 77943178 61956096 13372 18446744073709551615 4198400 8956741 140726084680320 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 14135296 140726084684147 140726084684266 140726084684266 140726084689868 0
/proc/89064/statm: 15126 13372 1152 1162 0 13735 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 64696 KiB
Current children cumulated memory: 56432 KiB

Child status: 0

Real time (s): 3608.49
CPU time (s): 3600.08
CPU user time (s): 3600.05
CPU system time (s): 0.024818
CPU usage (%): 99.7668
Max. virtual memory (cumulated for all children) (KiB): 64696
Max. memory (cumulated for all children) (KiB): 56432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.05
system time used= 0.024818
maximum resident set size= 57580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11638
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= 131
involuntary context switches= 1542


# summary of solver processes directly reported to runsolver:
#   pid: 89058
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3600.05
#   total CPU system time (s): 0.024818

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59614 second user time and 13.312 second system time

The end