Trace number 3703892

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 NameAnswerobjective functionCPU timeWall clock time
pwbo 2.0? (TO) 1800.2 900.425

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx49.opb
MD5SUMe08af5097f76b1d4e2b0ba1d8a42ed5a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2130
Total number of constraints2495
Number of constraints which are clauses2125
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint2
Maximum length of a constraint320
Number of terms in the objective function 5
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 636
Number of bits of the biggest sum of numbers10
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 |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703892-1338096278.opb.
0.00/0.00	c Instance file HOME/instance-3703892-1338096278.opb
0.00/0.00	c File size is 208560 bytes.
0.00/0.02	c Cost Offset: 0
0.00/0.02	c Highest Coefficient sum: 636
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      2130                                                |
0.00/0.02	c |  Number Clauses:        2174                                                |
0.00/0.02	c |  Number Cardinality:    50                                                  |
0.00/0.02	c |  Number PB Constraints: 320                                                 |
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Problem Type:          Optimization                                        |
0.00/0.02	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
1800.20/900.41	c ===============================================================================
1800.20/900.41	c Wall Clock Time: 900.41 s
1800.20/900.41	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-3703892-1338096278/watcher-3703892-1338096278 -o /tmp/evaluation-result-3703892-1338096278/solver-3703892-1338096278 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703892-1338096278.opb 

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: 4.00 3.98 3.98 4/178 482
/proc/meminfo: memFree=30991292/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=4660 CPUtime=0 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) R 480 482 31075 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 275752686 4771840 377 33554432000 4194304 5965102 140734490894496 140736333464184 4396306 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/482/statm: 1165 377 165 433 0 678 0

[startup+0.095006 s]
/proc/loadavg: 4.00 3.98 3.98 4/178 482
/proc/meminfo: memFree=30991292/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165456 CPUtime=0.15 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 2389 0 0 0 15 0 0 0 20 0 3 0 275752686 169426944 2289 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41364 2289 195 433 0 40928 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 165456

[startup+0.100218 s]
/proc/loadavg: 4.00 3.98 3.98 4/178 482
/proc/meminfo: memFree=30991292/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165456 CPUtime=0.16 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 2399 0 0 0 16 0 0 0 20 0 3 0 275752686 169426944 2299 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41364 2299 195 433 0 40928 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 165456

[startup+0.300122 s]
/proc/loadavg: 4.00 3.98 3.98 4/178 482
/proc/meminfo: memFree=30991292/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165456 CPUtime=0.57 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 2945 0 0 0 56 1 0 0 20 0 3 0 275752686 169426944 2845 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41364 2845 195 433 0 40928 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 165456

[startup+0.700122 s]
/proc/loadavg: 4.00 3.98 3.98 4/178 482
/proc/meminfo: memFree=30991292/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165456 CPUtime=1.36 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 3978 0 0 0 135 1 0 0 20 0 3 0 275752686 169426944 3878 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41364 3878 195 433 0 40928 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 165456

[startup+1.50033 s]
/proc/loadavg: 4.00 3.98 3.98 5/181 485
/proc/meminfo: memFree=30974160/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165744 CPUtime=2.96 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 5330 0 0 0 293 3 0 0 20 0 3 0 275752686 169721856 5230 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41436 5230 195 433 0 41000 0
[pid=482/tid=484] ppid=480 vsize=165744 CPUtime=1.46 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 2257 0 0 0 144 2 0 0 20 0 3 0 275752689 169721856 5230 33554432000 4194304 5965102 140734490894496 139978981373936 4389285 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=165744 CPUtime=1.46 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 1500 0 0 0 145 1 0 0 20 0 3 0 275752689 169721856 5230 33554432000 4194304 5965102 140734490894496 139978970884400 4404767 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 165744

[startup+3.10029 s]
/proc/loadavg: 4.00 3.98 3.98 5/181 485
/proc/meminfo: memFree=30969804/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165744 CPUtime=6.15 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 6660 0 0 0 612 3 0 0 20 0 3 0 275752686 169721856 6560 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41436 6560 195 433 0 41000 0
[pid=482/tid=484] ppid=480 vsize=165744 CPUtime=3.05 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 2864 0 0 0 303 2 0 0 20 0 3 0 275752689 169721856 6560 33554432000 4194304 5965102 140734490894496 139978981373944 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=165744 CPUtime=3.05 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 2223 0 0 0 304 1 0 0 20 0 3 0 275752689 169721856 6560 33554432000 4194304 5965102 140734490894496 139978970884400 5244967 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 165744

[startup+6.30038 s]
/proc/loadavg: 4.00 3.98 3.98 5/181 485
/proc/meminfo: memFree=30950460/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=166028 CPUtime=12.56 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 11826 0 0 0 1249 7 0 0 20 0 3 0 275752686 170012672 11726 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41507 11726 195 433 0 41071 0
[pid=482/tid=484] ppid=480 vsize=166028 CPUtime=6.24 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 6059 0 0 0 620 4 0 0 20 0 3 0 275752689 170012672 11726 33554432000 4194304 5965102 140734490894496 139978981373944 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=166028 CPUtime=6.24 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 4194 0 0 0 622 2 0 0 20 0 3 0 275752689 170012672 11726 33554432000 4194304 5965102 140734490894496 139978970884408 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 166028

[startup+12.7004 s]
/proc/loadavg: 4.00 3.98 3.98 5/181 485
/proc/meminfo: memFree=30923188/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=166908 CPUtime=25.35 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 17103 0 0 0 2526 9 0 0 20 0 3 0 275752686 170913792 17003 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41727 17003 195 433 0 41291 0
[pid=482/tid=484] ppid=480 vsize=166908 CPUtime=12.62 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 8575 0 0 0 1257 5 0 0 20 0 3 0 275752689 170913792 17003 33554432000 4194304 5965102 140734490894496 139978981373936 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=166908 CPUtime=12.63 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 6955 0 0 0 1260 3 0 0 20 0 3 0 275752689 170913792 17003 33554432000 4194304 5965102 140734490894496 139978970884168 4401046 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 166908

[startup+25.5004 s]
/proc/loadavg: 4.08 3.99 3.99 5/181 485
/proc/meminfo: memFree=30885988/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=168168 CPUtime=50.95 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 26426 0 0 0 5073 22 0 0 20 0 3 0 275752686 172204032 26326 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 42042 26326 195 433 0 41606 0
[pid=482/tid=484] ppid=480 vsize=168168 CPUtime=25.39 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 14801 0 0 0 2522 17 0 0 20 0 3 0 275752689 172204032 26326 33554432000 4194304 5965102 140734490894496 139978981373752 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=168168 CPUtime=25.39 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 10052 0 0 0 2535 4 0 0 20 0 3 0 275752689 172204032 26326 33554432000 4194304 5965102 140734490894496 139978970884168 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 168168

[startup+51.1004 s]
/proc/loadavg: 4.05 3.99 3.99 5/181 485
/proc/meminfo: memFree=30856428/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=235468 CPUtime=102.13 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 33522 0 0 0 10187 26 0 0 20 0 3 0 275752686 241119232 33366 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 58867 33366 195 433 0 58431 0
[pid=482/tid=484] ppid=480 vsize=235468 CPUtime=50.92 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 18993 0 0 0 5073 19 0 0 20 0 3 0 275752689 241119232 33366 33554432000 4194304 5965102 140734490894496 139978981373944 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=235468 CPUtime=50.93 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 12956 0 0 0 5087 6 0 0 20 0 3 0 275752689 241119232 33366 33554432000 4194304 5965102 140734490894496 139978970884320 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 235468

[startup+102.307 s]
/proc/loadavg: 4.02 3.99 3.99 5/181 485
/proc/meminfo: memFree=30779036/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=237508 CPUtime=204.53 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 51206 0 0 0 20410 43 0 0 20 0 3 0 275752686 243208192 51025 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 59377 51025 195 433 0 58941 0
[pid=482/tid=484] ppid=480 vsize=237508 CPUtime=101.99 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 32693 0 0 0 10164 35 0 0 20 0 3 0 275752689 243208192 51025 33554432000 4194304 5965102 140734490894496 139978981373976 4401096 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=237508 CPUtime=102 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 16940 0 0 0 10191 9 0 0 20 0 3 0 275752689 243208192 51025 33554432000 4194304 5965102 140734490894496 139978970884168 4401510 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 237508

[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.99 5/181 485
/proc/meminfo: memFree=30728080/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=371176 CPUtime=324.48 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 62304 0 0 0 32397 51 0 0 20 0 3 0 275752686 380084224 62333 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 92794 62333 195 433 0 92358 0
[pid=482/tid=484] ppid=480 vsize=371176 CPUtime=161.82 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 36673 0 0 0 16142 40 0 0 20 0 3 0 275752689 380084224 62333 33554432000 4194304 5965102 140734490894496 139978981373992 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=371176 CPUtime=161.84 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 24058 0 0 0 16169 15 0 0 20 0 3 0 275752689 380084224 62333 33554432000 4194304 5965102 140734490894496 139978970884408 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 371176

[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.99 5/181 486
/proc/meminfo: memFree=30612540/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=438192 CPUtime=444.42 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 90150 0 0 0 44369 73 0 0 20 0 3 0 275752686 448708608 90207 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 109548 90207 195 433 0 109112 0
[pid=482/tid=484] ppid=480 vsize=438192 CPUtime=221.61 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 55557 0 0 0 22107 54 0 0 20 0 3 0 275752689 448708608 90207 33554432000 4194304 5965102 140734490894496 139978981373944 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=438192 CPUtime=221.69 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 33020 0 0 0 22144 25 0 0 20 0 3 0 275752689 448708608 90207 33554432000 4194304 5965102 140734490894496 139978970884408 4401050 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 438192

[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.99 5/181 486
/proc/meminfo: memFree=30577352/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=439736 CPUtime=564.36 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 95949 0 0 0 56357 79 0 0 20 0 3 0 275752686 450289664 96012 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 109934 96012 195 433 0 109498 0
[pid=482/tid=484] ppid=480 vsize=439736 CPUtime=281.45 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 59373 0 0 0 28087 58 0 0 20 0 3 0 275752689 450289664 96012 33554432000 4194304 5965102 140734490894496 139978981373992 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=439736 CPUtime=281.5 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 35003 0 0 0 28121 29 0 0 20 0 3 0 275752689 450289664 96012 33554432000 4194304 5965102 140734490894496 139978970884168 4401475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.36
Current children cumulated vsize (KiB) 439736

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.99 5/182 489
/proc/meminfo: memFree=30522812/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=573920 CPUtime=684.3 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 108719 0 0 0 68334 96 0 0 20 0 3 0 275752686 587694080 108753 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 143480 108753 195 433 0 143044 0
[pid=482/tid=484] ppid=480 vsize=573920 CPUtime=341.26 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 66411 0 0 0 34059 67 0 0 20 0 3 0 275752689 587694080 108753 33554432000 4194304 5965102 140734490894496 139978981373752 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=573920 CPUtime=341.33 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 40735 0 0 0 34095 38 0 0 20 0 3 0 275752689 587694080 108753 33554432000 4194304 5965102 140734490894496 139978970884408 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.3
Current children cumulated vsize (KiB) 573920

[startup+402.3 s]
/proc/loadavg: 4.04 4.01 3.99 5/181 489
/proc/meminfo: memFree=30355668/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=641032 CPUtime=804.26 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 127195 0 0 0 80311 115 0 0 20 0 3 0 275752686 656416768 128423 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 160258 128423 195 433 0 159822 0
[pid=482/tid=484] ppid=480 vsize=641032 CPUtime=401.11 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 70408 0 0 0 40040 71 0 0 20 0 3 0 275752689 656416768 128423 33554432000 4194304 5965102 140734490894496 139978981374048 4401137 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=641032 CPUtime=401.16 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 55214 0 0 0 40060 56 0 0 20 0 3 0 275752689 656416768 128423 33554432000 4194304 5965102 140734490894496 139978970884320 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.26
Current children cumulated vsize (KiB) 641032

[startup+462.3 s]
/proc/loadavg: 4.01 4.00 3.99 5/181 489
/proc/meminfo: memFree=30345980/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=642332 CPUtime=924.24 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 129006 0 0 0 92308 116 0 0 20 0 3 0 275752686 657747968 130009 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 160583 130009 195 433 0 160147 0
[pid=482/tid=484] ppid=480 vsize=642332 CPUtime=460.96 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 71968 0 0 0 46024 72 0 0 20 0 3 0 275752689 657747968 130009 33554432000 4194304 5965102 140734490894496 139978981373752 4382849 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=642332 CPUtime=461.01 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 55465 0 0 0 46045 56 0 0 20 0 3 0 275752689 657747968 130009 33554432000 4194304 5965102 140734490894496 139978970884168 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.24
Current children cumulated vsize (KiB) 642332

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/182 491
/proc/meminfo: memFree=30326268/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=643896 CPUtime=1044.22 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 130951 0 0 0 104304 118 0 0 20 0 3 0 275752686 659349504 131920 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 160974 131920 195 433 0 160538 0
[pid=482/tid=484] ppid=480 vsize=643896 CPUtime=520.8 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 73703 0 0 0 52005 75 0 0 20 0 3 0 275752689 659349504 131920 33554432000 4194304 5965102 140734490894496 139978981374048 4383063 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=643896 CPUtime=520.85 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 55675 0 0 0 52028 57 0 0 20 0 3 0 275752689 659349504 131920 33554432000 4194304 5965102 140734490894496 139978970884320 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.22
Current children cumulated vsize (KiB) 643896

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/181 491
/proc/meminfo: memFree=30299740/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=646200 CPUtime=1164.2 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 136103 0 0 0 116294 126 0 0 20 0 3 0 275752686 661708800 137072 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 161550 137072 195 433 0 161114 0
[pid=482/tid=484] ppid=480 vsize=646200 CPUtime=580.65 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 78578 0 0 0 57981 84 0 0 20 0 3 0 275752689 661708800 137072 33554432000 4194304 5965102 140734490894496 139978981373856 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=646200 CPUtime=580.7 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 55952 0 0 0 58012 58 0 0 20 0 3 0 275752689 661708800 137072 33554432000 4194304 5965102 140734490894496 139978970884512 4401516 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 646200

[startup+642.3 s]
/proc/loadavg: 3.80 3.94 3.97 5/181 653
/proc/meminfo: memFree=30806464/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=648804 CPUtime=1284.16 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 138547 0 0 0 128284 132 0 0 20 0 3 0 275752686 664375296 139882 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 162201 139882 195 433 0 161765 0
[pid=482/tid=484] ppid=480 vsize=648804 CPUtime=640.48 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 80853 0 0 0 63957 91 0 0 20 0 3 0 275752689 664375296 139882 33554432000 4194304 5965102 140734490894496 139978981373944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=648804 CPUtime=640.54 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 56121 0 0 0 63995 59 0 0 20 0 3 0 275752689 664375296 139882 33554432000 4194304 5965102 140734490894496 139978970884456 4400981 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.16
Current children cumulated vsize (KiB) 648804

[startup+702.3 s]
/proc/loadavg: 3.92 3.95 3.97 5/181 653
/proc/meminfo: memFree=30745244/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=716192 CPUtime=1404.09 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 141815 0 0 0 140271 138 0 0 20 0 3 0 275752686 733380608 143163 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 179048 143163 195 433 0 178612 0
[pid=482/tid=484] ppid=480 vsize=716192 CPUtime=700.31 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 83820 0 0 0 69934 97 0 0 20 0 3 0 275752689 733380608 143163 33554432000 4194304 5965102 140734490894496 139978981373752 4401041 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=716192 CPUtime=700.35 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 56422 0 0 0 69975 60 0 0 20 0 3 0 275752689 733380608 143163 33554432000 4194304 5965102 140734490894496 139978970884512 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.09
Current children cumulated vsize (KiB) 716192

[startup+762.307 s]
/proc/loadavg: 3.97 3.95 3.97 5/181 653
/proc/meminfo: memFree=30688780/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=716896 CPUtime=1524.07 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 147095 0 0 0 152263 144 0 0 20 0 3 0 275752686 734101504 148450 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 179224 148450 195 433 0 178788 0
[pid=482/tid=484] ppid=480 vsize=716896 CPUtime=760.14 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 88937 0 0 0 75910 104 0 0 20 0 3 0 275752689 734101504 148450 33554432000 4194304 5965102 140734490894496 139978981373944 4401131 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=716896 CPUtime=760.2 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 56585 0 0 0 75959 61 0 0 20 0 3 0 275752689 734101504 148450 33554432000 4194304 5965102 140734490894496 139978970884168 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.07
Current children cumulated vsize (KiB) 716896

[startup+822.3 s]
/proc/loadavg: 3.99 3.96 3.97 5/181 654
/proc/meminfo: memFree=30648580/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=717176 CPUtime=1644.02 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 150097 0 0 0 164254 148 0 0 20 0 3 0 275752686 734388224 151458 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 179294 151458 195 433 0 178858 0
[pid=482/tid=484] ppid=480 vsize=717176 CPUtime=819.97 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 91901 0 0 0 81888 109 0 0 20 0 3 0 275752689 734388224 151458 33554432000 4194304 5965102 140734490894496 139978981373944 4411917 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=717176 CPUtime=820.04 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 56623 0 0 0 81942 62 0 0 20 0 3 0 275752689 734388224 151458 33554432000 4194304 5965102 140734490894496 139978970884320 4404410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.02
Current children cumulated vsize (KiB) 717176

[startup+882.3 s]
/proc/loadavg: 4.04 3.98 3.98 5/181 654
/proc/meminfo: memFree=30517324/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=787280 CPUtime=1764 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 171164 0 0 0 176228 172 0 0 20 0 3 0 275752686 806174720 172505 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 196820 172505 195 433 0 196384 0
[pid=482/tid=484] ppid=480 vsize=787280 CPUtime=879.81 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 112242 0 0 0 87848 133 0 0 20 0 3 0 275752689 806174720 172505 33554432000 4194304 5965102 140734490894496 139978981373944 4401109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=787280 CPUtime=879.89 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 57349 0 0 0 87925 64 0 0 20 0 3 0 275752689 806174720 172505 33554432000 4194304 5965102 140734490894496 139978970884216 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764
Current children cumulated vsize (KiB) 787280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.03 3.98 3.98 5/181 654
/proc/meminfo: memFree=30499096/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=788160 CPUtime=1800.2 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 174431 0 0 0 179843 177 0 0 20 0 3 0 275752686 807075840 175772 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 197040 175772 195 433 0 196604 0
[pid=482/tid=484] ppid=480 vsize=788160 CPUtime=897.87 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 115364 0 0 0 89648 139 0 0 20 0 3 0 275752689 807075840 175772 33554432000 4194304 5965102 140734490894496 139978981373944 4401475 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=788160 CPUtime=897.95 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 57494 0 0 0 89731 64 0 0 20 0 3 0 275752689 807075840 175772 33554432000 4194304 5965102 140734490894496 139978970884456 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 788160

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 482 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=828296
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=60686
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.425
CPU time (s): 1800.2
CPU user time (s): 1798.43
CPU system time (s): 1.77
CPU usage (%): 199.928
Max. virtual memory (cumulated for all children) (KiB): 788160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.83
system time used= 2.06069
maximum resident set size= 703096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174433
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= 838
involuntary context switches= 2080

runsolver used 2.32065 second user time and 5.2842 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-27 07:24:38
IDJOB=3703892
IDBENCH=71848
IDSOLVER=2279
FILE ID=node142/3703892-1338096278
RUNJOBID= node142-1338085847-31092
PBS_JOBID= 14624428
Free space on /tmp= 71672 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703892-1338096278/watcher-3703892-1338096278 -o /tmp/evaluation-result-3703892-1338096278/solver-3703892-1338096278 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703892-1338096278.opb

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

MD5SUM BENCH= e08af5097f76b1d4e2b0ba1d8a42ed5a
RANDOM SEED=1575193579

node142.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.776
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.55
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.776
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.776
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	: 5391.91
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.776
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.92
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.776
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.90
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.776
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.776
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.91
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.776
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:        30991936 kB
Buffers:          262936 kB
Cached:           241228 kB
SwapCached:            0 kB
Active:          1002748 kB
Inactive:          74880 kB
Active(anon):     564172 kB
Inactive(anon):    11212 kB
Active(file):     438576 kB
Inactive(file):    63668 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5628 kB
Writeback:             0 kB
AnonPages:        579624 kB
Mapped:            12528 kB
Shmem:               200 kB
Slab:             663440 kB
SReclaimable:     105408 kB
SUnreclaim:       558032 kB
KernelStack:        1464 kB
PageTables:         5144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     346924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 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= 71676 MiB
End job on node142 at 2012-05-27 07:39:41