Trace number 3706128

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.08 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K93.opb
MD5SUM91412677f9785e1c6465ad7d3d170f82
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark510.634
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6324
Total number of constraints6512
Number of constraints which are clauses6419
Number of constraints which are cardinality constraints (but not clauses)93
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint93
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 94
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.19/0.24	c 2012-05-28T10:31:16+0200
0.19/0.24	c arch = x86_64
0.19/0.24	c os = linux
0.19/0.24	c compiler = ghc 7.4
0.19/0.24	c packages:
0.19/0.24	c   OptDir-0.0.1
0.19/0.24	c   array-0.4.0.0
0.19/0.24	c   base-4.5.0.0
0.19/0.24	c   bytestring-0.9.2.1
0.19/0.24	c   containers-0.4.2.1
0.19/0.24	c   deepseq-1.3.0.0
0.19/0.24	c   mtl-2.1.1
0.19/0.24	c   old_locale-1.0.0.4
0.19/0.24	c   parse_dimacs-1.2
0.19/0.24	c   parsec-3.1.2
0.19/0.24	c   queue-0.1.2
0.19/0.24	c   stm-2.3
0.19/0.24	c   time-1.4
0.19/0.24	c command line = ["--pb","HOME/instance-3706128-1338193876.opb"]
0.19/0.24	c #vars 6324
0.19/0.24	c #constraints 6512
0.19/0.24	c Solving starts ...
15.29/15.38	c learnt constraints deletion: 10786 -> 5393
27.48/27.52	c learnt constraints deletion: 13334 -> 6667
37.27/37.39	c learnt constraints deletion: 13431 -> 6717
51.95/52.02	c learnt constraints deletion: 16152 -> 8105
71.25/71.34	c learnt constraints deletion: 16345 -> 8192
94.94/95.01	c learnt constraints deletion: 18404 -> 9294
124.94/125.07	c learnt constraints deletion: 17463 -> 8733
139.64/139.71	c learnt constraints deletion: 17133 -> 8592
155.43/155.56	c learnt constraints deletion: 17052 -> 8526
172.93/173.03	c learnt constraints deletion: 19276 -> 9642
188.62/188.72	c learnt constraints deletion: 19377 -> 9709
208.12/208.27	c learnt constraints deletion: 19633 -> 9853
237.80/237.95	c learnt constraints deletion: 21843 -> 11017
282.61/282.71	c learnt constraints deletion: 19879 -> 9985
354.77/354.98	c learnt constraints deletion: 23919 -> 12073
424.55/424.70	c learnt constraints deletion: 21678 -> 10875
442.64/442.87	c learnt constraints deletion: 20869 -> 10465
460.84/461.03	c learnt constraints deletion: 21050 -> 10547
487.04/487.29	c learnt constraints deletion: 21594 -> 10881
518.13/518.39	c learnt constraints deletion: 23426 -> 11713
538.12/538.38	c learnt constraints deletion: 23144 -> 11607
567.72/567.99	c learnt constraints deletion: 23359 -> 11690
620.41/620.63	c learnt constraints deletion: 24605 -> 12382
665.32/665.55	c learnt constraints deletion: 25649 -> 13010
702.10/702.37	c learnt constraints deletion: 23955 -> 13039
723.20/723.40	c learnt constraints deletion: 23963 -> 13342
743.90/744.15	c learnt constraints deletion: 24202 -> 13970
760.99/761.25	c learnt constraints deletion: 23118 -> 14375
786.98/787.28	c learnt constraints deletion: 25344 -> 14911
804.28/804.54	c learnt constraints deletion: 25396 -> 15483
828.07/828.33	c learnt constraints deletion: 24995 -> 15935
841.56/841.87	c learnt constraints deletion: 25062 -> 16414
863.17/863.48	c learnt constraints deletion: 25667 -> 16800
895.55/895.83	c learnt constraints deletion: 27830 -> 17306
930.24/930.57	c learnt constraints deletion: 27134 -> 17493
966.03/966.31	c learnt constraints deletion: 27362 -> 17723
1035.80/1036.11	c learnt constraints deletion: 27557 -> 17926
1125.08/1125.49	c learnt constraints deletion: 27900 -> 18102
1182.37/1182.77	c learnt constraints deletion: 27641 -> 18296
1220.16/1220.51	c learnt constraints deletion: 27175 -> 18464
1260.15/1260.59	c learnt constraints deletion: 27443 -> 18637
1311.85/1312.28	c learnt constraints deletion: 27062 -> 18778
1365.53/1365.93	c learnt constraints deletion: 27228 -> 18905
1437.02/1437.46	c learnt constraints deletion: 29861 -> 19109
1453.22/1453.63	c learnt constraints deletion: 28544 -> 19436
1477.81/1478.24	c learnt constraints deletion: 30007 -> 19913
1505.21/1505.69	c learnt constraints deletion: 28389 -> 20136
1520.31/1520.71	c learnt constraints deletion: 29130 -> 20542
1534.30/1534.70	c learnt constraints deletion: 27856 -> 20798
1546.60/1547.07	c learnt constraints deletion: 28234 -> 21277
1557.40/1557.80	c learnt constraints deletion: 27978 -> 21566
1567.40/1567.89	c learnt constraints deletion: 28354 -> 21977
1601.89/1602.39	c learnt constraints deletion: 29351 -> 22294
1612.79/1613.21	c learnt constraints deletion: 27802 -> 22555
1619.99/1620.40	c learnt constraints deletion: 27833 -> 22855
1632.88/1633.35	c learnt constraints deletion: 29742 -> 23125
1643.68/1644.14	c learnt constraints deletion: 29363 -> 23400
1651.58/1652.01	c learnt constraints deletion: 28358 -> 23588
1658.68/1659.17	c learnt constraints deletion: 28160 -> 23816
1667.68/1668.19	c learnt constraints deletion: 27731 -> 24022
1673.08/1673.51	c learnt constraints deletion: 28194 -> 24218
1685.38/1685.85	c learnt constraints deletion: 30179 -> 24718
1705.69/1706.15	c learnt constraints deletion: 30329 -> 25077
1726.67/1727.11	c learnt constraints deletion: 30260 -> 25278
1735.77/1736.26	c learnt constraints deletion: 27958 -> 25146
1739.17/1739.60	c learnt constraints deletion: 27722 -> 25248
1744.87/1745.35	c learnt constraints deletion: 29120 -> 25454
1749.07/1749.54	c learnt constraints deletion: 27979 -> 25525
1757.06/1757.52	c learnt constraints deletion: 29685 -> 25739
1765.97/1766.43	c learnt constraints deletion: 30345 -> 25937
1772.97/1773.46	c learnt constraints deletion: 29412 -> 26011
1783.47/1783.94	c learnt constraints deletion: 30737 -> 26172
1792.47/1792.91	c learnt constraints deletion: 30114 -> 26300

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-3706128-1338193876/watcher-3706128-1338193876 -o /tmp/evaluation-result-3706128-1338193876/solver-3706128-1338193876 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706128-1338193876.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: 2.00 2.00 1.96 3/174 21595
/proc/meminfo: memFree=31359916/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 822 0 0 0 0 0 0 0 20 0 1 0 285512402 7405568 742 33554432000 4194304 8973514 140734628826736 140734628809832 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 1808 742 415 1167 0 589 0

[startup+0.0448799 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 21595
/proc/meminfo: memFree=31359916/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=9280 CPUtime=0.04 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 1441 0 0 0 4 0 0 0 20 0 1 0 285512402 9502720 1361 33554432000 4194304 8973514 140734628826736 140734628826000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 2320 1361 416 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280

[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 21595
/proc/meminfo: memFree=31359916/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=11328 CPUtime=0.09 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 2100 0 0 0 9 0 0 0 20 0 1 0 285512402 11599872 2020 33554432000 4194304 8973514 140734628826736 140734628826232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 2832 2020 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.300258 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 21595
/proc/meminfo: memFree=31359916/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=20544 CPUtime=0.29 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 4436 0 0 0 29 0 0 0 20 0 1 0 285512402 21037056 4356 33554432000 4194304 8973514 140734628826736 140734628809832 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 5136 4356 444 1167 0 3917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20544

[startup+0.700243 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 21595
/proc/meminfo: memFree=31359916/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=20544 CPUtime=0.69 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 4436 0 0 0 68 1 0 0 20 0 1 0 285512402 21037056 4356 33554432000 4194304 8973514 140734628826736 140734628826000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 5136 4356 444 1167 0 3917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20544

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21633
/proc/meminfo: memFree=31324720/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=23616 CPUtime=1.49 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 5204 0 0 0 148 1 0 0 20 0 1 0 285512402 24182784 5124 33554432000 4194304 8973514 140734628826736 140734628826000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 5904 5124 444 1167 0 4685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23616

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21633
/proc/meminfo: memFree=31320752/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=26688 CPUtime=3.09 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 5972 0 0 0 308 1 0 0 20 0 1 0 285512402 27328512 5892 33554432000 4194304 8973514 140734628826736 140734628826232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 6672 5892 444 1167 0 5453 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26688

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21633
/proc/meminfo: memFree=31302492/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=37952 CPUtime=6.29 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 8571 0 0 0 626 3 0 0 20 0 1 0 285512402 38862848 8491 33554432000 4194304 8973514 140734628826736 140734628826232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 9488 8491 444 1167 0 8269 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37952

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21633
/proc/meminfo: memFree=31268968/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=52288 CPUtime=12.68 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 12198 0 0 0 1262 6 0 0 20 0 1 0 285512402 53542912 12118 33554432000 4194304 8973514 140734628826736 140734628826000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 13072 12118 444 1167 0 11853 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52288

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21633
/proc/meminfo: memFree=31233248/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=70720 CPUtime=25.47 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 16786 0 0 0 2535 12 0 0 20 0 1 0 285512402 72417280 16694 33554432000 4194304 8973514 140734628826736 140734628826232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 17680 16694 445 1167 0 16461 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 70720

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21633
/proc/meminfo: memFree=31193768/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=81984 CPUtime=51.06 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 19671 0 0 0 5086 20 0 0 20 0 1 0 285512402 83951616 19566 33554432000 4194304 8973514 140734628826736 140734628826232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 20496 19566 445 1167 0 19277 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 81984

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 1.97 3/179 21633
/proc/meminfo: memFree=31122388/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=108608 CPUtime=102.25 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 26481 0 0 0 10186 39 0 0 20 0 1 0 285512402 111214592 26373 33554432000 4194304 8973514 140734628826736 140734628826232 4461805 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 27152 26373 445 1167 0 25933 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 108608

[startup+162.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 21634
/proc/meminfo: memFree=31187400/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=87104 CPUtime=162.23 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 27761 0 0 0 16161 62 0 0 20 0 1 0 285512402 89194496 20997 33554432000 4194304 8973514 140734628826736 140734628826232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 21776 20997 445 1167 0 20557 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 87104

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/179 21634
/proc/meminfo: memFree=31146256/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=104512 CPUtime=222.21 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 31877 0 0 0 22137 84 0 0 20 0 1 0 285512402 107020288 25098 33554432000 4194304 8973514 140734628826736 140734628826232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 26128 25098 445 1167 0 24909 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 104512

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 21634
/proc/meminfo: memFree=31100848/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=149568 CPUtime=282.2 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 43193 0 0 0 28116 104 0 0 20 0 1 0 285512402 153157632 36414 33554432000 4194304 8973514 140734628826736 140734628826000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 37392 36414 445 1167 0 36173 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 149568

[startup+342.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/179 21634
/proc/meminfo: memFree=31086136/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=182336 CPUtime=342.18 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 51562 0 0 0 34095 123 0 0 20 0 1 0 285512402 186712064 44773 33554432000 4194304 8973514 140734628826736 140734628826232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 45584 44773 445 1167 0 44365 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 182336

[startup+402.3 s]
/proc/loadavg: 2.12 2.06 2.00 3/179 21634
/proc/meminfo: memFree=31063244/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=196672 CPUtime=402.14 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 55203 0 0 0 40076 138 0 0 20 0 1 0 285512402 201392128 48389 33554432000 4194304 8973514 140734628826736 140734628826232 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 49168 48389 445 1167 0 47949 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 196672

[startup+462.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/179 21635
/proc/meminfo: memFree=31141068/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=115776 CPUtime=462.14 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 55203 0 0 0 46056 158 0 0 20 0 1 0 285512402 118554624 28165 33554432000 4194304 8973514 140734628826736 140734628826232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 28944 28165 445 1167 0 27725 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 115776

[startup+522.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 21635
/proc/meminfo: memFree=31173996/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=104512 CPUtime=522.12 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 55203 0 0 0 52035 177 0 0 20 0 1 0 285512402 107020288 25349 33554432000 4194304 8973514 140734628826736 140734628826232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 26128 25349 445 1167 0 24909 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 104512

[startup+582.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/180 21638
/proc/meminfo: memFree=31195376/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=83008 CPUtime=582.12 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 58087 0 0 0 58008 204 0 0 20 0 1 0 285512402 85000192 19973 33554432000 4194304 8973514 140734628826736 140734628826232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 20752 19973 445 1167 0 19533 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 83008

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 21641
/proc/meminfo: memFree=31198080/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=91200 CPUtime=882.06 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 95626 0 0 0 87883 323 0 0 20 0 1 0 285512402 93388800 21917 33554432000 4194304 8973514 140734628826736 140734628826232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 22800 21917 445 1167 0 21581 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 91200

[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 21641
/proc/meminfo: memFree=31158580/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=95296 CPUtime=942.03 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 108296 0 0 0 93858 345 0 0 20 0 1 0 285512402 97583104 23045 33554432000 4194304 8973514 140734628826736 140734628826000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 23824 23045 445 1167 0 22605 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 95296

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 21641
/proc/meminfo: memFree=31095672/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=115776 CPUtime=1002.02 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 119674 0 0 0 99834 368 0 0 20 0 1 0 285512402 118554624 28023 33554432000 4194304 8973514 140734628826736 140734628826000 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 28944 28023 445 1167 0 27725 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 115776

[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 21641
/proc/meminfo: memFree=31129964/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=115776 CPUtime=1061.99 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 127008 0 0 0 105815 384 0 0 20 0 1 0 285512402 118554624 28165 33554432000 4194304 8973514 140734628826736 140734628826000 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 28944 28165 445 1167 0 27725 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 115776

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 21642
/proc/meminfo: memFree=31094356/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=148544 CPUtime=1121.98 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 135067 0 0 0 111800 398 0 0 20 0 1 0 285512402 152109056 36221 33554432000 4194304 8973514 140734628826736 140734628826232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 37136 36221 445 1167 0 35917 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 148544

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 21645
/proc/meminfo: memFree=31111504/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=133184 CPUtime=1181.97 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 143837 0 0 0 117778 419 0 0 20 0 1 0 285512402 136380416 32441 33554432000 4194304 8973514 140734628826736 140734628826000 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 33296 32441 445 1167 0 32077 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 133184

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21645
/proc/meminfo: memFree=31145100/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=107584 CPUtime=1241.96 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 149035 0 0 0 123757 439 0 0 20 0 1 0 285512402 110166016 26117 33554432000 4194304 8973514 140734628826736 140734628826000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 26896 26117 445 1167 0 25677 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 107584

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21645
/proc/meminfo: memFree=31154336/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=119872 CPUtime=1301.95 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 160220 0 0 0 129734 461 0 0 20 0 1 0 285512402 122748928 29109 33554432000 4194304 8973514 140734628826736 140734628826232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 29968 29109 445 1167 0 28749 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 119872

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21645
/proc/meminfo: memFree=31131756/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=131136 CPUtime=1361.93 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 168184 0 0 0 135712 481 0 0 20 0 1 0 285512402 134283264 31951 33554432000 4194304 8973514 140734628826736 140734628826000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 32784 31951 445 1167 0 31565 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 131136

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21646
/proc/meminfo: memFree=31114756/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=144448 CPUtime=1421.93 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 177541 0 0 0 141693 500 0 0 20 0 1 0 285512402 147914752 35162 33554432000 4194304 8973514 140734628826736 140734628826000 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 36112 35162 445 1167 0 34893 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 144448

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21646
/proc/meminfo: memFree=31164724/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=111680 CPUtime=1481.91 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 184375 0 0 0 147669 522 0 0 20 0 1 0 285512402 114360320 27141 33554432000 4194304 8973514 140734628826736 140734628826000 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 27920 27141 445 1167 0 26701 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 111680

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21646
/proc/meminfo: memFree=31175200/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=99392 CPUtime=1541.9 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 184376 0 0 0 153649 541 0 0 20 0 1 0 285512402 101777408 24069 33554432000 4194304 8973514 140734628826736 140734628826232 4204592 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 24848 24069 445 1167 0 23629 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 99392

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21646
/proc/meminfo: memFree=31179168/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=106560 CPUtime=1601.89 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 186965 0 0 0 159630 559 0 0 20 0 1 0 285512402 109117440 25634 33554432000 4194304 8973514 140734628826736 140734628826000 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 26640 25634 445 1167 0 25421 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 106560

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21646
/proc/meminfo: memFree=31192736/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=90176 CPUtime=1661.88 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 186965 0 0 0 165609 579 0 0 20 0 1 0 285512402 92340224 21765 33554432000 4194304 8973514 140734628826736 140734628826232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 22544 21765 445 1167 0 21325 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 90176

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21647
/proc/meminfo: memFree=31165188/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=97344 CPUtime=1721.88 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 193621 0 0 0 171586 602 0 0 20 0 1 0 285512402 99680256 23557 33554432000 4194304 8973514 140734628826736 140734628826232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 24336 23557 445 1167 0 23117 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 97344

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21650
/proc/meminfo: memFree=31182852/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=87104 CPUtime=1781.86 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 195669 0 0 0 177562 624 0 0 20 0 1 0 285512402 89194496 20997 33554432000 4194304 8973514 140734628826736 140734628826232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 21776 20997 445 1167 0 20557 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 87104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21673
/proc/meminfo: memFree=31178548/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=90176 CPUtime=1800.07 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 196204 0 0 0 179376 631 0 0 20 0 1 0 285512402 92340224 21532 33554432000 4194304 8973514 140734628826736 140734628826232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 22544 21532 445 1167 0 21325 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 90176

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.00 2.00 2.00 3/180 21673
/proc/meminfo: memFree=31178548/32873844 swapFree=7616/7616
[pid=21595] ppid=21592 vsize=90176 CPUtime=1800.07 cores=0,2,4,6
/proc/21595/stat : 21595 (toysat) R 21592 21595 21285 0 -1 4202496 196204 0 0 0 179376 631 0 0 20 0 1 0 285512402 92340224 21532 33554432000 4194304 8973514 140734628826736 140734628826232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21595/statm: 22544 21532 445 1167 0 21325 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 90176

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1793.77
CPU system time (s): 6.31504
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 196672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.77
system time used= 6.31504
maximum resident set size= 193556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196204
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= 162
involuntary context switches= 1941

runsolver used 3.19251 second user time and 8.92164 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-28 10:31:16
IDJOB=3706128
IDBENCH=90131
IDSOLVER=2285
FILE ID=node135/3706128-1338193876
RUNJOBID= node135-1338188468-21301
PBS_JOBID= 14624569
Free space on /tmp= 71636 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K93.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706128-1338193876/watcher-3706128-1338193876 -o /tmp/evaluation-result-3706128-1338193876/solver-3706128-1338193876 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706128-1338193876.opb

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

MD5SUM BENCH= 91412677f9785e1c6465ad7d3d170f82
RANDOM SEED=890289025

node135.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.820
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.64
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.820
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	: 5332.57
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.820
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	: 5332.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31358204 kB
Buffers:          317648 kB
Cached:           366980 kB
SwapCached:         1720 kB
Active:           556236 kB
Inactive:         142832 kB
Active(anon):       4608 kB
Inactive(anon):    12016 kB
Active(file):     551628 kB
Inactive(file):   130816 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              7792 kB
Writeback:             0 kB
AnonPages:         20076 kB
Mapped:            11664 kB
Shmem:               132 kB
Slab:             675408 kB
SReclaimable:     117500 kB
SUnreclaim:       557908 kB
KernelStack:        1464 kB
PageTables:         3908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     137288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71628 MiB
End job on node135 at 2012-05-28 11:01:19