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-3276377-1303666371/watcher-3276377-1303666371 -o /tmp/evaluation-result-3276377-1303666371/solver-3276377-1303666371 -C 5000 -W 5100 -M 15500 ppfolio --nbcore=1 HOME/instance-3276377-1303666371.cnf
running on 4 cores: 1,3,5,7
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): 5100 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: 0.78 0.95 1.13 4/180 1590
/proc/meminfo: memFree=16875312/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) R 1588 1590 1519 0 -1 4202496 471 0 0 0 0 0 0 0 25 0 1 0 478236788 18763776 392 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473787797 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/1590/statm: 4581 392 343 23 0 91 0
[startup+0.105766 s]
/proc/loadavg: 0.78 0.95 1.13 4/180 1590
/proc/meminfo: memFree=16875312/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 498 0 0 0 0 0 0 0 25 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4338691304318796040 0 0 17 1 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.20075 s]
/proc/loadavg: 0.78 0.95 1.13 4/180 1590
/proc/meminfo: memFree=16875312/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 24 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556025028977623040 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300736 s]
/proc/loadavg: 0.78 0.95 1.13 4/180 1590
/proc/meminfo: memFree=16875312/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 24 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556025028977623040 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700603 s]
/proc/loadavg: 0.78 0.95 1.13 4/180 1590
/proc/meminfo: memFree=16875312/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 21 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556025303855529984 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50052 s]
/proc/loadavg: 1.28 1.05 1.16 7/184 1594
/proc/meminfo: memFree=16789720/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 21 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556025303855529984 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=66464 CPUtime=0.51 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 10993 0 0 0 51 0 0 0 25 0 1 0 478236789 68059136 10879 33554432000 4194304 4587354 140736495020704 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 16616 10879 314 96 0 13178 0
[pid=1592] ppid=1590 vsize=34656 CPUtime=0.4 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 7469 0 0 0 40 0 0 0 25 0 1 0 478236789 35487744 5585 33554432000 4194304 4785740 140733473775312 18446744073709551615 4495623 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 8664 5585 313 145 0 5709 0
[pid=1593] ppid=1590 vsize=467572 CPUtime=0.55 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 5467 0 0 0 54 1 0 0 25 0 1 0 478236789 478793728 5364 33554432000 134512640 134534564 4293238064 18446744073709551615 134524727 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 116893 5364 91 6 0 115559 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 587016
[startup+3.10124 s]
/proc/loadavg: 1.28 1.05 1.16 7/184 1594
/proc/meminfo: memFree=16787736/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=86356 CPUtime=1.01 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 16761 0 0 0 100 1 0 0 25 0 1 0 478236789 88428544 14683 33554432000 4194304 4587354 140736495020704 18446744073709551615 4236455 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 21589 14683 326 96 0 18151 0
[pid=1592] ppid=1590 vsize=34656 CPUtime=0.96 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 7469 0 0 0 96 0 0 0 25 0 1 0 478236789 35487744 5585 33554432000 4194304 4785740 140733473775312 18446744073709551615 4495584 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 8664 5585 313 145 0 5709 0
[pid=1593] ppid=1590 vsize=467572 CPUtime=1.1 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 5467 0 0 0 109 1 0 0 25 0 1 0 478236789 478793728 5364 33554432000 134512640 134534564 4293238064 18446744073709551615 134524500 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 116893 5364 91 6 0 115559 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 606908
[startup+6.30062 s]
/proc/loadavg: 1.65 1.13 1.19 7/184 1594
/proc/meminfo: memFree=16771120/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556026128489250816 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=86356 CPUtime=2.11 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 17924 0 0 0 210 1 0 0 25 0 1 0 478236789 88428544 15837 33554432000 4194304 4587354 140736495020704 18446744073709551615 4238606 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 21589 15837 326 96 0 18151 0
[pid=1592] ppid=1590 vsize=35844 CPUtime=2 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 7784 0 0 0 200 0 0 0 25 0 1 0 478236789 36704256 5900 33554432000 4194304 4785740 140733473775312 18446744073709551615 4416864 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 8961 5900 318 145 0 6006 0
[pid=1593] ppid=1590 vsize=467572 CPUtime=2.15 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 5467 0 0 0 214 1 0 0 25 0 1 0 478236789 478793728 5364 33554432000 134512640 134534564 4293238064 18446744073709551615 134524500 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 116893 5364 91 6 0 115559 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 608096
[startup+12.7006 s]
/proc/loadavg: 2.00 1.21 1.21 7/184 1594
/proc/meminfo: memFree=16732564/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556025028977623040 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2159344 CPUtime=4.22 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 20922 0 0 0 420 2 0 0 25 0 1 0 478236789 2211168256 16362 33554432000 4194304 4587354 140736495020704 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 539836 16362 337 96 0 536398 0
[pid=1592] ppid=1590 vsize=41716 CPUtime=4.15 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 10289 0 0 0 415 0 0 0 25 0 1 0 478236789 42717184 7752 33554432000 4194304 4785740 140733473775312 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 10429 7752 340 145 0 7474 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=4.29 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 428 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 2693424
[startup+25.5012 s]
/proc/loadavg: 2.89 1.45 1.29 7/184 1594
/proc/meminfo: memFree=16691540/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556025303855529984 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2159344 CPUtime=8.51 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 20922 0 0 0 849 2 0 0 25 0 1 0 478236789 2211168256 16362 33554432000 4194304 4587354 140736495020704 18446744073709551615 4365225 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 539836 16362 337 96 0 536398 0
[pid=1592] ppid=1590 vsize=72084 CPUtime=8.4 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 17792 0 0 0 838 2 0 0 25 0 1 0 478236789 73814016 15255 33554432000 4194304 4785740 140733473775312 18446744073709551615 4549590 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 18021 15255 340 145 0 15066 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=8.55 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 854 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134528737 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 2723792
[startup+51.1007 s]
/proc/loadavg: 3.95 1.81 1.41 7/184 1595
/proc/meminfo: memFree=16597600/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556025716172390400 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2165116 CPUtime=17.01 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 21422 0 0 0 1699 2 0 0 25 0 1 0 478236789 2217078784 16862 33554432000 4194304 4587354 140736495020704 18446744073709551615 4365336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 541279 16862 337 96 0 537841 0
[pid=1592] ppid=1590 vsize=121968 CPUtime=16.96 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 30063 0 0 0 1691 5 0 0 25 0 1 0 478236789 124895232 27526 33554432000 4194304 4785740 140733473775312 18446744073709551615 274473628357 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 30492 27526 340 145 0 27537 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=17.09 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 1708 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 2779448
[startup+102.301 s]
/proc/loadavg: 5.11 2.45 1.65 7/184 1596
/proc/meminfo: memFree=16417056/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556025303855529984 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2268524 CPUtime=34.11 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 35485 0 0 0 3407 4 0 0 25 0 1 0 478236789 2322968576 24618 33554432000 4194304 4587354 140736495020704 18446744073709551615 4365356 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 567131 24618 337 96 0 563693 0
[pid=1592] ppid=1590 vsize=181396 CPUtime=34 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 44572 0 0 0 3392 8 0 0 25 0 1 0 478236789 185749504 42035 33554432000 4194304 4785740 140733473775312 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 45349 42035 340 145 0 42394 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=34.16 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 3415 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2942284
[startup+162.301 s]
/proc/loadavg: 5.67 3.10 1.92 7/184 1598
/proc/meminfo: memFree=16332836/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556025578733436928 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2292176 CPUtime=54.1 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 42488 0 0 0 5405 5 0 0 25 0 1 0 478236789 2347188224 24579 33554432000 4194304 4587354 140736495020704 18446744073709551615 4365308 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 573044 24579 337 96 0 569606 0
[pid=1592] ppid=1590 vsize=190432 CPUtime=53.99 cores=1
################
# More data... #
################
/proc/1592/statm: 107706 101302 340 145 0 104751 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=634.17 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 63416 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 3355024
[startup+1962.3 s]
/proc/loadavg: 6.00 6.00 5.39 7/184 1658
/proc/meminfo: memFree=15131576/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556024479221809152 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2446700 CPUtime=654.11 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 242925 0 0 0 65370 41 0 0 25 0 1 0 478236789 2505420800 64233 33554432000 4194304 4587354 140736495020704 18446744073709551615 4238595 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 611675 64233 337 96 0 608237 0
[pid=1592] ppid=1590 vsize=439968 CPUtime=654.01 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 105924 0 0 0 65377 24 0 0 25 0 1 0 478236789 450527232 103387 33554432000 4194304 4785740 140733473775312 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 109992 103387 340 145 0 107037 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=654.18 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 65417 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134528944 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 3379032
Solver just ended. Dumping a history of the last processes samples
[startup+1971.2 s]
/proc/loadavg: 6.00 6.00 5.39 7/184 1658
/proc/meminfo: memFree=15163304/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556024616660762624 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2446700 CPUtime=657.1 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 242925 0 0 0 65669 41 0 0 25 0 1 0 478236789 2505420800 64233 33554432000 4194304 4587354 140736495020704 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 611675 64233 337 96 0 608237 0
[pid=1592] ppid=1590 vsize=442100 CPUtime=657.01 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 106413 0 0 0 65677 24 0 0 25 0 1 0 478236789 452710400 103876 33554432000 4194304 4785740 140733473775312 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 110525 103876 340 145 0 107570 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=657.1 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 65709 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 1971.21
Current children cumulated vsize (KiB) 3381164
[startup+1984 s]
/proc/loadavg: 6.00 6.00 5.40 7/184 1658
/proc/meminfo: memFree=15148908/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556024616660762624 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2446700 CPUtime=661.32 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 244807 0 0 0 66090 42 0 0 25 0 1 0 478236789 2505420800 66098 33554432000 4194304 4587354 140736495020704 18446744073709551615 4238692 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 611675 66098 337 96 0 608237 0
[pid=1592] ppid=1590 vsize=443808 CPUtime=661.29 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 106811 0 0 0 66105 24 0 0 25 0 1 0 478236789 454459392 104274 33554432000 4194304 4785740 140733473775312 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 110952 104274 340 145 0 107997 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=661.39 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 66138 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 1984
Current children cumulated vsize (KiB) 3382872
[startup+1996.8 s]
/proc/loadavg: 6.00 6.00 5.41 7/184 1659
/proc/meminfo: memFree=15142704/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556024616660762624 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2446700 CPUtime=665.61 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 246765 0 0 0 66519 42 0 0 25 0 1 0 478236789 2505420800 68028 33554432000 4194304 4587354 140736495020704 18446744073709551615 4232137 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 611675 68028 337 96 0 608237 0
[pid=1592] ppid=1590 vsize=447224 CPUtime=665.5 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 107584 0 0 0 66526 24 0 0 25 0 1 0 478236789 457957376 105047 33554432000 4194304 4785740 140733473775312 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 111806 105047 340 145 0 108851 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=665.68 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 66567 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134530339 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 1996.79
Current children cumulated vsize (KiB) 3386288
[startup+2003.21 s]
/proc/loadavg: 6.00 6.00 5.41 7/184 1659
/proc/meminfo: memFree=15153480/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556024616660762624 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2459192 CPUtime=667.71 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 246766 0 0 0 66729 42 0 0 25 0 1 0 478236789 2518212608 64233 33554432000 4194304 4587354 140736495020704 18446744073709551615 4243448 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 614798 64233 337 96 0 611360 0
[pid=1592] ppid=1590 vsize=447224 CPUtime=667.69 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 107591 0 0 0 66745 24 0 0 25 0 1 0 478236789 457957376 105054 33554432000 4194304 4785740 140733473775312 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 111806 105054 340 145 0 108851 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=667.79 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 66778 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 2003.19
Current children cumulated vsize (KiB) 3398780
[startup+2006.4 s]
/proc/loadavg: 6.00 6.00 5.41 7/184 1659
/proc/meminfo: memFree=15148768/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556024616660762624 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2459192 CPUtime=668.81 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 246766 0 0 0 66839 42 0 0 25 0 1 0 478236789 2518212608 64233 33554432000 4194304 4587354 140736495020704 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 614798 64233 337 96 0 611360 0
[pid=1592] ppid=1590 vsize=447508 CPUtime=668.7 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 107646 0 0 0 66846 24 0 0 25 0 1 0 478236789 458248192 105109 33554432000 4194304 4785740 140733473775312 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 111877 105109 340 145 0 108922 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=668.88 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 66887 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 2006.39
Current children cumulated vsize (KiB) 3399064
[startup+2007.2 s]
/proc/loadavg: 6.00 6.00 5.41 7/184 1659
/proc/meminfo: memFree=15148768/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556024616660762624 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2459192 CPUtime=669.1 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 246766 0 0 0 66868 42 0 0 25 0 1 0 478236789 2518212608 64233 33554432000 4194304 4587354 140736495020704 18446744073709551615 4244042 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 614798 64233 337 96 0 611360 0
[pid=1592] ppid=1590 vsize=447508 CPUtime=669 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 107646 0 0 0 66876 24 0 0 25 0 1 0 478236789 458248192 105109 33554432000 4194304 4785740 140733473775312 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 111877 105109 340 145 0 108922 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=669.09 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 66908 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 2007.19
Current children cumulated vsize (KiB) 3399064
[startup+2008 s]
/proc/loadavg: 6.00 6.00 5.41 7/184 1659
/proc/meminfo: memFree=15155588/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4556024616660762624 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2459192 CPUtime=669.31 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 246766 0 0 0 66889 42 0 0 25 0 1 0 478236789 2518212608 64233 33554432000 4194304 4587354 140736495020704 18446744073709551615 4238578 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 614798 64233 337 96 0 611360 0
[pid=1592] ppid=1590 vsize=448148 CPUtime=669.29 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4202496 107769 0 0 0 66905 24 0 0 25 0 1 0 478236789 458903552 105232 33554432000 4194304 4785740 140733473775312 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1592/statm: 112037 105232 340 145 0 109082 0
[pid=1593] ppid=1590 vsize=474040 CPUtime=669.39 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202496 7901 0 0 0 66938 1 0 0 25 0 1 0 478236789 485416960 7798 33554432000 134512640 134534564 4293238064 18446744073709551615 134528661 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1593/statm: 118510 7798 95 6 0 117176 0
Current children cumulated CPU time (s) 2007.99
Current children cumulated vsize (KiB) 3399704
[startup+2008.2 s]
/proc/loadavg: 6.00 6.00 5.41 7/184 1659
/proc/meminfo: memFree=15155588/32950928 swapFree=67111528/67111528
[pid=1590] ppid=1588 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (ppfolio) S 1588 1590 1519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 478236788 18763776 394 33554432000 4194304 4287625 140736897747856 18446744073709551615 274473987599 0 0 4096 65536 4332418727921319935 0 0 17 3 0 0 0
/proc/1590/statm: 4581 394 345 23 0 91 0
[pid=1591] ppid=1590 vsize=2459192 CPUtime=669.41 cores=1
/proc/1591/stat : 1591 (cryptominisat) R 1590 1590 1519 0 -1 4202496 246766 0 0 0 66899 42 0 0 25 0 1 0 478236789 2518212608 64233 33554432000 4194304 4587354 140736495020704 18446744073709551615 4241151 256 0 4096 2 0 0 0 17 1 0 0 0
/proc/1591/statm: 614798 64233 337 96 0 611360 0
[pid=1592] ppid=1590 vsize=0 CPUtime=669.31 cores=1
/proc/1592/stat : 1592 (clasp) R 1590 1590 1519 0 -1 4203524 107769 0 0 0 66906 25 0 0 25 0 1 0 478236789 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/1592/statm: 0 0 0 0 0 0 0
[pid=1593] ppid=1590 vsize=0 CPUtime=669.47 cores=1
/proc/1593/stat : 1593 (TNM) R 1590 1590 1519 0 -1 4202500 7920 0 0 0 66946 1 0 0 25 0 1 0 478236789 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2008.19
Current children cumulated vsize (KiB) 2477516
Child status: 0
Real time (s): 2008.22
CPU time (s): 2008.25
CPU user time (s): 2007.52
CPU system time (s): 0.727889
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 5559704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2007.52
system time used= 0.727889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362973
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= 245
involuntary context switches= 23512
runsolver used 3.17752 second user time and 7.77882 second system time
The end
Begin job on node125 at 2011-04-24 19:32:51
IDJOB=3276377
IDBENCH=88221
IDSOLVER=1639
FILE ID=node125/3276377-1303666371
RUNJOBID= node125-1303666368-1538
PBS_JOBID= 13150756
Free space on /tmp= 73240 MiB
SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3276377-1303666371/watcher-3276377-1303666371 -o /tmp/evaluation-result-3276377-1303666371/solver-3276377-1303666371 -C 5000 -W 5100 -M 15500 ppfolio --nbcore=1 HOME/instance-3276377-1303666371.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 683c9f75b69575e6451b8563d12f176b
RANDOM SEED=9260512
node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5266.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 16875600 kB
Buffers: 2190584 kB
Cached: 13061184 kB
SwapCached: 0 kB
Active: 7845732 kB
Inactive: 7698688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 16875600 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 36608 kB
Writeback: 0 kB
AnonPages: 291836 kB
Mapped: 16504 kB
Slab: 466492 kB
PageTables: 5372 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 883100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73228 MiB
End job on node125 at 2011-04-24 20:06:20