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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522380-1751591775/watcher-4522380-1751591775 -o /tmp/evaluation-result-4522380-1751591775/solver-4522380-1751591775 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751584455-84513 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4522380-1751591775.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=85586, runsolver pid=85583
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.11 4.10 4.09 5/257 85588
/proc/meminfo: memFree=123121524/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=24408 memory=14720 CPUtime=0.08 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 2869 0 0 0 7 1 0 0 20 0 1 0 74856884 24993792 3680 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 6102 3680 928 1162 0 4711 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 17792 KiB

[startup+0.213415 s]*
/proc/loadavg: 4.11 4.10 4.09 5/257 85588
/proc/meminfo: memFree=123113712/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=37228 memory=27648 CPUtime=0.18 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 6101 0 0 0 16 2 0 0 20 0 1 0 74856884 38121472 6912 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 9307 6912 928 1162 0 7916 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41420 KiB
Current children cumulated memory: 30720 KiB

[startup+0.313194 s]*
/proc/loadavg: 4.11 4.10 4.09 5/257 85588
/proc/meminfo: memFree=123098592/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=50692 memory=41088 CPUtime=0.27 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 9446 0 0 0 24 3 0 0 20 0 1 0 74856884 51908608 10272 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 12673 10272 928 1162 0 11282 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 54884 KiB
Current children cumulated memory: 44160 KiB

[startup+0.700269 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 85588
/proc/meminfo: memFree=123074400/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=114436 memory=104704 CPUtime=0.62 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 25383 0 0 0 55 7 0 0 20 0 1 0 74856884 117182464 26176 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 28609 26176 928 1162 0 27218 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 118628 KiB
Current children cumulated memory: 107776 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 85588
/proc/meminfo: memFree=122930256/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=216276 memory=206604 CPUtime=1.4 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 50962 0 0 0 127 13 0 0 20 0 1 0 74856884 221466624 51651 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 54069 51651 1024 1162 0 52678 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 220468 KiB
Current children cumulated memory: 209676 KiB

[startup+3.10528 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 85588
/proc/meminfo: memFree=122930776/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=216276 memory=206604 CPUtime=2.99 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 50962 0 0 0 286 13 0 0 20 0 1 0 74856884 221466624 51651 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 54069 51651 1024 1162 0 52678 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 220468 KiB
Current children cumulated memory: 209676 KiB

[startup+6.30014 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 85588
/proc/meminfo: memFree=122931324/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=216276 memory=206604 CPUtime=6.16 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 50965 0 0 0 603 13 0 0 20 0 1 0 74856884 221466624 51651 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 54069 51651 1024 1162 0 52678 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 220468 KiB
Current children cumulated memory: 209676 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 85588
/proc/meminfo: memFree=122932496/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=216276 memory=206604 CPUtime=12.51 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 50965 0 0 0 1238 13 0 0 20 0 1 0 74856884 221466624 51651 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 54069 51651 1024 1162 0 52678 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 220468 KiB
Current children cumulated memory: 209676 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 85588
/proc/meminfo: memFree=122916616/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=216276 memory=206604 CPUtime=25.25 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 50967 0 0 0 2512 13 0 0 20 0 1 0 74856884 221466624 51651 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 54069 51651 1024 1162 0 52678 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 220468 KiB
Current children cumulated memory: 209676 KiB

[startup+51.113 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 85589
/proc/meminfo: memFree=122909732/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=216408 memory=206732 CPUtime=50.8 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 51015 0 0 0 5066 14 0 0 20 0 1 0 74856884 221601792 51683 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 54102 51683 1024 1162 0 52711 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 220600 KiB
Current children cumulated memory: 209804 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 85590
/proc/meminfo: memFree=122889576/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=218468 memory=211156 CPUtime=101.85 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 52634 0 0 0 10171 14 0 0 20 0 1 0 74856884 223711232 52789 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 54617 52789 1024 1162 0 53226 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 222660 KiB
Current children cumulated memory: 214228 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 85597
/proc/meminfo: memFree=122864912/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=230784 memory=219744 CPUtime=161.71 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 56426 0 0 0 16155 16 0 0 20 0 1 0 74856884 236322816 54936 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 57696 54936 1152 1162 0 56305 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 234976 KiB
Current children cumulated memory: 222816 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 85599
/proc/meminfo: memFree=122865564/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=230784 memory=219744 CPUtime=221.56 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 56430 0 0 0 22140 16 0 0 20 0 1 0 74856884 236322816 54936 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 57696 54936 1152 1162 0 56305 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 234976 KiB

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

/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57258 0 0 0 333394 28 0 0 20 0 1 0 74856884 239861760 55768 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58560 55768 1152 1162 0 57169 0
Current children cumulated CPU time: 3334.22 s
Current children cumulated vsize: 238432 KiB
Current children cumulated memory: 226144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 85765
/proc/meminfo: memFree=122112296/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=234240 memory=223072 CPUtime=3394.08 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57261 0 0 0 339379 29 0 0 20 0 1 0 74856884 239861760 55768 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58560 55768 1152 1162 0 57169 0
Current children cumulated CPU time: 3394.08 s
Current children cumulated vsize: 238432 KiB
Current children cumulated memory: 226144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/253 85767
/proc/meminfo: memFree=122067540/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=234240 memory=223072 CPUtime=3453.94 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57263 0 0 0 345365 29 0 0 20 0 1 0 74856884 239861760 55768 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58560 55768 1152 1162 0 57169 0
Current children cumulated CPU time: 3453.94 s
Current children cumulated vsize: 238432 KiB
Current children cumulated memory: 226144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 85770
/proc/meminfo: memFree=122084464/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=235008 memory=223456 CPUtime=3513.8 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57373 0 0 0 351351 29 0 0 20 0 1 0 74856884 240648192 55864 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58752 55864 1152 1162 0 57361 0
Current children cumulated CPU time: 3513.8 s
Current children cumulated vsize: 239200 KiB
Current children cumulated memory: 226528 KiB

[startup+3582.3 s]
/proc/loadavg: 2.28 3.58 3.91 2/235 85866
/proc/meminfo: memFree=129847688/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=235008 memory=223584 CPUtime=3573.66 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57400 0 0 0 357337 29 0 0 20 0 1 0 74856884 240648192 55896 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58752 55896 1152 1162 0 57361 0
Current children cumulated CPU time: 3573.66 s
Current children cumulated vsize: 239200 KiB
Current children cumulated memory: 226656 KiB

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

# cumulated CPU time of all completed processes:  user=3599.43 s, system=0.304823 s

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

[startup+3584 s]*
/proc/loadavg: 2.28 3.58 3.91 2/235 85866
/proc/meminfo: memFree=129847688/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=235008 memory=223584 CPUtime=3575.37 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57400 0 0 0 357508 29 0 0 20 0 1 0 74856884 240648192 55896 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58752 55896 1152 1162 0 57361 0
Current children cumulated CPU time: 3575.37 s
Current children cumulated vsize: 239200 KiB
Current children cumulated memory: 226656 KiB

[startup+3596.8 s]
/proc/loadavg: 2.08 3.49 3.88 2/235 85867
/proc/meminfo: memFree=129851608/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=235008 memory=223584 CPUtime=3588.13 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57406 0 0 0 358784 29 0 0 20 0 1 0 74856884 240648192 55896 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58752 55896 1152 1162 0 57361 0
Current children cumulated CPU time: 3588.13 s
Current children cumulated vsize: 239200 KiB
Current children cumulated memory: 226656 KiB

[startup+3603.2 s]
/proc/loadavg: 1.91 3.41 3.85 2/235 85867
/proc/meminfo: memFree=129850532/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=235008 memory=223584 CPUtime=3594.52 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57406 0 0 0 359423 29 0 0 20 0 1 0 74856884 240648192 55896 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58752 55896 1152 1162 0 57361 0
Current children cumulated CPU time: 3594.52 s
Current children cumulated vsize: 239200 KiB
Current children cumulated memory: 226656 KiB

[startup+3606.4 s]
/proc/loadavg: 1.91 3.41 3.85 2/235 85867
/proc/meminfo: memFree=129850532/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=235008 memory=223584 CPUtime=3597.71 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57408 0 0 0 359742 29 0 0 20 0 1 0 74856884 240648192 55896 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58752 55896 1152 1162 0 57361 0
Current children cumulated CPU time: 3597.71 s
Current children cumulated vsize: 239200 KiB
Current children cumulated memory: 226656 KiB

[startup+3607.2 s]
/proc/loadavg: 1.84 3.37 3.83 2/235 85867
/proc/meminfo: memFree=129850532/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=235008 memory=223584 CPUtime=3598.51 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57409 0 0 0 359822 29 0 0 20 0 1 0 74856884 240648192 55896 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58752 55896 1152 1162 0 57361 0
Current children cumulated CPU time: 3598.51 s
Current children cumulated vsize: 239200 KiB
Current children cumulated memory: 226656 KiB

[startup+3608 s]*
/proc/loadavg: 1.84 3.37 3.83 2/235 85867
/proc/meminfo: memFree=129850912/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=235008 memory=223584 CPUtime=3599.32 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57409 0 0 0 359903 29 0 0 20 0 1 0 74856884 240648192 55896 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58752 55896 1152 1162 0 57361 0
Current children cumulated CPU time: 3599.32 s
Current children cumulated vsize: 239200 KiB
Current children cumulated memory: 226656 KiB

[startup+3608.4 s]
/proc/loadavg: 1.84 3.37 3.83 2/235 85867
/proc/meminfo: memFree=129850912/131382112 swapFree=33002444/33010684
[pid=85586] ppid=85583 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/85586/stat : 85586 (toulbar2.sh) S 85583 85586 84502 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74856883 4292608 768 18446744073709551615 94867903418368 94867904312901 140722117898528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94867904551952 94867904599696 94867932033024 140722117900599 140722117900775 140722117900775 140722117906377 0
/proc/85586/statm: 1048 768 704 219 0 110 0
[pid=85588] ppid=85586 vsize=235008 memory=223584 CPUtime=3599.7 cores=4,6
/proc/85588/stat : 85588 (toulbar2) R 85586 85586 84502 0 -1 4194304 57409 0 0 0 359941 29 0 0 20 0 1 0 74856884 240648192 55896 18446744073709551615 4198400 8956741 140724062779984 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 30478336 140724062787957 140724062788076 140724062788076 140724062793676 0
/proc/85588/statm: 58752 55896 1152 1162 0 57361 0
Current children cumulated CPU time: 3599.7 s
Current children cumulated vsize: 239200 KiB
Current children cumulated memory: 226656 KiB

Child status: 0

Real time (s): 3608.41
CPU time (s): 3599.73
CPU user time (s): 3599.43
CPU system time (s): 0.304823
CPU usage (%): 99.7595
Max. virtual memory (cumulated for all children) (KiB): 239200
Max. memory (cumulated for all children) (KiB): 226656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.43
system time used= 0.304823
maximum resident set size= 223584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57624
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= 74
involuntary context switches= 18860


# summary of solver processes directly reported to runsolver:
#   pid: 85586
#   total CPU time (s): 3599.73
#   total CPU user time (s): 3599.43
#   total CPU system time (s): 0.304823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0633 second user time and 33.7325 second system time

The end