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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=59937, runsolver pid=59932

[startup+0.100061 s]*
/proc/loadavg: 1.19 3.24 3.80 5/271 59954
/proc/meminfo: memFree=129120232/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=49848 memory=40192 CPUtime=0.08 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 9240 0 0 0 7 1 0 0 20 0 1 0 57346335 51044352 10048 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 2 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 12462 10048 928 1162 0 11071 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54040 KiB
Current children cumulated memory: 43264 KiB

[startup+0.205695 s]*
/proc/loadavg: 1.19 3.24 3.80 6/271 59954
/proc/meminfo: memFree=129000028/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=88400 memory=78720 CPUtime=0.18 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 18880 0 0 0 16 2 0 0 20 0 1 0 57346335 90521600 19680 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 22100 19680 928 1162 0 20709 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 92592 KiB
Current children cumulated memory: 81792 KiB

[startup+0.305798 s]*
/proc/loadavg: 1.19 3.24 3.80 5/271 59954
/proc/meminfo: memFree=128877808/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=126500 memory=116864 CPUtime=0.28 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 28436 0 0 0 24 4 0 0 20 0 1 0 57346335 129536000 29216 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 31625 29216 928 1162 0 30234 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 130692 KiB
Current children cumulated memory: 119936 KiB

[startup+0.700206 s]
/proc/loadavg: 1.19 3.24 3.80 5/271 59954
/proc/meminfo: memFree=128605204/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=272780 memory=263132 CPUtime=0.67 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 65057 0 0 0 58 9 0 0 20 0 1 0 57346335 279326720 65783 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 68195 65783 928 1162 0 66804 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 276972 KiB
Current children cumulated memory: 266204 KiB

[startup+1.5002 s]
/proc/loadavg: 1.19 3.24 3.80 5/271 59954
/proc/meminfo: memFree=128339848/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=460728 memory=450664 CPUtime=1.47 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 112280 0 0 0 130 17 0 0 20 0 1 0 57346335 471785472 112666 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 115182 112666 992 1162 0 113791 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 464920 KiB
Current children cumulated memory: 453736 KiB

[startup+3.10551 s]
/proc/loadavg: 1.41 3.25 3.80 5/271 59954
/proc/meminfo: memFree=128308008/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=466472 memory=456552 CPUtime=3.06 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 113712 0 0 0 289 17 0 0 20 0 1 0 57346335 477667328 114138 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 116618 114138 1024 1162 0 115227 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 470664 KiB
Current children cumulated memory: 459624 KiB

[startup+6.3002 s]
/proc/loadavg: 1.41 3.25 3.80 5/271 59954
/proc/meminfo: memFree=128292376/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=466612 memory=458088 CPUtime=6.25 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 113981 0 0 0 607 18 0 0 20 0 1 0 57346335 477810688 114522 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 116653 114522 1152 1162 0 115262 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 470804 KiB
Current children cumulated memory: 461160 KiB

[startup+12.7002 s]
/proc/loadavg: 1.81 3.28 3.80 5/271 59954
/proc/meminfo: memFree=128282364/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=473716 memory=462392 CPUtime=12.62 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 115801 0 0 0 1244 18 0 0 20 0 1 0 57346335 485085184 115598 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118429 115598 1152 1162 0 117038 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 477908 KiB
Current children cumulated memory: 465464 KiB

[startup+25.5002 s]
/proc/loadavg: 2.15 3.30 3.81 5/271 59954
/proc/meminfo: memFree=128278308/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=473716 memory=463160 CPUtime=25.39 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 116001 0 0 0 2520 19 0 0 20 0 1 0 57346335 485085184 115790 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118429 115790 1152 1162 0 117038 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 477908 KiB
Current children cumulated memory: 466232 KiB

[startup+51.1057 s]
/proc/loadavg: 2.97 3.41 3.83 5/271 59955
/proc/meminfo: memFree=128270340/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=473716 memory=465336 CPUtime=50.91 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 116522 0 0 0 5072 19 0 0 20 0 1 0 57346335 485085184 116334 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118429 116334 1184 1162 0 117038 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 477908 KiB
Current children cumulated memory: 468408 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 3.52 3.84 5/272 59958
/proc/meminfo: memFree=128260328/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=473940 memory=465336 CPUtime=101.93 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 116543 0 0 0 10174 19 0 0 20 0 1 0 57346335 485314560 116334 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118485 116334 1184 1162 0 117094 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 478132 KiB
Current children cumulated memory: 468408 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 3.63 3.86 5/272 59959
/proc/meminfo: memFree=128242372/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=473940 memory=465592 CPUtime=161.74 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 116595 0 0 0 16155 19 0 0 20 0 1 0 57346335 485314560 116398 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118485 116398 1184 1162 0 117094 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 478132 KiB
Current children cumulated memory: 468664 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.71 3.88 5/272 59961
/proc/meminfo: memFree=128240476/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=474228 memory=465848 CPUtime=221.55 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 116699 0 0 0 22136 19 0 0 20 0 1 0 57346335 485609472 116462 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118557 116462 1184 1162 0 117166 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 478420 KiB

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

/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120218 0 0 0 345187 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/269 60141
/proc/meminfo: memFree=128187372/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3511.93 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120328 0 0 0 351170 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/269 60143
/proc/meminfo: memFree=128188124/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3571.75 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120343 0 0 0 357152 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

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

# cumulated CPU time of all completed processes:  user=3599.68 s, system=0.240822 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.14 4.14 5/269 60143
/proc/meminfo: memFree=128188140/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3573.45 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120343 0 0 0 357322 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3573.45 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.13 4.14 5/269 60143
/proc/meminfo: memFree=128188204/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3586.21 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120348 0 0 0 358598 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

[startup+3603.2 s]
/proc/loadavg: 4.07 4.13 4.14 5/269 60144
/proc/meminfo: memFree=128188236/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3592.59 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120353 0 0 0 359236 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3592.59 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

[startup+3606.4 s]
/proc/loadavg: 4.07 4.13 4.14 5/269 60145
/proc/meminfo: memFree=128187268/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3595.78 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120355 0 0 0 359555 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3595.78 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

[startup+3608 s]*
/proc/loadavg: 4.14 4.14 4.14 5/269 60145
/proc/meminfo: memFree=128187036/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3597.38 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120356 0 0 0 359715 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3597.38 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

[startup+3609.6 s]
/proc/loadavg: 4.14 4.14 4.14 5/269 60145
/proc/meminfo: memFree=128187100/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3598.97 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120356 0 0 0 359874 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3598.97 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

[startup+3610 s]*
/proc/loadavg: 4.14 4.14 4.14 3/259 60161
/proc/meminfo: memFree=128514208/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3599.37 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120356 0 0 0 359914 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3599.37 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

[startup+3610.4 s]
/proc/loadavg: 4.14 4.14 4.14 3/259 60161
/proc/meminfo: memFree=128514208/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3599.77 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120356 0 0 0 359954 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3599.77 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

[startup+3610.5 s]
/proc/loadavg: 4.14 4.14 4.14 3/259 60161
/proc/meminfo: memFree=128514208/131250000 swapFree=33010672/33010684
[pid=59937] ppid=59932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/59937/stat : 59937 (toulbar2.sh) S 59932 59937 58968 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57346334 4292608 768 18446744073709551615 94788146487296 94788147381829 140731632445424 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94788147620880 94788147668624 94788167847936 140731632449847 140731632450023 140731632450023 140731632455625 0
/proc/59937/statm: 1048 768 704 219 0 110 0
[pid=59951] ppid=59937 vsize=475956 memory=469048 CPUtime=3599.86 cores=0,2
/proc/59951/stat : 59951 (toulbar2) R 59937 59937 58968 0 -1 4194304 120356 0 0 0 359963 23 0 0 20 0 1 0 57346335 487378944 117262 18446744073709551615 4198400 8956741 140722448339888 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38133760 140722448345461 140722448345580 140722448345580 140722448351180 0
/proc/59951/statm: 118989 117262 1184 1162 0 117598 0
Current children cumulated CPU time: 3599.86 s
Current children cumulated vsize: 480148 KiB
Current children cumulated memory: 472120 KiB

Child status: 0

Real time (s): 3610.54
CPU time (s): 3599.92
CPU user time (s): 3599.68
CPU system time (s): 0.240822
CPU usage (%): 99.7058
Max. virtual memory (cumulated for all children) (KiB): 480148
Max. memory (cumulated for all children) (KiB): 472120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.68
system time used= 0.240822
maximum resident set size= 469048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120570
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= 178
involuntary context switches= 4678


# summary of solver processes directly reported to runsolver:
#   pid: 59937
#   total CPU time (s): 3599.92
#   total CPU user time (s): 3599.68
#   total CPU system time (s): 0.240822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18806 second user time and 17.0518 second system time

The end