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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502430-1751474526/watcher-4502430-1751474526 -o /tmp/evaluation-result-4502430-1751474526/solver-4502430-1751474526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751474516-68249 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4502430-1751474526.opb -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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68492, runsolver pid=68489
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 2.54 3.67 3.94 6/268 68494
/proc/meminfo: memFree=103189376/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=48864 memory=39424 CPUtime=0.09 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 8988 0 0 0 8 1 0 0 20 0 1 0 63131486 50036736 9856 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 12216 9856 992 1162 0 10825 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53056 KiB
Current children cumulated memory: 42496 KiB

[startup+0.204718 s]*
/proc/loadavg: 2.54 3.67 3.94 5/268 68494
/proc/meminfo: memFree=103189128/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=48864 memory=39552 CPUtime=0.19 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 9004 0 0 0 18 1 0 0 20 0 1 0 63131486 50036736 9888 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 12216 9888 1024 1162 0 10825 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53056 KiB
Current children cumulated memory: 42624 KiB

[startup+0.304811 s]*
/proc/loadavg: 2.54 3.67 3.94 5/268 68494
/proc/meminfo: memFree=103189128/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=48864 memory=39552 CPUtime=0.29 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 9004 0 0 0 28 1 0 0 20 0 1 0 63131486 50036736 9888 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 12216 9888 1024 1162 0 10825 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53056 KiB
Current children cumulated memory: 42624 KiB

[startup+0.70018 s]
/proc/loadavg: 2.54 3.67 3.94 5/268 68494
/proc/meminfo: memFree=103189128/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=76424 memory=66944 CPUtime=0.68 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 15855 0 0 0 66 2 0 0 20 0 1 0 63131486 78258176 16736 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 19106 16736 1024 1162 0 17715 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80616 KiB
Current children cumulated memory: 70016 KiB

[startup+1.5002 s]
/proc/loadavg: 2.54 3.67 3.94 5/268 68494
/proc/meminfo: memFree=103188876/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=121048 memory=111616 CPUtime=1.48 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 27009 0 0 0 144 4 0 0 20 0 1 0 63131486 123953152 27904 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 30262 27904 1024 1162 0 28871 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125240 KiB
Current children cumulated memory: 114688 KiB

[startup+3.10557 s]
/proc/loadavg: 2.66 3.67 3.94 5/267 68510
/proc/meminfo: memFree=104141776/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=126928 memory=119392 CPUtime=3.08 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 30325 0 0 0 303 5 0 0 20 0 1 0 63131486 129974272 29848 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 31732 29848 1152 1162 0 30341 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 131120 KiB
Current children cumulated memory: 122464 KiB

[startup+6.30018 s]
/proc/loadavg: 2.66 3.67 3.94 4/268 68556
/proc/meminfo: memFree=105307748/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=126928 memory=119392 CPUtime=6.26 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 30325 0 0 0 621 5 0 0 20 0 1 0 63131486 129974272 29848 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 31732 29848 1152 1162 0 30341 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 131120 KiB
Current children cumulated memory: 122464 KiB

[startup+12.7002 s]
/proc/loadavg: 2.86 3.68 3.95 5/269 68588
/proc/meminfo: memFree=104870232/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=126928 memory=119392 CPUtime=12.65 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 30325 0 0 0 1260 5 0 0 20 0 1 0 63131486 129974272 29848 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 31732 29848 1152 1162 0 30341 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 131120 KiB
Current children cumulated memory: 122464 KiB

[startup+25.5002 s]
/proc/loadavg: 3.12 3.71 3.95 5/269 68588
/proc/meminfo: memFree=104842120/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=126952 memory=119648 CPUtime=25.41 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 30391 0 0 0 2536 5 0 0 20 0 1 0 63131486 129998848 29912 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 31738 29912 1152 1162 0 30347 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 131144 KiB
Current children cumulated memory: 122720 KiB

[startup+51.1054 s]
/proc/loadavg: 3.48 3.75 3.96 5/269 68634
/proc/meminfo: memFree=105387464/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=132068 memory=124592 CPUtime=50.94 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 31859 0 0 0 5089 5 0 0 20 0 1 0 63131486 135237632 31148 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33017 31148 1184 1162 0 31626 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 136260 KiB
Current children cumulated memory: 127664 KiB

[startup+102.3 s]
/proc/loadavg: 3.84 3.81 3.97 5/270 68637
/proc/meminfo: memFree=105353448/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=132068 memory=124592 CPUtime=101.98 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 31954 0 0 0 10193 5 0 0 20 0 1 0 63131486 135237632 31148 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33017 31148 1184 1162 0 31626 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 136260 KiB
Current children cumulated memory: 127664 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 3.88 3.99 5/271 68644
/proc/meminfo: memFree=105353840/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=132072 memory=126640 CPUtime=161.83 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 32037 0 0 0 16178 5 0 0 20 0 1 0 63131486 135241728 31660 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33018 31660 1184 1162 0 31627 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 136264 KiB
Current children cumulated memory: 129712 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.92 4.00 5/271 68649
/proc/meminfo: memFree=105306116/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=132388 memory=126896 CPUtime=221.69 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 32132 0 0 0 22164 5 0 0 20 0 1 0 63131486 135565312 31724 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33097 31724 1184 1162 0 31706 0
Current children cumulated CPU time: 221.69 s

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

/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3034.86 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/267 68792
/proc/meminfo: memFree=104475468/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=135136 memory=129328 CPUtime=3094.72 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 33173 0 0 0 309467 5 0 0 20 0 1 0 63131486 138379264 32332 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3094.72 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 68800
/proc/meminfo: memFree=104468856/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=135136 memory=129328 CPUtime=3154.58 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 33175 0 0 0 315453 5 0 0 20 0 1 0 63131486 138379264 32332 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3154.58 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 68804
/proc/meminfo: memFree=104463112/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=135136 memory=129328 CPUtime=3214.43 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 33175 0 0 0 321438 5 0 0 20 0 1 0 63131486 138379264 32332 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3214.43 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 68806
/proc/meminfo: memFree=104457968/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=135136 memory=129328 CPUtime=3274.29 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 33227 0 0 0 327424 5 0 0 20 0 1 0 63131486 138379264 32332 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3274.29 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 68808
/proc/meminfo: memFree=104444732/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=135136 memory=129328 CPUtime=3334.15 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 33234 0 0 0 333410 5 0 0 20 0 1 0 63131486 138379264 32332 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3334.15 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 68810
/proc/meminfo: memFree=104432556/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=135136 memory=129328 CPUtime=3394.01 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 33235 0 0 0 339396 5 0 0 20 0 1 0 63131486 138379264 32332 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.45 4.19 4.12 5/268 68812
/proc/meminfo: memFree=104424484/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=135136 memory=129328 CPUtime=3453.86 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 33235 0 0 0 345381 5 0 0 20 0 1 0 63131486 138379264 32332 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3453.86 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/267 68814
/proc/meminfo: memFree=104416284/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=135136 memory=129328 CPUtime=3513.72 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 33236 0 0 0 351367 5 0 0 20 0 1 0 63131486 138379264 32332 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/267 68816
/proc/meminfo: memFree=104404052/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=135136 memory=129328 CPUtime=3573.58 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 33237 0 0 0 357353 5 0 0 20 0 1 0 63131486 138379264 32332 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.16 4.16 4.12 5/267 68816
/proc/meminfo: memFree=104399956/131249988 swapFree=33010160/33010684
[pid=68492] ppid=68489 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68492/stat : 68492 (toulbar2.sh) S 68489 68492 68237 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63131485 4292608 768 18446744073709551615 94282881097728 94282881992261 140726304952336 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94282882231312 94282882279056 94282909319168 140726304954679 140726304954855 140726304954855 140726304960457 0
/proc/68492/statm: 1048 768 704 219 0 110 0
[pid=68494] ppid=68492 vsize=135136 memory=129328 CPUtime=3600.02 cores=1,3
/proc/68494/stat : 68494 (toulbar2) R 68492 68492 68237 0 -1 4194304 33238 0 0 0 359997 5 0 0 20 0 1 0 63131486 138379264 32332 18446744073709551615 4198400 8956741 140726261556480 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 19320832 140726261565813 140726261565932 140726261565932 140726261571532 0
/proc/68494/statm: 33784 32332 1184 1162 0 32393 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 132400 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001134 s, system=0.001131 s

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

# cumulated CPU time of all completed processes:  user=3599.98 s, system=0.061884 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): 3608.81
CPU time (s): 3600.04
CPU user time (s): 3599.98
CPU system time (s): 0.061884
CPU usage (%): 99.7571
Max. virtual memory (cumulated for all children) (KiB): 139328
Max. memory (cumulated for all children) (KiB): 132400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.98
system time used= 0.061884
maximum resident set size= 129328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33445
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= 108
involuntary context switches= 1366


# summary of solver processes directly reported to runsolver:
#   pid: 68492,68494
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.98
#   total CPU system time (s): 0.061884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5395 second user time and 15.9421 second system time

The end