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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100071 s]*
/proc/loadavg: 4.07 4.12 4.09 5/266 53720
/proc/meminfo: memFree=117977516/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=55128 memory=45440 CPUtime=0.08 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 10557 0 0 0 7 1 0 0 20 0 1 0 55305996 56451072 11360 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 13815 11360 928 1162 0 12424 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 48512 KiB

[startup+0.205834 s]*
/proc/loadavg: 4.07 4.12 4.09 5/266 53720
/proc/meminfo: memFree=117911996/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=73832 memory=64384 CPUtime=0.19 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 15232 0 0 0 17 2 0 0 20 0 1 0 55305996 75603968 16096 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 18458 16096 1024 1162 0 17067 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78024 KiB
Current children cumulated memory: 67456 KiB

[startup+0.305872 s]*
/proc/loadavg: 4.07 4.12 4.09 5/266 53720
/proc/meminfo: memFree=117907460/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=80924 memory=71296 CPUtime=0.29 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 17021 0 0 0 27 2 0 0 20 0 1 0 55305996 82866176 17824 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 20231 17824 1024 1162 0 18840 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 85116 KiB
Current children cumulated memory: 74368 KiB

[startup+0.70023 s]
/proc/loadavg: 4.07 4.12 4.09 5/266 53720
/proc/meminfo: memFree=117854036/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=138908 memory=131456 CPUtime=0.68 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 31929 0 0 0 63 5 0 0 20 0 1 0 55305996 142241792 32864 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 34727 32864 1184 1162 0 33336 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 143100 KiB
Current children cumulated memory: 134528 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.14 4.09 4/261 53725
/proc/meminfo: memFree=117749660/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=169528 memory=161968 CPUtime=1.47 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 39673 0 0 0 140 7 0 0 20 0 1 0 55305996 173596672 40492 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 42382 40492 1184 1162 0 40991 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 173720 KiB
Current children cumulated memory: 165040 KiB

[startup+3.10478 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 53826
/proc/meminfo: memFree=120945096/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=175480 memory=167856 CPUtime=3.04 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 41157 0 0 0 294 10 0 0 20 0 1 0 55305996 179691520 41964 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 43870 41964 1184 1162 0 42479 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 179672 KiB
Current children cumulated memory: 170928 KiB

[startup+6.3002 s]
/proc/loadavg: 4.14 4.14 4.09 5/266 53858
/proc/meminfo: memFree=119935000/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=181512 memory=173872 CPUtime=6.22 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 42661 0 0 0 612 10 0 0 20 0 1 0 55305996 185868288 43468 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 45378 43468 1184 1162 0 43987 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 185704 KiB
Current children cumulated memory: 176944 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.09 5/267 53907
/proc/meminfo: memFree=116719940/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=187528 memory=179748 CPUtime=12.59 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 44193 0 0 0 1247 12 0 0 20 0 1 0 55305996 192028672 44937 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 46882 44937 1184 1162 0 45491 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 191720 KiB
Current children cumulated memory: 182820 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.09 5/267 53907
/proc/meminfo: memFree=115894104/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=212876 memory=204880 CPUtime=25.34 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 50561 0 0 0 2521 13 0 0 20 0 1 0 55305996 217985024 51220 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 53219 51220 1184 1162 0 51828 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 217068 KiB
Current children cumulated memory: 207952 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.13 4.09 5/267 53908
/proc/meminfo: memFree=115598740/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=235848 memory=227160 CPUtime=50.86 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 56478 0 0 0 5072 14 0 0 20 0 1 0 55305996 241508352 56790 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 58962 56790 1184 1162 0 57571 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 240040 KiB
Current children cumulated memory: 230232 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/268 53914
/proc/meminfo: memFree=112873156/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=267852 memory=259160 CPUtime=101.89 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 64501 0 0 0 10173 16 0 0 20 0 1 0 55305996 274280448 64790 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 66963 64790 1184 1162 0 65572 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 272044 KiB
Current children cumulated memory: 262232 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/268 53927
/proc/meminfo: memFree=112138944/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=295040 memory=286504 CPUtime=161.67 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 71515 0 0 0 16150 17 0 0 20 0 1 0 55305996 302120960 71626 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 73760 71626 1184 1162 0 72369 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 299232 KiB
Current children cumulated memory: 289576 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 53975
/proc/meminfo: memFree=111710260/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=301656 memory=292412 CPUtime=221.46 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 73400 0 0 0 22129 17 0 0 20 0 1 0 55305996 308895744 73103 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 75414 73103 1184 1162 0 74023 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 305848 KiB

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

/proc/53715/statm: 88743 86668 1184 1162 0 87352 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 359164 KiB
Current children cumulated memory: 349744 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 54122
/proc/meminfo: memFree=92744548/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=354972 memory=346672 CPUtime=3093.87 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 87904 0 0 0 309366 21 0 0 20 0 1 0 55305996 363491328 86668 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 88743 86668 1184 1162 0 87352 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 359164 KiB
Current children cumulated memory: 349744 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 54125
/proc/meminfo: memFree=92575364/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=356496 memory=348208 CPUtime=3153.71 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 88285 0 0 0 315350 21 0 0 20 0 1 0 55305996 365051904 87052 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 89124 87052 1184 1162 0 87733 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 360688 KiB
Current children cumulated memory: 351280 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 54127
/proc/meminfo: memFree=92571308/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=356496 memory=348208 CPUtime=3213.55 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 88288 0 0 0 321334 21 0 0 20 0 1 0 55305996 365051904 87052 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 89124 87052 1184 1162 0 87733 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 360688 KiB
Current children cumulated memory: 351280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 54130
/proc/meminfo: memFree=92556724/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=356496 memory=348208 CPUtime=3273.4 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 88387 0 0 0 327319 21 0 0 20 0 1 0 55305996 365051904 87052 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 89124 87052 1184 1162 0 87733 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 360688 KiB
Current children cumulated memory: 351280 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/269 54132
/proc/meminfo: memFree=92555188/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=356496 memory=350348 CPUtime=3333.24 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 88420 0 0 0 333303 21 0 0 20 0 1 0 55305996 365051904 87587 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 89124 87587 1184 1162 0 87733 0
Current children cumulated CPU time: 3333.24 s
Current children cumulated vsize: 360688 KiB
Current children cumulated memory: 353420 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 54134
/proc/meminfo: memFree=92556104/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=357004 memory=350732 CPUtime=3393.08 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 88648 0 0 0 339287 21 0 0 20 0 1 0 55305996 365572096 87683 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 89251 87683 1184 1162 0 87860 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 361196 KiB
Current children cumulated memory: 353804 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 54136
/proc/meminfo: memFree=92545364/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=357004 memory=350732 CPUtime=3452.92 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 88675 0 0 0 345271 21 0 0 20 0 1 0 55305996 365572096 87683 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 89251 87683 1184 1162 0 87860 0
Current children cumulated CPU time: 3452.92 s
Current children cumulated vsize: 361196 KiB
Current children cumulated memory: 353804 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 54138
/proc/meminfo: memFree=92499608/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=357004 memory=350732 CPUtime=3512.77 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 88676 0 0 0 351256 21 0 0 20 0 1 0 55305996 365572096 87683 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 89251 87683 1184 1162 0 87860 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 361196 KiB
Current children cumulated memory: 353804 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 54141
/proc/meminfo: memFree=92472904/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=357004 memory=350732 CPUtime=3572.61 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 88676 0 0 0 357240 21 0 0 20 0 1 0 55305996 365572096 87683 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 89251 87683 1184 1162 0 87860 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 361196 KiB
Current children cumulated memory: 353804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 54141
/proc/meminfo: memFree=92453676/131249992 swapFree=33010160/33010684
[pid=53713] ppid=53709 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/53713/stat : 53713 (toulbar2.sh) S 53709 53713 52726 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55305995 4292608 768 18446744073709551615 94117434441728 94117435336261 140721243557296 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94117435575312 94117435623056 94117466230784 140721243560247 140721243560423 140721243560423 140721243566025 0
/proc/53713/statm: 1048 768 704 219 0 110 0
[pid=53715] ppid=53713 vsize=357004 memory=350732 CPUtime=3600.04 cores=0,2
/proc/53715/stat : 53715 (toulbar2) R 53713 53713 52726 0 -1 4194304 88679 0 0 0 359983 21 0 0 20 0 1 0 55305996 365572096 87683 18446744073709551615 4198400 8956741 140736141445040 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 37695488 140736141449589 140736141449708 140736141449708 140736141455308 0
/proc/53715/statm: 89251 87683 1184 1162 0 87860 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 361196 KiB
Current children cumulated memory: 353804 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.8 s]
# the end of solver process 53713 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000494 s, system=0.001974 s

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

# cumulated CPU time of all completed processes:  user=3599.84 s, system=0.220824 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 0

Real time (s): 3609.81
CPU time (s): 3600.06
CPU user time (s): 3599.84
CPU system time (s): 0.220824
CPU usage (%): 99.73
Max. virtual memory (cumulated for all children) (KiB): 361196
Max. memory (cumulated for all children) (KiB): 353804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.84
system time used= 0.220824
maximum resident set size= 350732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88886
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= 122
involuntary context switches= 7971


# summary of solver processes directly reported to runsolver:
#   pid: 53713,53715
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.84
#   total CPU system time (s): 0.220824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70137 second user time and 17.0193 second system time

The end