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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100068 s]*
/proc/loadavg: 3.11 3.16 3.12 4/261 77537
/proc/meminfo: memFree=106371464/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=35716 memory=26368 CPUtime=0.08 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 5681 0 0 0 8 0 0 0 20 0 1 0 70525505 36573184 6592 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 7 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 8929 6592 1024 1162 0 7538 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 39908 KiB
Current children cumulated memory: 29440 KiB

[startup+0.205591 s]*
/proc/loadavg: 3.11 3.16 3.12 4/261 77537
/proc/meminfo: memFree=106217492/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=90504 memory=81152 CPUtime=0.18 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 19366 0 0 0 16 2 0 0 20 0 1 0 70525505 92676096 20288 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 7 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 22626 20288 1024 1162 0 21235 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 94696 KiB
Current children cumulated memory: 84224 KiB

[startup+0.305559 s]*
/proc/loadavg: 3.11 3.16 3.12 4/261 77537
/proc/meminfo: memFree=106201364/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=99336 memory=91904 CPUtime=0.28 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 21908 0 0 0 25 3 0 0 20 0 1 0 70525505 101720064 22976 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 24834 22976 1184 1162 0 23443 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 103528 KiB
Current children cumulated memory: 94976 KiB

[startup+0.700126 s]
/proc/loadavg: 3.11 3.16 3.12 4/261 77537
/proc/meminfo: memFree=106201364/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=99336 memory=91904 CPUtime=0.67 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 21908 0 0 0 64 3 0 0 20 0 1 0 70525505 101720064 22976 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 24834 22976 1184 1162 0 23443 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 103528 KiB
Current children cumulated memory: 94976 KiB

[startup+1.50014 s]
/proc/loadavg: 3.11 3.16 3.12 4/261 77537
/proc/meminfo: memFree=106201324/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=99336 memory=91904 CPUtime=1.47 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 21908 0 0 0 144 3 0 0 20 0 1 0 70525505 101720064 22976 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 24834 22976 1184 1162 0 23443 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 103528 KiB
Current children cumulated memory: 94976 KiB

[startup+3.10466 s]
/proc/loadavg: 3.10 3.15 3.12 4/261 77537
/proc/meminfo: memFree=106201604/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=99504 memory=91904 CPUtime=3.07 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 21929 0 0 0 304 3 0 0 20 0 1 0 70525505 101892096 22976 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 24876 22976 1184 1162 0 23485 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 103696 KiB
Current children cumulated memory: 94976 KiB

[startup+6.30013 s]
/proc/loadavg: 3.10 3.15 3.12 4/261 77537
/proc/meminfo: memFree=106201616/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=99504 memory=91904 CPUtime=6.26 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 21930 0 0 0 623 3 0 0 20 0 1 0 70525505 101892096 22976 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 24876 22976 1184 1162 0 23485 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 103696 KiB
Current children cumulated memory: 94976 KiB

[startup+12.7001 s]
/proc/loadavg: 3.09 3.15 3.11 4/261 77537
/proc/meminfo: memFree=106201616/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=99748 memory=92288 CPUtime=12.64 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 22036 0 0 0 1261 3 0 0 20 0 1 0 70525505 102141952 23072 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 24937 23072 1184 1162 0 23546 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 103940 KiB
Current children cumulated memory: 95360 KiB

[startup+25.5001 s]
/proc/loadavg: 3.15 3.16 3.12 4/260 77537
/proc/meminfo: memFree=106201816/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=99748 memory=92288 CPUtime=25.41 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 22045 0 0 0 2538 3 0 0 20 0 1 0 70525505 102141952 23072 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 24937 23072 1184 1162 0 23546 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 103940 KiB
Current children cumulated memory: 95360 KiB

[startup+51.1047 s]
/proc/loadavg: 3.10 3.14 3.11 4/260 77538
/proc/meminfo: memFree=106201580/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=100900 memory=92756 CPUtime=50.95 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 22483 0 0 0 5092 3 0 0 20 0 1 0 70525505 103321600 23189 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 25225 23189 1184 1162 0 23834 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 105092 KiB
Current children cumulated memory: 95828 KiB

[startup+102.3 s]
/proc/loadavg: 3.08 3.13 3.11 4/260 77540
/proc/meminfo: memFree=106178640/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=100900 memory=93140 CPUtime=102.01 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 22561 0 0 0 10198 3 0 0 20 0 1 0 70525505 103321600 23285 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 25225 23285 1184 1162 0 23834 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 105092 KiB
Current children cumulated memory: 96212 KiB

[startup+162.3 s]
/proc/loadavg: 3.08 3.12 3.10 4/261 77547
/proc/meminfo: memFree=106144956/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=102436 memory=93524 CPUtime=161.85 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 23044 0 0 0 16182 3 0 0 20 0 1 0 70525505 104894464 23381 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 25609 23381 1184 1162 0 24218 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 106628 KiB
Current children cumulated memory: 96596 KiB

[startup+222.3 s]
/proc/loadavg: 3.07 3.11 3.10 4/262 77552
/proc/meminfo: memFree=106142256/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=102436 memory=93908 CPUtime=221.68 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 23156 0 0 0 22165 3 0 0 20 0 1 0 70525505 104894464 23477 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 25609 23477 1184 1162 0 24218 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 106628 KiB

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

/proc/loadavg: 3.09 3.09 3.09 4/261 77690
/proc/meminfo: memFree=106072216/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149556 memory=139732 CPUtime=3095.33 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26424 0 0 0 309529 4 0 0 20 0 1 0 70525505 153145344 34933 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37389 34933 1184 1162 0 35998 0
Current children cumulated CPU time: 3095.33 s
Current children cumulated vsize: 153748 KiB
Current children cumulated memory: 142804 KiB

[startup+3162.3 s]
/proc/loadavg: 3.07 3.08 3.09 4/261 77696
/proc/meminfo: memFree=106072448/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149572 memory=139732 CPUtime=3155.19 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26428 0 0 0 315515 4 0 0 20 0 1 0 70525505 153161728 34933 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37393 34933 1184 1162 0 36002 0
Current children cumulated CPU time: 3155.19 s
Current children cumulated vsize: 153764 KiB
Current children cumulated memory: 142804 KiB

[startup+3222.3 s]
/proc/loadavg: 3.08 3.08 3.09 4/261 77700
/proc/meminfo: memFree=106072304/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149600 memory=139732 CPUtime=3215.06 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26435 0 0 0 321502 4 0 0 20 0 1 0 70525505 153190400 34933 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37400 34933 1184 1162 0 36009 0
Current children cumulated CPU time: 3215.06 s
Current children cumulated vsize: 153792 KiB
Current children cumulated memory: 142804 KiB

[startup+3282.3 s]
/proc/loadavg: 3.07 3.08 3.09 4/262 77703
/proc/meminfo: memFree=106072124/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149616 memory=141848 CPUtime=3274.94 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26479 0 0 0 327489 5 0 0 20 0 1 0 70525505 153206784 35462 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37404 35462 1184 1162 0 36013 0
Current children cumulated CPU time: 3274.94 s
Current children cumulated vsize: 153808 KiB
Current children cumulated memory: 144920 KiB

[startup+3342.3 s]
/proc/loadavg: 3.17 3.11 3.09 4/262 77705
/proc/meminfo: memFree=106072308/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149636 memory=141848 CPUtime=3334.81 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26485 0 0 0 333476 5 0 0 20 0 1 0 70525505 153227264 35462 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37409 35462 1184 1162 0 36018 0
Current children cumulated CPU time: 3334.81 s
Current children cumulated vsize: 153828 KiB
Current children cumulated memory: 144920 KiB

[startup+3402.3 s]
/proc/loadavg: 3.06 3.09 3.09 4/262 77707
/proc/meminfo: memFree=106072132/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149668 memory=141848 CPUtime=3394.68 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26496 0 0 0 339463 5 0 0 20 0 1 0 70525505 153260032 35462 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37417 35462 1184 1162 0 36026 0
Current children cumulated CPU time: 3394.68 s
Current children cumulated vsize: 153860 KiB
Current children cumulated memory: 144920 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.10 3.09 4/262 77709
/proc/meminfo: memFree=106072244/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149676 memory=143952 CPUtime=3454.54 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26499 0 0 0 345449 5 0 0 20 0 1 0 70525505 153268224 35988 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37419 35988 1184 1162 0 36028 0
Current children cumulated CPU time: 3454.54 s
Current children cumulated vsize: 153868 KiB
Current children cumulated memory: 147024 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.09 3.09 4/261 77711
/proc/meminfo: memFree=106072068/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149712 memory=143952 CPUtime=3514.41 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26508 0 0 0 351436 5 0 0 20 0 1 0 70525505 153305088 35988 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37428 35988 1184 1162 0 36037 0
Current children cumulated CPU time: 3514.41 s
Current children cumulated vsize: 153904 KiB
Current children cumulated memory: 147024 KiB

[startup+3582.3 s]
/proc/loadavg: 3.08 3.09 3.09 4/260 77713
/proc/meminfo: memFree=106072180/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149736 memory=146064 CPUtime=3574.28 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26558 0 0 0 357423 5 0 0 20 0 1 0 70525505 153329664 36516 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37434 36516 1184 1162 0 36043 0
Current children cumulated CPU time: 3574.28 s
Current children cumulated vsize: 153928 KiB
Current children cumulated memory: 149136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.1 s]
/proc/loadavg: 3.05 3.08 3.09 4/257 77719
/proc/meminfo: memFree=106187436/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149764 memory=146064 CPUtime=3600.03 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26565 0 0 0 359998 5 0 0 20 0 1 0 70525505 153358336 36516 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37441 36516 1184 1162 0 36050 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 153956 KiB
Current children cumulated memory: 149136 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.99 s, system=0.052813 s

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

[startup+3608.1 s]
/proc/loadavg: 3.05 3.08 3.09 4/257 77719
/proc/meminfo: memFree=106187436/131249988 swapFree=33010160/33010684
[pid=77535] ppid=77532 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77535/stat : 77535 (toulbar2.sh) S 77532 77535 76694 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 70525505 4292608 768 18446744073709551615 94922386432000 94922387326533 140726391052496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94922387565584 94922387613328 94922415742976 140726391060791 140726391060967 140726391060967 140726391066569 0
/proc/77535/statm: 1048 768 704 219 0 110 0
[pid=77537] ppid=77535 vsize=149764 memory=146064 CPUtime=3600.03 cores=5,7
/proc/77537/stat : 77537 (toulbar2) R 77535 77535 76694 0 -1 4194304 26565 0 0 0 359998 5 0 0 20 0 1 0 70525505 153358336 36516 18446744073709551615 4198400 8956741 140733330611680 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 26611712 140733330618741 140733330618860 140733330618860 140733330624460 0
/proc/77537/statm: 37441 36516 1184 1162 0 36050 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 153956 KiB
Current children cumulated memory: 149136 KiB

Child status: 0

Real time (s): 3608.11
CPU time (s): 3600.04
CPU user time (s): 3599.99
CPU system time (s): 0.052813
CPU usage (%): 99.7764
Max. virtual memory (cumulated for all children) (KiB): 153956
Max. memory (cumulated for all children) (KiB): 149136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.99
system time used= 0.052813
maximum resident set size= 147528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26781
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= 103
involuntary context switches= 3261


# summary of solver processes directly reported to runsolver:
#   pid: 77535
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.99
#   total CPU system time (s): 0.052813

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73287 second user time and 11.4689 second system time

The end