Trace number 3499626

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT09 reference solver: SATzilla2009_C 2009-03-22UNSAT 1476.57 1476.54

General information on the benchmark

NameSAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-020-019.shuffled-as.sat05-1190.cnf
MD5SUM81bbeaaf9f0ca3bfc36d743097777052
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.58376
Satisfiable
(Un)Satisfiability was proved
Number of variables380
Number of clauses3630
Sum of the clauses size7600
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23610
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

Solver Data 

16.27/16.32	c SATzilla is building models for class 2
16.27/16.32	c run presolver march_dl2004 for 5 seconds ... 
16.27/16.32	c Bin: Executing march_dl2004
16.27/16.32	c spawning binary file with 5 seconds ...
16.27/16.32	c child exit by a signal
16.27/16.32	c march_dl2004 returned code 137.
16.27/16.32	c run presolver mxc-sr08 for 5 seconds ... 
16.27/16.32	c Bin: Executing mxc-sr08
16.27/16.32	c spawning binary file with 5 seconds ...
16.27/16.32	c child exit by a signal
16.27/16.32	c mxc-sr08 returned code 137.
16.27/16.32	c Orignal number of varibales is 380, number of clauses is 3630 
16.27/16.32	c predicted feature computation time is 6.995177 
16.27/16.32	c Bin: Executing satelite
16.27/16.32	c spawning binary file with 240 seconds ...
16.27/16.32	c child exited successfully
16.27/16.32	c satzilla computing base features
16.27/16.32	c Number of variabe is: 360, Number of clause is : 3610 
16.27/16.32	c Initializing...
16.27/16.32	c satzilla compute diameter ...
16.27/16.32	c start diameter features ...
16.27/16.32	c satzilla doing clause learning
16.27/16.32	c start clause learning features ...
16.27/16.32	c Bin: Executing zchaff07
16.27/16.32	c spawning binary file with 2 seconds ...
16.27/16.32	c child exit by a signal
16.27/16.32	c satzilla doing survey propogation probe
16.27/16.32	c do survay propogation for 2 second ...
16.27/16.32	c satzilla doing local search probe
16.27/16.32	c satzilla doing lobjois search-space size estimate
16.27/16.32	c features are:380 3630 360 3610 0.0555556 0.00554017 0.099723 0.463856 1.04183 1.10954 0.0105263 1.40877 0.00555556 0.1 0.342428 0.896953 0.896953 0.0105263 0 0.0105263 0.0105263 -0 0 0 0 0 -0 0.00368421 0.361189 0.00166205 0.00526316 2.1916 0.663158 0.0232625 0.227915 0.0152355 0.0373961 3 0 3 3 -0 4803.67 0.0131621 4715 4858 4858 4715 4858 4715 4838 78.2146 0.153309 61.4895 89.0019 89.0019 61.4895 89.0019 61.4895 84.1525 0.884497 0.00452072 0.87491 0.889082 0.888971 0.879981 0.888829 0.884601 0.884717 0.160976 0.0268899 0.156063 0.171212 0.16583 0.156104 0.160827 0.15616 0.160785 1.06271 2.79941 158.73 0.062744 159 147 171 4.76459 0.0643576 0.997132 0.00481309 0.914305 0.93612 
16.27/16.32	c satzilla's ranking:
16.27/16.32	c 1) tts-4-0: 2.811399
16.27/16.32	c 2) vallst: 0.231908
16.27/16.32	c 3) zchaff_rand: -0.101058
16.27/16.32	c 4) minisat20SAT07: -0.463232
16.27/16.32	c 5) minisat20: -0.466517
16.27/16.32	c 6) march_dl2004: -0.694504
16.27/16.32	c 7) mxc-sr08: -1.212800
16.27/16.32	c 8) SATenstein: -10000.000000
16.27/16.32	c 9) gnovelty+: -10000.000000
16.27/16.32	c 10) adaptg2wsat+: -10000.000000
16.27/16.32	c 11) adaptg2wsat0: -10000.000000
16.27/16.32	c 12) picosat846: -10000.000000
16.27/16.32	c 13) kcnfs04SAT07: -10000.000000
16.27/16.32	c satzilla running tts-4-0 ... 
1476.50/1476.53	c Bin: Executing tts-4-0
1476.50/1476.53	c spawning binary file with 4983 seconds ...
1476.50/1476.53	c child exited successfully
1476.50/1476.53	c tts-4-0 returned code 20.
1476.50/1476.53	s UNSATISFIABLE
1476.50/1476.53	c SATZILLA_TIME=1476.790000

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3499626-1308495413/watcher-3499626-1308495413 -o /tmp/evaluation-result-3499626-1308495413/solver-3499626-1308495413 -C 5000 -W 5100 -M 15500 HOME/SATzilla2009_C HOME/instance-3499626-1308495413.cnf 

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): 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: 1.93 1.98 1.91 3/177 7822
/proc/meminfo: memFree=27657472/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 162 0 0 0 0 0 0 0 25 0 1 0 1039771883 2187264 113 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/7822/statm: 534 113 97 400 0 131 0

[startup+0.0659829 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 7822
/proc/meminfo: memFree=27657472/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 162 0 0 0 0 0 0 0 25 0 1 0 1039771883 2187264 113 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/7822/statm: 534 113 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.100966 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 7822
/proc/meminfo: memFree=27657472/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 162 0 0 0 0 0 0 0 25 0 1 0 1039771883 2187264 113 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/7822/statm: 534 113 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.300938 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 7822
/proc/meminfo: memFree=27657472/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 162 0 0 0 0 0 0 0 25 0 1 0 1039771883 2187264 113 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/7822/statm: 534 113 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.700847 s]
/proc/loadavg: 1.93 1.98 1.91 3/177 7822
/proc/meminfo: memFree=27657472/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 162 0 0 0 0 0 0 0 25 0 1 0 1039771883 2187264 113 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/7822/statm: 534 113 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+1.50072 s]
/proc/loadavg: 1.93 1.98 1.91 3/180 7825
/proc/meminfo: memFree=27654868/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 162 0 0 0 0 0 0 0 25 0 1 0 1039771883 2187264 113 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/7822/statm: 534 113 97 400 0 131 0
[pid=7823] ppid=7822 vsize=1608 CPUtime=1.49 cores=0,2,4,6
/proc/7823/stat : 7823 (march_dl2004) R 7822 7822 7381 0 -1 4202496 325 0 0 0 149 0 0 0 25 0 1 0 1039771883 1646592 296 33554432000 134512640 134996440 4292046864 18446744073709551615 134564486 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/7823/statm: 402 296 74 119 0 281 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3744

[startup+3.1004 s]
/proc/loadavg: 1.94 1.98 1.91 3/180 7825
/proc/meminfo: memFree=27652512/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 162 0 0 0 0 0 0 0 25 0 1 0 1039771883 2187264 113 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/7822/statm: 534 113 97 400 0 131 0
[pid=7823] ppid=7822 vsize=1608 CPUtime=3.09 cores=0,2,4,6
/proc/7823/stat : 7823 (march_dl2004) R 7822 7822 7381 0 -1 4202496 330 0 0 0 309 0 0 0 25 0 1 0 1039771883 1646592 301 33554432000 134512640 134996440 4292046864 18446744073709551615 134573190 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/7823/statm: 402 301 74 119 0 281 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3744

[startup+6.30084 s]
/proc/loadavg: 1.94 1.98 1.91 3/179 7826
/proc/meminfo: memFree=27654276/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=2136 CPUtime=4.99 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 186 331 0 0 0 0 499 0 18 0 1 0 1039771883 2187264 126 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 534 126 108 400 0 131 0
[pid=7826] ppid=7822 vsize=3336 CPUtime=1.29 cores=0,2,4,6
/proc/7826/stat : 7826 (mxc-sr08) R 7822 7822 7381 0 -1 4202496 750 0 0 0 129 0 0 0 22 0 1 0 1039772383 3416064 724 33554432000 134512640 135078026 4286866544 18446744073709551615 134534605 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7826/statm: 834 724 73 139 0 693 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 5472

[startup+12.7007 s]
/proc/loadavg: 1.95 1.98 1.91 3/180 7829
/proc/meminfo: memFree=27644624/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=7752 CPUtime=12.67 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) R 7820 7822 7381 0 -1 4202496 654 3538 0 0 65 3 1198 1 18 0 1 0 1039771883 7938048 501 33554432000 134512640 136149437 4290327312 18446744073709551615 134731177 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/7822/statm: 1938 501 208 400 0 1535 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 7752

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.91 3/180 7830
/proc/meminfo: memFree=27633940/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=17928 CPUtime=9.17 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 4401 0 0 0 917 0 0 0 25 0 1 0 1039773515 18358272 4374 33554432000 134512640 134965848 4292310384 18446744073709551615 134534134 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 4482 4374 68 111 0 4369 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 21580

[startup+51.1006 s]
/proc/loadavg: 1.97 1.98 1.91 3/180 7831
/proc/meminfo: memFree=27605740/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=45828 CPUtime=34.76 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 11394 0 0 0 3475 1 0 0 25 0 1 0 1039773515 46927872 11367 33554432000 134512640 134965848 4292310384 18446744073709551615 134534179 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 11457 11367 68 111 0 11344 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 49480

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.91 3/180 7832
/proc/meminfo: memFree=27566284/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=84272 CPUtime=85.97 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 21013 0 0 0 8594 3 0 0 25 0 1 0 1039773515 86294528 20986 33554432000 134512640 134965848 4292310384 18446744073709551615 134534140 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 21068 20986 68 111 0 20955 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 87924

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/180 7834
/proc/meminfo: memFree=27519724/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=130916 CPUtime=145.97 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 32638 0 0 0 14592 5 0 0 25 0 1 0 1039773515 134057984 32611 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 32729 32611 68 111 0 32616 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 134568

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/180 7836
/proc/meminfo: memFree=27488276/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=162092 CPUtime=205.97 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 40427 0 0 0 20591 6 0 0 25 0 1 0 1039773515 165982208 40400 33554432000 134512640 134965848 4292310384 18446744073709551615 134534138 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 40523 40400 68 111 0 40410 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 165744

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/180 7846
/proc/meminfo: memFree=27436348/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=214364 CPUtime=265.97 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 53548 0 0 0 26589 8 0 0 25 0 1 0 1039773515 219508736 53521 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 53591 53521 68 111 0 53478 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 218016

[startup+342.3 s]
/proc/loadavg: 2.06 2.00 1.92 3/180 7848
/proc/meminfo: memFree=27401460/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=248348 CPUtime=325.97 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 62033 0 0 0 32587 10 0 0 25 0 1 0 1039773515 254308352 62006 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 62087 62006 68 111 0 61974 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 252000

[startup+402.3 s]
/proc/loadavg: 2.02 2.00 1.92 3/180 7849
/proc/meminfo: memFree=27373864/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=276244 CPUtime=385.97 cores=0,2,4,6

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


[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/180 7869
/proc/meminfo: memFree=27075812/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=573688 CPUtime=1106 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 143363 0 0 0 110572 28 0 0 25 0 1 0 1039773515 587456512 143336 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 143422 143336 68 111 0 143309 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 577340

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7870
/proc/meminfo: memFree=27059044/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=590564 CPUtime=1166 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 147590 0 0 0 116571 29 0 0 25 0 1 0 1039773515 604737536 147563 33554432000 134512640 134965848 4292310384 18446744073709551615 134591035 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 147641 147563 68 111 0 147528 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 594216

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7872
/proc/meminfo: memFree=27043620/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=605564 CPUtime=1226.01 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 151348 0 0 0 122571 30 0 0 25 0 1 0 1039773515 620097536 151321 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 151391 151321 68 111 0 151278 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 609216

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7873
/proc/meminfo: memFree=27030288/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=618928 CPUtime=1286.01 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 154680 0 0 0 128571 30 0 0 25 0 1 0 1039773515 633782272 154653 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 154732 154653 68 111 0 154619 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 622580

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7875
/proc/meminfo: memFree=27020940/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=628300 CPUtime=1346 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 157008 0 0 0 134570 30 0 0 25 0 1 0 1039773515 643379200 156981 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 157075 156981 68 111 0 156962 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 631952

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7877
/proc/meminfo: memFree=27013040/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=636272 CPUtime=1406.01 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 159012 0 0 0 140570 31 0 0 25 0 1 0 1039773515 651542528 158985 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 159068 158985 68 111 0 158955 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 639924

Solver just ended. Dumping a history of the last processes samples

[startup+1433.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7877
/proc/meminfo: memFree=27011788/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=637676 CPUtime=1417.21 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 159327 0 0 0 141690 31 0 0 25 0 1 0 1039773515 652980224 159300 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 159419 159300 68 111 0 159306 0
Current children cumulated CPU time (s) 1433.5
Current children cumulated vsize (KiB) 641328

[startup+1459.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7877
/proc/meminfo: memFree=27009412/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=640020 CPUtime=1442.81 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 159919 0 0 0 144249 32 0 0 25 0 1 0 1039773515 655380480 159892 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 160005 159892 68 111 0 159892 0
Current children cumulated CPU time (s) 1459.1
Current children cumulated vsize (KiB) 643672

[startup+1465.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7878
/proc/meminfo: memFree=27008788/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=640256 CPUtime=1449.21 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 160019 0 0 0 144889 32 0 0 25 0 1 0 1039773515 655622144 159992 33554432000 134512640 134965848 4292310384 18446744073709551615 134534138 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 160064 159992 68 111 0 159951 0
Current children cumulated CPU time (s) 1465.5
Current children cumulated vsize (KiB) 643908

[startup+1471.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7878
/proc/meminfo: memFree=27008656/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=640724 CPUtime=1455.61 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 160106 0 0 0 145529 32 0 0 25 0 1 0 1039773515 656101376 160079 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 160181 160079 68 111 0 160068 0
Current children cumulated CPU time (s) 1471.9
Current children cumulated vsize (KiB) 644376

[startup+1475.11 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7878
/proc/meminfo: memFree=27008528/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=640960 CPUtime=1458.82 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 160145 0 0 0 145850 32 0 0 25 0 1 0 1039773515 656343040 160118 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 160240 160118 68 111 0 160127 0
Current children cumulated CPU time (s) 1475.11
Current children cumulated vsize (KiB) 644612

[startup+1475.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7878
/proc/meminfo: memFree=27008528/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=640960 CPUtime=1459.61 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 160160 0 0 0 145929 32 0 0 25 0 1 0 1039773515 656343040 160133 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 160240 160133 68 111 0 160127 0
Current children cumulated CPU time (s) 1475.9
Current children cumulated vsize (KiB) 644612

[startup+1476.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7878
/proc/meminfo: memFree=27008404/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=640960 CPUtime=1460.01 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 160169 0 0 0 145969 32 0 0 25 0 1 0 1039773515 656343040 160142 33554432000 134512640 134965848 4292310384 18446744073709551615 134534021 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 160240 160142 68 111 0 160127 0
Current children cumulated CPU time (s) 1476.3
Current children cumulated vsize (KiB) 644612

[startup+1476.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 7878
/proc/meminfo: memFree=27008404/32951124 swapFree=67056304/67111528
[pid=7822] ppid=7820 vsize=3652 CPUtime=16.29 cores=0,2,4,6
/proc/7822/stat : 7822 (SATzilla2009_C) S 7820 7822 7381 0 -1 4202496 692 3538 0 0 417 13 1198 1 25 0 1 0 1039771883 3739648 449 33554432000 134512640 136149437 4290327312 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 2 0 0 0
/proc/7822/statm: 913 449 220 400 0 510 0
[pid=7830] ppid=7822 vsize=640960 CPUtime=1460.21 cores=0,2,4,6
/proc/7830/stat : 7830 (tts-4-0) R 7822 7822 7381 0 -1 4202496 160180 0 0 0 145989 32 0 0 25 0 1 0 1039773515 656343040 160153 33554432000 134512640 134965848 4292310384 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/7830/statm: 160240 160153 68 111 0 160127 0
Current children cumulated CPU time (s) 1476.5
Current children cumulated vsize (KiB) 644612

Child status: 20
Real time (s): 1476.54
CPU time (s): 1476.57
CPU user time (s): 1476.08
CPU system time (s): 0.497924
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 644612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1476.08
system time used= 0.497924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164429
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= 15
involuntary context switches= 1298

runsolver used 2.28865 second user time and 4.66829 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-19 16:56:53
IDJOB=3499626
IDBENCH=85459
IDSOLVER=1995
FILE ID=node110/3499626-1308495413
RUNJOBID= node110-1308490397-7399
PBS_JOBID= 13608196
Free space on /tmp= 73368 MiB

SOLVER NAME= SAT09 reference solver: SATzilla2009_C 2009-03-22
BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-020-019.shuffled-as.sat05-1190.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3499626-1308495413/watcher-3499626-1308495413 -o /tmp/evaluation-result-3499626-1308495413/solver-3499626-1308495413 -C 5000 -W 5100 -M 15500  HOME/SATzilla2009_C HOME/instance-3499626-1308495413.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 81bbeaaf9f0ca3bfc36d743097777052
RANDOM SEED=1449169483

node110.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.830
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.66
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.830
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	: 5332.83
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.830
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.75
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.830
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.83
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.830
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.76
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.830
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.83
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.830
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.74
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27657776 kB
Buffers:        552232 kB
Cached:        4341916 kB
SwapCached:      22752 kB
Active:        2371744 kB
Inactive:      2558868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27657776 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:           64060 kB
Writeback:           0 kB
AnonPages:       30808 kB
Mapped:          13488 kB
Slab:           298380 kB
PageTables:       4776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   213716 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= 73340 MiB
End job on node110 at 2011-06-19 17:21:30