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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100072 s]*
/proc/loadavg: 4.67 4.55 4.31 6/255 89240
/proc/meminfo: memFree=129977308/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=23272 memory=14080 CPUtime=0.09 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 2619 0 0 0 9 0 0 0 20 0 1 0 77877935 23830528 3520 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 5818 3520 1024 1162 0 4427 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27464 KiB
Current children cumulated memory: 17024 KiB

[startup+0.213593 s]*
/proc/loadavg: 4.67 4.55 4.31 5/255 89240
/proc/meminfo: memFree=129977308/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=23284 memory=14464 CPUtime=0.2 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 2713 0 0 0 20 0 0 0 20 0 1 0 77877935 23842816 3616 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 5821 3616 1024 1162 0 4430 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27476 KiB
Current children cumulated memory: 17408 KiB

[startup+0.313536 s]*
/proc/loadavg: 4.67 4.55 4.31 5/255 89240
/proc/meminfo: memFree=129977308/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=23596 memory=14976 CPUtime=0.3 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 2841 0 0 0 30 0 0 0 20 0 1 0 77877935 24162304 3744 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 5899 3744 1024 1162 0 4508 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27788 KiB
Current children cumulated memory: 17920 KiB

[startup+0.700344 s]
/proc/loadavg: 4.67 4.55 4.31 5/255 89240
/proc/meminfo: memFree=129975500/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=24052 memory=16000 CPUtime=0.67 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 3007 0 0 0 67 0 0 0 20 0 1 0 77877935 24629248 4000 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 6013 4000 1152 1162 0 4622 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 28244 KiB
Current children cumulated memory: 18944 KiB

[startup+1.50034 s]
/proc/loadavg: 4.67 4.55 4.31 5/255 89240
/proc/meminfo: memFree=129975252/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=25344 memory=17280 CPUtime=1.47 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 3306 0 0 0 147 0 0 0 20 0 1 0 77877935 25952256 4320 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 6336 4320 1152 1162 0 4945 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 20224 KiB

[startup+3.11225 s]
/proc/loadavg: 4.62 4.54 4.31 5/255 89240
/proc/meminfo: memFree=129975848/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=25344 memory=17280 CPUtime=3.07 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 3324 0 0 0 307 0 0 0 20 0 1 0 77877935 25952256 4320 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 6336 4320 1152 1162 0 4945 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 20224 KiB

[startup+6.30032 s]
/proc/loadavg: 4.62 4.54 4.31 5/255 89240
/proc/meminfo: memFree=129975848/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=25344 memory=17408 CPUtime=6.25 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 3333 0 0 0 625 0 0 0 20 0 1 0 77877935 25952256 4352 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 6336 4352 1152 1162 0 4945 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 29536 KiB
Current children cumulated memory: 20352 KiB

[startup+12.7003 s]
/proc/loadavg: 4.52 4.52 4.31 5/255 89241
/proc/meminfo: memFree=129976072/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=25476 memory=17408 CPUtime=12.64 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 3357 0 0 0 1264 0 0 0 20 0 1 0 77877935 26087424 4352 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 6369 4352 1152 1162 0 4978 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 29668 KiB
Current children cumulated memory: 20352 KiB

[startup+25.5003 s]
/proc/loadavg: 4.44 4.50 4.30 5/255 89241
/proc/meminfo: memFree=129970528/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=25668 memory=17664 CPUtime=25.4 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 3421 0 0 0 2540 0 0 0 20 0 1 0 77877935 26284032 4416 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 6417 4416 1152 1162 0 5026 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 29860 KiB
Current children cumulated memory: 20608 KiB

[startup+51.1125 s]
/proc/loadavg: 4.35 4.48 4.30 5/255 89241
/proc/meminfo: memFree=129948588/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=25668 memory=17664 CPUtime=50.94 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 3453 0 0 0 5094 0 0 0 20 0 1 0 77877935 26284032 4416 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 6417 4416 1152 1162 0 5026 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 29860 KiB
Current children cumulated memory: 20608 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.41 4.28 5/255 89243
/proc/meminfo: memFree=129915644/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=26188 memory=22588 CPUtime=101.98 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 3618 0 0 0 10197 1 0 0 20 0 1 0 77877935 26816512 5647 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 6547 5647 1152 1162 0 5156 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 30380 KiB
Current children cumulated memory: 25532 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.35 4.27 5/255 89245
/proc/meminfo: memFree=129902944/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=26188 memory=24252 CPUtime=161.81 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 3695 0 0 0 16180 1 0 0 20 0 1 0 77877935 26816512 6063 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 6547 6063 1152 1162 0 5156 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 30380 KiB
Current children cumulated memory: 27196 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.31 4.26 5/254 89249
/proc/meminfo: memFree=129925756/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=26956 memory=24528 CPUtime=221.62 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 3949 0 0 0 22161 1 0 0 20 0 1 0 77877935 27602944 6132 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 6739 6132 1152 1162 0 5348 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 31148 KiB

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

/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5720 0 0 0 345127 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3451.34 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/254 89496
/proc/meminfo: memFree=129912604/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3511.16 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5724 0 0 0 351109 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3511.16 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/254 89503
/proc/meminfo: memFree=129917076/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3570.96 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5725 0 0 0 357089 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3570.96 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

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

# cumulated CPU time of all completed processes:  user=3599.42 s, system=0.078112 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.11 5/254 89503
/proc/meminfo: memFree=129917092/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3572.67 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5725 0 0 0 357260 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.11 5/254 89503
/proc/meminfo: memFree=129917196/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3585.42 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5725 0 0 0 358535 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3585.42 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

[startup+3603.2 s]
/proc/loadavg: 4.08 4.11 4.11 5/254 89506
/proc/meminfo: memFree=129917008/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3591.8 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5725 0 0 0 359173 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3591.8 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

[startup+3606.4 s]
/proc/loadavg: 4.08 4.11 4.11 5/254 89506
/proc/meminfo: memFree=129917056/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3594.99 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5725 0 0 0 359492 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3594.99 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

[startup+3608 s]*
/proc/loadavg: 4.15 4.12 4.11 5/254 89506
/proc/meminfo: memFree=129917056/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3596.6 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5725 0 0 0 359653 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3596.6 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

[startup+3609.6 s]
/proc/loadavg: 4.15 4.12 4.11 4/244 89518
/proc/meminfo: memFree=129965256/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3598.18 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5725 0 0 0 359811 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3598.18 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

[startup+3610.4 s]
/proc/loadavg: 4.15 4.12 4.11 5/248 89530
/proc/meminfo: memFree=129958260/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3598.98 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5725 0 0 0 359891 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3598.98 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

[startup+3610.8 s]
/proc/loadavg: 4.15 4.12 4.11 5/248 89530
/proc/meminfo: memFree=129958260/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3599.37 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5725 0 0 0 359930 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3599.37 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

[startup+3610.9 s]
/proc/loadavg: 4.15 4.12 4.11 5/248 89530
/proc/meminfo: memFree=129958260/131382112 swapFree=33002444/33010684
[pid=89238] ppid=89235 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89238/stat : 89238 (toulbar2.sh) S 89235 89238 88789 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 77877934 4292608 736 18446744073709551615 94633182388224 94633183282757 140720960239424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94633183521808 94633183569552 94633193582592 140720960244021 140720960244197 140720960244197 140720960249801 0
/proc/89238/statm: 1048 736 672 219 0 110 0
[pid=89240] ppid=89238 vsize=50304 memory=38448 CPUtime=3599.47 cores=4,6
/proc/89240/stat : 89240 (toulbar2) R 89238 89238 88789 0 -1 4194304 5725 0 0 0 359940 7 0 0 20 0 1 0 77877935 51511296 9612 18446744073709551615 4198400 8956741 140724850331664 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 10436608 140724850338163 140724850338282 140724850338282 140724850343884 0
/proc/89240/statm: 12576 9612 1152 1162 0 11185 0
Current children cumulated CPU time: 3599.47 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 41392 KiB

Child status: 0

Real time (s): 3610.91
CPU time (s): 3599.5
CPU user time (s): 3599.42
CPU system time (s): 0.078112
CPU usage (%): 99.6839
Max. virtual memory (cumulated for all children) (KiB): 54496
Max. memory (cumulated for all children) (KiB): 41392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.42
system time used= 0.078112
maximum resident set size= 48692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5941
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= 75
involuntary context switches= 19735


# summary of solver processes directly reported to runsolver:
#   pid: 89238
#   total CPU time (s): 3599.5
#   total CPU user time (s): 3599.42
#   total CPU system time (s): 0.078112

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8949 second user time and 32.5068 second system time

The end