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: 63837 MiB (62424 MiB free)
  memory of node 1: 64465 MiB (63447 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487036-1751331264/watcher-4487036-1751331264 -o /tmp/evaluation-result-4487036-1751331264/solver-4487036-1751331264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751331234-47283 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4487036-1751331264.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=47575, runsolver pid=47572
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 2.02 1.27 1.37 5/258 47577
/proc/meminfo: memFree=128876972/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=28716 memory=19072 CPUtime=0.08 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 3957 0 0 0 7 1 0 0 20 0 1 0 48805841 29405184 4768 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 2 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 7179 4768 928 1162 0 5788 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32908 KiB
Current children cumulated memory: 22016 KiB

[startup+0.220889 s]*
/proc/loadavg: 2.02 1.27 1.37 5/258 47577
/proc/meminfo: memFree=128861852/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=44776 memory=35456 CPUtime=0.19 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 7956 0 0 0 17 2 0 0 20 0 1 0 48805841 45850624 8864 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 11194 8864 1024 1162 0 9803 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48968 KiB
Current children cumulated memory: 38400 KiB

[startup+0.313626 s]*
/proc/loadavg: 2.02 1.27 1.37 5/258 47577
/proc/meminfo: memFree=128861852/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=47612 memory=39040 CPUtime=0.27 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 8729 0 0 0 25 2 0 0 20 0 1 0 48805841 48754688 9728 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 11903 9728 1152 1162 0 10512 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 51804 KiB
Current children cumulated memory: 41984 KiB

[startup+0.700308 s]
/proc/loadavg: 2.02 1.27 1.37 5/258 47577
/proc/meminfo: memFree=128861852/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=48144 memory=39680 CPUtime=0.64 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 8900 0 0 0 62 2 0 0 20 0 1 0 48805841 49299456 9920 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 12036 9920 1152 1162 0 10645 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 52336 KiB
Current children cumulated memory: 42624 KiB

[startup+1.50033 s]
/proc/loadavg: 2.02 1.27 1.37 6/258 47577
/proc/meminfo: memFree=128861852/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=48528 memory=39936 CPUtime=1.44 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 8962 0 0 0 142 2 0 0 20 0 1 0 48805841 49692672 9984 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 12132 9984 1152 1162 0 10741 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 52720 KiB
Current children cumulated memory: 42880 KiB

[startup+3.11317 s]
/proc/loadavg: 2.02 1.27 1.37 6/258 47577
/proc/meminfo: memFree=128849588/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=48728 memory=40192 CPUtime=3.04 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 9041 0 0 0 302 2 0 0 20 0 1 0 48805841 49897472 10048 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 12182 10048 1152 1162 0 10791 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 52920 KiB
Current children cumulated memory: 43136 KiB

[startup+6.30031 s]
/proc/loadavg: 2.18 1.32 1.38 6/258 47577
/proc/meminfo: memFree=128849972/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=49112 memory=40448 CPUtime=6.22 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 9214 0 0 0 620 2 0 0 20 0 1 0 48805841 50290688 10112 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 12278 10112 1152 1162 0 10887 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 53304 KiB
Current children cumulated memory: 43392 KiB

[startup+12.7003 s]
/proc/loadavg: 2.32 1.36 1.39 6/258 47577
/proc/meminfo: memFree=128850004/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=49880 memory=41048 CPUtime=12.6 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 9570 0 0 0 1258 2 0 0 20 0 1 0 48805841 51077120 10262 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 12470 10262 1152 1162 0 11079 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 54072 KiB
Current children cumulated memory: 43992 KiB

[startup+25.5003 s]
/proc/loadavg: 2.78 1.51 1.44 6/258 47577
/proc/meminfo: memFree=128840024/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=51548 memory=42468 CPUtime=25.36 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 10290 0 0 0 2533 3 0 0 20 0 1 0 48805841 52785152 10617 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 12887 10617 1152 1162 0 11496 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 55740 KiB
Current children cumulated memory: 45412 KiB

[startup+51.1132 s]
/proc/loadavg: 3.19 1.71 1.51 6/258 47577
/proc/meminfo: memFree=128839228/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=54620 memory=45128 CPUtime=50.88 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 11226 0 0 0 5085 3 0 0 20 0 1 0 48805841 55930880 11282 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 13655 11282 1152 1162 0 12264 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 58812 KiB
Current children cumulated memory: 48072 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 2.10 1.65 6/258 47579
/proc/meminfo: memFree=128809384/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=60764 memory=50544 CPUtime=101.88 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 12090 0 0 0 10184 4 0 0 20 0 1 0 48805841 62222336 12636 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 15191 12636 1152 1162 0 13800 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 64956 KiB
Current children cumulated memory: 53488 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 2.48 1.81 5/260 47679
/proc/meminfo: memFree=128874572/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=73184 memory=57368 CPUtime=161.65 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 12771 0 0 0 16160 5 0 0 20 0 1 0 48805841 74940416 14342 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 18296 14342 1152 1162 0 16905 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 77376 KiB
Current children cumulated memory: 60312 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.77 1.96 5/258 47681
/proc/meminfo: memFree=128851236/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=85472 memory=63632 CPUtime=221.44 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 13338 0 0 0 22138 6 0 0 20 0 1 0 48805841 87523328 15908 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 21368 15908 1152 1162 0 19977 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 89664 KiB

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

/proc/loadavg: 4.06 4.11 4.05 5/253 48283
/proc/meminfo: memFree=127551368/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=553496 memory=348288 CPUtime=3092.76 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 19516 0 0 0 309254 22 0 0 20 0 1 0 48805841 566779904 87072 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 138374 87072 1152 1162 0 136983 0
Current children cumulated CPU time: 3092.76 s
Current children cumulated vsize: 557688 KiB
Current children cumulated memory: 351232 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/254 48288
/proc/meminfo: memFree=127547048/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=553496 memory=354504 CPUtime=3152.58 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 19584 0 0 0 315235 23 0 0 20 0 1 0 48805841 566779904 88626 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 138374 88626 1152 1162 0 136983 0
Current children cumulated CPU time: 3152.58 s
Current children cumulated vsize: 557688 KiB
Current children cumulated memory: 357448 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/254 48290
/proc/meminfo: memFree=127546292/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=553496 memory=360728 CPUtime=3212.4 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 19693 0 0 0 321217 23 0 0 20 0 1 0 48805841 566779904 90182 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 138374 90182 1152 1162 0 136983 0
Current children cumulated CPU time: 3212.4 s
Current children cumulated vsize: 557688 KiB
Current children cumulated memory: 363672 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.12 4.06 5/254 48296
/proc/meminfo: memFree=127541448/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=553496 memory=364888 CPUtime=3272.22 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 19750 0 0 0 327199 23 0 0 20 0 1 0 48805841 566779904 91222 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 138374 91222 1152 1162 0 136983 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 557688 KiB
Current children cumulated memory: 367832 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.07 5/254 48298
/proc/meminfo: memFree=127533256/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=553496 memory=371100 CPUtime=3332.04 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 19853 0 0 0 333181 23 0 0 20 0 1 0 48805841 566779904 92775 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 138374 92775 1152 1162 0 136983 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 557688 KiB
Current children cumulated memory: 374044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/254 48300
/proc/meminfo: memFree=127520984/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=569880 memory=386052 CPUtime=3391.86 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 20560 0 0 0 339163 23 0 0 20 0 1 0 48805841 583557120 96513 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 142470 96513 1152 1162 0 141079 0
Current children cumulated CPU time: 3391.86 s
Current children cumulated vsize: 574072 KiB
Current children cumulated memory: 388996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.08 5/253 48302
/proc/meminfo: memFree=127516904/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=569880 memory=392196 CPUtime=3451.68 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 20599 0 0 0 345145 23 0 0 20 0 1 0 48805841 583557120 98049 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 142470 98049 1152 1162 0 141079 0
Current children cumulated CPU time: 3451.68 s
Current children cumulated vsize: 574072 KiB
Current children cumulated memory: 395140 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.08 5/253 48304
/proc/meminfo: memFree=127492784/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=569880 memory=398340 CPUtime=3511.51 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 20679 0 0 0 351127 24 0 0 20 0 1 0 48805841 583557120 99585 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 142470 99585 1152 1162 0 141079 0
Current children cumulated CPU time: 3511.51 s
Current children cumulated vsize: 574072 KiB
Current children cumulated memory: 401284 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.08 5/253 48306
/proc/meminfo: memFree=127488076/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=569880 memory=402436 CPUtime=3571.33 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 20713 0 0 0 357109 24 0 0 20 0 1 0 48805841 583557120 100609 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 142470 100609 1152 1162 0 141079 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 574072 KiB
Current children cumulated memory: 405380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.12 4.13 4.09 5/253 48353
/proc/meminfo: memFree=127661988/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=569880 memory=406532 CPUtime=3600.05 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 20735 0 0 0 359981 24 0 0 20 0 1 0 48805841 583557120 101633 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 142470 101633 1152 1162 0 141079 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 574072 KiB
Current children cumulated memory: 409476 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.82 s, system=0.249756 s

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

[startup+3611.11 s]
/proc/loadavg: 4.12 4.13 4.09 5/253 48353
/proc/meminfo: memFree=127661988/131382112 swapFree=33010684/33010684
[pid=47575] ppid=47572 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/47575/stat : 47575 (toulbar2.sh) S 47572 47575 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48805839 4292608 736 18446744073709551615 93931674890240 93931675784773 140727331837984 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93931676023824 93931676071568 93931679043584 140727331842359 140727331842535 140727331842535 140727331848137 0
/proc/47575/statm: 1048 736 672 219 0 110 0
[pid=47577] ppid=47575 vsize=569880 memory=406532 CPUtime=3600.05 cores=0,2
/proc/47577/stat : 47577 (toulbar2) R 47575 47575 47269 0 -1 4194304 20735 0 0 0 359981 24 0 0 20 0 1 0 48805841 583557120 101633 18446744073709551615 4198400 8956741 140733680832112 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 18493440 140733680839029 140733680839148 140733680839148 140733680844748 0
/proc/47577/statm: 142470 101633 1152 1162 0 141079 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 574072 KiB
Current children cumulated memory: 409476 KiB

Child status: 0

Real time (s): 3611.12
CPU time (s): 3600.07
CPU user time (s): 3599.82
CPU system time (s): 0.249756
CPU usage (%): 99.694
Max. virtual memory (cumulated for all children) (KiB): 754300
Max. memory (cumulated for all children) (KiB): 409476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.82
system time used= 0.249756
maximum resident set size= 534556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20952
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= 85
involuntary context switches= 8886


# summary of solver processes directly reported to runsolver:
#   pid: 47575
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.82
#   total CPU system time (s): 0.249756

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4869 second user time and 36.2575 second system time

The end