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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=39169, runsolver pid=39160

[startup+0.10006 s]*
/proc/loadavg: 4.10 4.09 4.04 5/261 39187
/proc/meminfo: memFree=129748328/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=56552 memory=46848 CPUtime=0.09 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 10893 0 0 0 8 1 0 0 20 0 1 0 45203502 57909248 11712 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 14138 11712 928 1162 0 12747 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60744 KiB
Current children cumulated memory: 49792 KiB

[startup+0.205031 s]*
/proc/loadavg: 4.10 4.09 4.04 6/261 39192
/proc/meminfo: memFree=129619860/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=101988 memory=92288 CPUtime=0.19 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 22291 0 0 0 17 2 0 0 20 0 1 0 45203502 104435712 23072 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 25497 23072 928 1162 0 24106 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106180 KiB
Current children cumulated memory: 95232 KiB

[startup+0.304929 s]*
/proc/loadavg: 4.10 4.09 4.04 6/267 39202
/proc/meminfo: memFree=129487272/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=145624 memory=135664 CPUtime=0.29 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 33182 0 0 0 24 5 0 0 20 0 1 0 45203502 149118976 33916 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 36406 33916 928 1162 0 35015 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 149816 KiB
Current children cumulated memory: 138608 KiB

[startup+0.700159 s]
/proc/loadavg: 4.09 4.09 4.04 6/267 39202
/proc/meminfo: memFree=129129180/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=316188 memory=306032 CPUtime=0.68 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 75909 0 0 0 57 11 0 0 20 0 1 0 45203502 323776512 76508 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 79047 76508 928 1162 0 77656 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 320380 KiB
Current children cumulated memory: 308976 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.09 4.04 6/268 39204
/proc/meminfo: memFree=127943380/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=655744 memory=644324 CPUtime=1.47 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 160661 0 0 0 122 25 0 0 20 0 1 0 45203502 671481856 161081 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 163936 161081 1024 1162 0 162545 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 659936 KiB
Current children cumulated memory: 647268 KiB

[startup+3.10573 s]
/proc/loadavg: 4.09 4.09 4.04 6/268 39204
/proc/meminfo: memFree=127773336/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=655744 memory=644324 CPUtime=3.07 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 160669 0 0 0 282 25 0 0 20 0 1 0 45203502 671481856 161081 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 163936 161081 1024 1162 0 162545 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 659936 KiB
Current children cumulated memory: 647268 KiB

[startup+6.30018 s]
/proc/loadavg: 4.09 4.09 4.04 6/268 39204
/proc/meminfo: memFree=127765564/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=661780 memory=650852 CPUtime=6.26 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 162996 0 0 0 600 26 0 0 20 0 1 0 45203502 677662720 162713 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 165445 162713 1056 1162 0 164054 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 665972 KiB
Current children cumulated memory: 653796 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.04 6/268 39204
/proc/meminfo: memFree=127765836/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=662324 memory=652004 CPUtime=12.64 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 163167 0 0 0 1238 26 0 0 20 0 1 0 45203502 678219776 163001 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 165581 163001 1184 1162 0 164190 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 666516 KiB
Current children cumulated memory: 654948 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.04 6/268 39204
/proc/meminfo: memFree=127765900/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=662588 memory=652260 CPUtime=25.39 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 163237 0 0 0 2513 26 0 0 20 0 1 0 45203502 678490112 163065 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 165647 163065 1184 1162 0 164256 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 666780 KiB
Current children cumulated memory: 655204 KiB

[startup+51.1058 s]
/proc/loadavg: 4.09 4.09 4.04 6/268 39204
/proc/meminfo: memFree=127765812/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=662852 memory=652516 CPUtime=50.91 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 163316 0 0 0 5065 26 0 0 20 0 1 0 45203502 678760448 163129 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 165713 163129 1184 1162 0 164322 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 667044 KiB
Current children cumulated memory: 655460 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.04 6/269 39213
/proc/meminfo: memFree=127749460/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=665528 memory=654564 CPUtime=101.93 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 163821 0 0 0 10166 27 0 0 20 0 1 0 45203502 681500672 163641 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 166382 163641 1184 1162 0 164991 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 669720 KiB
Current children cumulated memory: 657508 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.04 6/269 39215
/proc/meminfo: memFree=127764124/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=665528 memory=655204 CPUtime=161.71 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 163991 0 0 0 16144 27 0 0 20 0 1 0 45203502 681500672 163801 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 166382 163801 1184 1162 0 164991 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 669720 KiB
Current children cumulated memory: 658148 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.04 6/269 39217
/proc/meminfo: memFree=127759056/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=668600 memory=657636 CPUtime=221.5 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 164594 0 0 0 22123 27 0 0 20 0 1 0 45203502 684646400 164409 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 167150 164409 1184 1162 0 165759 0
Current children cumulated CPU time: 221.5 s

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

/proc/39178/statm: 179458 176524 1184 1162 0 178067 0
Current children cumulated CPU time: 3093.2 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 709040 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.17 4.15 6/267 39367
/proc/meminfo: memFree=127519364/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=717832 memory=706096 CPUtime=3153.04 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 172199 0 0 0 315271 33 0 0 20 0 1 0 45203502 735059968 176524 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 179458 176524 1184 1162 0 178067 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 709040 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.15 4.14 6/267 39369
/proc/meminfo: memFree=127519324/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=717832 memory=706096 CPUtime=3212.87 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 172208 0 0 0 321254 33 0 0 20 0 1 0 45203502 735059968 176524 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 179458 176524 1184 1162 0 178067 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 709040 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.14 6/267 39371
/proc/meminfo: memFree=127510600/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=717832 memory=706096 CPUtime=3272.71 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 172431 0 0 0 327238 33 0 0 20 0 1 0 45203502 735059968 176524 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 179458 176524 1184 1162 0 178067 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 709040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.14 6/267 39373
/proc/meminfo: memFree=127507164/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=717832 memory=708272 CPUtime=3332.55 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 172503 0 0 0 333222 33 0 0 20 0 1 0 45203502 735059968 177068 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 179458 177068 1184 1162 0 178067 0
Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 711216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.13 6/266 39376
/proc/meminfo: memFree=127502544/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=717832 memory=708656 CPUtime=3392.39 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 172863 0 0 0 339206 33 0 0 20 0 1 0 45203502 735059968 177164 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 179458 177164 1184 1162 0 178067 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 711600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.13 6/266 39378
/proc/meminfo: memFree=127502864/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=717832 memory=708912 CPUtime=3452.23 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 172942 0 0 0 345190 33 0 0 20 0 1 0 45203502 735059968 177228 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 179458 177228 1184 1162 0 178067 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 711856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.13 6/266 39380
/proc/meminfo: memFree=127502696/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=717832 memory=709168 CPUtime=3512.06 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 173238 0 0 0 351173 33 0 0 20 0 1 0 45203502 735059968 177292 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 179458 177292 1184 1162 0 178067 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 712112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.12 6/266 39382
/proc/meminfo: memFree=127484328/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=717832 memory=709552 CPUtime=3571.9 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 173385 0 0 0 357157 33 0 0 20 0 1 0 45203502 735059968 177388 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 179458 177388 1184 1162 0 178067 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 712496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.06 4.10 4.12 6/266 39383
/proc/meminfo: memFree=127480108/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=717832 memory=709808 CPUtime=3600.03 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 173549 0 0 0 359970 33 0 0 20 0 1 0 45203502 735059968 177452 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 179458 177452 1184 1162 0 178067 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 712752 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.00071 s, system=0.001607 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3599.72 s, system=0.341021 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

[startup+3610.5 s]
/proc/loadavg: 4.06 4.10 4.12 6/266 39383
/proc/meminfo: memFree=127480108/131249988 swapFree=33010684/33010684
[pid=39169] ppid=39160 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39169/stat : 39169 (toulbar2.sh) S 39160 39169 38760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 45203501 4292608 736 18446744073709551615 94295832207360 94295833101893 140735376567344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94295833340944 94295833388688 94295857434624 140735376570679 140735376570855 140735376570855 140735376576457 0
/proc/39169/statm: 1048 736 672 219 0 110 0
[pid=39178] ppid=39169 vsize=717832 memory=709808 CPUtime=3600.03 cores=4,6
/proc/39178/stat : 39178 (toulbar2) R 39169 39169 38760 0 -1 4194304 173549 0 0 0 359970 33 0 0 20 0 1 0 45203502 735059968 177452 18446744073709551615 4198400 8956741 140735209440848 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 15101952 140735209445749 140735209445868 140735209445868 140735209451468 0
/proc/39178/statm: 179458 177452 1184 1162 0 178067 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 722024 KiB
Current children cumulated memory: 712752 KiB

Child status: 0

Real time (s): 3610.52
CPU time (s): 3600.06
CPU user time (s): 3599.72
CPU system time (s): 0.341021
CPU usage (%): 99.7103
Max. virtual memory (cumulated for all children) (KiB): 722024
Max. memory (cumulated for all children) (KiB): 712752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.72
system time used= 0.341021
maximum resident set size= 709808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173755
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= 137
involuntary context switches= 2401


# summary of solver processes directly reported to runsolver:
#   pid: 39169,39178
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.72
#   total CPU system time (s): 0.341021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47975 second user time and 16.4194 second system time

The end