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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525094-1751621373/watcher-4525094-1751621373 -o /tmp/evaluation-result-4525094-1751621373/solver-4525094-1751621373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751617353-88057 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4525094-1751621373.wbo -timer=3600 -hve=512 -f=3 -n: -precision=0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=88660, runsolver pid=88657
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.08 4.08 4.02 5/267 88662
/proc/meminfo: memFree=126772252/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=28696 memory=19584 CPUtime=0.08 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 3983 0 0 0 8 0 0 0 20 0 1 0 77759787 29384704 4896 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 7174 4896 1024 1162 0 5783 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32888 KiB
Current children cumulated memory: 22528 KiB

[startup+0.205559 s]*
/proc/loadavg: 4.08 4.08 4.02 5/267 88662
/proc/meminfo: memFree=126772252/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=28852 memory=20096 CPUtime=0.18 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 4111 0 0 0 18 0 0 0 20 0 1 0 77759787 29544448 5024 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 7213 5024 1024 1162 0 5822 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33044 KiB
Current children cumulated memory: 23040 KiB

[startup+0.305508 s]*
/proc/loadavg: 4.08 4.08 4.02 5/267 88662
/proc/meminfo: memFree=126772252/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=29120 memory=20736 CPUtime=0.28 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 4289 0 0 0 28 0 0 0 20 0 1 0 77759787 29818880 5184 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 7280 5184 1024 1162 0 5889 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 33312 KiB
Current children cumulated memory: 23680 KiB

[startup+0.700232 s]
/proc/loadavg: 4.08 4.08 4.02 5/267 88662
/proc/meminfo: memFree=126756124/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=29704 memory=22528 CPUtime=0.66 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 4582 0 0 0 66 0 0 0 20 0 1 0 77759787 30416896 5632 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 7426 5632 1184 1162 0 6035 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 33896 KiB
Current children cumulated memory: 25472 KiB

[startup+1.50021 s]
/proc/loadavg: 4.08 4.08 4.02 5/267 88662
/proc/meminfo: memFree=126756696/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=30096 memory=22784 CPUtime=1.46 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 4660 0 0 0 146 0 0 0 20 0 1 0 77759787 30818304 5696 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 7524 5696 1184 1162 0 6133 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 34288 KiB
Current children cumulated memory: 25728 KiB

[startup+3.10568 s]
/proc/loadavg: 4.07 4.08 4.02 5/267 88662
/proc/meminfo: memFree=126756948/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=30108 memory=22912 CPUtime=3.06 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 4718 0 0 0 306 0 0 0 20 0 1 0 77759787 30830592 5728 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 7527 5728 1184 1162 0 6136 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 34300 KiB
Current children cumulated memory: 25856 KiB

[startup+6.3002 s]
/proc/loadavg: 4.07 4.08 4.02 5/267 88662
/proc/meminfo: memFree=126757720/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=31696 memory=24028 CPUtime=6.24 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 5199 0 0 0 624 0 0 0 20 0 1 0 77759787 32456704 6007 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 7924 6007 1184 1162 0 6533 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 35888 KiB
Current children cumulated memory: 26972 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.02 5/267 88662
/proc/meminfo: memFree=126759040/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=31976 memory=24284 CPUtime=12.62 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 5278 0 0 0 1262 0 0 0 20 0 1 0 77759787 32743424 6071 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 7994 6071 1184 1162 0 6603 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 36168 KiB
Current children cumulated memory: 27228 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.02 5/267 88662
/proc/meminfo: memFree=126762400/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=32108 memory=24540 CPUtime=25.39 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 5336 0 0 0 2539 0 0 0 20 0 1 0 77759787 32878592 6135 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8027 6135 1184 1162 0 6636 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 36300 KiB
Current children cumulated memory: 27484 KiB

[startup+51.1053 s]
/proc/loadavg: 4.08 4.08 4.02 5/268 88664
/proc/meminfo: memFree=126737112/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=32240 memory=24668 CPUtime=50.94 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 5364 0 0 0 5093 1 0 0 20 0 1 0 77759787 33013760 6167 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8060 6167 1184 1162 0 6669 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 36432 KiB
Current children cumulated memory: 27612 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/269 88682
/proc/meminfo: memFree=126754872/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=32624 memory=24780 CPUtime=102 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 5481 0 0 0 10199 1 0 0 20 0 1 0 77759787 33406976 6195 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8156 6195 1184 1162 0 6765 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 36816 KiB
Current children cumulated memory: 27724 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/270 88689
/proc/meminfo: memFree=126758760/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=32624 memory=24780 CPUtime=161.85 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 5494 0 0 0 16184 1 0 0 20 0 1 0 77759787 33406976 6195 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8156 6195 1184 1162 0 6765 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 36816 KiB
Current children cumulated memory: 27724 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/271 88692
/proc/meminfo: memFree=126784508/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=32624 memory=24908 CPUtime=221.69 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 5505 0 0 0 22168 1 0 0 20 0 1 0 77759787 33406976 6227 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8156 6227 1184 1162 0 6765 0
Current children cumulated CPU time: 221.69 s

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

/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6621 0 0 0 339418 6 0 0 20 0 1 0 77759787 36044800 7973 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 7973 1184 1162 0 7409 0
Current children cumulated CPU time: 3394.24 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34836 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 88992
/proc/meminfo: memFree=127569644/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=31892 CPUtime=3454.08 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6628 0 0 0 345402 6 0 0 20 0 1 0 77759787 36044800 7973 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 7973 1184 1162 0 7409 0
Current children cumulated CPU time: 3454.08 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 88994
/proc/meminfo: memFree=127579344/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=32020 CPUtime=3513.93 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6634 0 0 0 351387 6 0 0 20 0 1 0 77759787 36044800 8005 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 8005 1184 1162 0 7409 0
Current children cumulated CPU time: 3513.93 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34964 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 88996
/proc/meminfo: memFree=127581724/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=32020 CPUtime=3573.77 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6646 0 0 0 357371 6 0 0 20 0 1 0 77759787 36044800 8005 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 8005 1184 1162 0 7409 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34964 KiB

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

# cumulated CPU time of all completed processes:  user=3599.72 s, system=0.071846 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.09 5/266 88996
/proc/meminfo: memFree=127581724/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=32020 CPUtime=3575.47 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6646 0 0 0 357541 6 0 0 20 0 1 0 77759787 36044800 8005 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 8005 1184 1162 0 7409 0
Current children cumulated CPU time: 3575.47 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34964 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 88996
/proc/meminfo: memFree=127581724/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=32020 CPUtime=3588.23 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6648 0 0 0 358817 6 0 0 20 0 1 0 77759787 36044800 8005 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 8005 1184 1162 0 7409 0
Current children cumulated CPU time: 3588.23 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34964 KiB

[startup+3603.2 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 88997
/proc/meminfo: memFree=127581976/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=32020 CPUtime=3594.61 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6648 0 0 0 359455 6 0 0 20 0 1 0 77759787 36044800 8005 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 8005 1184 1162 0 7409 0
Current children cumulated CPU time: 3594.61 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34964 KiB

[startup+3606.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 88997
/proc/meminfo: memFree=127581976/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=32020 CPUtime=3597.81 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6648 0 0 0 359775 6 0 0 20 0 1 0 77759787 36044800 8005 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 8005 1184 1162 0 7409 0
Current children cumulated CPU time: 3597.81 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34964 KiB

[startup+3607.2 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 88997
/proc/meminfo: memFree=127582480/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=32020 CPUtime=3598.6 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6648 0 0 0 359854 6 0 0 20 0 1 0 77759787 36044800 8005 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 8005 1184 1162 0 7409 0
Current children cumulated CPU time: 3598.6 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34964 KiB

[startup+3608 s]*
/proc/loadavg: 4.07 4.09 4.09 5/266 88997
/proc/meminfo: memFree=127582480/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=32020 CPUtime=3599.41 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6648 0 0 0 359935 6 0 0 20 0 1 0 77759787 36044800 8005 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 8005 1184 1162 0 7409 0
Current children cumulated CPU time: 3599.41 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34964 KiB

[startup+3608.2 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 88997
/proc/meminfo: memFree=127582480/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=32020 CPUtime=3599.6 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6648 0 0 0 359954 6 0 0 20 0 1 0 77759787 36044800 8005 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 8005 1184 1162 0 7409 0
Current children cumulated CPU time: 3599.6 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34964 KiB

[startup+3608.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 88997
/proc/meminfo: memFree=127582480/131250000 swapFree=33010684/33010684
[pid=88660] ppid=88657 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88660/stat : 88660 (toulbar2.sh) S 88657 88660 88046 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77759786 4292608 736 18446744073709551615 93969726803968 93969727698501 140736020481600 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93969727937552 93969727985296 93969748004864 140736020490549 140736020490725 140736020490725 140736020496329 0
/proc/88660/statm: 1048 736 672 219 0 110 0
[pid=88662] ppid=88660 vsize=35200 memory=32020 CPUtime=3599.7 cores=4,6
/proc/88662/stat : 88662 (toulbar2) R 88660 88660 88046 0 -1 4194304 6648 0 0 0 359964 6 0 0 20 0 1 0 77759787 36044800 8005 18446744073709551615 4198400 8956741 140724013022976 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 20316160 140724013029747 140724013029866 140724013029866 140724013035468 0
/proc/88662/statm: 8800 8005 1184 1162 0 7409 0
Current children cumulated CPU time: 3599.7 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 34964 KiB

Child status: 0

Real time (s): 3608.37
CPU time (s): 3599.79
CPU user time (s): 3599.72
CPU system time (s): 0.071846
CPU usage (%): 99.7621
Max. virtual memory (cumulated for all children) (KiB): 39392
Max. memory (cumulated for all children) (KiB): 34964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.72
system time used= 0.071846
maximum resident set size= 33248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6864
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= 77
involuntary context switches= 3382


# summary of solver processes directly reported to runsolver:
#   pid: 88660
#   total CPU time (s): 3599.79
#   total CPU user time (s): 3599.72
#   total CPU system time (s): 0.071846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41248 second user time and 16.4229 second system time

The end