Trace number 3706175

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.05 1800.52

General information on the benchmark

NameOPT-BIGINT-LIN/graca/
normalized-ped2.G.recomb10-0.20-13.opb
MD5SUM92dacc02fa8334dc3926759bb21cc2d7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark96022
Best CPU time to get the best result obtained on this benchmark1800.31
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables215039
Total number of constraints3681544
Number of constraints which are clauses3681544
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint579
Number of terms in the objective function 18980
Biggest coefficient in the objective function 581
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 10690980
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 581
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 10690980
Number of bits of the biggest sum of numbers24
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 

148.74/148.85	c 2012-05-29T01:03:19+0200
148.74/148.85	c arch = x86_64
148.74/148.85	c os = linux
148.74/148.85	c compiler = ghc 7.4
148.74/148.85	c packages:
148.74/148.85	c   OptDir-0.0.1
148.74/148.85	c   array-0.4.0.0
148.74/148.85	c   base-4.5.0.0
148.74/148.85	c   bytestring-0.9.2.1
148.74/148.85	c   containers-0.4.2.1
148.74/148.85	c   deepseq-1.3.0.0
148.74/148.85	c   mtl-2.1.1
148.74/148.85	c   old_locale-1.0.0.4
148.74/148.85	c   parse_dimacs-1.2
148.74/148.85	c   parsec-3.1.2
148.74/148.85	c   queue-0.1.2
148.74/148.85	c   stm-2.3
148.74/148.85	c   time-1.4
148.74/148.85	c command line = ["--pb","HOME/instance-3706175-1338246196.opb"]
148.74/148.85	c #vars 215039
148.74/148.85	c #constraints 3681544
148.74/148.85	c Solving starts ...
161.34/161.45	c solving time = 12.488s
161.34/161.45	c #decision = 950717
161.34/161.45	c #conflict = 431
161.34/161.45	c #restart = 2
161.34/161.45	o 168098
161.34/161.49	c Solving starts ...
162.54/162.63	c solving time = 1.016s
162.54/162.63	c #decision = 983860
162.54/162.63	c #conflict = 431
162.54/162.63	c #restart = 2
162.54/162.63	o 168097
162.54/162.67	c Solving starts ...
165.24/165.30	c solving time = 2.511s
165.24/165.30	c #decision = 1021507
165.24/165.30	c #conflict = 434
165.24/165.30	c #restart = 2
165.24/165.30	o 168096
165.24/165.34	c Solving starts ...
168.34/168.48	c solving time = 3.014s
168.34/168.48	c #decision = 1054789
168.34/168.48	c #conflict = 434
168.34/168.48	c #restart = 2
168.34/168.48	o 168095
168.44/168.52	c Solving starts ...
172.14/172.20	c solving time = 3.559s
172.14/172.20	c #decision = 1087976
172.14/172.20	c #conflict = 434
172.14/172.20	c #restart = 2
172.14/172.20	o 168094
172.14/172.24	c Solving starts ...
177.24/177.31	c solving time = 4.954s
177.24/177.31	c #decision = 1121269
177.24/177.31	c #conflict = 434
177.24/177.31	c #restart = 2
177.24/177.31	o 168093
177.24/177.35	c Solving starts ...
182.83/182.99	c solving time = 5.507s
182.83/182.99	c #decision = 1154442
182.83/182.99	c #conflict = 434
182.83/182.99	c #restart = 2
182.83/182.99	o 168092
182.93/183.03	c Solving starts ...
189.92/190.03	c solving time = 6.866s
189.92/190.03	c #decision = 1187795
189.92/190.03	c #conflict = 434
189.92/190.03	c #restart = 2
189.92/190.03	o 168091
189.92/190.07	c Solving starts ...
197.52/197.62	c solving time = 7.432s
197.52/197.62	c #decision = 1220942
197.52/197.62	c #conflict = 434
197.52/197.62	c #restart = 2
197.52/197.63	o 168090
197.52/197.67	c Solving starts ...
205.62/205.72	c solving time = 7.928s
205.62/205.72	c #decision = 1254240
205.62/205.72	c #conflict = 434
205.62/205.72	c #restart = 2
205.62/205.72	o 168089
205.62/205.76	c Solving starts ...
214.22/214.34	c solving time = 8.457s
214.22/214.34	c #decision = 1287224
214.22/214.34	c #conflict = 434
214.22/214.34	c #restart = 2
214.22/214.34	o 168088
214.22/214.38	c Solving starts ...
224.23/224.32	c solving time = 9.816s
224.23/224.32	c #decision = 1320344
224.23/224.32	c #conflict = 434
224.23/224.32	c #restart = 2
224.23/224.32	o 168087
224.23/224.36	c Solving starts ...
234.61/234.79	c solving time = 10.305s
234.61/234.79	c #decision = 1353354
234.61/234.79	c #conflict = 434
234.61/234.79	c #restart = 2
234.61/234.79	o 168086
234.71/234.83	c Solving starts ...
245.72/245.83	c solving time = 10.869s
245.72/245.83	c #decision = 1386425
245.72/245.83	c #conflict = 434
245.72/245.83	c #restart = 2
245.72/245.83	o 168085
245.72/245.87	c Solving starts ...
258.10/258.20	c solving time = 12.205s
258.10/258.20	c #decision = 1419383
258.10/258.20	c #conflict = 434
258.10/258.20	c #restart = 2
258.10/258.20	o 168084
258.10/258.24	c Solving starts ...
271.01/271.17	c solving time = 12.809s
271.01/271.17	c #decision = 1452085
271.01/271.17	c #conflict = 435
271.01/271.17	c #restart = 2
271.01/271.17	o 168083
271.11/271.21	c Solving starts ...
1217.94/1218.31	c solving time = 946.744s
1217.94/1218.31	c #decision = 1532680
1217.94/1218.31	c #conflict = 1468
1217.94/1218.31	c #restart = 6
1217.94/1218.31	o 168082
1217.94/1218.35	c Solving starts ...
1346.21/1346.61	c solving time = 128.136s
1346.21/1346.61	c #decision = 1549728
1346.21/1346.61	c #conflict = 1522
1346.21/1346.61	c #restart = 6
1346.21/1346.61	o 168081
1346.21/1346.65	c Solving starts ...
1385.11/1385.58	c solving time = 38.829s
1385.11/1385.58	c #decision = 1563855
1385.11/1385.58	c #conflict = 1535
1385.11/1385.58	c #restart = 6
1385.11/1385.58	o 168080
1385.21/1385.62	c Solving starts ...
1407.21/1407.62	c solving time = 21.905s
1407.21/1407.62	c #decision = 1577454
1407.21/1407.62	c #conflict = 1540
1407.21/1407.62	c #restart = 6
1407.21/1407.63	o 168079
1407.21/1407.67	c Solving starts ...

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-3706175-1338246196/watcher-3706175-1338246196 -o /tmp/evaluation-result-3706175-1338246196/solver-3706175-1338246196 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706175-1338246196.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.92 1.98 1.99 3/176 6821
/proc/meminfo: memFree=30905356/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 793 0 0 0 0 0 0 0 20 0 1 0 290745587 6356992 714 33554432000 4194304 8973514 140734929942240 140737394498488 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 1552 714 411 1167 0 333 0

[startup+0.0506041 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 6821
/proc/meminfo: memFree=30905356/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=9280 CPUtime=0.04 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 1419 0 0 0 4 0 0 0 20 0 1 0 290745587 9502720 1340 33554432000 4194304 8973514 140734929942240 140737394498488 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 2320 1340 411 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280

[startup+0.10028 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 6821
/proc/meminfo: memFree=30905356/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=11328 CPUtime=0.09 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 2099 0 0 0 9 0 0 0 20 0 1 0 290745587 11599872 2020 33554432000 4194304 8973514 140734929942240 140737394498488 4214368 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 2832 2020 417 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.300227 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 6821
/proc/meminfo: memFree=30905356/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=21568 CPUtime=0.29 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 4660 0 0 0 29 0 0 0 20 0 1 0 290745587 22085632 4581 33554432000 4194304 8973514 140734929942240 140737394498488 4649360 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 5392 4581 418 1167 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21568

[startup+0.700219 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 6821
/proc/meminfo: memFree=30905356/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=44096 CPUtime=0.69 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 10292 0 0 0 68 1 0 0 20 0 1 0 290745587 45154304 10213 33554432000 4194304 8973514 140734929942240 140734929941736 7669544 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 11024 10213 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44096

[startup+1.50023 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6822
/proc/meminfo: memFree=30852996/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=96320 CPUtime=1.49 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 23348 0 0 0 145 4 0 0 20 0 1 0 290745587 98631680 23269 33554432000 4194304 8973514 140734929942240 140734929941736 5782290 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 24080 23269 418 1167 0 22861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96320

[startup+3.10023 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6822
/proc/meminfo: memFree=30788888/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=165952 CPUtime=3.09 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 40756 0 0 0 301 8 0 0 20 0 1 0 290745587 169934848 40677 33554432000 4194304 8973514 140734929942240 140734929941736 5665276 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 41488 40677 418 1167 0 40269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 165952

[startup+6.30023 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6822
/proc/meminfo: memFree=30625084/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=384064 CPUtime=6.29 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 95285 0 0 0 611 18 0 0 20 0 1 0 290745587 393281536 95206 33554432000 4194304 8973514 140734929942240 140734929941504 4208826 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 96016 95206 418 1167 0 94797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 384064

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6822
/proc/meminfo: memFree=30232748/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=676928 CPUtime=12.68 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 168501 0 0 0 1234 34 0 0 20 0 1 0 290745587 693174272 168422 33554432000 4194304 8973514 140734929942240 140734929925336 5780869 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 169232 168422 418 1167 0 168013 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 676928

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6822
/proc/meminfo: memFree=29316940/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1586240 CPUtime=25.48 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 395830 0 0 0 2469 79 0 0 20 0 1 0 290745587 1624309760 395751 33554432000 4194304 8973514 140734929942240 140734929941736 4208870 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 396560 395751 418 1167 0 395341 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1586240

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6822
/proc/meminfo: memFree=28081976/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=2807872 CPUtime=51.07 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 701238 0 0 0 4961 146 0 0 20 0 1 0 290745587 2875260928 701159 33554432000 4194304 8973514 140734929942240 140734929941736 4209357 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 701968 701159 418 1167 0 700749 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2807872

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6822
/proc/meminfo: memFree=28940100/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=102.26 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910666 0 0 0 10029 197 0 0 20 0 1 0 290745587 1968242688 479739 33554432000 4194304 8973514 140734929942240 140734929941736 5373284 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479739 432 1167 0 479309 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1922112

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6822
/proc/meminfo: memFree=28902060/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=162.25 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910692 0 0 0 16018 207 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 4434912 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1922112

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6822
/proc/meminfo: memFree=28864516/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=222.21 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910702 0 0 0 22001 220 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 4209286 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1922112

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6823
/proc/meminfo: memFree=28823500/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=282.2 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910703 0 0 0 27986 234 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 4435808 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1922112

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6823
/proc/meminfo: memFree=28797984/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=342.19 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910706 0 0 0 33970 249 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 4434700 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1922112

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6823
/proc/meminfo: memFree=28773212/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=402.16 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910711 0 0 0 39953 263 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929940160 4209212 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1922112

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6826
/proc/meminfo: memFree=28773116/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=462.14 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910714 0 0 0 45938 276 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 4204320 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1922112

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6826
/proc/meminfo: memFree=28773516/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=522.13 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910719 0 0 0 51924 289 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 4435823 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1922112

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6827
/proc/meminfo: memFree=28773296/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=582.1 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910726 0 0 0 57907 303 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 4214576 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1922112

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6828
/proc/meminfo: memFree=28686884/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=882 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910773 0 0 0 87827 373 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 7716811 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 1922112

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6828
/proc/meminfo: memFree=28664592/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=942 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910773 0 0 0 93812 388 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 1922112

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6831
/proc/meminfo: memFree=28674472/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1001.99 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910774 0 0 0 99797 402 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 4211812 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1922112

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6831
/proc/meminfo: memFree=28674384/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1061.97 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910778 0 0 0 105783 414 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 7707296 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1922112

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6831
/proc/meminfo: memFree=28674420/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1121.96 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910783 0 0 0 111769 427 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929940160 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1922112

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6832
/proc/meminfo: memFree=28674572/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1181.94 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910783 0 0 0 117755 439 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1922112

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6832
/proc/meminfo: memFree=28674484/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1241.94 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 123739 455 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1922112

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6832
/proc/meminfo: memFree=28674112/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1301.92 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 129722 470 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929940160 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1922112

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6832
/proc/meminfo: memFree=28674236/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1361.92 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 135706 486 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 4208846 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1922112

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6833
/proc/meminfo: memFree=28674316/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1421.91 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 141690 501 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1922112

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6833
/proc/meminfo: memFree=28674484/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1481.9 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 147675 515 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 4209187 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1922112

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6834
/proc/meminfo: memFree=28674504/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1541.89 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 153660 529 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1922112

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6873
/proc/meminfo: memFree=28226272/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1601.87 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 159641 546 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1922112

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6876
/proc/meminfo: memFree=28225900/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1661.85 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 165623 562 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 4208816 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1922112

[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 6876
/proc/meminfo: memFree=28226148/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1721.84 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 171607 577 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941736 4434700 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1922112

[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/176 6876
/proc/meminfo: memFree=28226156/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1781.82 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 177592 590 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929940224 4209212 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1922112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.05 2.01 3/177 6877
/proc/meminfo: memFree=28226024/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1800.03 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 179407 596 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 4209136 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1922112

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

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

[startup+1800.5 s]
/proc/loadavg: 2.14 2.05 2.01 3/177 6877
/proc/meminfo: memFree=28226024/32873844 swapFree=7112/7112
[pid=6821] ppid=6819 vsize=1922112 CPUtime=1800.03 cores=0,2,4,6
/proc/6821/stat : 6821 (toysat) R 6819 6821 4756 0 -1 4202496 910790 0 0 0 179407 596 0 0 20 0 1 0 290745587 1968242688 479762 33554432000 4194304 8973514 140734929942240 140734929941504 4209136 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/6821/statm: 480528 479762 455 1167 0 479309 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1922112

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.05
CPU user time (s): 1794.07
CPU system time (s): 5.97309
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 3645504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 5.97309
maximum resident set size= 3642348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 910790
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= 104
involuntary context switches= 2582

runsolver used 3.76343 second user time and 8.86165 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-29 01:03:19
IDJOB=3706175
IDBENCH=92800
IDSOLVER=2285
FILE ID=node119/3706175-1338246196
RUNJOBID= node119-1338233325-5917
PBS_JOBID= 14624617
Free space on /tmp= 71492 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.20-13.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706175-1338246196/watcher-3706175-1338246196 -o /tmp/evaluation-result-3706175-1338246196/solver-3706175-1338246196 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706175-1338246196.opb

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

MD5SUM BENCH= 92dacc02fa8334dc3926759bb21cc2d7
RANDOM SEED=795165303

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.943
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:        30905232 kB
Buffers:          339068 kB
Cached:           571680 kB
SwapCached:         1840 kB
Active:           918140 kB
Inactive:         242116 kB
Active(anon):     249716 kB
Inactive(anon):     2068 kB
Active(file):     668424 kB
Inactive(file):   240048 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100200 kB
Dirty:            122644 kB
Writeback:             0 kB
AnonPages:        255260 kB
Mapped:            13508 kB
Shmem:                 8 kB
Slab:             666928 kB
SReclaimable:     105176 kB
SUnreclaim:       561752 kB
KernelStack:        1440 kB
PageTables:         4388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     368436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71432 MiB
End job on node119 at 2012-05-29 01:33:22