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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512400-1751534242/watcher-4512400-1751534242 -o /tmp/evaluation-result-4512400-1751534242/solver-4512400-1751534242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751527022-74032 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4512400-1751534242.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
Starting watchdog thread
solver pid=74767, runsolver pid=74763
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.27 4.13 4.10 4/245 74774
/proc/meminfo: memFree=129901440/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=29740 memory=20224 CPUtime=0.08 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 4229 0 0 0 7 1 0 0 20 0 1 0 69103372 30453760 5056 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 7435 5056 928 1162 0 6044 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33932 KiB
Current children cumulated memory: 23296 KiB

[startup+0.213967 s]*
/proc/loadavg: 4.27 4.13 4.10 3/251 74784
/proc/meminfo: memFree=129867476/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=45448 memory=35840 CPUtime=0.18 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 8139 0 0 0 16 2 0 0 20 0 1 0 69103372 46538752 8960 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 11362 8960 928 1162 0 9971 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 49640 KiB
Current children cumulated memory: 38912 KiB

[startup+0.320216 s]*
/proc/loadavg: 4.27 4.13 4.10 6/253 74791
/proc/meminfo: memFree=129827600/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=59176 memory=49536 CPUtime=0.28 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 11578 0 0 0 25 3 0 0 20 0 1 0 69103372 60596224 12384 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 14794 12384 928 1162 0 13403 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63368 KiB
Current children cumulated memory: 52608 KiB

[startup+0.700332 s]
/proc/loadavg: 4.27 4.13 4.10 5/251 74804
/proc/meminfo: memFree=129702204/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=101100 memory=92316 CPUtime=0.64 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 22161 0 0 0 57 7 0 0 20 0 1 0 69103372 103526400 23079 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 25275 23079 1152 1162 0 23884 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 105292 KiB
Current children cumulated memory: 95388 KiB

[startup+1.50043 s]
/proc/loadavg: 4.27 4.13 4.10 5/256 74823
/proc/meminfo: memFree=129550972/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=101100 memory=92572 CPUtime=1.44 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 22171 0 0 0 137 7 0 0 20 0 1 0 69103372 103526400 23143 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 25275 23143 1184 1162 0 23884 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 105292 KiB
Current children cumulated memory: 95644 KiB

[startup+3.11341 s]
/proc/loadavg: 4.27 4.13 4.10 5/256 74823
/proc/meminfo: memFree=128778128/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=101256 memory=92572 CPUtime=3.05 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 22190 0 0 0 298 7 0 0 20 0 1 0 69103372 103686144 23143 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 25314 23143 1184 1162 0 23923 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 105448 KiB
Current children cumulated memory: 95644 KiB

[startup+6.30036 s]
/proc/loadavg: 4.25 4.13 4.10 5/256 74823
/proc/meminfo: memFree=127625708/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=101640 memory=92828 CPUtime=6.22 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 22260 0 0 0 615 7 0 0 20 0 1 0 69103372 104079360 23207 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 25410 23207 1184 1162 0 24019 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 105832 KiB
Current children cumulated memory: 95900 KiB

[startup+12.7004 s]
/proc/loadavg: 4.23 4.13 4.10 5/256 74824
/proc/meminfo: memFree=127609356/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=101640 memory=92956 CPUtime=12.6 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 22269 0 0 0 1253 7 0 0 20 0 1 0 69103372 104079360 23239 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 25410 23239 1184 1162 0 24019 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 105832 KiB
Current children cumulated memory: 96028 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.12 4.10 5/255 74824
/proc/meminfo: memFree=127597212/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=101640 memory=92956 CPUtime=25.37 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 22269 0 0 0 2530 7 0 0 20 0 1 0 69103372 104079360 23239 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 25410 23239 1184 1162 0 24019 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 105832 KiB
Current children cumulated memory: 96028 KiB

[startup+51.1132 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 74824
/proc/meminfo: memFree=127587092/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=102412 memory=93576 CPUtime=50.9 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 22529 0 0 0 5083 7 0 0 20 0 1 0 69103372 104869888 23394 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 25603 23394 1184 1162 0 24212 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 106604 KiB
Current children cumulated memory: 96648 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 74874
/proc/meminfo: memFree=127408192/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=107116 memory=101016 CPUtime=101.94 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 23873 0 0 0 10186 8 0 0 20 0 1 0 69103372 109686784 25254 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 26779 25254 1184 1162 0 25388 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 111308 KiB
Current children cumulated memory: 104088 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 74876
/proc/meminfo: memFree=127337432/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=107116 memory=102424 CPUtime=161.78 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 23916 0 0 0 16170 8 0 0 20 0 1 0 69103372 109686784 25606 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 26779 25606 1184 1162 0 25388 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 111308 KiB
Current children cumulated memory: 105496 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/257 74890
/proc/meminfo: memFree=127047744/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=107116 memory=102424 CPUtime=221.62 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 23937 0 0 0 22154 8 0 0 20 0 1 0 69103372 109686784 25606 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 26779 25606 1184 1162 0 25388 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 111308 KiB

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

/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 24018 0 0 0 58062 8 0 0 20 0 1 0 69103372 109686784 25606 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 26779 25606 1184 1162 0 25388 0
Current children cumulated CPU time: 580.7 s
Current children cumulated vsize: 111308 KiB
Current children cumulated memory: 105496 KiB

[startup+642.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 74911
/proc/meminfo: memFree=126769940/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=107116 memory=102424 CPUtime=640.55 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 24021 0 0 0 64047 8 0 0 20 0 1 0 69103372 109686784 25606 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 26779 25606 1184 1162 0 25388 0
Current children cumulated CPU time: 640.55 s
Current children cumulated vsize: 111308 KiB
Current children cumulated memory: 105496 KiB

[startup+702.3 s]
/proc/loadavg: 4.18 4.11 4.09 5/254 74913
/proc/meminfo: memFree=126776760/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=116528 memory=109128 CPUtime=700.39 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 25340 0 0 0 70031 8 0 0 20 0 1 0 69103372 119324672 27282 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 29132 27282 1184 1162 0 27741 0
Current children cumulated CPU time: 700.39 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 112200 KiB

[startup+762.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 74915
/proc/meminfo: memFree=126765204/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=116528 memory=109128 CPUtime=760.23 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 25341 0 0 0 76015 8 0 0 20 0 1 0 69103372 119324672 27282 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 29132 27282 1184 1162 0 27741 0
Current children cumulated CPU time: 760.23 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 112200 KiB

[startup+822.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 74917
/proc/meminfo: memFree=126781588/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=116528 memory=109128 CPUtime=820.08 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 25346 0 0 0 82000 8 0 0 20 0 1 0 69103372 119324672 27282 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 29132 27282 1184 1162 0 27741 0
Current children cumulated CPU time: 820.08 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 112200 KiB

[startup+882.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 74921
/proc/meminfo: memFree=126791772/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=116528 memory=109128 CPUtime=879.92 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 25349 0 0 0 87984 8 0 0 20 0 1 0 69103372 119324672 27282 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 29132 27282 1184 1162 0 27741 0
Current children cumulated CPU time: 879.92 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 112200 KiB

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

# cumulated CPU time of all completed processes:  user=885.433 s, system=0.093569 s

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

[startup+883.2 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 74921
/proc/meminfo: memFree=126792024/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=116528 memory=109128 CPUtime=880.81 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 25349 0 0 0 88073 8 0 0 20 0 1 0 69103372 119324672 27282 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 29132 27282 1184 1162 0 27741 0
Current children cumulated CPU time: 880.81 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 112200 KiB

[startup+886.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 74921
/proc/meminfo: memFree=126790944/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=116528 memory=109128 CPUtime=884 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 25349 0 0 0 88392 8 0 0 20 0 1 0 69103372 119324672 27282 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 29132 27282 1184 1162 0 27741 0
Current children cumulated CPU time: 884 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 112200 KiB

[startup+887.2 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 74921
/proc/meminfo: memFree=126790944/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=116528 memory=109128 CPUtime=884.8 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 25349 0 0 0 88472 8 0 0 20 0 1 0 69103372 119324672 27282 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 29132 27282 1184 1162 0 27741 0
Current children cumulated CPU time: 884.8 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 112200 KiB

[startup+887.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 74921
/proc/meminfo: memFree=126790944/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=116528 memory=109128 CPUtime=885.2 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 25349 0 0 0 88512 8 0 0 20 0 1 0 69103372 119324672 27282 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 29132 27282 1184 1162 0 27741 0
Current children cumulated CPU time: 885.2 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 112200 KiB

[startup+887.8 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 74921
/proc/meminfo: memFree=126790944/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=116528 memory=109128 CPUtime=885.4 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 25349 0 0 0 88532 8 0 0 20 0 1 0 69103372 119324672 27282 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 29132 27282 1184 1162 0 27741 0
Current children cumulated CPU time: 885.4 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 112200 KiB

[startup+887.9 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 74921
/proc/meminfo: memFree=126790944/131382120 swapFree=33010160/33010684
[pid=74767] ppid=74763 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74767/stat : 74767 (toulbar2.sh) S 74763 74767 74021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69103371 4292608 768 18446744073709551615 94158359310336 94158360204869 140734083931232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94158360443920 94158360491664 94158367543296 140734083938615 140734083938791 140734083938791 140734083944393 0
/proc/74767/statm: 1048 768 704 219 0 110 0
[pid=74773] ppid=74767 vsize=116528 memory=109128 CPUtime=885.5 cores=4,6
/proc/74773/stat : 74773 (toulbar2) R 74767 74767 74021 0 -1 4194304 25349 0 0 0 88542 8 0 0 20 0 1 0 69103372 119324672 27282 18446744073709551615 4198400 8956741 140732998739824 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22347776 140732998744437 140732998744556 140732998744556 140732998750156 0
/proc/74773/statm: 29132 27282 1184 1162 0 27741 0
Current children cumulated CPU time: 885.5 s
Current children cumulated vsize: 120720 KiB
Current children cumulated memory: 112200 KiB

Child status: 0

Real time (s): 887.908
CPU time (s): 885.527
CPU user time (s): 885.433
CPU system time (s): 0.093569
CPU usage (%): 99.7318
Max. virtual memory (cumulated for all children) (KiB): 120720
Max. memory (cumulated for all children) (KiB): 112200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 885.433
system time used= 0.093569
maximum resident set size= 113824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25566
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= 90
involuntary context switches= 338


# summary of solver processes directly reported to runsolver:
#   pid: 74767
#   total CPU time (s): 885.527
#   total CPU user time (s): 885.433
#   total CPU system time (s): 0.093569

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73641 second user time and 9.0447 second system time

The end