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: 63665 MiB (62934 MiB free)
  memory of node 1: 64507 MiB (64008 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488830-1751348337/watcher-4488830-1751348337 -o /tmp/evaluation-result-4488830-1751348337/solver-4488830-1751348337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751348337-50533 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4488830-1751348337.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
solver pid=50578, runsolver pid=50572
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 1.67 3.39 3.84 5/270 50595
/proc/meminfo: memFree=129872416/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=41008 memory=31872 CPUtime=0.08 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 7056 0 0 0 7 1 0 0 20 0 1 0 50511468 41992192 7968 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 10252 7968 1024 1162 0 8861 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 45200 KiB
Current children cumulated memory: 34816 KiB

[startup+0.20588 s]*
/proc/loadavg: 1.67 3.39 3.84 5/270 50595
/proc/meminfo: memFree=129872556/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=41448 memory=33408 CPUtime=0.19 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 7287 0 0 0 18 1 0 0 20 0 1 0 50511468 42442752 8352 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 10362 8352 1184 1162 0 8971 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45640 KiB
Current children cumulated memory: 36352 KiB

[startup+0.305577 s]*
/proc/loadavg: 1.67 3.39 3.84 5/270 50595
/proc/meminfo: memFree=129872556/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=41608 memory=33408 CPUtime=0.29 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 7303 0 0 0 28 1 0 0 20 0 1 0 50511468 42606592 8352 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 10402 8352 1184 1162 0 9011 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45800 KiB
Current children cumulated memory: 36352 KiB

[startup+0.700153 s]
/proc/loadavg: 1.67 3.39 3.84 5/270 50595
/proc/meminfo: memFree=129872556/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=41752 memory=33664 CPUtime=0.68 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 7357 0 0 0 67 1 0 0 20 0 1 0 50511468 42754048 8416 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 10438 8416 1184 1162 0 9047 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45944 KiB
Current children cumulated memory: 36608 KiB

[startup+1.50016 s]
/proc/loadavg: 1.67 3.39 3.84 5/270 50595
/proc/meminfo: memFree=129872812/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=42108 memory=34048 CPUtime=1.47 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 7470 0 0 0 146 1 0 0 20 0 1 0 50511468 43118592 8512 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 10527 8512 1184 1162 0 9136 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 46300 KiB
Current children cumulated memory: 36992 KiB

[startup+3.1053 s]
/proc/loadavg: 1.85 3.40 3.84 5/270 50595
/proc/meminfo: memFree=129872984/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=42496 memory=34304 CPUtime=3.07 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 7564 0 0 0 306 1 0 0 20 0 1 0 50511468 43515904 8576 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 10624 8576 1184 1162 0 9233 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 46688 KiB
Current children cumulated memory: 37248 KiB

[startup+6.30014 s]
/proc/loadavg: 1.85 3.40 3.84 5/271 50597
/proc/meminfo: memFree=129872568/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=42880 memory=34396 CPUtime=6.26 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 7695 0 0 0 625 1 0 0 20 0 1 0 50511468 43909120 8599 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 10720 8599 1184 1162 0 9329 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47072 KiB
Current children cumulated memory: 37340 KiB

[startup+12.7001 s]
/proc/loadavg: 2.26 3.44 3.85 5/271 50597
/proc/meminfo: memFree=129871852/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=44032 memory=35188 CPUtime=12.64 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 8164 0 0 0 1263 1 0 0 20 0 1 0 50511468 45088768 8797 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 11008 8797 1184 1162 0 9617 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 38132 KiB

[startup+25.5001 s]
/proc/loadavg: 2.53 3.45 3.85 5/271 50597
/proc/meminfo: memFree=129867096/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=46336 memory=37372 CPUtime=25.4 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 8781 0 0 0 2538 2 0 0 20 0 1 0 50511468 47448064 9343 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 11584 9343 1184 1162 0 10193 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 50528 KiB
Current children cumulated memory: 40316 KiB

[startup+51.1053 s]
/proc/loadavg: 3.03 3.50 3.86 5/270 50597
/proc/meminfo: memFree=129863676/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=54016 memory=44260 CPUtime=50.93 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 10380 0 0 0 5090 3 0 0 20 0 1 0 50511468 55312384 11065 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 13504 11065 1184 1162 0 12113 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 58208 KiB
Current children cumulated memory: 47204 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 3.62 3.88 5/270 50599
/proc/meminfo: memFree=129808908/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=60160 memory=52856 CPUtime=102 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 10955 0 0 0 10197 3 0 0 20 0 1 0 50511468 61603840 13214 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 15040 13214 1184 1162 0 13649 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 64352 KiB
Current children cumulated memory: 55800 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.71 3.89 5/270 50601
/proc/meminfo: memFree=129760736/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=66304 memory=56028 CPUtime=161.86 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 11278 0 0 0 16183 3 0 0 20 0 1 0 50511468 67895296 14007 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 16576 14007 1184 1162 0 15185 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 70496 KiB
Current children cumulated memory: 58972 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.78 3.91 5/269 50603
/proc/meminfo: memFree=129710220/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=66304 memory=60136 CPUtime=221.73 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 11300 0 0 0 22169 4 0 0 20 0 1 0 50511468 67895296 15034 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 16576 15034 1184 1162 0 15185 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 70496 KiB

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

/proc/loadavg: 4.34 4.22 4.09 5/267 50751
/proc/meminfo: memFree=128932020/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=435800 memory=278476 CPUtime=3094.99 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 15497 0 0 0 309471 28 0 0 20 0 1 0 50511468 446259200 69619 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 108950 69619 1184 1162 0 107559 0
Current children cumulated CPU time: 3094.99 s
Current children cumulated vsize: 439992 KiB
Current children cumulated memory: 281420 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.20 4.10 5/267 50753
/proc/meminfo: memFree=128924696/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=439896 memory=284652 CPUtime=3154.85 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 16023 0 0 0 315457 28 0 0 20 0 1 0 50511468 450453504 71163 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 109974 71163 1184 1162 0 108583 0
Current children cumulated CPU time: 3154.85 s
Current children cumulated vsize: 444088 KiB
Current children cumulated memory: 287596 KiB

[startup+3222.3 s]
/proc/loadavg: 4.76 4.37 4.16 5/268 50756
/proc/meminfo: memFree=128916196/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=439896 memory=288788 CPUtime=3214.72 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 16033 0 0 0 321443 29 0 0 20 0 1 0 50511468 450453504 72197 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 109974 72197 1184 1162 0 108583 0
Current children cumulated CPU time: 3214.72 s
Current children cumulated vsize: 444088 KiB
Current children cumulated memory: 291732 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.31 4.15 5/268 50760
/proc/meminfo: memFree=128907456/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=439896 memory=294988 CPUtime=3274.58 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 16046 0 0 0 327429 29 0 0 20 0 1 0 50511468 450453504 73747 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 109974 73747 1184 1162 0 108583 0
Current children cumulated CPU time: 3274.58 s
Current children cumulated vsize: 444088 KiB
Current children cumulated memory: 297932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.28 4.15 5/268 50762
/proc/meminfo: memFree=128889340/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=439896 memory=301172 CPUtime=3334.43 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 16083 0 0 0 333414 29 0 0 20 0 1 0 50511468 450453504 75293 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 109974 75293 1184 1162 0 108583 0
Current children cumulated CPU time: 3334.43 s
Current children cumulated vsize: 444088 KiB
Current children cumulated memory: 304116 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.25 4.14 5/268 50769
/proc/meminfo: memFree=128880084/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=439896 memory=305300 CPUtime=3394.3 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 16122 0 0 0 339400 30 0 0 20 0 1 0 50511468 450453504 76325 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 109974 76325 1184 1162 0 108583 0
Current children cumulated CPU time: 3394.3 s
Current children cumulated vsize: 444088 KiB
Current children cumulated memory: 308244 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.23 4.14 5/268 50771
/proc/meminfo: memFree=128864640/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=439896 memory=309436 CPUtime=3454.16 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 16188 0 0 0 345386 30 0 0 20 0 1 0 50511468 450453504 77359 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 109974 77359 1184 1162 0 108583 0
Current children cumulated CPU time: 3454.16 s
Current children cumulated vsize: 444088 KiB
Current children cumulated memory: 312380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.20 4.14 5/267 50773
/proc/meminfo: memFree=128819944/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=439896 memory=313564 CPUtime=3514.01 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 16247 0 0 0 351371 30 0 0 20 0 1 0 50511468 450453504 78391 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 109974 78391 1184 1162 0 108583 0
Current children cumulated CPU time: 3514.01 s
Current children cumulated vsize: 444088 KiB
Current children cumulated memory: 316508 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.18 4.13 5/268 50776
/proc/meminfo: memFree=128811464/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=439896 memory=317700 CPUtime=3573.87 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 16289 0 0 0 357357 30 0 0 20 0 1 0 50511468 450453504 79425 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 109974 79425 1184 1162 0 108583 0
Current children cumulated CPU time: 3573.87 s
Current children cumulated vsize: 444088 KiB
Current children cumulated memory: 320644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.11 4.17 4.13 5/268 50777
/proc/meminfo: memFree=128803880/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=439896 memory=319764 CPUtime=3600.02 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 16297 0 0 0 359971 31 0 0 20 0 1 0 50511468 450453504 79941 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 109974 79941 1184 1162 0 108583 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 444088 KiB
Current children cumulated memory: 322708 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.71 s, system=0.314896 s

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

[startup+3608.5 s]
/proc/loadavg: 4.11 4.17 4.13 5/268 50777
/proc/meminfo: memFree=128803880/131249996 swapFree=33010416/33010684
[pid=50578] ppid=50572 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50578/stat : 50578 (toulbar2.sh) S 50572 50578 50522 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50511467 4292608 736 18446744073709551615 94249187323904 94249188218437 140722264947424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94249188457488 94249188505232 94249213243392 140722264951095 140722264951271 140722264951271 140722264956873 0
/proc/50578/statm: 1048 736 672 219 0 110 0
[pid=50584] ppid=50578 vsize=439896 memory=319764 CPUtime=3600.02 cores=4,6
/proc/50584/stat : 50584 (toulbar2) R 50578 50578 50522 0 -1 4194304 16297 0 0 0 359971 31 0 0 20 0 1 0 50511468 450453504 79941 18446744073709551615 4198400 8956741 140730952992800 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 28680192 140730953001333 140730953001452 140730953001452 140730953007052 0
/proc/50584/statm: 109974 79941 1184 1162 0 108583 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 444088 KiB
Current children cumulated memory: 322708 KiB

Child status: 0

Real time (s): 3608.5
CPU time (s): 3600.03
CPU user time (s): 3599.71
CPU system time (s): 0.314896
CPU usage (%): 99.7652
Max. virtual memory (cumulated for all children) (KiB): 538300
Max. memory (cumulated for all children) (KiB): 338592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.71
system time used= 0.314896
maximum resident set size= 354080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16514
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= 125
involuntary context switches= 2537


# summary of solver processes directly reported to runsolver:
#   pid: 50578
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.71
#   total CPU system time (s): 0.314896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27742 second user time and 14.3297 second system time

The end