Trace number 3734649

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)184 1802.12 1802.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-test1.r.opb
MD5SUM8e6ac0bad8d074da12c63269189a8260
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark110
Best CPU time to get the best result obtained on this benchmark0.130979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 110
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints362
Number of constraints which are clauses362
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 constraint3
Maximum length of a constraint48
Number of terms in the objective function 2091
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 2091
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2091
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.06/0.15	o 219
0.14/0.25	o 188
0.25/0.36	o 186
83.86/83.92	sh: line 1:  4784 Done                    cat HOME/temp/instance-3734649-1338719466.opb.op
83.86/83.92	      4785 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3734649-1338719466.opb.clasp
226.03/226.19	o 185
226.14/226.29	o 184
1800.09/1800.40	sh: line 1:  4983 Done                    cat HOME/temp/instance-3734649-1338719466.opb.op
1800.09/1800.40	      4984 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3734649-1338719466.opb.clasp
1800.09/1800.41	c Somebody sent me a SIGTERM
1800.09/1800.41	s SATISFIABLE
1800.09/1800.41	v x10 x26 x34 x46 x49 x52 x84 x93 x106 x112 x133 x138 x194 x197 x205 x217 x225 x239 x247 x253 x278 x284 x291 x317 x331 x347 x407 x435 x465 x470 x476 x500 x509 x515 x542 x546 x571 x572 x591 x602 x607 x617 x623 x636 x638 x662 x664 x668 x694 x695 x709 x722 x729 x754 x769 x832 x845 x863 x877 x881 x890 x902 x903 x908 x912 x922 x952 x958 x963 x968 x975 x984 x1009 x1036 x1047 x1066 x1069 x1080 x1086 x1088 x1097 x1119 x1141 x1147 x1159 x1167 x1180 x1185 x1193 x1204 x1207 x1216 x1229 x1234 x1247 x1252 x1254 x1273 x1294 x1297 x1306 x1320 x1326 x1340 x1348 x1350 x1377 x1389 x1397 x1410 x1414 x1429 x1433 x1439 x1445 x1447 x1454 x1469 x1472 x1477 x1487 x1508 x1512 x1540 x1546 x1551 x1556 x1562 x1573 x1587 x1594 x1596 x1600 x1606 x1619 x1623 x1643 x1648 x1652 x1663 x1672 x1682 x1689 x1698 x1706 x1730 x1750 x1752 x1759 x1772 x1786 x1793 x1798 x1801 x1819 x1824 x1830 x1832 x1857 x1859 x1868 x1876 x1881 x1891 x1902 x1909 x1914 x1918 x1939 x1943 x1957 x1969 x1974 x1979 x1993 x1998 x2012 x2016 x2030 x2048 x2052 x2054 x2073 x2090 
1800.09/1800.41	pb2clasp1: no process killed
1802.07/1802.41	sh: line 1:  5034 Done                    cat HOME/temp/instance-3734649-1338719466.opb.op
1802.07/1802.41	      5035 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3734649-1338719466.opb.clasp

Verifier Data

OK	184

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-3734649-1338719466/watcher-3734649-1338719466 -o /tmp/evaluation-result-3734649-1338719466/solver-3734649-1338719466 -C 1800 -W 1900 -M 15500 pbclasp instance-3734649-1338719466.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 4751
/proc/meminfo: memFree=27973332/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) R 4749 4751 28789 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 338075230 26206208 476 33554432000 4194304 4198148 140734443883328 140734443880776 240430147365 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/4751/statm: 6398 478 355 1 0 193 0

[startup+0.0726121 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4751
/proc/meminfo: memFree=27973332/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26136 CPUtime=0.03 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 728 0 0 0 3 0 0 0 20 0 1 0 338075230 26763264 639 33554432000 4194304 4198148 140734443883328 140734443882216 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4751/statm: 6534 639 368 1 0 329 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26136

[startup+0.100356 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4751
/proc/meminfo: memFree=27973332/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.06 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 902 2103 0 0 3 0 3 0 20 0 1 0 338075230 27033600 699 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4751/statm: 6600 699 387 1 0 395 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26400

[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4751
/proc/meminfo: memFree=27973332/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.25 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1237 7232 0 0 3 0 20 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 26400

[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4751
/proc/meminfo: memFree=27973332/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 26400

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4785
/proc/meminfo: memFree=27969068/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=5872 CPUtime=1.12 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 1055 0 0 0 112 0 0 0 20 0 1 0 338075267 6012928 952 33554432000 134512640 134847168 4293066144 4293064828 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 1468 952 270 82 0 709 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41420

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4785
/proc/meminfo: memFree=27967844/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=6384 CPUtime=2.72 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 1175 0 0 0 272 0 0 0 20 0 1 0 338075267 6537216 1072 33554432000 134512640 134847168 4293066144 4293064784 134715276 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 1596 1072 270 82 0 837 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41932

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4785
/proc/meminfo: memFree=27964744/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=7036 CPUtime=5.92 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 1338 0 0 0 592 0 0 0 20 0 1 0 338075267 7204864 1235 33554432000 134512640 134847168 4293066144 4293064848 134616608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 1759 1235 270 82 0 1000 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42584

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 4785
/proc/meminfo: memFree=27963560/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=7792 CPUtime=12.32 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 1529 0 0 0 1232 0 0 0 20 0 1 0 338075267 7979008 1426 33554432000 134512640 134847168 4293066144 4293064784 134715308 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 1948 1426 270 82 0 1189 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43340

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4786
/proc/meminfo: memFree=27963064/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=8432 CPUtime=25.11 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 1703 0 0 0 2511 0 0 0 20 0 1 0 338075267 8634368 1600 33554432000 134512640 134847168 4293066144 4293064912 134617331 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 2108 1600 270 82 0 1349 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43980

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4786
/proc/meminfo: memFree=27961572/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=9608 CPUtime=50.7 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 2002 0 0 0 5070 0 0 0 20 0 1 0 338075267 9838592 1873 33554432000 134512640 134847168 4293066144 4293064784 134715264 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 2402 1873 270 82 0 1643 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45156

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4902
/proc/meminfo: memFree=27978180/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=83.9 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1481 13930 0 0 4 0 8383 3 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4803] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4803/stat : 4803 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338083623 9367552 263 33554432000 4194304 5064252 140736063835872 140736063834128 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4803/statm: 2287 263 223 213 0 72 0
[pid=4805] ppid=4803 vsize=8184 CPUtime=18.36 cores=1,3,5,7
/proc/4805/stat : 4805 (clasp-1.0) R 4803 4751 28789 0 -1 4202496 1642 0 0 0 1836 0 0 0 20 0 1 0 338083623 8380416 1539 33554432000 134512640 134847168 4288511072 4288509696 134784526 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4805/statm: 2046 1539 270 82 0 1287 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43732

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4902
/proc/meminfo: memFree=27975952/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=83.9 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1481 13930 0 0 4 0 8383 3 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4803] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4803/stat : 4803 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338083623 9367552 263 33554432000 4194304 5064252 140736063835872 140736063834128 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4803/statm: 2287 263 223 213 0 72 0
[pid=4805] ppid=4803 vsize=10168 CPUtime=78.34 cores=1,3,5,7
/proc/4805/stat : 4805 (clasp-1.0) R 4803 4751 28789 0 -1 4202496 2162 0 0 0 7834 0 0 0 20 0 1 0 338083623 10412032 2032 33554432000 134512640 134847168 4288511072 4288509712 134782607 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4805/statm: 2542 2032 270 82 0 1783 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45716

[startup+222.3 s]
/proc/loadavg: 1.96 2.00 2.00 3/181 4968
/proc/meminfo: memFree=27975820/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=83.9 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1481 13930 0 0 4 0 8383 3 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4803] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4803/stat : 4803 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338083623 9367552 263 33554432000 4194304 5064252 140736063835872 140736063834128 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4803/statm: 2287 263 223 213 0 72 0
[pid=4805] ppid=4803 vsize=11420 CPUtime=138.33 cores=1,3,5,7
/proc/4805/stat : 4805 (clasp-1.0) R 4803 4751 28789 0 -1 4202496 2478 0 0 0 13833 0 0 0 20 0 1 0 338083623 11694080 2339 33554432000 134512640 134847168 4288511072 4288509764 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4805/statm: 2855 2339 270 82 0 2096 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 46968

[startup+282.3 s]

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

/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=17616 CPUtime=1195.81 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 5978 0 0 0 119579 2 0 0 20 0 1 0 338097860 18038784 3901 33554432000 134512640 134847168 4287603424 4287602048 134784656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4404 3901 270 82 0 3645 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 53164

[startup+1482.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/181 4994
/proc/meminfo: memFree=27968528/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=17632 CPUtime=1255.8 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 6042 0 0 0 125578 2 0 0 20 0 1 0 338097860 18055168 3905 33554432000 134512640 134847168 4287603424 4287602116 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4408 3905 270 82 0 3649 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 53180

[startup+1542.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/181 4995
/proc/meminfo: memFree=27968652/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=17632 CPUtime=1315.79 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 6110 0 0 0 131577 2 0 0 20 0 1 0 338097860 18055168 3905 33554432000 134512640 134847168 4287603424 4287602048 134784687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4408 3905 270 82 0 3649 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 53180

[startup+1602.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/181 4995
/proc/meminfo: memFree=27967784/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=18808 CPUtime=1375.78 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 6608 0 0 0 137576 2 0 0 20 0 1 0 338097860 19259392 4185 33554432000 134512640 134847168 4287603424 4287602156 134782304 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4702 4185 270 82 0 3943 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 54356

[startup+1662.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/181 4995
/proc/meminfo: memFree=27967412/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=18828 CPUtime=1435.76 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 7120 0 0 0 143574 2 0 0 20 0 1 0 338097860 19279872 4204 33554432000 134512640 134847168 4287603424 4287602048 134784800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4707 4204 270 82 0 3948 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 54376

[startup+1722.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/181 4995
/proc/meminfo: memFree=27967536/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=19016 CPUtime=1495.75 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 7316 0 0 0 149573 2 0 0 20 0 1 0 338097860 19472384 4235 33554432000 134512640 134847168 4287603424 4287602064 134715248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4754 4235 270 82 0 3995 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 54564

[startup+1782.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/182 4998
/proc/meminfo: memFree=27967092/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=18964 CPUtime=1555.74 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 7560 0 0 0 155572 2 0 0 20 0 1 0 338097860 19419136 4238 33554432000 134512640 134847168 4287603424 4287602048 134784625 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4741 4238 270 82 0 3982 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 54512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.08 2.01 3/182 5021
/proc/meminfo: memFree=27966360/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=19000 CPUtime=1573.85 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 7614 0 0 0 157383 2 0 0 20 0 1 0 338097860 19456000 4247 33554432000 134512640 134847168 4287603424 4287602048 134784673 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4750 4247 270 82 0 3991 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 54548

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -4751

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

[startup+1801.4 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 5040
/proc/meminfo: memFree=27982632/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=1800.11 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1917 31353 0 0 4 0 179998 9 20 0 1 0 338075230 27033600 704 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4751/statm: 6600 704 387 1 0 395 0
[pid=5032] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5032/stat : 5032 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338255272 9367552 263 33554432000 4194304 5064252 140733861288992 140733861287248 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5032/statm: 2287 263 223 213 0 72 0
[pid=5035] ppid=5032 vsize=5732 CPUtime=0.96 cores=1,3,5,7
/proc/5035/stat : 5035 (clasp-1.0) R 5032 4751 28789 0 -1 4202496 1015 0 0 0 96 0 0 0 20 0 1 0 338255273 5869568 913 33554432000 134512640 134847168 4292266112 4292264416 134791632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5035/statm: 1433 913 270 82 0 674 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 41280

[startup+1802.2 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 5040
/proc/meminfo: memFree=27980804/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=1800.11 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1917 31353 0 0 4 0 179998 9 20 0 1 0 338075230 27033600 704 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4751/statm: 6600 704 387 1 0 395 0
[pid=5032] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5032/stat : 5032 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338255272 9367552 263 33554432000 4194304 5064252 140733861288992 140733861287248 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5032/statm: 2287 263 223 213 0 72 0
[pid=5035] ppid=5032 vsize=6136 CPUtime=1.76 cores=1,3,5,7
/proc/5035/stat : 5035 (clasp-1.0) R 5032 4751 28789 0 -1 4202496 1126 0 0 0 176 0 0 0 20 0 1 0 338255273 6283264 1024 33554432000 134512640 134847168 4292266112 4292264800 134616623 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5035/statm: 1534 1024 270 82 0 775 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 41684

[startup+1802.4 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 5040
/proc/meminfo: memFree=27980804/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=1800.11 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1917 31353 0 0 4 0 179998 9 20 0 1 0 338075230 27033600 704 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4751/statm: 6600 704 387 1 0 395 0
[pid=5032] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5032/stat : 5032 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338255272 9367552 263 33554432000 4194304 5064252 140733861288992 140733861287248 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5032/statm: 2287 263 223 213 0 72 0
[pid=5035] ppid=5032 vsize=6268 CPUtime=1.96 cores=1,3,5,7
/proc/5035/stat : 5035 (clasp-1.0) R 5032 4751 28789 0 -1 4202496 1146 0 0 0 196 0 0 0 20 0 1 0 338255273 6418432 1044 33554432000 134512640 134847168 4292266112 4292264372 134792573 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5035/statm: 1567 1044 270 82 0 808 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 41816

Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.12
CPU user time (s): 1802.01
CPU system time (s): 0.110983
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 54708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1802.01
system time used= 0.110983
maximum resident set size= 17104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295
involuntary context switches= 6146

runsolver used 5.57815 second user time and 20.8238 second system time

The end

Launcher Data

Begin job on node108 at 2012-06-03 12:31:06
IDJOB=3734649
IDBENCH=2886
IDSOLVER=2317
FILE ID=node108/3734649-1338719466
RUNJOBID= node108-1338713956-28806
PBS_JOBID= 14636750
Free space on /tmp= 71468 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734649-1338719466/watcher-3734649-1338719466 -o /tmp/evaluation-result-3734649-1338719466/solver-3734649-1338719466 -C 1800 -W 1900 -M 15500  pbclasp instance-3734649-1338719466.opb HOME/temp

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

MD5SUM BENCH= 8e6ac0bad8d074da12c63269189a8260
RANDOM SEED=1931056320

node108.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.273
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	: 5332.54
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.273
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.273
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.273
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.273
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.273
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	: 5438.55
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.273
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.90
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.273
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:        27973596 kB
Buffers:          514408 kB
Cached:          3553700 kB
SwapCached:          112 kB
Active:          2097032 kB
Inactive:        1995432 kB
Active(anon):      10828 kB
Inactive(anon):    13072 kB
Active(file):    2086204 kB
Inactive(file):  1982360 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              2152 kB
Writeback:             0 kB
AnonPages:         24024 kB
Mapped:            16480 kB
Shmem:               172 kB
Slab:             668444 kB
SReclaimable:     110036 kB
SUnreclaim:       558408 kB
KernelStack:        1512 kB
PageTables:         4832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     136280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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-3734649-1338719466.opb

Free space on /tmp at the end= 71472 MiB
End job on node108 at 2012-06-03 13:01:09