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: 63794 MiB (58324 MiB free)
  memory of node 1: 64507 MiB (59539 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=84269, runsolver pid=84266

[startup+0.100109 s]*
/proc/loadavg: 4.21 4.23 4.15 5/256 84271
/proc/meminfo: memFree=120676384/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=33460 memory=24320 CPUtime=0.09 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 5158 0 0 0 9 0 0 0 20 0 1 0 71164753 34263040 6080 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 8365 6080 1024 1162 0 6974 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37652 KiB
Current children cumulated memory: 27392 KiB

[startup+0.213924 s]*
/proc/loadavg: 4.21 4.23 4.15 5/256 84271
/proc/meminfo: memFree=120676384/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=34888 memory=25600 CPUtime=0.2 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 5503 0 0 0 20 0 0 0 20 0 1 0 71164753 35725312 6400 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 8722 6400 1024 1162 0 7331 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 28672 KiB

[startup+0.313728 s]*
/proc/loadavg: 4.21 4.23 4.15 5/256 84271
/proc/meminfo: memFree=120668572/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=39688 memory=30336 CPUtime=0.31 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 6684 0 0 0 30 1 0 0 20 0 1 0 71164753 40640512 7584 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 9922 7584 1024 1162 0 8531 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 33408 KiB

[startup+0.700428 s]
/proc/loadavg: 4.21 4.23 4.15 5/256 84271
/proc/meminfo: memFree=120660508/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=47260 memory=39296 CPUtime=0.68 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 8777 0 0 0 67 1 0 0 20 0 1 0 71164753 48394240 9824 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 11815 9824 1184 1162 0 10424 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51452 KiB
Current children cumulated memory: 42368 KiB

[startup+1.50042 s]
/proc/loadavg: 4.21 4.23 4.15 5/256 84271
/proc/meminfo: memFree=120450844/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=47668 memory=39936 CPUtime=1.47 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 8917 0 0 0 146 1 0 0 20 0 1 0 71164753 48812032 9984 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 11917 9984 1184 1162 0 10526 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 51860 KiB
Current children cumulated memory: 43008 KiB

[startup+3.11319 s]
/proc/loadavg: 4.21 4.23 4.15 5/256 84271
/proc/meminfo: memFree=118999456/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=48008 memory=40064 CPUtime=3.08 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 8974 0 0 0 307 1 0 0 20 0 1 0 71164753 49160192 10016 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 12002 10016 1184 1162 0 10611 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52200 KiB
Current children cumulated memory: 43136 KiB

[startup+6.30045 s]
/proc/loadavg: 4.19 4.22 4.15 5/256 84271
/proc/meminfo: memFree=118987672/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=48008 memory=40192 CPUtime=6.26 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 8977 0 0 0 625 1 0 0 20 0 1 0 71164753 49160192 10048 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 12002 10048 1184 1162 0 10611 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52200 KiB
Current children cumulated memory: 43264 KiB

[startup+12.7004 s]
/proc/loadavg: 4.26 4.24 4.16 5/256 84282
/proc/meminfo: memFree=118980616/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=48300 memory=40436 CPUtime=12.64 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 9087 0 0 0 1263 1 0 0 20 0 1 0 71164753 49459200 10109 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 12075 10109 1184 1162 0 10684 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 52492 KiB
Current children cumulated memory: 43508 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.22 4.15 5/256 84282
/proc/meminfo: memFree=118978484/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=48300 memory=40436 CPUtime=25.4 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 9098 0 0 0 2539 1 0 0 20 0 1 0 71164753 49459200 10109 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 12075 10109 1184 1162 0 10684 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 52492 KiB
Current children cumulated memory: 43508 KiB

[startup+51.1133 s]
/proc/loadavg: 4.19 4.22 4.15 5/256 84283
/proc/meminfo: memFree=118965728/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=48608 memory=40692 CPUtime=50.93 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 9161 0 0 0 5092 1 0 0 20 0 1 0 71164753 49774592 10173 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 12152 10173 1184 1162 0 10761 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 52800 KiB
Current children cumulated memory: 43764 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.23 4.16 5/256 84284
/proc/meminfo: memFree=118967712/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=49004 memory=41040 CPUtime=101.93 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 9348 0 0 0 10192 1 0 0 20 0 1 0 71164753 50180096 10260 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 12251 10260 1184 1162 0 10860 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 53196 KiB
Current children cumulated memory: 44112 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/256 84286
/proc/meminfo: memFree=118950620/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=49772 memory=41228 CPUtime=161.73 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 9610 0 0 0 16172 1 0 0 20 0 1 0 71164753 50966528 10307 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 12443 10307 1184 1162 0 11052 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 53964 KiB
Current children cumulated memory: 44300 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.16 4.14 5/256 84288
/proc/meminfo: memFree=118967008/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=50156 memory=41612 CPUtime=221.52 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 9698 0 0 0 22151 1 0 0 20 0 1 0 71164753 51359744 10403 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 12539 10403 1184 1162 0 11148 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 54348 KiB

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

/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13243 0 0 0 339053 10 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3390.63 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/254 84441
/proc/meminfo: memFree=118902992/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3450.43 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13244 0 0 0 345033 10 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3450.43 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/255 84448
/proc/meminfo: memFree=118907032/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3510.22 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13246 0 0 0 351012 10 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3510.22 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 84452
/proc/meminfo: memFree=118903716/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3570.01 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13246 0 0 0 356991 10 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3570.01 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

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

# cumulated CPU time of all completed processes:  user=3599.11 s, system=0.153195 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 5/255 84452
/proc/meminfo: memFree=118903468/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3571.72 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13246 0 0 0 357162 10 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

[startup+3596.8 s]
/proc/loadavg: 4.05 4.10 4.09 3/241 84514
/proc/meminfo: memFree=127100264/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3584.45 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13247 0 0 0 358433 12 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

[startup+3603.2 s]
/proc/loadavg: 3.89 4.07 4.08 3/241 84514
/proc/meminfo: memFree=127100620/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3590.84 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13247 0 0 0 359072 12 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3590.84 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

[startup+3606.4 s]
/proc/loadavg: 3.66 4.02 4.06 2/234 84545
/proc/meminfo: memFree=127198060/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3594.01 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13247 0 0 0 359387 14 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3594.01 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

[startup+3609.6 s]
/proc/loadavg: 3.66 4.02 4.06 2/234 84545
/proc/meminfo: memFree=127198060/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3597.2 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13247 0 0 0 359706 14 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3597.2 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

[startup+3610.4 s]
/proc/loadavg: 3.66 4.02 4.06 2/234 84546
/proc/meminfo: memFree=127198172/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3598 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13247 0 0 0 359786 14 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3598 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

[startup+3611.2 s]
/proc/loadavg: 3.44 3.97 4.04 2/234 84557
/proc/meminfo: memFree=127197668/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3598.79 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13247 0 0 0 359865 14 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3598.79 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

[startup+3611.6 s]
/proc/loadavg: 3.44 3.97 4.04 2/234 84557
/proc/meminfo: memFree=127197668/131382116 swapFree=33010684/33010684
[pid=84269] ppid=84266 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84269/stat : 84269 (toulbar2.sh) S 84266 84269 82972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 71164751 4292608 768 18446744073709551615 94570739523584 94570740418117 140721864697472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94570740657168 94570740704912 94570749767680 140721864702263 140721864702439 140721864702439 140721864708041 0
/proc/84269/statm: 1048 768 704 219 0 110 0
[pid=84271] ppid=84269 vsize=103164 memory=77456 CPUtime=3599.19 cores=5,7
/proc/84271/stat : 84271 (toulbar2) R 84269 84269 82972 0 -1 4194304 13247 0 0 0 359905 14 0 0 20 0 1 0 71164753 105639936 19364 18446744073709551615 4198400 8956741 140731331290048 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 11812864 140731331295605 140731331295724 140731331295724 140731331301324 0
/proc/84271/statm: 25791 19364 1184 1162 0 24400 0
Current children cumulated CPU time: 3599.19 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 80528 KiB

Child status: 0

Real time (s): 3611.65
CPU time (s): 3599.26
CPU user time (s): 3599.11
CPU system time (s): 0.153195
CPU usage (%): 99.6569
Max. virtual memory (cumulated for all children) (KiB): 128864
Max. memory (cumulated for all children) (KiB): 80528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.11
system time used= 0.153195
maximum resident set size= 93492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13465
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= 66
involuntary context switches= 20968


# summary of solver processes directly reported to runsolver:
#   pid: 84269
#   total CPU time (s): 3599.26
#   total CPU user time (s): 3599.11
#   total CPU system time (s): 0.153195

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1822 second user time and 39.7341 second system time

The end