runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3220001-1303262245/watcher-3220001-1303262245 -o /tmp/evaluation-result-3220001-1303262245/solver-3220001-1303262245 -C 5000 -W 5000 -M 15500 HOME/EagleUP HOME/instance-3220001-1303262245.cnf 1418023759
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6443
/proc/meminfo: memFree=16701888/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=2692 CPUtime=0 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4194304 316 0 0 0 0 0 0 0 25 0 1 0 516455226 2756608 264 33554432000 134512640 134546896 4292893024 18446744073709551615 3634684 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 673 264 105 9 0 313 0
[startup+0.100846 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6443
/proc/meminfo: memFree=16701888/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=5804 CPUtime=0.09 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1177 0 0 0 9 0 0 0 25 0 1 0 516455226 5943296 1125 33554432000 134512640 134546896 4292893024 18446744073709551615 3639198 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 1451 1125 106 9 0 1091 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5804
[startup+0.200827 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6443
/proc/meminfo: memFree=16701888/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=0.19 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 19 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530560 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6892
[startup+0.300807 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6443
/proc/meminfo: memFree=16701888/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=0.29 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 29 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531463 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6892
[startup+0.700735 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6443
/proc/meminfo: memFree=16701888/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=0.69 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 69 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531400 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6892
[startup+1.50059 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6444
/proc/meminfo: memFree=16697052/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=1.49 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 149 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530381 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6892
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6444
/proc/meminfo: memFree=16696680/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=3.09 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 309 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530288 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6892
[startup+6.30067 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6444
/proc/meminfo: memFree=16696556/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=6.29 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 629 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531400 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6892
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6445
/proc/meminfo: memFree=16696420/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=12.69 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 1269 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530350 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6892
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6445
/proc/meminfo: memFree=16696296/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=25.49 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 2549 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530940 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6892
[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6446
/proc/meminfo: memFree=16696384/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=51.09 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 5109 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530550 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 6892
[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 6447
/proc/meminfo: memFree=16695628/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=102.3 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 10230 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530938 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 6892
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6449
/proc/meminfo: memFree=16695844/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=162.29 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 16229 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 3380657 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 6892
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6450
/proc/meminfo: memFree=16695676/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=222.3 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 22230 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530412 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 6892
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6452
/proc/meminfo: memFree=16695764/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=282.29 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 28229 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531256 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 6892
[startup+342.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 6453
/proc/meminfo: memFree=16695600/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=342.29 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 34229 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531351 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 6892
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6455
/proc/meminfo: memFree=16695796/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=402.3 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 40230 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530373 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 6892
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 6457
/proc/meminfo: memFree=16695524/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=462.3 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 46230 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530408 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 6892
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6458
/proc/meminfo: memFree=16695724/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=522.3 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 52230 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530439 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 6892
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6460
/proc/meminfo: memFree=16695680/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=582.3 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 58230 0 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530336 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 6892
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=16697348/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2202.38 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 220235 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530493 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2202.38
Current children cumulated vsize (KiB) 6892
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6535
/proc/meminfo: memFree=16697428/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2262.38 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 226235 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531020 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2262.38
Current children cumulated vsize (KiB) 6892
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6537
/proc/meminfo: memFree=16697372/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2322.38 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 232235 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531437 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2322.38
Current children cumulated vsize (KiB) 6892
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6539
/proc/meminfo: memFree=16697336/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2382.38 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 238235 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531392 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2382.38
Current children cumulated vsize (KiB) 6892
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6540
/proc/meminfo: memFree=16697280/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2442.38 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 244235 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531278 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2442.38
Current children cumulated vsize (KiB) 6892
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6542
/proc/meminfo: memFree=16697476/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2502.38 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 250235 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530462 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2502.38
Current children cumulated vsize (KiB) 6892
[startup+2562.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6544
/proc/meminfo: memFree=16697068/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2562.39 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 256236 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531351 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2562.39
Current children cumulated vsize (KiB) 6892
[startup+2622.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6554
/proc/meminfo: memFree=16696896/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2622.39 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 262236 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531278 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2622.39
Current children cumulated vsize (KiB) 6892
[startup+2682.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 7026
/proc/meminfo: memFree=16692328/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2682.38 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 268235 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531351 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2682.38
Current children cumulated vsize (KiB) 6892
[startup+2742.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 7027
/proc/meminfo: memFree=16696740/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2742.39 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 274236 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531304 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2742.39
Current children cumulated vsize (KiB) 6892
[startup+2802.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 7029
/proc/meminfo: memFree=16696940/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2802.38 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 280235 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531463 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2802.38
Current children cumulated vsize (KiB) 6892
[startup+2862.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 7031
/proc/meminfo: memFree=16696764/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2862.39 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 286236 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530319 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2862.39
Current children cumulated vsize (KiB) 6892
[startup+2922.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 7032
/proc/meminfo: memFree=16696848/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2922.39 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 292236 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531349 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2922.39
Current children cumulated vsize (KiB) 6892
[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7034
/proc/meminfo: memFree=16696688/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=2982.39 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 298236 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531268 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 2982.39
Current children cumulated vsize (KiB) 6892
[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7035
/proc/meminfo: memFree=16697016/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=3042.39 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 304236 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531266 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 3042.39
Current children cumulated vsize (KiB) 6892
Solver just ended. Dumping a history of the last processes samples
[startup+3043.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7035
/proc/meminfo: memFree=16697016/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=3043.29 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 304326 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531256 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 3043.29
Current children cumulated vsize (KiB) 6892
[startup+3044 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7035
/proc/meminfo: memFree=16697016/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=3044.09 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 304406 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531400 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 3044.09
Current children cumulated vsize (KiB) 6892
[startup+3044.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7035
/proc/meminfo: memFree=16697016/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=3044.49 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 304446 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134530377 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 3044.49
Current children cumulated vsize (KiB) 6892
[startup+3044.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7035
/proc/meminfo: memFree=16697016/32950928 swapFree=67111524/67111528
[pid=6443] ppid=6441 vsize=6892 CPUtime=3044.69 cores=0,2,4,6
/proc/6443/stat : 6443 (EagleUP) R 6441 6443 5484 0 -1 4202496 1450 0 0 0 304466 3 0 0 25 0 1 0 516455226 7057408 1396 33554432000 134512640 134546896 4292893024 18446744073709551615 134531268 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6443/statm: 1723 1396 114 9 0 1363 0
Current children cumulated CPU time (s) 3044.69
Current children cumulated vsize (KiB) 6892
Child status: 0
Real time (s): 3044.68
CPU time (s): 3044.78
CPU user time (s): 3044.75
CPU system time (s): 0.033994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 6892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3044.75
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1451
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= 5
involuntary context switches= 7748
runsolver used 4.6283 second user time and 9.2146 second system time
The end