Trace number 3706166

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.11 1800.41

General information on the benchmark

NameOPT-BIGINT-LIN/graca/
normalized-ped2.G.recomb1-0.10-8.opb
MD5SUM6588abae91382e225ff22e3d71e1a061
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9927
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables212006
Total number of constraints2890345
Number of constraints which are clauses2890345
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 

116.17/116.23	c 2012-05-29T01:59:13+0200
116.17/116.23	c arch = x86_64
116.17/116.23	c os = linux
116.17/116.23	c compiler = ghc 7.4
116.17/116.23	c packages:
116.17/116.23	c   OptDir-0.0.1
116.17/116.23	c   array-0.4.0.0
116.17/116.23	c   base-4.5.0.0
116.17/116.23	c   bytestring-0.9.2.1
116.17/116.23	c   containers-0.4.2.1
116.17/116.23	c   deepseq-1.3.0.0
116.17/116.23	c   mtl-2.1.1
116.17/116.23	c   old_locale-1.0.0.4
116.17/116.23	c   parse_dimacs-1.2
116.17/116.23	c   parsec-3.1.2
116.17/116.23	c   queue-0.1.2
116.17/116.23	c   stm-2.3
116.17/116.23	c   time-1.4
116.17/116.23	c command line = ["--pb","HOME/instance-3706166-1338249550.opb"]
116.17/116.23	c #vars 212006
116.17/116.23	c #constraints 2890345
116.17/116.23	c Solving starts ...
123.27/123.37	c solving time = 7.008s
123.27/123.37	c #decision = 514719
123.27/123.37	c #conflict = 385
123.27/123.37	c #restart = 2
123.27/123.37	o 48904
123.37/123.42	c Solving starts ...
125.17/125.22	c solving time = 1.652s
125.17/125.22	c #decision = 548786
125.17/125.22	c #conflict = 385
125.17/125.22	c #restart = 2
125.17/125.22	o 48903
125.17/125.26	c Solving starts ...
126.37/126.43	c solving time = 1.029s
126.37/126.43	c #decision = 582999
126.37/126.43	c #conflict = 385
126.37/126.43	c #restart = 2
126.37/126.43	o 48902
126.37/126.47	c Solving starts ...
128.57/128.66	c solving time = 2.037s
128.57/128.66	c #decision = 617019
128.57/128.66	c #conflict = 385
128.57/128.66	c #restart = 2
128.57/128.66	o 48901
128.67/128.70	c Solving starts ...
131.07/131.14	c solving time = 2.285s
131.07/131.14	c #decision = 651251
131.07/131.14	c #conflict = 385
131.07/131.14	c #restart = 2
131.07/131.14	o 48900
131.07/131.18	c Solving starts ...
133.77/133.88	c solving time = 2.559s
133.77/133.88	c #decision = 685386
133.77/133.88	c #conflict = 385
133.77/133.88	c #restart = 2
133.77/133.89	o 48899
133.87/133.93	c Solving starts ...
137.47/137.58	c solving time = 3.506s
137.47/137.58	c #decision = 719598
137.47/137.58	c #conflict = 385
137.47/137.58	c #restart = 2
137.47/137.59	o 48898
137.57/137.63	c Solving starts ...
141.47/141.57	c solving time = 3.788s
141.47/141.57	c #decision = 753544
141.47/141.57	c #conflict = 385
141.47/141.57	c #restart = 2
141.47/141.57	o 48897
141.57/141.61	c Solving starts ...
144.96/145.05	c solving time = 3.279s
144.96/145.05	c #decision = 787623
144.96/145.05	c #conflict = 385
144.96/145.05	c #restart = 2
144.96/145.05	o 48896
144.96/145.09	c Solving starts ...
149.37/149.42	c solving time = 4.176s
149.37/149.42	c #decision = 821453
149.37/149.42	c #conflict = 385
149.37/149.42	c #restart = 2
149.37/149.42	o 48895
149.37/149.46	c Solving starts ...
154.66/154.74	c solving time = 5.131s
154.66/154.74	c #decision = 855492
154.66/154.74	c #conflict = 385
154.66/154.74	c #restart = 2
154.66/154.74	o 48894
154.66/154.79	c Solving starts ...
159.47/159.54	c solving time = 4.596s
159.47/159.54	c #decision = 889309
159.47/159.54	c #conflict = 385
159.47/159.54	c #restart = 2
159.47/159.54	o 48893
159.47/159.58	c Solving starts ...
165.17/165.27	c solving time = 5.538s
165.17/165.27	c #decision = 923722
165.17/165.27	c #conflict = 386
165.17/165.27	c #restart = 2
165.17/165.27	o 48892
165.27/165.31	c Solving starts ...
170.36/170.49	c solving time = 5.019s
170.36/170.49	c #decision = 957678
170.36/170.49	c #conflict = 386
170.36/170.49	c #restart = 2
170.36/170.49	o 48891
170.46/170.53	c Solving starts ...
176.57/176.61	c solving time = 5.923s
176.57/176.61	c #decision = 991808
176.57/176.61	c #conflict = 386
176.57/176.61	c #restart = 2
176.57/176.61	o 48890
176.57/176.65	c Solving starts ...
182.86/182.93	c solving time = 6.126s
182.86/182.93	c #decision = 1025903
182.86/182.93	c #conflict = 386
182.86/182.93	c #restart = 2
182.86/182.93	o 48889
182.86/182.97	c Solving starts ...
190.06/190.18	c solving time = 7.056s
190.06/190.18	c #decision = 1059945
190.06/190.18	c #conflict = 386
190.06/190.18	c #restart = 2
190.06/190.18	o 48888
190.16/190.22	c Solving starts ...
196.76/196.88	c solving time = 6.502s
196.76/196.88	c #decision = 1094071
196.76/196.88	c #conflict = 386
196.76/196.88	c #restart = 2
196.76/196.88	o 48887
196.86/196.92	c Solving starts ...
204.36/204.45	c solving time = 7.371s
204.36/204.45	c #decision = 1128024
204.36/204.45	c #conflict = 386
204.36/204.45	c #restart = 2
204.36/204.45	o 48886
204.36/204.49	c Solving starts ...
211.36/211.49	c solving time = 6.842s
211.36/211.49	c #decision = 1162030
211.36/211.49	c #conflict = 386
211.36/211.49	c #restart = 2
211.36/211.49	o 48885
211.46/211.53	c Solving starts ...
219.36/219.44	c solving time = 7.754s
219.36/219.44	c #decision = 1195775
219.36/219.44	c #conflict = 386
219.36/219.44	c #restart = 2
219.36/219.44	o 48884
219.36/219.48	c Solving starts ...
251.95/252.09	c solving time = 32.469s
251.95/252.09	c #decision = 1232532
251.95/252.09	c #conflict = 490
251.95/252.09	c #restart = 3
251.95/252.09	o 48306
252.05/252.13	c Solving starts ...
260.15/260.24	c solving time = 7.982s
260.15/260.24	c #decision = 1248318
260.15/260.24	c #conflict = 490
260.15/260.24	c #restart = 3
260.15/260.24	o 48305
260.15/260.28	c Solving starts ...
355.02/355.15	c solving time = 94.709s
355.02/355.15	c #decision = 1265805
355.02/355.15	c #conflict = 554
355.02/355.15	c #restart = 3
355.02/355.15	o 47727
355.02/355.19	c Solving starts ...
364.42/364.55	c solving time = 9.235s
364.42/364.55	c #decision = 1281150
364.42/364.55	c #conflict = 554
364.42/364.55	c #restart = 3
364.42/364.55	o 47726
364.42/364.59	c Solving starts ...
373.42/373.50	c solving time = 8.783s
373.42/373.50	c #decision = 1296503
373.42/373.50	c #conflict = 554
373.42/373.50	c #restart = 3
373.42/373.51	o 47725
373.42/373.55	c Solving starts ...
384.52/384.65	c solving time = 10.976s
384.52/384.65	c #decision = 1311955
384.52/384.65	c #conflict = 556
384.52/384.65	c #restart = 3
384.52/384.65	o 47724
384.52/384.69	c Solving starts ...
476.39/476.53	c solving time = 91.681s
476.39/476.53	c #decision = 1334927
476.39/476.53	c #conflict = 620
476.39/476.53	c #restart = 3
476.39/476.53	o 47723
476.39/476.57	c Solving starts ...
491.89/492.07	c solving time = 15.367s
491.89/492.07	c #decision = 1352671
491.89/492.07	c #conflict = 622
491.89/492.07	c #restart = 3
491.89/492.07	o 47722
491.99/492.11	c Solving starts ...
504.49/504.61	c solving time = 12.359s
504.49/504.61	c #decision = 1368953
504.49/504.61	c #conflict = 623
504.49/504.61	c #restart = 3
504.49/504.61	o 47721
504.49/504.65	c Solving starts ...
627.26/627.44	c solving time = 122.636s
627.26/627.44	c #decision = 1387983
627.26/627.44	c #conflict = 660
627.26/627.44	c #restart = 3
627.26/627.44	o 47720
627.26/627.48	c Solving starts ...
799.64/799.89	c solving time = 172.251s
799.64/799.89	c #decision = 1405945
799.64/799.89	c #conflict = 739
799.64/799.89	c #restart = 3
799.64/799.89	o 47719
799.74/799.93	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-3706166-1338249550/watcher-3706166-1338249550 -o /tmp/evaluation-result-3706166-1338249550/solver-3706166-1338249550 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706166-1338249550.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 2/176 6966
/proc/meminfo: memFree=30465920/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 788 0 0 0 0 0 0 0 20 0 1 0 291080965 6356992 709 33554432000 4194304 8973514 140737455602704 140737455602200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 1552 709 411 1167 0 333 0

[startup+0.028171 s]
/proc/loadavg: 2.08 2.02 2.01 2/176 6966
/proc/meminfo: memFree=30465920/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 1153 0 0 0 2 0 0 0 20 0 1 0 291080965 8454144 1074 33554432000 4194304 8973514 140737455602704 140737455602200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 2064 1074 411 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256

[startup+0.100273 s]
/proc/loadavg: 2.08 2.02 2.01 2/176 6966
/proc/meminfo: memFree=30465920/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 2254 0 0 0 9 0 0 0 20 0 1 0 291080965 12648448 2175 33554432000 4194304 8973514 140737455602704 140737455602200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 3088 2175 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300304 s]
/proc/loadavg: 2.08 2.02 2.01 2/176 6966
/proc/meminfo: memFree=30465920/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=25664 CPUtime=0.29 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 5475 0 0 0 28 1 0 0 20 0 1 0 291080965 26279936 5396 33554432000 4194304 8973514 140737455602704 140737455602200 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 6416 5404 418 1167 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25664

[startup+0.700309 s]
/proc/loadavg: 2.08 2.02 2.01 2/176 6966
/proc/meminfo: memFree=30465920/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=44096 CPUtime=0.68 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 10291 0 0 0 67 1 0 0 20 0 1 0 291080965 45154304 10212 33554432000 4194304 8973514 140737455602704 140737455602200 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 11024 10212 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44096

[startup+1.50032 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 6967
/proc/meminfo: memFree=30396960/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=96320 CPUtime=1.49 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 23347 0 0 0 144 5 0 0 20 0 1 0 291080965 98631680 23268 33554432000 4194304 8973514 140737455602704 140737455602200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 24080 23268 418 1167 0 22861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96320

[startup+3.10033 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 6967
/proc/meminfo: memFree=30344260/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=199744 CPUtime=3.09 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 49055 0 0 0 299 10 0 0 20 0 1 0 291080965 204537856 48976 33554432000 4194304 8973514 140737455602704 140737455600640 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 49936 48984 418 1167 0 48717 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199744

[startup+6.30033 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 6967
/proc/meminfo: memFree=30086712/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=385088 CPUtime=6.29 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 95539 0 0 0 610 19 0 0 20 0 1 0 291080965 394330112 95460 33554432000 4194304 8973514 140737455602704 140737455602200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 96272 95460 418 1167 0 95053 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 385088

[startup+12.7071 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6967
/proc/meminfo: memFree=29793228/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=677952 CPUtime=12.69 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 168755 0 0 0 1231 38 0 0 20 0 1 0 291080965 694222848 168676 33554432000 4194304 8973514 140737455602704 140737455602200 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 169488 168676 418 1167 0 168269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 677952

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 6967
/proc/meminfo: memFree=28879596/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1590336 CPUtime=25.48 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 396851 0 0 0 2463 85 0 0 20 0 1 0 291080965 1628504064 396772 33554432000 4194304 8973514 140737455602704 140737455602200 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 397584 396772 418 1167 0 396365 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1590336

[startup+51.1002 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 6970
/proc/meminfo: memFree=27655708/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=2811968 CPUtime=51.09 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702278 0 0 0 4960 149 0 0 20 0 1 0 291080965 2879455232 702199 33554432000 4194304 8973514 140737455602704 140737455602200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 702992 702199 430 1167 0 701773 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2811968

[startup+102.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 6970
/proc/meminfo: memFree=29026776/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=102.28 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702278 0 0 0 10060 168 0 0 20 0 1 0 291080965 1477509120 359927 33554432000 4194304 8973514 140737455602704 140737455601968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359927 430 1167 0 359501 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1442880

[startup+162.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 6993
/proc/meminfo: memFree=29026776/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=162.27 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702303 0 0 0 16050 177 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455602200 4209206 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1442880

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6993
/proc/meminfo: memFree=29026536/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=222.25 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702303 0 0 0 22036 189 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455600640 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1442880

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7033
/proc/meminfo: memFree=28018604/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=282.25 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702303 0 0 0 28024 201 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455600640 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1442880

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 7033
/proc/meminfo: memFree=25958000/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=342.23 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702319 0 0 0 34009 214 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455602200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1442880

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 7033
/proc/meminfo: memFree=27660796/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=402.21 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702328 0 0 0 39997 224 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455600704 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1442880

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7033
/proc/meminfo: memFree=27660452/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=462.2 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702330 0 0 0 45983 237 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455601968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1442880

[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 7033
/proc/meminfo: memFree=27660604/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=522.18 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702338 0 0 0 51967 251 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455600704 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1442880

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 7034
/proc/meminfo: memFree=27660508/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=582.17 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702348 0 0 0 57955 262 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455600640 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1442880

[startup+642.3 s]

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

[startup+822.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7037
/proc/meminfo: memFree=27660868/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=822.14 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702351 0 0 0 81902 312 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455600640 4209168 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 1442880

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7038
/proc/meminfo: memFree=27660896/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=882.13 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702351 0 0 0 87887 326 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455600640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 1442880

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7038
/proc/meminfo: memFree=27660800/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=942.12 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702352 0 0 0 93873 339 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455602200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 1442880

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7038
/proc/meminfo: memFree=27660828/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=1002.11 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702354 0 0 0 99861 350 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455602200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 1442880

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7038
/proc/meminfo: memFree=27660856/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=1062.1 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702354 0 0 0 105849 361 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455602200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1442880

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7038
/proc/meminfo: memFree=27660884/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=1122.09 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702354 0 0 0 111838 371 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455600640 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1442880

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7039
/proc/meminfo: memFree=27660788/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=1182.08 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702354 0 0 0 117828 380 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455602200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1442880

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7039
/proc/meminfo: memFree=27660940/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=1242.07 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702354 0 0 0 123815 392 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455601968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1442880

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7042
/proc/meminfo: memFree=27660836/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=1302.06 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702354 0 0 0 129801 405 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455600640 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1442880

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7042
/proc/meminfo: memFree=27660748/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1442880 CPUtime=1362.05 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 702354 0 0 0 135789 416 0 0 20 0 1 0 291080965 1477509120 359952 33554432000 4194304 8973514 140737455602704 140737455600640 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 360720 359952 455 1167 0 359501 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1442880

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7042
/proc/meminfo: memFree=27658048/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1445952 CPUtime=1422.04 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 703122 0 0 0 141775 429 0 0 20 0 1 0 291080965 1480654848 360720 33554432000 4194304 8973514 140737455602704 140737455601968 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 361488 360720 455 1167 0 360269 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1445952

[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7042
/proc/meminfo: memFree=27657960/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1445952 CPUtime=1482.04 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 703122 0 0 0 147762 442 0 0 20 0 1 0 291080965 1480654848 360720 33554432000 4194304 8973514 140737455602704 140737455600704 4209187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 361488 360720 455 1167 0 360269 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1445952

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7043
/proc/meminfo: memFree=27657608/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1445952 CPUtime=1542.03 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 703122 0 0 0 153750 453 0 0 20 0 1 0 291080965 1480654848 360720 33554432000 4194304 8973514 140737455602704 140737455600640 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 361488 360720 455 1167 0 360269 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1445952

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7043
/proc/meminfo: memFree=27658132/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1445952 CPUtime=1602.02 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 703122 0 0 0 159738 464 0 0 20 0 1 0 291080965 1480654848 360720 33554432000 4194304 8973514 140737455602704 140737455600640 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 361488 360720 455 1167 0 360269 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1445952

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 7044
/proc/meminfo: memFree=27658028/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1445952 CPUtime=1662.01 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 703122 0 0 0 165726 475 0 0 20 0 1 0 291080965 1480654848 360720 33554432000 4194304 8973514 140737455602704 140737455601968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 361488 360720 455 1167 0 360269 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1445952

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7044
/proc/meminfo: memFree=27657940/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1445952 CPUtime=1722 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 703122 0 0 0 171715 485 0 0 20 0 1 0 291080965 1480654848 360720 33554432000 4194304 8973514 140737455602704 140737455602200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 361488 360720 455 1167 0 360269 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1445952

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7044
/proc/meminfo: memFree=27657968/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1445952 CPUtime=1781.99 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 703122 0 0 0 177701 498 0 0 20 0 1 0 291080965 1480654848 360720 33554432000 4194304 8973514 140737455602704 140737455602200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 361488 360720 455 1167 0 360269 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1445952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7045
/proc/meminfo: memFree=27657936/32873844 swapFree=7112/7112
[pid=6966] ppid=6964 vsize=1445952 CPUtime=1800.09 cores=1,3,5,7
/proc/6966/stat : 6966 (toysat) R 6964 6966 4756 0 -1 4202496 703122 0 0 0 179507 502 0 0 20 0 1 0 291080965 1480654848 360720 33554432000 4194304 8973514 140737455602704 140737455602200 6662992 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6966/statm: 361488 360720 455 1167 0 360269 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1445952

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1795.08
CPU system time (s): 5.03123
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 2811968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 5.03123
maximum resident set size= 2808796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 703122
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= 54
involuntary context switches= 1868

runsolver used 3.83142 second user time and 10.1335 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-29 01:59:13
IDJOB=3706166
IDBENCH=92852
IDSOLVER=2285
FILE ID=node119/3706166-1338249550
RUNJOBID= node119-1338233325-5918
PBS_JOBID= 14624617
Free space on /tmp= 71480 MiB

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

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

MD5SUM BENCH= 6588abae91382e225ff22e3d71e1a061
RANDOM SEED=1304103643

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:        30466440 kB
Buffers:          339972 kB
Cached:           603948 kB
SwapCached:         1840 kB
Active:          1340196 kB
Inactive:         262624 kB
Active(anon):     659268 kB
Inactive(anon):     2068 kB
Active(file):     680928 kB
Inactive(file):   260556 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100200 kB
Dirty:             97320 kB
Writeback:             0 kB
AnonPages:        664976 kB
Mapped:            13596 kB
Shmem:                 8 kB
Slab:             662508 kB
SReclaimable:     104228 kB
SUnreclaim:       558280 kB
KernelStack:        1448 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     778048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    624640 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= 71396 MiB
End job on node119 at 2012-05-29 02:29:15