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

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

solver pid=84853, runsolver pid=84850

[startup+0.100104 s]*
/proc/loadavg: 3.36 1.87 2.16 5/255 84855
/proc/meminfo: memFree=126723744/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=30980 memory=21376 CPUtime=0.09 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 4513 0 0 0 8 1 0 0 20 0 1 0 74134314 31723520 5344 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 7745 5344 928 1162 0 6354 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35172 KiB
Current children cumulated memory: 24320 KiB

[startup+0.213572 s]*
/proc/loadavg: 3.41 1.90 2.17 5/255 84855
/proc/meminfo: memFree=126699552/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=53100 memory=43776 CPUtime=0.2 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 10056 0 0 0 17 3 0 0 20 0 1 0 74134314 54374400 10944 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13275 10944 1024 1162 0 11884 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57292 KiB
Current children cumulated memory: 46720 KiB

[startup+0.313607 s]*
/proc/loadavg: 3.41 1.90 2.17 5/255 84855
/proc/meminfo: memFree=126695772/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=54720 memory=47104 CPUtime=0.31 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 10760 0 0 0 27 4 0 0 20 0 1 0 74134314 56033280 11776 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13680 11776 1184 1162 0 12289 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 58912 KiB
Current children cumulated memory: 50048 KiB

[startup+0.700433 s]
/proc/loadavg: 3.41 1.90 2.17 5/255 84855
/proc/meminfo: memFree=126695772/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=54720 memory=47232 CPUtime=0.68 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 10779 0 0 0 64 4 0 0 20 0 1 0 74134314 56033280 11808 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13680 11808 1184 1162 0 12289 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58912 KiB
Current children cumulated memory: 50176 KiB

[startup+1.50038 s]
/proc/loadavg: 3.41 1.90 2.17 5/255 84855
/proc/meminfo: memFree=126695524/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=54776 memory=47360 CPUtime=1.47 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 10821 0 0 0 143 4 0 0 20 0 1 0 74134314 56090624 11840 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13694 11840 1184 1162 0 12303 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 58968 KiB
Current children cumulated memory: 50304 KiB

[startup+3.11335 s]
/proc/loadavg: 3.41 1.90 2.17 5/255 84855
/proc/meminfo: memFree=126695776/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=54776 memory=47360 CPUtime=3.08 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 10822 0 0 0 304 4 0 0 20 0 1 0 74134314 56090624 11840 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13694 11840 1184 1162 0 12303 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58968 KiB
Current children cumulated memory: 50304 KiB

[startup+6.30038 s]
/proc/loadavg: 3.46 1.94 2.18 5/255 84855
/proc/meminfo: memFree=126696028/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=54908 memory=47360 CPUtime=6.25 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 10831 0 0 0 621 4 0 0 20 0 1 0 74134314 56225792 11840 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13727 11840 1184 1162 0 12336 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 59100 KiB
Current children cumulated memory: 50304 KiB

[startup+12.7004 s]
/proc/loadavg: 3.50 1.97 2.19 5/255 84855
/proc/meminfo: memFree=126690676/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=54908 memory=47488 CPUtime=12.63 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 10847 0 0 0 1259 4 0 0 20 0 1 0 74134314 56225792 11872 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13727 11872 1184 1162 0 12336 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 59100 KiB
Current children cumulated memory: 50432 KiB

[startup+25.5004 s]
/proc/loadavg: 3.58 2.04 2.21 5/255 84855
/proc/meminfo: memFree=126691968/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=55296 memory=47744 CPUtime=25.38 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 10903 0 0 0 2534 4 0 0 20 0 1 0 74134314 56623104 11936 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13824 11936 1184 1162 0 12433 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 59488 KiB
Current children cumulated memory: 50688 KiB

[startup+51.1131 s]
/proc/loadavg: 3.88 2.26 2.28 5/255 84856
/proc/meminfo: memFree=126690956/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=55580 memory=48000 CPUtime=50.89 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 11037 0 0 0 5085 4 0 0 20 0 1 0 74134314 56913920 12000 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13895 12000 1184 1162 0 12504 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 59772 KiB
Current children cumulated memory: 50944 KiB

[startup+102.3 s]
/proc/loadavg: 4.00 2.55 2.38 5/255 84858
/proc/meminfo: memFree=126692668/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=55976 memory=48228 CPUtime=101.88 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 11212 0 0 0 10183 5 0 0 20 0 1 0 74134314 57319424 12057 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13994 12057 1184 1162 0 12603 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 60168 KiB
Current children cumulated memory: 51172 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 2.83 2.49 5/256 84865
/proc/meminfo: memFree=126723540/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=55976 memory=48228 CPUtime=161.66 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 11236 0 0 0 16161 5 0 0 20 0 1 0 74134314 57319424 12057 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 13994 12057 1184 1162 0 12603 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 60168 KiB
Current children cumulated memory: 51172 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.07 2.60 5/255 84867
/proc/meminfo: memFree=126707156/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=57896 memory=49472 CPUtime=221.43 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 12006 0 0 0 22137 6 0 0 20 0 1 0 74134314 59285504 12368 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 14474 12368 1184 1162 0 13083 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 62088 KiB

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

/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 344970 29 0 0 20 0 1 0 74134314 81309696 17923 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17923 1184 1162 0 18460 0
Current children cumulated CPU time: 3449.99 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74636 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/252 85088
/proc/meminfo: memFree=129883916/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71692 CPUtime=3509.8 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 350950 30 0 0 20 0 1 0 74134314 81309696 17923 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17923 1184 1162 0 18460 0
Current children cumulated CPU time: 3509.8 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74636 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/254 85167
/proc/meminfo: memFree=109291136/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71948 CPUtime=3569.6 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 356930 30 0 0 20 0 1 0 74134314 81309696 17987 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17987 1184 1162 0 18460 0
Current children cumulated CPU time: 3569.6 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74892 KiB

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

# cumulated CPU time of all completed processes:  user=3599.28 s, system=0.310625 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.15 4.12 5/254 85167
/proc/meminfo: memFree=109017212/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71948 CPUtime=3571.31 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 357101 30 0 0 20 0 1 0 74134314 81309696 17987 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17987 1184 1162 0 18460 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74892 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.14 4.12 5/254 85169
/proc/meminfo: memFree=107389416/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71948 CPUtime=3584.05 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 358375 30 0 0 20 0 1 0 74134314 81309696 17987 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17987 1184 1162 0 18460 0
Current children cumulated CPU time: 3584.05 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74892 KiB

[startup+3603.2 s]
/proc/loadavg: 4.08 4.14 4.12 5/254 85169
/proc/meminfo: memFree=107204700/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71948 CPUtime=3590.43 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 359013 30 0 0 20 0 1 0 74134314 81309696 17987 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17987 1184 1162 0 18460 0
Current children cumulated CPU time: 3590.43 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74892 KiB

[startup+3606.4 s]
/proc/loadavg: 4.15 4.16 4.12 5/254 85169
/proc/meminfo: memFree=107188568/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71948 CPUtime=3593.62 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 359332 30 0 0 20 0 1 0 74134314 81309696 17987 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17987 1184 1162 0 18460 0
Current children cumulated CPU time: 3593.62 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74892 KiB

[startup+3609.6 s]
/proc/loadavg: 4.15 4.16 4.12 5/254 85169
/proc/meminfo: memFree=107188820/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71948 CPUtime=3596.81 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 359651 30 0 0 20 0 1 0 74134314 81309696 17987 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17987 1184 1162 0 18460 0
Current children cumulated CPU time: 3596.81 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74892 KiB

[startup+3611.2 s]
/proc/loadavg: 4.14 4.15 4.12 5/254 85169
/proc/meminfo: memFree=107197868/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71948 CPUtime=3598.4 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 359810 30 0 0 20 0 1 0 74134314 81309696 17987 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17987 1184 1162 0 18460 0
Current children cumulated CPU time: 3598.4 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74892 KiB

[startup+3612 s]*
/proc/loadavg: 4.14 4.15 4.12 5/254 85169
/proc/meminfo: memFree=107206664/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71948 CPUtime=3599.21 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 359891 30 0 0 20 0 1 0 74134314 81309696 17987 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17987 1184 1162 0 18460 0
Current children cumulated CPU time: 3599.21 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74892 KiB

[startup+3612.2 s]
/proc/loadavg: 4.14 4.15 4.12 5/254 85169
/proc/meminfo: memFree=107206664/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71948 CPUtime=3599.4 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 359910 30 0 0 20 0 1 0 74134314 81309696 17987 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17987 1184 1162 0 18460 0
Current children cumulated CPU time: 3599.4 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74892 KiB

[startup+3612.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/254 85169
/proc/meminfo: memFree=107206664/131382112 swapFree=33002444/33010684
[pid=84853] ppid=84850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/84853/stat : 84853 (toulbar2.sh) S 84850 84853 84502 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74134313 4292608 736 18446744073709551615 93985604345856 93985605240389 140736468139008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93985605479440 93985605527184 93985630580736 140736468142391 140736468142567 140736468142567 140736468148169 0
/proc/84853/statm: 1048 736 672 219 0 110 0
[pid=84855] ppid=84853 vsize=79404 memory=71948 CPUtime=3599.5 cores=4,6
/proc/84855/stat : 84855 (toulbar2) R 84853 84853 84502 0 -1 4194304 15425 0 0 0 359920 30 0 0 20 0 1 0 74134314 81309696 17987 18446744073709551615 4198400 8956741 140729130541600 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26865664 140729130547573 140729130547692 140729130547692 140729130553292 0
/proc/84855/statm: 19851 17987 1184 1162 0 18460 0
Current children cumulated CPU time: 3599.5 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 74892 KiB

Child status: 0

Real time (s): 3612.38
CPU time (s): 3599.59
CPU user time (s): 3599.28
CPU system time (s): 0.310625
CPU usage (%): 99.6461
Max. virtual memory (cumulated for all children) (KiB): 83596
Max. memory (cumulated for all children) (KiB): 74892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.28
system time used= 0.310625
maximum resident set size= 75792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15641
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= 80
involuntary context switches= 19307


# summary of solver processes directly reported to runsolver:
#   pid: 84853
#   total CPU time (s): 3599.59
#   total CPU user time (s): 3599.28
#   total CPU system time (s): 0.310625

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5909 second user time and 36.5928 second system time

The end