Trace number 3706183

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.recomb5-0.10-9.opb
MD5SUMeb1486293241c3bbd58eaf083201528e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark89020
Best CPU time to get the best result obtained on this benchmark1800.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables212153
Total number of constraints2591417
Number of constraints which are clauses2591417
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 

106.38/106.47	c 2012-05-29T01:06:28+0200
106.38/106.47	c arch = x86_64
106.38/106.47	c os = linux
106.38/106.47	c compiler = ghc 7.4
106.38/106.47	c packages:
106.38/106.47	c   OptDir-0.0.1
106.38/106.47	c   array-0.4.0.0
106.38/106.47	c   base-4.5.0.0
106.38/106.47	c   bytestring-0.9.2.1
106.38/106.47	c   containers-0.4.2.1
106.38/106.47	c   deepseq-1.3.0.0
106.38/106.47	c   mtl-2.1.1
106.38/106.47	c   old_locale-1.0.0.4
106.38/106.47	c   parse_dimacs-1.2
106.38/106.47	c   parsec-3.1.2
106.38/106.47	c   queue-0.1.2
106.38/106.47	c   stm-2.3
106.38/106.47	c   time-1.4
106.38/106.47	c command line = ["--pb","HOME/instance-3706183-1338246386.opb"]
106.38/106.47	c #vars 212153
106.38/106.47	c #constraints 2591417
106.38/106.47	c Solving starts ...
112.47/112.56	c solving time = 5.992s
112.47/112.56	c #decision = 575404
112.47/112.56	c #conflict = 341
112.47/112.56	c #restart = 2
112.47/112.56	o 113434
112.57/112.60	c Solving starts ...
113.97/114.08	c solving time = 1.375s
113.97/114.08	c #decision = 608011
113.97/114.08	c #conflict = 341
113.97/114.08	c #restart = 2
113.97/114.09	o 113433
114.07/114.12	c Solving starts ...
115.87/115.96	c solving time = 1.730s
115.87/115.96	c #decision = 640634
115.87/115.96	c #conflict = 341
115.87/115.96	c #restart = 2
115.87/115.96	o 113432
115.97/116.00	c Solving starts ...
118.17/118.25	c solving time = 2.145s
118.17/118.25	c #decision = 673200
118.17/118.25	c #conflict = 341
118.17/118.25	c #restart = 2
118.17/118.25	o 113431
118.17/118.28	c Solving starts ...
121.37/121.46	c solving time = 3.070s
121.37/121.46	c #decision = 705806
121.37/121.46	c #conflict = 341
121.37/121.46	c #restart = 2
121.37/121.46	o 113430
121.47/121.50	c Solving starts ...
125.07/125.11	c solving time = 3.499s
125.07/125.11	c #decision = 738437
125.07/125.11	c #conflict = 341
125.07/125.11	c #restart = 2
125.07/125.11	o 113429
125.57/125.68	c Solving starts ...
129.57/129.68	c solving time = 3.897s
129.57/129.68	c #decision = 770961
129.57/129.68	c #conflict = 341
129.57/129.68	c #restart = 2
129.57/129.68	o 113428
129.68/129.72	c Solving starts ...
134.57/134.66	c solving time = 4.832s
134.57/134.66	c #decision = 803568
134.57/134.66	c #conflict = 341
134.57/134.66	c #restart = 2
134.57/134.66	o 113427
135.17/135.24	c Solving starts ...
140.47/140.58	c solving time = 5.231s
140.47/140.58	c #decision = 836272
140.47/140.58	c #conflict = 341
140.47/140.58	c #restart = 2
140.47/140.58	o 113426
140.57/140.62	c Solving starts ...
146.76/146.86	c solving time = 6.136s
146.76/146.86	c #decision = 868759
146.76/146.86	c #conflict = 341
146.76/146.86	c #restart = 2
146.76/146.86	o 113425
146.86/146.90	c Solving starts ...
153.97/154.07	c solving time = 7.061s
153.97/154.07	c #decision = 901432
153.97/154.07	c #conflict = 341
153.97/154.07	c #restart = 2
153.97/154.07	o 113424
154.07/154.11	c Solving starts ...
161.06/161.12	c solving time = 6.899s
161.06/161.12	c #decision = 933916
161.06/161.12	c #conflict = 341
161.06/161.12	c #restart = 2
161.06/161.12	o 113423
161.06/161.16	c Solving starts ...
169.56/169.64	c solving time = 8.375s
169.56/169.64	c #decision = 966543
169.56/169.64	c #conflict = 341
169.56/169.64	c #restart = 2
169.56/169.64	o 113422
169.56/169.68	c Solving starts ...
177.86/177.99	c solving time = 8.204s
177.86/177.99	c #decision = 999056
177.86/177.99	c #conflict = 341
177.86/177.99	c #restart = 2
177.86/177.99	o 113421
177.96/178.03	c Solving starts ...
187.16/187.25	c solving time = 9.111s
187.16/187.25	c #decision = 1031619
187.16/187.25	c #conflict = 341
187.16/187.25	c #restart = 2
187.16/187.25	o 113420
187.16/187.29	c Solving starts ...
196.76/196.84	c solving time = 9.443s
196.76/196.84	c #decision = 1064075
196.76/196.84	c #conflict = 341
196.76/196.84	c #restart = 2
196.76/196.85	o 113419
196.76/196.88	c Solving starts ...
207.26/207.36	c solving time = 10.365s
207.26/207.36	c #decision = 1096495
207.26/207.36	c #conflict = 341
207.26/207.36	c #restart = 2
207.26/207.36	o 113418
207.36/207.40	c Solving starts ...
218.15/218.24	c solving time = 10.727s
218.15/218.24	c #decision = 1128897
218.15/218.24	c #conflict = 341
218.15/218.24	c #restart = 2
218.15/218.24	o 113417
218.15/218.28	c Solving starts ...
229.36/229.50	c solving time = 11.113s
229.36/229.50	c #decision = 1161918
229.36/229.50	c #conflict = 342
229.36/229.50	c #restart = 2
229.46/229.50	o 113416
229.46/229.53	c Solving starts ...
241.55/241.63	c solving time = 11.981s
241.55/241.63	c #decision = 1194547
241.55/241.63	c #conflict = 342
241.55/241.63	c #restart = 2
241.55/241.63	o 113415
241.55/241.66	c Solving starts ...
253.95/254.08	c solving time = 12.305s
253.95/254.08	c #decision = 1227230
253.95/254.08	c #conflict = 342
253.95/254.08	c #restart = 2
253.95/254.08	o 113414
254.05/254.12	c Solving starts ...
266.75/266.88	c solving time = 12.654s
266.75/266.88	c #decision = 1259749
266.75/266.88	c #conflict = 342
266.75/266.88	c #restart = 2
266.75/266.88	o 113413
266.85/266.92	c Solving starts ...
280.45/280.59	c solving time = 13.558s
280.45/280.59	c #decision = 1292340
280.45/280.59	c #conflict = 342
280.45/280.59	c #restart = 2
280.45/280.59	o 113412
280.54/280.63	c Solving starts ...
294.54/294.63	c solving time = 13.889s
294.54/294.63	c #decision = 1324837
294.54/294.63	c #conflict = 342
294.54/294.63	c #restart = 2
294.54/294.63	o 113411
294.54/294.66	c Solving starts ...
308.95/309.01	c solving time = 14.234s
308.95/309.01	c #decision = 1357364
308.95/309.01	c #conflict = 342
308.95/309.01	c #restart = 2
308.95/309.01	o 113410
308.95/309.05	c Solving starts ...
324.14/324.28	c solving time = 15.119s
324.14/324.28	c #decision = 1389861
324.14/324.28	c #conflict = 342
324.14/324.28	c #restart = 2
324.14/324.28	o 113409
324.24/324.32	c Solving starts ...
339.93/340.02	c solving time = 15.598s
339.93/340.02	c #decision = 1422696
339.93/340.02	c #conflict = 343
339.93/340.02	c #restart = 2
339.93/340.02	o 112828
339.93/340.06	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-3706183-1338246386/watcher-3706183-1338246386 -o /tmp/evaluation-result-3706183-1338246386/solver-3706183-1338246386 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706183-1338246386.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.95 1.99 1.99 3/176 18074
/proc/meminfo: memFree=28266524/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 817 0 0 0 0 0 0 0 20 0 1 0 290763899 7405568 738 33554432000 4194304 8973514 140736421582880 140734865596264 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 1808 742 411 1167 0 589 0

[startup+0.044573 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 18074
/proc/meminfo: memFree=28266524/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=9280 CPUtime=0.04 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 1395 0 0 0 4 0 0 0 20 0 1 0 290763899 9502720 1317 33554432000 4194304 8973514 140736421582880 140734865596264 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 2320 1322 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.95 1.99 1.99 3/176 18074
/proc/meminfo: memFree=28266524/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 2259 0 0 0 9 0 0 0 20 0 1 0 290763899 12648448 2180 33554432000 4194304 8973514 140736421582880 140734865596264 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 3088 2180 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300278 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 18074
/proc/meminfo: memFree=28266524/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=26688 CPUtime=0.29 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 5740 0 0 0 28 1 0 0 20 0 1 0 290763899 27328512 5661 33554432000 4194304 8973514 140736421582880 140734865596264 4209439 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 6672 5667 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688

[startup+0.700287 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 18074
/proc/meminfo: memFree=28266524/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=43072 CPUtime=0.69 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 10036 0 0 0 67 2 0 0 20 0 1 0 290763899 44105728 9957 33554432000 4194304 8973514 140736421582880 140734865596264 4209278 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 10768 9957 418 1167 0 9549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43072

[startup+1.50028 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 18075
/proc/meminfo: memFree=28196928/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=96320 CPUtime=1.49 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 23348 0 0 0 144 5 0 0 20 0 1 0 290763899 98631680 23269 33554432000 4194304 8973514 140736421582880 140736421582144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 24080 23269 418 1167 0 22861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96320

[startup+3.10028 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 18075
/proc/meminfo: memFree=28144352/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=218176 CPUtime=3.09 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 53812 0 0 0 298 11 0 0 20 0 1 0 290763899 223412224 53733 33554432000 4194304 8973514 140736421582880 140736421582376 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 54544 53733 418 1167 0 53325 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 218176

[startup+6.30028 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 18075
/proc/meminfo: memFree=27941488/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=383040 CPUtime=6.29 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 95028 0 0 0 608 21 0 0 20 0 1 0 290763899 392232960 94949 33554432000 4194304 8973514 140736421582880 140736421582144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 95760 94949 418 1167 0 94541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 383040

[startup+12.7003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 18075
/proc/meminfo: memFree=27595668/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=738368 CPUtime=12.69 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 183832 0 0 0 1228 41 0 0 20 0 1 0 290763899 756088832 183753 33554432000 4194304 8973514 140736421582880 140736421582144 4213859 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 184592 183759 418 1167 0 183373 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 738368

[startup+25.5003 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 18075
/proc/meminfo: memFree=26685144/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1584192 CPUtime=25.48 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 395316 0 0 0 2462 86 0 0 20 0 1 0 290763899 1622212608 395237 33554432000 4194304 8973514 140736421582880 140736421582144 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 396048 395237 418 1167 0 394829 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1584192

[startup+51.1003 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 18075
/proc/meminfo: memFree=25663136/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=2604096 CPUtime=51.08 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650313 0 0 0 4967 141 0 0 20 0 1 0 290763899 2666594304 650234 33554432000 4194304 8973514 140736421582880 140736421582144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 651024 650234 432 1167 0 649805 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2604096

[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 18075
/proc/meminfo: memFree=26945048/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=102.28 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650313 0 0 0 10065 163 0 0 20 0 1 0 290763899 1355874304 330234 33554432000 4194304 8973514 140736421582880 140736421582376 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330234 432 1167 0 329805 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1324096

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 18075
/proc/meminfo: memFree=26944924/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=162.26 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650336 0 0 0 16051 175 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421580800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1324096

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 18079
/proc/meminfo: memFree=26945024/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=222.25 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650336 0 0 0 22036 189 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582376 4208823 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1324096

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 18079
/proc/meminfo: memFree=26945152/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=282.24 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650339 0 0 0 28020 204 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421580800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1324096

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 18079
/proc/meminfo: memFree=26945056/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=342.24 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650339 0 0 0 34007 217 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582376 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1324096

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 18079
/proc/meminfo: memFree=26944836/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=402.22 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650339 0 0 0 39994 228 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1324096

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18079
/proc/meminfo: memFree=26944988/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=462.21 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650339 0 0 0 45983 238 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582376 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1324096

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18080
/proc/meminfo: memFree=26945016/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=522.2 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650349 0 0 0 51968 252 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1324096

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18080
/proc/meminfo: memFree=26945292/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=582.18 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650367 0 0 0 57953 265 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1324096

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 18084
/proc/meminfo: memFree=26945256/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=822.14 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650375 0 0 0 81896 318 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582376 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 1324096

[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 18084
/proc/meminfo: memFree=26944936/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=882.14 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650376 0 0 0 87883 331 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 1324096

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18084
/proc/meminfo: memFree=26944964/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=942.13 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650377 0 0 0 93869 344 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 4205032 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1324096

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18084
/proc/meminfo: memFree=26944868/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1002.12 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650379 0 0 0 99858 354 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1324096

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18084
/proc/meminfo: memFree=26944736/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1062.1 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 105847 363 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421580800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1324096

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18085
/proc/meminfo: memFree=26944860/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1122.1 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 111835 375 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582376 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1324096

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18085
/proc/meminfo: memFree=26945232/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1182.09 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 117822 387 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1324096

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18085
/proc/meminfo: memFree=26945232/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1242.08 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 123808 400 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421580864 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1324096

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18085
/proc/meminfo: memFree=26944984/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1302.07 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 129794 413 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421580864 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1324096

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18085
/proc/meminfo: memFree=26944736/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1362.06 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 135780 426 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 4209425 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1324096

[startup+1422.31 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 18128
/proc/meminfo: memFree=25753260/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1422.06 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 141766 440 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421580800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1324096

[startup+1482.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 18128
/proc/meminfo: memFree=26323056/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1482.04 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 147753 451 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421580800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1324096

[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 18128
/proc/meminfo: memFree=26322932/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1542.03 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 153742 461 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1324096

[startup+1602.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 18128
/proc/meminfo: memFree=26323056/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1602.02 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 159729 473 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582376 4209187 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1324096

[startup+1662.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 18128
/proc/meminfo: memFree=26323180/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1662.01 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 165716 485 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421580864 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1324096

[startup+1722.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/177 18129
/proc/meminfo: memFree=26303092/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1722 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 171702 498 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 7937344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1324096

[startup+1782.3 s]
/proc/loadavg: 2.09 2.08 2.01 3/178 18130
/proc/meminfo: memFree=26278284/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1781.99 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 177689 510 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421582144 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1324096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.07 2.01 4/178 18130
/proc/meminfo: memFree=26272084/32873844 swapFree=7116/7116
[pid=18074] ppid=18072 vsize=1324096 CPUtime=1800.1 cores=0,2,4,6
/proc/18074/stat : 18074 (toysat) R 18072 18074 16905 0 -1 4202496 650383 0 0 0 179496 514 0 0 20 0 1 0 290763899 1355874304 330257 33554432000 4194304 8973514 140736421582880 140736421580800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/18074/statm: 331024 330257 455 1167 0 329805 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1324096

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): 1794.96
CPU system time (s): 5.14822
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 2604096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.96
system time used= 5.14822
maximum resident set size= 2600936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 650383
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= 50
involuntary context switches= 2102

runsolver used 3.43048 second user time and 8.84465 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-29 01:06:28
IDJOB=3706183
IDBENCH=92807
IDSOLVER=2285
FILE ID=node138/3706183-1338246386
RUNJOBID= node138-1338229700-16921
PBS_JOBID= 14624649
Free space on /tmp= 71388 MiB

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

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

MD5SUM BENCH= eb1486293241c3bbd58eaf083201528e
RANDOM SEED=2078275087

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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:        28266400 kB
Buffers:          666788 kB
Cached:          2580008 kB
SwapCached:          208 kB
Active:          1734724 kB
Inactive:        1975912 kB
Active(anon):     445016 kB
Inactive(anon):    12388 kB
Active(file):    1289708 kB
Inactive(file):  1963524 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             88132 kB
Writeback:             0 kB
AnonPages:        463924 kB
Mapped:            16188 kB
Shmem:               200 kB
Slab:             756148 kB
SReclaimable:     197812 kB
SUnreclaim:       558336 kB
KernelStack:        1448 kB
PageTables:         4864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     569136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    440320 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= 71336 MiB
End job on node138 at 2012-05-29 01:36:31