Trace number 3722128

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: minisat+ 1.14? (TO) 1800.11 1800.62

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z7-s2.opb
MD5SUM826cee40b1a37b4e41d6d3a639f8df55
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-7368
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2023
Total number of constraints31798
Number of constraints which are clauses31790
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint2023
Number of terms in the objective function 1997
Biggest coefficient in the objective function 333
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 170608
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 735392
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 5003866
Number of bits of the biggest sum of numbers23
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 Parsing PB file...
0.39/0.47	c Converting 31798 PB-constraints to clauses...
0.39/0.48	c   -- Unit propagations: (none)
0.39/0.48	c   -- Detecting intervals from adjacent constraints: (none)
0.39/0.48	c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.49/0.51	c ---[31797]---> Adder-cost: 20850   maxlim: 3412480   bits: 22/22
25.19/25.25	c ---[31796]---> Adder-cost: 21096   maxlim: 3361977   bits: 22/22
49.98/50.05	c ---[31795]---> Adder-cost: 21272   maxlim: 3399752   bits: 22/22
75.67/75.74	c ---[31794]---> Adder-cost: 21108   maxlim: 3365192   bits: 22/22
99.78/99.81	c ---[31793]---> Adder-cost: 20998   maxlim: 3428013   bits: 22/22
125.07/125.11	c ---[31792]---> Adder-cost: 20712   maxlim: 3379994   bits: 22/22
149.47/149.56	c ---[31791]---> Adder-cost: 20962   maxlim: 3447546   bits: 22/22
175.16/175.24	c ---[31790]---> Adder-cost: 21208   maxlim: 3533081   bits: 23/22
201.66/201.74	c ==================================[MINISAT+]==================================
201.66/201.74	c | Conflicts | Original         | Learnt                           | Progress |
201.66/201.74	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
201.66/201.74	c ==============================================================================
201.66/201.74	c |         0 | 1208457  4266271 |  402819       0        0     nan |  0.000 % |
201.66/201.74	c |       100 | 1208457  4266271 |  443100     100      340     3.4 |  0.056 % |
201.76/201.80	c |       250 | 1208451  4266254 |  487410     249      959     3.9 |  0.057 % |
201.96/202.00	c |       475 | 1208451  4266254 |  536152     474     2527     5.3 |  0.057 % |
202.16/202.22	c |       813 | 1208451  4266254 |  589767     812    11347    14.0 |  0.057 % |
204.76/204.88	c |      1319 | 1208451  4266254 |  648744    1318    14419    10.9 |  0.057 % |
206.36/206.46	c |      2078 | 1208451  4266254 |  713618    2077    70775    34.1 |  0.057 % |
208.46/208.56	c |      3218 | 1208442  4266223 |  784980    3216   113426    35.3 |  0.058 % |
209.26/209.36	c |      4927 | 1208442  4266223 |  863478    4925   183435    37.2 |  0.058 % |
212.95/213.01	c |      7489 | 1208442  4266223 |  949826    7487   383916    51.3 |  0.058 % |
222.25/222.32	c |     11333 | 1208442  4266223 | 1044808   11331  1680812   148.3 |  0.058 % |
241.75/241.82	c |     17099 | 1208442  4266223 | 1149289   17097  5231148   306.0 |  0.058 % |
262.86/262.96	c |     25749 | 1208442  4266223 | 1264218   25747  9449676   367.0 |  0.058 % |
303.53/303.69	c |     38723 | 1208442  4266223 | 1390640   38721 16608185   428.9 |  0.058 % |
335.71/335.88	c |     58185 | 1208380  4266021 | 1529704   58175 23269396   400.0 |  0.064 % |
349.10/349.29	c |     87377 | 1208380  4266021 | 1682674   87367 25691976   294.1 |  0.064 % |
403.47/403.69	c |    131166 | 1208380  4266021 | 1850942  131156 36383033   277.4 |  0.064 % |
476.86/477.01	c |    196850 | 1208380  4266021 | 2036036  196840 50870148   258.4 |  0.064 % |
627.43/627.68	c |    295379 | 1208371  4265992 | 2239640  295368 69719889   236.0 |  0.065 % |
1198.68/1199.06	c |    443169 | 1208362  4265963 | 2463604  443157 126916410   286.4 |  0.066 % |
1800.09/1800.61	c 
1800.09/1800.61	c *** TERMINATED ***
1800.09/1800.61	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-3722128-1338562951/watcher-3722128-1338562951 -o /tmp/evaluation-result-3722128-1338562951/solver-3722128-1338562951 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722128-1338562951.opb 

running on 4 cores: 0,2,4,6

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: 1.97 2.01 2.00 3/176 12024
/proc/meminfo: memFree=31521056/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=1564 CPUtime=0 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 322423686 1601536 204 33554432000 134512640 135395479 4287053856 4287052396 135005330 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 391 204 71 216 0 173 0

[startup+0.0999139 s]
/proc/loadavg: 1.97 2.01 2.00 3/176 12024
/proc/meminfo: memFree=31521056/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=2656 CPUtime=0.09 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 513 0 0 0 9 0 0 0 20 0 1 0 322423686 2719744 470 33554432000 134512640 135395479 4287053856 4287052432 134648448 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 664 470 74 216 0 446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2656

[startup+0.10025 s]
/proc/loadavg: 1.97 2.01 2.00 3/176 12024
/proc/meminfo: memFree=31521056/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=2656 CPUtime=0.09 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 513 0 0 0 9 0 0 0 20 0 1 0 322423686 2719744 470 33554432000 134512640 135395479 4287053856 4287052444 134809796 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 664 470 74 216 0 446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2656

[startup+0.300211 s]
/proc/loadavg: 1.97 2.01 2.00 3/176 12024
/proc/meminfo: memFree=31521056/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=5956 CPUtime=0.29 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 1341 0 0 0 29 0 0 0 20 0 1 0 322423686 6098944 1298 33554432000 134512640 135395479 4287053856 4287052392 135012160 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 1489 1298 74 216 0 1271 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5956

[startup+0.700244 s]
/proc/loadavg: 1.97 2.01 2.00 3/176 12024
/proc/meminfo: memFree=31521056/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=15436 CPUtime=0.69 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 3888 0 0 0 67 2 0 0 20 0 1 0 322423686 15806464 3678 33554432000 134512640 135395479 4287053856 4287049760 135012191 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 3859 3678 91 216 0 3641 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15436

[startup+1.50022 s]
/proc/loadavg: 1.97 2.01 2.00 3/177 12025
/proc/meminfo: memFree=31506640/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=15436 CPUtime=1.49 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 3888 0 0 0 147 2 0 0 20 0 1 0 322423686 15806464 3678 33554432000 134512640 135395479 4287053856 4287050340 135005282 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 3859 3678 91 216 0 3641 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15436

[startup+3.10016 s]
/proc/loadavg: 1.97 2.01 2.00 3/177 12025
/proc/meminfo: memFree=31506276/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=15436 CPUtime=3.09 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 3888 0 0 0 307 2 0 0 20 0 1 0 322423686 15806464 3678 33554432000 134512640 135395479 4287053856 4287050336 134808945 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 3859 3678 91 216 0 3641 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15436

[startup+6.30022 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 12025
/proc/meminfo: memFree=31506028/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=15436 CPUtime=6.29 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 3888 0 0 0 627 2 0 0 20 0 1 0 322423686 15806464 3678 33554432000 134512640 135395479 4287053856 4287050492 135005797 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 3859 3678 91 216 0 3641 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15436

[startup+12.7002 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 12025
/proc/meminfo: memFree=31505680/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=15436 CPUtime=12.69 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 3888 0 0 0 1267 2 0 0 20 0 1 0 322423686 15806464 3678 33554432000 134512640 135395479 4287053856 4287050396 134839099 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 3859 3678 91 216 0 3641 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15436

[startup+25.5002 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 12025
/proc/meminfo: memFree=31490432/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=31364 CPUtime=25.48 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 8401 0 0 0 2546 2 0 0 20 0 1 0 322423686 32116736 7552 33554432000 134512640 135395479 4287053856 4287050044 134838064 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 7841 7552 107 216 0 7623 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31364

[startup+51.1001 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 12025
/proc/meminfo: memFree=31488200/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=33080 CPUtime=51.08 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 9114 0 0 0 5106 2 0 0 20 0 1 0 322423686 33873920 7975 33554432000 134512640 135395479 4287053856 4287050060 134839070 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 8270 7975 107 216 0 8052 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33080

[startup+102.306 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 12025
/proc/meminfo: memFree=31486216/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=36752 CPUtime=102.28 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 9870 0 0 0 10225 3 0 0 20 0 1 0 322423686 37634048 8408 33554432000 134512640 135395479 4287053856 4287050460 135005853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 9188 8408 107 216 0 8970 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 36752

[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/177 12025
/proc/meminfo: memFree=31485720/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=36904 CPUtime=162.27 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 10377 0 0 0 16224 3 0 0 20 0 1 0 322423686 37789696 8559 33554432000 134512640 135395479 4287053856 4287050876 135005240 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 9226 8559 107 216 0 9008 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 36904

[startup+222.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/177 12025
/proc/meminfo: memFree=31402268/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=113676 CPUtime=222.25 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 28725 0 0 0 22217 8 0 0 20 0 1 0 322423686 116404224 26712 33554432000 134512640 135395479 4287053856 4287052144 134868663 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 28419 26712 123 216 0 28201 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 113676

[startup+282.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 12026
/proc/meminfo: memFree=31349468/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=158852 CPUtime=282.25 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 40024 0 0 0 28212 13 0 0 20 0 1 0 322423686 162664448 38003 33554432000 134512640 135395479 4287053856 4287052208 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 39713 38003 123 216 0 39495 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 158852

[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 12026
/proc/meminfo: memFree=31302004/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=205820 CPUtime=342.2 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 51800 0 0 0 34203 17 0 0 20 0 1 0 322423686 210759680 49737 33554432000 134512640 135395479 4287053856 4287052208 134581028 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 51455 49737 123 216 0 51237 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 205820

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 12026
/proc/meminfo: memFree=31252804/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=255124 CPUtime=402.17 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 64177 0 0 0 40194 23 0 0 20 0 1 0 322423686 261246976 62084 33554432000 134512640 135395479 4287053856 4287052208 134581451 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 63781 62084 123 216 0 63563 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 255124

[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/178 12029
/proc/meminfo: memFree=31202072/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=305120 CPUtime=462.16 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 76659 0 0 0 46187 29 0 0 20 0 1 0 322423686 312442880 74723 33554432000 134512640 135395479 4287053856 4287051728 134574144 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 76280 74723 123 216 0 76062 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 305120

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 12029
/proc/meminfo: memFree=31149008/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=357852 CPUtime=522.15 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 89804 0 0 0 52179 36 0 0 20 0 1 0 322423686 366440448 87868 33554432000 134512640 135395479 4287053856 4287052208 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 89463 87868 123 216 0 89245 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 357852

[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 12030
/proc/meminfo: memFree=31127184/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=379856 CPUtime=582.14 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 95320 0 0 0 58175 39 0 0 20 0 1 0 322423686 388972544 93384 33554432000 134512640 135395479 4287053856 4287052208 134581183 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 94964 93384 123 216 0 94746 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 379856

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12030
/proc/meminfo: memFree=31043028/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=460692 CPUtime=822.1 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 115464 0 0 0 82160 50 0 0 20 0 1 0 322423686 471748608 113518 33554432000 134512640 135395479 4287053856 4287052208 134580732 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 115173 113518 123 216 0 114955 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 460692

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12031
/proc/meminfo: memFree=30987504/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=487600 CPUtime=882.07 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 122225 0 0 0 88154 53 0 0 20 0 1 0 322423686 499302400 120254 33554432000 134512640 135395479 4287053856 4287052176 134572684 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 121900 120254 123 216 0 121682 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 487600

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12031
/proc/meminfo: memFree=30964964/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=510556 CPUtime=942.03 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 128021 0 0 0 94146 57 0 0 20 0 1 0 322423686 522809344 126007 33554432000 134512640 135395479 4287053856 4287051728 134575423 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 127639 126007 123 216 0 127421 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 510556

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12031
/proc/meminfo: memFree=30940112/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=534724 CPUtime=1002 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 134127 0 0 0 100139 61 0 0 20 0 1 0 322423686 547557376 132091 33554432000 134512640 135395479 4287053856 4287052176 134572721 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 133681 132091 123 216 0 133463 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 534724

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12034
/proc/meminfo: memFree=30915180/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=560020 CPUtime=1061.99 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 140457 0 0 0 106135 64 0 0 20 0 1 0 322423686 573460480 138421 33554432000 134512640 135395479 4287053856 4287052208 134580915 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 140005 138421 123 216 0 139787 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 560020

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 12034
/proc/meminfo: memFree=30887164/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=587724 CPUtime=1121.98 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 147398 0 0 0 112130 68 0 0 20 0 1 0 322423686 601829376 145362 33554432000 134512640 135395479 4287053856 4287052208 134580732 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 146931 145362 123 216 0 146713 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 587724

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12035
/proc/meminfo: memFree=30857652/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=617540 CPUtime=1181.98 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 154844 0 0 0 118126 72 0 0 20 0 1 0 322423686 632360960 152808 33554432000 134512640 135395479 4287053856 4287052208 134580959 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 154385 152808 123 216 0 154167 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 617540

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12084
/proc/meminfo: memFree=31293228/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=641012 CPUtime=1241.97 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 160741 0 0 0 124121 76 0 0 20 0 1 0 322423686 656396288 158705 33554432000 134512640 135395479 4287053856 4287052208 134580929 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 160253 158705 123 216 0 160035 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 641012

[startup+1302.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 12084
/proc/meminfo: memFree=31182280/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=671296 CPUtime=1301.96 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 168106 0 0 0 130116 80 0 0 20 0 1 0 322423686 687407104 166070 33554432000 134512640 135395479 4287053856 4287052208 134580732 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 167824 166070 123 216 0 167606 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 671296

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 12084
/proc/meminfo: memFree=31079608/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=706532 CPUtime=1361.95 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 176916 0 0 0 136110 85 0 0 20 0 1 0 322423686 723488768 174880 33554432000 134512640 135395479 4287053856 4287052208 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 176633 174880 123 216 0 176415 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 706532

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12084
/proc/meminfo: memFree=30978176/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=740044 CPUtime=1421.94 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 185307 0 0 0 142106 88 0 0 20 0 1 0 322423686 757805056 183271 33554432000 134512640 135395479 4287053856 4287052208 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 185011 183271 123 216 0 184793 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 740044

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12085
/proc/meminfo: memFree=30926096/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=766324 CPUtime=1481.94 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 191895 0 0 0 148101 93 0 0 20 0 1 0 322423686 784715776 189859 33554432000 134512640 135395479 4287053856 4287052208 134580973 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 191581 189859 123 216 0 191363 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 766324

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12085
/proc/meminfo: memFree=30897612/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=794544 CPUtime=1541.92 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 198987 0 0 0 154095 97 0 0 20 0 1 0 322423686 813613056 196938 33554432000 134512640 135395479 4287053856 4287052208 134580973 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 198636 196938 123 216 0 198418 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 794544

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12085
/proc/meminfo: memFree=30868376/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=823752 CPUtime=1601.88 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 206333 0 0 0 160089 99 0 0 20 0 1 0 322423686 843522048 204255 33554432000 134512640 135395479 4287053856 4287052208 134580750 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 205938 204255 123 216 0 205720 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 823752

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12088
/proc/meminfo: memFree=30809868/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=852880 CPUtime=1661.84 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 213653 0 0 0 166081 103 0 0 20 0 1 0 322423686 873349120 211533 33554432000 134512640 135395479 4287053856 4287052208 134580959 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 213220 211533 123 216 0 213002 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 852880

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12088
/proc/meminfo: memFree=30737612/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=882116 CPUtime=1721.81 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 221017 0 0 0 172074 107 0 0 20 0 1 0 322423686 903286784 218863 33554432000 134512640 135395479 4287053856 4287052208 134581451 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 220529 218863 123 216 0 220311 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 882116

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 12089
/proc/meminfo: memFree=30704488/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=914364 CPUtime=1781.78 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 229130 0 0 0 178068 110 0 0 20 0 1 0 322423686 936308736 226964 33554432000 134512640 135395479 4287053856 4287052208 134581415 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 228591 226964 123 216 0 228373 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 914364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 12089
/proc/meminfo: memFree=30694040/32873844 swapFree=8656/8656
[pid=12024] ppid=12022 vsize=924464 CPUtime=1800.09 cores=0,2,4,6
/proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 231669 0 0 0 179898 111 0 0 20 0 1 0 322423686 946651136 229503 33554432000 134512640 135395479 4287053856 4287052208 134580744 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12024/statm: 231116 229503 123 216 0 230898 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 924464

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1798.99
CPU system time (s): 1.12183
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 924464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.12183
maximum resident set size= 918016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231670
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= 387
involuntary context switches= 3056

runsolver used 2.50162 second user time and 10.0345 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-01 17:02:32
IDJOB=3722128
IDBENCH=89884
IDSOLVER=2306
FILE ID=node102/3722128-1338562951
RUNJOBID= node102-1338552592-11039
PBS_JOBID= 14635889
Free space on /tmp= 71188 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722128-1338562951/watcher-3722128-1338562951 -o /tmp/evaluation-result-3722128-1338562951/solver-3722128-1338562951 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3722128-1338562951.opb            

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

MD5SUM BENCH= 826cee40b1a37b4e41d6d3a639f8df55
RANDOM SEED=1416554080

node102.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		: 2667.178
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	: 5334.35
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		: 2667.178
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.90
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		: 2667.178
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		: 2667.178
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		: 2667.178
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		: 2667.178
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.54
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		: 2667.178
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		: 2667.178
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:        31521444 kB
Buffers:           71824 kB
Cached:            89964 kB
SwapCached:         5544 kB
Active:           478832 kB
Inactive:         127012 kB
Active(anon):     440856 kB
Inactive(anon):     5516 kB
Active(file):      37976 kB
Inactive(file):   121496 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097156 kB
Dirty:              3176 kB
Writeback:             0 kB
AnonPages:        447388 kB
Mapped:             9364 kB
Shmem:                 0 kB
Slab:             603424 kB
SReclaimable:      44588 kB
SUnreclaim:       558836 kB
KernelStack:        1464 kB
PageTables:         5052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     564996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    419840 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-3722128-1338562951.opb

Free space on /tmp at the end= 71188 MiB
End job on node102 at 2012-06-01 17:32:34