Trace number 3735742

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
PB07: PB-clasp 2007-04-10SAT (TO)67 1802.11 1802.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_009_area_delay.opb
MD5SUM2aa6eb5ee09e1484657dfe3626167241
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.238963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6148
Total number of constraints19000
Number of constraints which are clauses19000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 2987
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 2987
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2987
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.67/0.98	o 78
1.15/1.28	o 77
1.26/1.57	o 76
1.56/1.87	o 75
2.06/2.17	o 74
2.15/2.47	o 73
2.44/2.75	o 72
2.72/3.03	o 71
3.28/3.32	o 70
3.31/3.61	o 69
3.59/3.89	o 68
3.87/4.17	o 67
1033.39/1033.62	sh: line 1: 19815 Done                    cat HOME/temp/instance-3735742-1338726483.opb.op
1033.39/1033.62	     19816 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3735742-1338726483.opb.clasp
1800.05/1800.40	sh: line 1: 19846 Done                    cat HOME/temp/instance-3735742-1338726483.opb.op
1800.05/1800.40	     19847 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3735742-1338726483.opb.clasp
1800.05/1800.41	c Somebody sent me a SIGTERM
1800.05/1800.41	s SATISFIABLE
1800.05/1800.41	v x177 x179 x181 x187 x188 x189 x190 x192 x196 x204 x222 x224 x232 x236 x240 x241 x242 x260 x266 x270 x280 x294 x302 x306 x312 x316 x326 x334 x338 x368 x370 x372 x374 x380 x382 x388 x390 x402 x406 x408 x420 x1289 x1304 x1312 x1324 x1335 x1336 x1338 x2619 x2620 x2809 x2810 x3119 x3120 x3575 x3577 x3603 x3609 x3611 x3622 x3975 x3976 x4136 x4137 x4262 x4263 x4392 x4393 x4642 x4643 x5193 x5194 x5581 x5582 x5741 x5742 x5913 x5914 x6001 x6002 x6015 x6016 x6025 x6026 x6057 x6058 x6085 x6086 x6105 x6106 x6139 x6140 x6143 x6144 x6145 x6146 x6147 x6148 
1800.05/1800.42	pb2clasp1: no process killed
1802.05/1802.41	sh: line 1: 19984 Done                    cat HOME/temp/instance-3735742-1338726483.opb.op
1802.05/1802.41	     19985 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3735742-1338726483.opb.clasp

Verifier Data 

OK	67

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-3735742-1338726483/watcher-3735742-1338726483 -o /tmp/evaluation-result-3735742-1338726483/solver-3735742-1338726483 -C 1800 -W 1900 -M 15500 pbclasp instance-3735742-1338726483.opb HOME/temp 

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 19710
/proc/meminfo: memFree=28946764/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) R 19708 19710 22179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 338773895 26206208 466 33554432000 4194304 4198148 140734221693168 140734221690616 214394398845 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/19710/statm: 6398 466 345 1 0 193 0

[startup+0.079716 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19710
/proc/meminfo: memFree=28946764/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26428 CPUtime=0.05 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 801 0 0 0 5 0 0 0 20 0 1 0 338773895 27062272 715 33554432000 4194304 4198148 140734221693168 140734221692056 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19710/statm: 6607 715 368 1 0 402 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26428

[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19710
/proc/meminfo: memFree=28946764/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26428 CPUtime=0.05 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 801 0 0 0 5 0 0 0 20 0 1 0 338773895 27062272 715 33554432000 4194304 4198148 140734221693168 140734221692056 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19710/statm: 6607 715 368 1 0 402 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26428

[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19710
/proc/meminfo: memFree=28946764/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26428 CPUtime=0.05 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 801 0 0 0 5 0 0 0 20 0 1 0 338773895 27062272 715 33554432000 4194304 4198148 140734221693168 140734221692056 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19710/statm: 6607 715 368 1 0 402 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26428

[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19710
/proc/meminfo: memFree=28946764/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=0.67 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 1006 2110 0 0 6 0 61 0 20 0 1 0 338773895 27332608 793 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19710/statm: 6673 793 387 1 0 468 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 26692

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 19728
/proc/meminfo: memFree=28942376/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1.26 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 1274 11763 0 0 6 0 117 3 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 26692

[startup+3.10012 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19752
/proc/meminfo: memFree=28933572/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=3.03 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 1964 40827 0 0 7 1 284 11 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 26692

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19816
/proc/meminfo: memFree=28933100/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=4.15 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2430 60196 0 0 7 1 391 16 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19814] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19814/stat : 19814 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338774314 9367552 264 33554432000 4194304 5064252 140733520430192 140733520428448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19814/statm: 2287 264 223 213 0 72 0
[pid=19816] ppid=19814 vsize=13068 CPUtime=2.1 cores=1,3,5,7
/proc/19816/stat : 19816 (clasp-1.0) R 19814 19710 22179 0 -1 4202496 2886 0 0 0 209 1 0 0 20 0 1 0 338774314 13381632 2712 33554432000 134512640 134847168 4293637888 4293636608 134714137 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19816/statm: 3267 2712 270 82 0 2508 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 48908

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19816
/proc/meminfo: memFree=28930720/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=4.15 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2430 60196 0 0 7 1 391 16 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19814] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19814/stat : 19814 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338774314 9367552 264 33554432000 4194304 5064252 140733520430192 140733520428448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19814/statm: 2287 264 223 213 0 72 0
[pid=19816] ppid=19814 vsize=14124 CPUtime=8.5 cores=1,3,5,7
/proc/19816/stat : 19816 (clasp-1.0) R 19814 19710 22179 0 -1 4202496 3159 0 0 0 849 1 0 0 20 0 1 0 338774314 14462976 2985 33554432000 134512640 134847168 4293637888 4293636528 134616362 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19816/statm: 3531 2985 270 82 0 2772 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 49964

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19816
/proc/meminfo: memFree=28922960/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=4.15 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2430 60196 0 0 7 1 391 16 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19814] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19814/stat : 19814 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338774314 9367552 264 33554432000 4194304 5064252 140733520430192 140733520428448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19814/statm: 2287 264 223 213 0 72 0
[pid=19816] ppid=19814 vsize=18440 CPUtime=21.3 cores=1,3,5,7
/proc/19816/stat : 19816 (clasp-1.0) R 19814 19710 22179 0 -1 4202496 4249 0 0 0 2129 1 0 0 20 0 1 0 338774314 18882560 4075 33554432000 134512640 134847168 4293637888 4293636580 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19816/statm: 4610 4075 270 82 0 3851 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 54280

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19816
/proc/meminfo: memFree=28915140/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=4.15 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2430 60196 0 0 7 1 391 16 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19814] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19814/stat : 19814 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338774314 9367552 264 33554432000 4194304 5064252 140733520430192 140733520428448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19814/statm: 2287 264 223 213 0 72 0
[pid=19816] ppid=19814 vsize=21536 CPUtime=46.89 cores=1,3,5,7
/proc/19816/stat : 19816 (clasp-1.0) R 19814 19710 22179 0 -1 4202496 5026 0 0 0 4688 1 0 0 20 0 1 0 338774314 22052864 4856 33554432000 134512640 134847168 4293637888 4293636580 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19816/statm: 5384 4856 270 82 0 4625 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 57376

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19817
/proc/meminfo: memFree=28903652/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=4.15 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2430 60196 0 0 7 1 391 16 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19814] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19814/stat : 19814 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338774314 9367552 264 33554432000 4194304 5064252 140733520430192 140733520428448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19814/statm: 2287 264 223 213 0 72 0
[pid=19816] ppid=19814 vsize=24084 CPUtime=98.09 cores=1,3,5,7
/proc/19816/stat : 19816 (clasp-1.0) R 19814 19710 22179 0 -1 4202496 5654 0 0 0 9807 2 0 0 20 0 1 0 338774314 24662016 5492 33554432000 134512640 134847168 4293637888 4293636568 134789711 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19816/statm: 6021 5492 270 82 0 5262 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 59924

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/182 19820
/proc/meminfo: memFree=28898552/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=4.15 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2430 60196 0 0 7 1 391 16 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19814] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19814/stat : 19814 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338774314 9367552 264 33554432000 4194304 5064252 140733520430192 140733520428448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19814/statm: 2287 264 223 213 0 72 0
[pid=19816] ppid=19814 vsize=27148 CPUtime=158.06 cores=1,3,5,7
/proc/19816/stat : 19816 (clasp-1.0) R 19814 19710 22179 0 -1 4202496 6422 0 0 0 15804 2 0 0 20 0 1 0 338774314 27799552 6263 33554432000 134512640 134847168 4293637888 4293636580 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19816/statm: 6787 6263 270 82 0 6028 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 62988

[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 19820
/proc/meminfo: memFree=28889812/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=4.15 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2430 60196 0 0 7 1 391 16 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19814] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19814/stat : 19814 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338774314 9367552 264 33554432000 4194304 5064252 140733520430192 140733520428448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19814/statm: 2287 264 223 213 0 72 0
[pid=19816] ppid=19814 vsize=29108 CPUtime=218.06 cores=1,3,5,7
/proc/19816/stat : 19816 (clasp-1.0) R 19814 19710 22179 0 -1 4202496 6873 0 0 0 21803 3 0 0 20 0 1 0 338774314 29806592 6714 33554432000 134512640 134847168 4293637888 4293636512 134784680 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19816/statm: 7277 6714 270 82 0 6518 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 64948

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 19820
/proc/meminfo: memFree=28889252/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=4.15 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2430 60196 0 0 7 1 391 16 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19814] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19814/stat : 19814 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338774314 9367552 264 33554432000 4194304 5064252 140733520430192 140733520428448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19814/statm: 2287 264 223 213 0 72 0
[pid=19816] ppid=19814 vsize=29636 CPUtime=278.05 cores=1,3,5,7
/proc/19816/stat : 19816 (clasp-1.0) R 19814 19710 22179 0 -1 4202496 6998 0 0 0 27802 3 0 0 20 0 1 0 338774314 30347264 6849 33554432000 134512640 134847168 4293637888 4293636512 134784505 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19816/statm: 7409 6849 270 82 0 6650 0
Current children cumulated CPU time (s) 282.2

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

/proc/19845/stat : 19845 (sh) S 19710 19710 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338877259 9367552 263 33554432000 4194304 5064252 140734870351728 140734870349984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19845/statm: 2287 263 223 213 0 72 0
[pid=19847] ppid=19845 vsize=32796 CPUtime=388.6 cores=1,3,5,7
/proc/19847/stat : 19847 (clasp-1.0) R 19845 19710 22179 0 -1 4202496 7779 0 0 0 38857 3 0 0 20 0 1 0 338877259 33583104 7649 33554432000 134512640 134847168 4288497792 4288496484 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19847/statm: 8199 7649 272 82 0 7440 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 68636

[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 19972
/proc/meminfo: memFree=28866972/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1033.42 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2532 72571 0 0 7 1 103311 23 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19845] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19845/stat : 19845 (sh) S 19710 19710 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338877259 9367552 263 33554432000 4194304 5064252 140734870351728 140734870349984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19845/statm: 2287 263 223 213 0 72 0
[pid=19847] ppid=19845 vsize=34272 CPUtime=448.58 cores=1,3,5,7
/proc/19847/stat : 19847 (clasp-1.0) R 19845 19710 22179 0 -1 4202496 8124 0 0 0 44855 3 0 0 20 0 1 0 338877259 35094528 8009 33554432000 134512640 134847168 4288497792 4288496560 134617496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19847/statm: 8568 8009 272 82 0 7809 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 70112

[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 19972
/proc/meminfo: memFree=28864492/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1033.42 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2532 72571 0 0 7 1 103311 23 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19845] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19845/stat : 19845 (sh) S 19710 19710 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338877259 9367552 263 33554432000 4194304 5064252 140734870351728 140734870349984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19845/statm: 2287 263 223 213 0 72 0
[pid=19847] ppid=19845 vsize=36152 CPUtime=508.57 cores=1,3,5,7
/proc/19847/stat : 19847 (clasp-1.0) R 19845 19710 22179 0 -1 4202496 8605 0 0 0 50854 3 0 0 20 0 1 0 338877259 37019648 8490 33554432000 134512640 134847168 4288497792 4288496560 134737254 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19847/statm: 9038 8490 272 82 0 8279 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 71992

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 19973
/proc/meminfo: memFree=28858220/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1033.42 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2532 72571 0 0 7 1 103311 23 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19845] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19845/stat : 19845 (sh) S 19710 19710 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338877259 9367552 263 33554432000 4194304 5064252 140734870351728 140734870349984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19845/statm: 2287 263 223 213 0 72 0
[pid=19847] ppid=19845 vsize=37956 CPUtime=568.56 cores=1,3,5,7
/proc/19847/stat : 19847 (clasp-1.0) R 19845 19710 22179 0 -1 4202496 9013 0 0 0 56852 4 0 0 20 0 1 0 338877259 38866944 8938 33554432000 134512640 134847168 4288497792 4288496408 134789714 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19847/statm: 9489 8938 272 82 0 8730 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 73796

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 19973
/proc/meminfo: memFree=28858344/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1033.42 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2532 72571 0 0 7 1 103311 23 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19845] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19845/stat : 19845 (sh) S 19710 19710 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338877259 9367552 263 33554432000 4194304 5064252 140734870351728 140734870349984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19845/statm: 2287 263 223 213 0 72 0
[pid=19847] ppid=19845 vsize=37956 CPUtime=628.55 cores=1,3,5,7
/proc/19847/stat : 19847 (clasp-1.0) R 19845 19710 22179 0 -1 4202496 9013 0 0 0 62851 4 0 0 20 0 1 0 338877259 38866944 8938 33554432000 134512640 134847168 4288497792 4288496420 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19847/statm: 9489 8938 272 82 0 8730 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 73796

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 19973
/proc/meminfo: memFree=28856732/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1033.42 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2532 72571 0 0 7 1 103311 23 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19845] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19845/stat : 19845 (sh) S 19710 19710 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338877259 9367552 263 33554432000 4194304 5064252 140734870351728 140734870349984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19845/statm: 2287 263 223 213 0 72 0
[pid=19847] ppid=19845 vsize=39540 CPUtime=688.54 cores=1,3,5,7
/proc/19847/stat : 19847 (clasp-1.0) R 19845 19710 22179 0 -1 4202496 9428 0 0 0 68850 4 0 0 20 0 1 0 338877259 40488960 9353 33554432000 134512640 134847168 4288497792 4288496420 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19847/statm: 9885 9353 272 82 0 9126 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 75380

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 19973
/proc/meminfo: memFree=28855864/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1033.42 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2532 72571 0 0 7 1 103311 23 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19845] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19845/stat : 19845 (sh) S 19710 19710 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338877259 9367552 263 33554432000 4194304 5064252 140734870351728 140734870349984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19845/statm: 2287 263 223 213 0 72 0
[pid=19847] ppid=19845 vsize=40464 CPUtime=748.53 cores=1,3,5,7
/proc/19847/stat : 19847 (clasp-1.0) R 19845 19710 22179 0 -1 4202496 9662 0 0 0 74849 4 0 0 20 0 1 0 338877259 41435136 9587 33554432000 134512640 134847168 4288497792 4288496484 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19847/statm: 10116 9587 272 82 0 9357 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 76304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 19973
/proc/meminfo: memFree=28855740/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1033.42 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2532 72571 0 0 7 1 103311 23 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19845] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19845/stat : 19845 (sh) S 19710 19710 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338877259 9367552 263 33554432000 4194304 5064252 140734870351728 140734870349984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19845/statm: 2287 263 223 213 0 72 0
[pid=19847] ppid=19845 vsize=40464 CPUtime=766.63 cores=1,3,5,7
/proc/19847/stat : 19847 (clasp-1.0) R 19845 19710 22179 0 -1 4202496 9662 0 0 0 76659 4 0 0 20 0 1 0 338877259 41435136 9587 33554432000 134512640 134847168 4288497792 4288496484 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19847/statm: 10116 9587 272 82 0 9357 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 76304

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -19710

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

[startup+1801.4 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 19992
/proc/meminfo: memFree=28937308/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1800.09 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2698 85007 0 0 7 1 179972 29 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19983] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19983/stat : 19983 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338953938 9367552 264 33554432000 4194304 5064252 140733228372976 140733228371232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19983/statm: 2287 264 223 213 0 72 0
[pid=19985] ppid=19983 vsize=13068 CPUtime=0.96 cores=1,3,5,7
/proc/19985/stat : 19985 (clasp-1.0) R 19983 19710 22179 0 -1 4202496 2886 0 0 0 96 0 0 0 20 0 1 0 338953938 13381632 2712 33554432000 134512640 134847168 4291124320 4291122944 134782550 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19985/statm: 3267 2712 270 82 0 2508 0
Current children cumulated CPU time (s) 1801.05
Current children cumulated vsize (KiB) 48908

[startup+1802.2 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 19992
/proc/meminfo: memFree=28926164/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1800.09 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2698 85007 0 0 7 1 179972 29 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19983] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19983/stat : 19983 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338953938 9367552 264 33554432000 4194304 5064252 140733228372976 140733228371232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19983/statm: 2287 264 223 213 0 72 0
[pid=19985] ppid=19983 vsize=13068 CPUtime=1.76 cores=1,3,5,7
/proc/19985/stat : 19985 (clasp-1.0) R 19983 19710 22179 0 -1 4202496 2886 0 0 0 176 0 0 0 20 0 1 0 338953938 13381632 2712 33554432000 134512640 134847168 4291124320 4291122784 134713654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19985/statm: 3267 2712 270 82 0 2508 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 48908

[startup+1802.4 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 19992
/proc/meminfo: memFree=28926164/32873844 swapFree=7632/7632
[pid=19710] ppid=19708 vsize=26692 CPUtime=1800.09 cores=1,3,5,7
/proc/19710/stat : 19710 (pbclasp) S 19708 19710 22179 0 -1 4202496 2698 85007 0 0 7 1 179972 29 20 0 1 0 338773895 27332608 796 33554432000 4194304 4198148 140734221693168 140734221692096 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19710/statm: 6673 796 387 1 0 468 0
[pid=19983] ppid=19710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19983/stat : 19983 (sh) S 19710 19710 22179 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338953938 9367552 264 33554432000 4194304 5064252 140733228372976 140733228371232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19983/statm: 2287 264 223 213 0 72 0
[pid=19985] ppid=19983 vsize=13068 CPUtime=1.96 cores=1,3,5,7
/proc/19985/stat : 19985 (clasp-1.0) R 19983 19710 22179 0 -1 4202496 2886 0 0 0 196 0 0 0 20 0 1 0 338953938 13381632 2712 33554432000 134512640 134847168 4291124320 4291123088 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19985/statm: 3267 2712 270 82 0 2508 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 48908

Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.11
CPU user time (s): 1801.78
CPU system time (s): 0.329949
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 79664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.78
system time used= 0.329949
maximum resident set size= 41516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2738
involuntary context switches= 2127

runsolver used 3.18952 second user time and 8.42372 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-03 14:28:03
IDJOB=3735742
IDBENCH=24991
IDSOLVER=2317
FILE ID=node130/3735742-1338726483
RUNJOBID= node130-1338713747-22196
PBS_JOBID= 14636742
Free space on /tmp= 70980 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735742-1338726483/watcher-3735742-1338726483 -o /tmp/evaluation-result-3735742-1338726483/solver-3735742-1338726483 -C 1800 -W 1900 -M 15500  pbclasp instance-3735742-1338726483.opb HOME/temp

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

MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241
RANDOM SEED=1197344930

node130.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.875
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.75
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.875
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.875
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.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.875
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.86
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.875
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.875
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.92
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.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28946928 kB
Buffers:          634764 kB
Cached:          2398796 kB
SwapCached:         4252 kB
Active:          1341820 kB
Inactive:        1722408 kB
Active(anon):      22524 kB
Inactive(anon):     8120 kB
Active(file):    1319296 kB
Inactive(file):  1714288 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099284 kB
Dirty:              1900 kB
Writeback:             0 kB
AnonPages:         32616 kB
Mapped:            11432 kB
Shmem:                 4 kB
Slab:             723032 kB
SReclaimable:     164356 kB
SUnreclaim:       558676 kB
KernelStack:        1472 kB
PageTables:         4228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3735742-1338726483.opb

Free space on /tmp at the end= 70976 MiB
End job on node130 at 2012-06-03 14:58:05