Trace number 3728390

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
wbo 1.72? 1799.54 1800.01

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM4968680d12488161e407b87be5e33fb1
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark0.628904
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2100
Total number of constraints130
Number of soft constraints130
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 6361
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 6360
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                     1.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728390-1338675011.wbo.
0.00/0.00	c Instance file HOME/instance-3728390-1338675011.wbo
0.00/0.00	c File size is 37456 bytes.
0.00/0.00	c Highest Coefficient sum: 36
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      2230                                                |
0.00/0.00	c |  Number Clauses:        70                                                  |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 60                                                  |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    PB Constraint                                       |
0.00/0.00	c |                                                                             |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.00	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.00	c ===============================================================================
1799.54/1800.00	c ===============================================================================
1799.54/1800.00	c Wall Clock Time: 1800.00 s
1799.54/1800.00	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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-3728390-1338675011/watcher-3728390-1338675011 -o /tmp/evaluation-result-3728390-1338675011/solver-3728390-1338675011 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728390-1338675011.wbo 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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 3/178 20736
/proc/meminfo: memFree=26748516/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=84328 CPUtime=0 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 886 0 0 0 0 0 0 0 20 0 2 0 333629636 86351872 828 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 21082 835 177 433 0 20646 0
[pid=20736/tid=20737] ppid=20734 vsize=84328 CPUtime=0 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 2 0 333629636 86351872 849 33554432000 4194304 5964350 140733504789040 140737467768232 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0

[startup+0.0609179 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20736
/proc/meminfo: memFree=26748516/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=84328 CPUtime=0.05 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 1333 0 0 0 5 0 0 0 20 0 2 0 333629636 86351872 1275 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 21082 1275 193 433 0 20646 0
[pid=20736/tid=20737] ppid=20734 vsize=84328 CPUtime=0.04 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 458 0 0 0 4 0 0 0 20 0 2 0 333629636 86351872 1275 33554432000 4194304 5964350 140733504789040 140737467768232 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84328

[startup+0.100306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20736
/proc/meminfo: memFree=26748516/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=84328 CPUtime=0.09 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 1432 0 0 0 9 0 0 0 20 0 2 0 333629636 86351872 1374 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 21082 1374 193 433 0 20646 0
[pid=20736/tid=20737] ppid=20734 vsize=84328 CPUtime=0.08 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 557 0 0 0 8 0 0 0 20 0 2 0 333629636 86351872 1374 33554432000 4194304 5964350 140733504789040 140737467768232 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84328

[startup+0.300256 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20736
/proc/meminfo: memFree=26748516/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=84328 CPUtime=0.29 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 1918 0 0 0 29 0 0 0 20 0 2 0 333629636 86351872 1860 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 21082 1860 193 433 0 20646 0
[pid=20736/tid=20737] ppid=20734 vsize=84328 CPUtime=0.28 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 1043 0 0 0 28 0 0 0 20 0 2 0 333629636 86351872 1860 33554432000 4194304 5964350 140733504789040 140737467768232 4392838 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84328

[startup+0.700258 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20736
/proc/meminfo: memFree=26748516/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=84328 CPUtime=0.69 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 2744 0 0 0 69 0 0 0 20 0 2 0 333629636 86351872 2686 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 21082 2686 193 433 0 20646 0
[pid=20736/tid=20737] ppid=20734 vsize=84328 CPUtime=0.68 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 1869 0 0 0 68 0 0 0 20 0 2 0 333629636 86351872 2686 33554432000 4194304 5964350 140733504789040 140362263582760 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84328

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20738
/proc/meminfo: memFree=26736232/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=84328 CPUtime=1.49 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 4141 0 0 0 148 1 0 0 20 0 2 0 333629636 86351872 4083 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 21082 4083 193 433 0 20646 0
[pid=20736/tid=20737] ppid=20734 vsize=84328 CPUtime=1.47 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 3266 0 0 0 147 0 0 0 20 0 2 0 333629636 86351872 4083 33554432000 4194304 5964350 140733504789040 140362263582520 4391702 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84328

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20738
/proc/meminfo: memFree=26729908/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=84472 CPUtime=3.09 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 5272 0 0 0 308 1 0 0 20 0 2 0 333629636 86499328 5214 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 21118 5214 193 433 0 20682 0
[pid=20736/tid=20737] ppid=20734 vsize=84472 CPUtime=3.07 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 4397 0 0 0 306 1 0 0 20 0 2 0 333629636 86499328 5214 33554432000 4194304 5964350 140733504789040 140362263582712 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84472

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20738
/proc/meminfo: memFree=26719964/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=84544 CPUtime=6.28 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 7013 0 0 0 626 2 0 0 20 0 2 0 333629636 86573056 6950 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 21136 6950 193 433 0 20700 0
[pid=20736/tid=20737] ppid=20734 vsize=84544 CPUtime=6.25 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 6138 0 0 0 623 2 0 0 20 0 2 0 333629636 86573056 6950 33554432000 4194304 5964350 140733504789040 140362263582712 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84544

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20738
/proc/meminfo: memFree=26704364/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=84544 CPUtime=12.68 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 10581 0 0 0 1265 3 0 0 20 0 2 0 333629636 86573056 10518 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 21136 10518 193 433 0 20700 0
[pid=20736/tid=20737] ppid=20734 vsize=84544 CPUtime=12.64 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 9706 0 0 0 1262 2 0 0 20 0 2 0 333629636 86573056 10518 33554432000 4194304 5964350 140733504789040 140362263582712 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84544

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20738
/proc/meminfo: memFree=26677192/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=84652 CPUtime=25.46 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 15520 0 0 0 2542 4 0 0 20 0 2 0 333629636 86683648 15450 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 21163 15450 193 433 0 20727 0
[pid=20736/tid=20737] ppid=20734 vsize=84652 CPUtime=25.39 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 14645 0 0 0 2535 4 0 0 20 0 2 0 333629636 86683648 15450 33554432000 4194304 5964350 140733504789040 140362263582712 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 84652

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20738
/proc/meminfo: memFree=26626568/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=150348 CPUtime=51.05 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 26007 0 0 0 5097 8 0 0 20 0 2 0 333629636 153956352 26438 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 37587 26438 193 433 0 37151 0
[pid=20736/tid=20737] ppid=20734 vsize=150348 CPUtime=50.92 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 25132 0 0 0 5084 8 0 0 20 0 2 0 333629636 153956352 26438 33554432000 4194304 5964350 140733504789040 140362263582712 4400352 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 150348

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20738
/proc/meminfo: memFree=26587520/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=216124 CPUtime=102.25 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 33934 0 0 0 10214 11 0 0 20 0 2 0 333629636 221310976 34365 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 54031 34365 193 433 0 53595 0
[pid=20736/tid=20737] ppid=20734 vsize=216124 CPUtime=101.99 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 33059 0 0 0 10187 12 0 0 20 0 2 0 333629636 221310976 34365 33554432000 4194304 5964350 140733504789040 140362263582712 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 216124

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20738
/proc/meminfo: memFree=26561604/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=216268 CPUtime=162.24 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 40795 0 0 0 16210 14 0 0 20 0 2 0 333629636 221458432 41226 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 54067 41226 193 433 0 53631 0
[pid=20736/tid=20737] ppid=20734 vsize=216268 CPUtime=161.83 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 39920 0 0 0 16167 16 0 0 20 0 2 0 333629636 221458432 41226 33554432000 4194304 5964350 140733504789040 140362263582712 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 216268

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20738
/proc/meminfo: memFree=26494272/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=283532 CPUtime=222.23 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 57216 0 0 0 22199 24 0 0 20 0 2 0 333629636 290336768 57647 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 70883 57647 193 433 0 70447 0
[pid=20736/tid=20737] ppid=20734 vsize=283532 CPUtime=221.68 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 56341 0 0 0 22141 27 0 0 20 0 2 0 333629636 290336768 57647 33554432000 4194304 5964350 140733504789040 140362263582712 4381913 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 283532

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20738
/proc/meminfo: memFree=26495016/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=283532 CPUtime=282.22 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 57247 0 0 0 28198 24 0 0 20 0 2 0 333629636 290336768 57364 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 70883 57364 193 433 0 70447 0
[pid=20736/tid=20737] ppid=20734 vsize=283532 CPUtime=281.53 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 56372 0 0 0 28125 28 0 0 20 0 2 0 333629636 290336768 57364 33554432000 4194304 5964350 140733504789040 140362263582744 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 283532

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20739
/proc/meminfo: memFree=26475360/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=284468 CPUtime=342.18 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 57449 0 0 0 34194 24 0 0 20 0 2 0 333629636 291295232 57679 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 71117 57679 193 433 0 70681 0
[pid=20736/tid=20737] ppid=20734 vsize=284468 CPUtime=341.35 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 56574 0 0 0 34106 29 0 0 20 0 2 0 333629636 291295232 57679 33554432000 4194304 5964350 140733504789040 140362263582520 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 284468

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20739
/proc/meminfo: memFree=26468452/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=285188 CPUtime=402.13 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 58354 0 0 0 40189 24 0 0 20 0 2 0 333629636 292032512 58673 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20787
/proc/meminfo: memFree=25904940/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=564524 CPUtime=1421.9 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 129851 0 0 0 142127 63 0 0 20 0 2 0 333629636 578072576 130795 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 141131 130795 193 433 0 140695 0
[pid=20736/tid=20737] ppid=20734 vsize=564524 CPUtime=1418.48 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 128976 0 0 0 141764 84 0 0 20 0 2 0 333629636 578072576 130795 33554432000 4194304 5964350 140733504789040 140362263582712 4400380 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 564524

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20787
/proc/meminfo: memFree=25731216/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=566288 CPUtime=1481.89 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 135699 0 0 0 148120 69 0 0 20 0 2 0 333629636 579878912 136643 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 141572 136643 193 433 0 141136 0
[pid=20736/tid=20737] ppid=20734 vsize=566288 CPUtime=1478.32 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 134824 0 0 0 147742 90 0 0 20 0 2 0 333629636 579878912 136643 33554432000 4194304 5964350 140733504789040 140362263582712 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 566288

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20789
/proc/meminfo: memFree=25557112/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=568372 CPUtime=1541.88 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 136129 0 0 0 154119 69 0 0 20 0 2 0 333629636 582012928 137073 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 142093 137073 193 433 0 141657 0
[pid=20736/tid=20737] ppid=20734 vsize=568372 CPUtime=1538.17 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 135254 0 0 0 153726 91 0 0 20 0 2 0 333629636 582012928 137073 33554432000 4194304 5964350 140733504789040 140362263582520 4222384 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 568372

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20789
/proc/meminfo: memFree=25512740/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=570040 CPUtime=1601.87 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 136531 0 0 0 160118 69 0 0 20 0 2 0 333629636 583720960 137475 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 142510 137475 193 433 0 142074 0
[pid=20736/tid=20737] ppid=20734 vsize=570040 CPUtime=1598.02 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 135656 0 0 0 159709 93 0 0 20 0 2 0 333629636 583720960 137475 33554432000 4194304 5964350 140733504789040 140362263582760 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 570040

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20789
/proc/meminfo: memFree=25424232/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=701112 CPUtime=1661.86 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 158835 0 0 0 166108 78 0 0 20 0 2 0 333629636 717938688 159779 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 175278 159779 193 433 0 174842 0
[pid=20736/tid=20737] ppid=20734 vsize=701112 CPUtime=1657.86 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 157960 0 0 0 165683 103 0 0 20 0 2 0 333629636 717938688 159779 33554432000 4194304 5964350 140733504789040 140362263582520 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 701112

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20789
/proc/meminfo: memFree=25412976/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=701400 CPUtime=1721.85 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 161371 0 0 0 172106 79 0 0 20 0 2 0 333629636 718233600 162315 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 175350 162315 193 433 0 174914 0
[pid=20736/tid=20737] ppid=20734 vsize=701400 CPUtime=1717.71 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 160496 0 0 0 171666 105 0 0 20 0 2 0 333629636 718233600 162315 33554432000 4194304 5964350 140733504789040 140362263582712 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 701400

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20789
/proc/meminfo: memFree=25412880/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=701400 CPUtime=1781.84 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 161372 0 0 0 178105 79 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 175350 162316 193 433 0 174914 0
[pid=20736/tid=20737] ppid=20734 vsize=701400 CPUtime=1777.56 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 160497 0 0 0 177650 106 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140362263582712 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 701400

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20792
/proc/meminfo: memFree=25412708/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=701400 CPUtime=1791.45 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 161372 0 0 0 179066 79 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 175350 162316 193 433 0 174914 0
[pid=20736/tid=20737] ppid=20734 vsize=701400 CPUtime=1787.14 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 160497 0 0 0 178608 106 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140362263582712 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 701400

[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20792
/proc/meminfo: memFree=25412584/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=701400 CPUtime=1794.65 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 161372 0 0 0 179386 79 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 175350 162316 193 433 0 174914 0
[pid=20736/tid=20737] ppid=20734 vsize=701400 CPUtime=1790.33 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 160497 0 0 0 178927 106 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140362263582712 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 701400

[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20792
/proc/meminfo: memFree=25412320/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=701400 CPUtime=1797.84 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 161372 0 0 0 179705 79 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 175350 162316 193 433 0 174914 0
[pid=20736/tid=20737] ppid=20734 vsize=701400 CPUtime=1793.51 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 160497 0 0 0 179245 106 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140362263582712 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 701400

[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20792
/proc/meminfo: memFree=25412336/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=701400 CPUtime=1798.64 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 161372 0 0 0 179785 79 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 175350 162316 193 433 0 174914 0
[pid=20736/tid=20737] ppid=20734 vsize=701400 CPUtime=1794.31 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 160497 0 0 0 179325 106 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140362263582712 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 701400

[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20792
/proc/meminfo: memFree=25412336/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=701400 CPUtime=1799.04 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 161372 0 0 0 179825 79 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 175350 162316 193 433 0 174914 0
[pid=20736/tid=20737] ppid=20734 vsize=701400 CPUtime=1794.72 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 160497 0 0 0 179366 106 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140362263582712 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 701400

[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20792
/proc/meminfo: memFree=25412336/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=701400 CPUtime=1799.44 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 161372 0 0 0 179865 79 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 175350 162316 193 433 0 174914 0
[pid=20736/tid=20737] ppid=20734 vsize=701400 CPUtime=1795.11 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 160497 0 0 0 179405 106 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140362263582712 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 701400

[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20792
/proc/meminfo: memFree=25412336/32873844 swapFree=7628/7628
[pid=20736] ppid=20734 vsize=701400 CPUtime=1799.54 cores=1,3,5,7
/proc/20736/stat : 20736 (wbo1.72) S 20734 20736 19809 0 -1 4202496 161372 0 0 0 179875 79 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140733504788560 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20736/statm: 175350 162316 193 433 0 174914 0
[pid=20736/tid=20737] ppid=20734 vsize=701400 CPUtime=1795.21 cores=1,3,5,7
/proc/20736/task/20737/stat : 20737 (wbo1.72) R 20734 20736 19809 0 -1 4202560 160497 0 0 0 179415 106 0 0 20 0 2 0 333629636 718233600 162316 33554432000 4194304 5964350 140733504789040 140362263582712 4382117 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 701400

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20736 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=161246
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=83835
# CPU time returned by wait4() is 1795.25
# while last known CPU time is 1799.54
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.54
CPU user time (s): 1798.75
CPU system time (s): 0.79
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 701400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.16
system time used= 1.08384
maximum resident set size= 649276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161375
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= 195
involuntary context switches= 1968

runsolver used 3.10553 second user time and 7.74382 second system time

The end

Launcher Data 

Begin job on node107 at 2012-06-03 00:10:11
IDJOB=3728390
IDBENCH=79161
IDSOLVER=2315
FILE ID=node107/3728390-1338675011
RUNJOBID= node107-1338670136-20217
PBS_JOBID= 14636491
Free space on /tmp= 70780 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= wbo1.72 -file-format=wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728390-1338675011/watcher-3728390-1338675011 -o /tmp/evaluation-result-3728390-1338675011/solver-3728390-1338675011 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=wbo HOME/instance-3728390-1338675011.wbo

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

MD5SUM BENCH= 4968680d12488161e407b87be5e33fb1
RANDOM SEED=2051508114

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26749408 kB
Buffers:          466612 kB
Cached:          4396676 kB
SwapCached:           76 kB
Active:          2249748 kB
Inactive:        2998296 kB
Active(anon):     376020 kB
Inactive(anon):    11072 kB
Active(file):    1873728 kB
Inactive(file):  2987224 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:              5496 kB
Writeback:             0 kB
AnonPages:        457624 kB
Mapped:            15024 kB
Shmem:               184 kB
Slab:             734280 kB
SReclaimable:     176648 kB
SUnreclaim:       557632 kB
KernelStack:        1496 kB
PageTables:         4772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    393216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70772 MiB
End job on node107 at 2012-06-03 00:40:11