Trace number 3725689

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01? (TO) 1800.06 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_3.opb
MD5SUM1b4456ec5e57b53956abc30521c99789
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark1797.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint25
Maximum length of a constraint45
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6216
Sum of products size (including duplicates)12432
Number of different products3108
Sum of products size6216

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c 2012-06-02T14:08:50+0200
0.00/0.08	c arch = x86_64
0.00/0.08	c os = linux
0.00/0.08	c compiler = ghc 7.4
0.00/0.08	c packages:
0.00/0.08	c   OptDir-0.0.1
0.00/0.08	c   array-0.4.0.0
0.00/0.08	c   base-4.5.0.0
0.00/0.08	c   bytestring-0.9.2.1
0.00/0.08	c   containers-0.4.2.1
0.00/0.08	c   deepseq-1.3.0.0
0.00/0.08	c   mtl-2.1.1
0.00/0.08	c   old_locale-1.0.0.4
0.00/0.08	c   parse_dimacs-1.2
0.00/0.08	c   parsec-3.1.2
0.00/0.08	c   queue-0.1.2
0.00/0.08	c   stm-2.3
0.00/0.08	c   time-1.4
0.00/0.08	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725689-1338638930.opb"]
0.00/0.08	c #vars 200
0.00/0.08	c #constraints 200
0.00/0.08	c Solving starts ...
0.00/0.09	c solving time = 0.003s
0.00/0.09	c #decision = 23
0.00/0.09	c #conflict = 0
0.00/0.09	c #restart = 0
0.00/0.09	o -23
0.00/0.09	c Solving starts ...
0.00/0.09	c solving time = 0.003s
0.00/0.09	c #decision = 48
0.00/0.09	c #conflict = 2
0.00/0.09	c #restart = 0
0.00/0.09	o -24
0.00/0.09	c Solving starts ...
0.19/0.22	c solving time = 0.127s
0.19/0.22	c #decision = 700
0.19/0.22	c #conflict = 305
0.19/0.22	c #restart = 2
0.19/0.22	o -25
0.19/0.22	c Solving starts ...
4.19/4.22	c solving time = 4.001s
4.19/4.22	c #decision = 7962
4.19/4.22	c #conflict = 6042
4.19/4.22	c #restart = 10
4.19/4.22	o -26
4.19/4.22	c Solving starts ...
10.19/10.22	c learnt constraints deletion: 12311 -> 6156
18.99/19.03	c learnt constraints deletion: 14211 -> 7106
28.99/29.05	c learnt constraints deletion: 15306 -> 7653
41.19/41.25	c learnt constraints deletion: 16511 -> 8256
55.17/55.26	c learnt constraints deletion: 17830 -> 8915
68.27/68.34	c learnt constraints deletion: 17826 -> 8913
81.96/82.09	c learnt constraints deletion: 19284 -> 9642
95.76/95.86	c learnt constraints deletion: 19289 -> 9645
108.56/108.67	c learnt constraints deletion: 19292 -> 9646
123.35/123.46	c learnt constraints deletion: 20895 -> 10448
139.04/139.12	c learnt constraints deletion: 20886 -> 10443
153.94/154.03	c learnt constraints deletion: 20896 -> 10448
168.94/169.00	c learnt constraints deletion: 20891 -> 10446
187.52/187.63	c learnt constraints deletion: 22654 -> 11327
208.22/208.32	c learnt constraints deletion: 22659 -> 11330
226.12/226.22	c learnt constraints deletion: 22651 -> 11326
244.32/244.48	c learnt constraints deletion: 22656 -> 11329
262.42/262.50	c learnt constraints deletion: 22651 -> 11329
276.72/276.88	c learnt constraints deletion: 22654 -> 11327
297.11/297.29	c learnt constraints deletion: 24589 -> 12295
317.51/317.63	c learnt constraints deletion: 24592 -> 12296
340.10/340.23	c learnt constraints deletion: 24589 -> 12295
360.71/360.87	c learnt constraints deletion: 24591 -> 12296
382.50/382.64	c learnt constraints deletion: 24592 -> 12297
399.69/399.80	c learnt constraints deletion: 24592 -> 12298
420.39/420.51	c learnt constraints deletion: 24594 -> 12297
441.98/442.20	c learnt constraints deletion: 24585 -> 12293
466.97/467.16	c learnt constraints deletion: 26722 -> 13361
492.17/492.34	c learnt constraints deletion: 26720 -> 13362
510.26/510.45	c learnt constraints deletion: 26722 -> 13363
532.13/532.30	c learnt constraints deletion: 26718 -> 13359
555.34/555.53	c learnt constraints deletion: 26718 -> 13361
575.03/575.24	c learnt constraints deletion: 26725 -> 13365
602.43/602.64	c learnt constraints deletion: 26724 -> 13364
625.52/625.75	c learnt constraints deletion: 26722 -> 13361
650.32/650.53	c learnt constraints deletion: 26724 -> 13363
669.22/669.48	c learnt constraints deletion: 26724 -> 13364
696.11/696.35	c learnt constraints deletion: 26717 -> 13361
725.28/725.53	c learnt constraints deletion: 29063 -> 14532
759.67/759.96	c learnt constraints deletion: 29066 -> 14535
782.37/782.63	c learnt constraints deletion: 29066 -> 14535
809.86/810.11	c learnt constraints deletion: 29068 -> 14534
840.85/841.11	c learnt constraints deletion: 29061 -> 14533
861.16/861.49	c learnt constraints deletion: 29068 -> 14534
890.45/890.78	c learnt constraints deletion: 29069 -> 14536
913.24/913.55	c learnt constraints deletion: 29066 -> 14535
945.44/945.72	c learnt constraints deletion: 29066 -> 14535
978.03/978.34	c learnt constraints deletion: 29059 -> 14532
1001.23/1001.50	c learnt constraints deletion: 29070 -> 14535
1026.51/1026.85	c learnt constraints deletion: 29059 -> 14531
1046.90/1047.21	c learnt constraints deletion: 29068 -> 14536
1086.60/1086.95	c learnt constraints deletion: 29068 -> 14536
1116.29/1116.70	c learnt constraints deletion: 29067 -> 14536
1148.28/1148.65	c learnt constraints deletion: 31641 -> 15821
1186.78/1187.19	c learnt constraints deletion: 31642 -> 15823
1213.08/1213.43	c learnt constraints deletion: 31647 -> 15826
1248.17/1248.53	c learnt constraints deletion: 31639 -> 15820
1285.86/1286.23	c learnt constraints deletion: 31646 -> 15824
1310.65/1311.00	c learnt constraints deletion: 31641 -> 15821
1339.34/1339.71	c learnt constraints deletion: 31633 -> 15817
1380.42/1380.86	c learnt constraints deletion: 31643 -> 15824
1405.41/1405.90	c learnt constraints deletion: 31641 -> 15822
1435.31/1435.70	c learnt constraints deletion: 31641 -> 15822
1468.60/1469.03	c learnt constraints deletion: 31646 -> 15825
1496.09/1496.57	c learnt constraints deletion: 31642 -> 15823
1527.29/1527.71	c learnt constraints deletion: 31645 -> 15825
1564.99/1565.45	c learnt constraints deletion: 31649 -> 15827
1608.58/1609.04	c learnt constraints deletion: 31648 -> 15828
1633.88/1634.35	c learnt constraints deletion: 31647 -> 15828
1667.37/1667.89	c learnt constraints deletion: 31642 -> 15821
1708.66/1709.10	c learnt constraints deletion: 31644 -> 15823
1733.05/1733.56	c learnt constraints deletion: 31648 -> 15826
1767.35/1767.84	c learnt constraints deletion: 31642 -> 15823

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-3725689-1338638930/watcher-3725689-1338638930 -o /tmp/evaluation-result-3725689-1338638930/solver-3725689-1338638930 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725689-1338638930.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: 1.92 1.99 1.97 3/176 16765
/proc/meminfo: memFree=26452720/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 821 0 0 0 0 0 0 0 20 0 1 0 330021540 6373376 741 33554432000 4194304 8989770 140735882690560 140734834643464 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 1556 741 429 1171 0 333 0

[startup+0.102654 s]
/proc/loadavg: 1.92 1.99 1.97 3/176 16765
/proc/meminfo: memFree=26452720/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=15440 CPUtime=0.09 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 3042 0 0 0 9 0 0 0 20 0 1 0 330021540 15810560 2962 33554432000 4194304 8989770 140735882690560 140734834643464 7857787 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 3860 2962 471 1171 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15440

[startup+0.200305 s]
/proc/loadavg: 1.92 1.99 1.97 3/176 16765
/proc/meminfo: memFree=26452720/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=15440 CPUtime=0.19 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 3179 0 0 0 19 0 0 0 20 0 1 0 330021540 15810560 3099 33554432000 4194304 8989770 140735882690560 140734834643464 7748602 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 3860 3099 471 1171 0 2637 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15440

[startup+0.300285 s]
/proc/loadavg: 1.92 1.99 1.97 3/176 16765
/proc/meminfo: memFree=26452720/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=19536 CPUtime=0.28 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 4203 0 0 0 28 0 0 0 20 0 1 0 330021540 20004864 4123 33554432000 4194304 8989770 140735882690560 140735882690056 6833218 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 4884 4123 471 1171 0 3661 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19536

[startup+0.700284 s]
/proc/loadavg: 1.92 1.99 1.97 3/176 16765
/proc/meminfo: memFree=26452720/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=22608 CPUtime=0.69 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 4971 0 0 0 68 1 0 0 20 0 1 0 330021540 23150592 4891 33554432000 4194304 8989770 140735882690560 140735882690056 7745616 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 5652 4891 471 1171 0 4429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22608

[startup+1.5003 s]
/proc/loadavg: 1.92 1.99 1.97 3/177 16766
/proc/meminfo: memFree=26433500/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=29776 CPUtime=1.49 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 6688 0 0 0 147 2 0 0 20 0 1 0 330021540 30490624 6608 33554432000 4194304 8989770 140735882690560 140735882690056 6592061 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 7444 6608 471 1171 0 6221 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29776

[startup+3.10029 s]
/proc/loadavg: 1.92 1.99 1.97 3/177 16766
/proc/meminfo: memFree=26424944/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=37968 CPUtime=3.09 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 8811 0 0 0 306 3 0 0 20 0 1 0 330021540 38879232 8731 33554432000 4194304 8989770 140735882690560 140735882690056 4367132 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 9492 8731 471 1171 0 8269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37968

[startup+6.30036 s]
/proc/loadavg: 1.93 1.99 1.97 3/177 16766
/proc/meminfo: memFree=26403740/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=59472 CPUtime=6.29 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 14187 0 0 0 624 5 0 0 20 0 1 0 330021540 60899328 14107 33554432000 4194304 8989770 140735882690560 140735882690056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 14868 14107 471 1171 0 13645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59472

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 16766
/proc/meminfo: memFree=26373756/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=83024 CPUtime=12.69 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 20081 0 0 0 1261 8 0 0 20 0 1 0 330021540 85016576 20001 33554432000 4194304 8989770 140735882690560 140735882690056 7686756 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83024

[startup+25.5004 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 16766
/proc/meminfo: memFree=26373880/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=83024 CPUtime=25.48 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 22129 0 0 0 2535 13 0 0 20 0 1 0 330021540 85016576 20001 33554432000 4194304 8989770 140735882690560 140735882690056 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 20756 20001 473 1171 0 19533 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83024

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16766
/proc/meminfo: memFree=26349204/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=107600 CPUtime=51.08 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 32113 0 0 0 5085 23 0 0 20 0 1 0 330021540 110182400 26145 33554432000 4194304 8989770 140735882690560 140735882690056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 26900 26145 473 1171 0 25677 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 107600

[startup+102.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/178 16770
/proc/meminfo: memFree=26340016/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=116816 CPUtime=102.26 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 43139 0 0 0 10184 42 0 0 20 0 1 0 330021540 119619584 28449 33554432000 4194304 8989770 140735882690560 140735882690056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 29204 28449 473 1171 0 27981 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 116816

[startup+162.3 s]
/proc/loadavg: 2.08 2.02 1.99 3/177 16770
/proc/meminfo: memFree=26313296/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=143440 CPUtime=162.23 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 49808 0 0 0 16162 61 0 0 20 0 1 0 330021540 146882560 35105 33554432000 4194304 8989770 140735882690560 140735882689824 4213668 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 35860 35105 473 1171 0 34637 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 143440

[startup+222.307 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 16770
/proc/meminfo: memFree=26328136/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=128080 CPUtime=222.23 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 55696 0 0 0 22146 77 0 0 20 0 1 0 330021540 131153920 31265 33554432000 4194304 8989770 140735882690560 140735882689824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 32020 31265 473 1171 0 30797 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 128080

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 16770
/proc/meminfo: memFree=26329848/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=129104 CPUtime=282.22 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 77712 0 0 0 28123 99 0 0 20 0 1 0 330021540 132202496 31521 33554432000 4194304 8989770 140735882690560 140735882689824 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 32276 31521 473 1171 0 31053 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 129104

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16770
/proc/meminfo: memFree=26320568/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=136272 CPUtime=342.21 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 90769 0 0 0 34106 115 0 0 20 0 1 0 330021540 139542528 33314 33554432000 4194304 8989770 140735882690560 140735882690056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 34068 33314 473 1171 0 32845 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 136272

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16771
/proc/meminfo: memFree=26320444/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=136272 CPUtime=402.2 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 104081 0 0 0 40089 131 0 0 20 0 1 0 330021540 139542528 33314 33554432000 4194304 8989770 140735882690560 140735882690056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 34068 33314 473 1171 0 32845 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 136272

[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 16810
/proc/meminfo: memFree=26950712/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=169040 CPUtime=462.18 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 118171 0 0 0 46070 148 0 0 20 0 1 0 330021540 173096960 41506 33554432000 4194304 8989770 140735882690560 140735882690056 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 42260 41506 473 1171 0 41037 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 169040

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16810
/proc/meminfo: memFree=26970960/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=128080 CPUtime=522.14 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 123063 0 0 0 52048 166 0 0 20 0 1 0 330021540 131153920 31266 33554432000 4194304 8989770 140735882690560 140735882690056 4208843 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 32020 31266 473 1171 0 30797 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 128080

[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 16810
/proc/meminfo: memFree=26908444/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=166992 CPUtime=582.13 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 144573 0 0 0 58027 186 0 0 20 0 1 0 330021540 170999808 40994 33554432000 4194304 8989770 140735882690560 140735882689824 4209286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 41748 40994 473 1171 0 40525 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 166992

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16814
/proc/meminfo: memFree=26831224/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=152656 CPUtime=822.06 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 180188 0 0 0 81950 256 0 0 20 0 1 0 330021540 156319744 37410 33554432000 4194304 8989770 140735882690560 140735882690056 6591848 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 38164 37410 473 1171 0 36941 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 152656

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16814
/proc/meminfo: memFree=26780148/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=189520 CPUtime=882.06 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 195036 0 0 0 87929 277 0 0 20 0 1 0 330021540 194068480 46626 33554432000 4194304 8989770 140735882690560 140735882688512 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 47380 46626 473 1171 0 46157 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 189520

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16814
/proc/meminfo: memFree=26826436/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=143440 CPUtime=942.04 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 202209 0 0 0 93911 293 0 0 20 0 1 0 330021540 146882560 35106 33554432000 4194304 8989770 140735882690560 140735882690056 4417303 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 35860 35106 473 1171 0 34637 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 143440

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16815
/proc/meminfo: memFree=26775556/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=171088 CPUtime=1002.02 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 211178 0 0 0 99891 311 0 0 20 0 1 0 330021540 175194112 42018 33554432000 4194304 8989770 140735882690560 140735882688448 4213693 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 42772 42018 473 1171 0 41549 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 171088

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16815
/proc/meminfo: memFree=26765440/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=158800 CPUtime=1061.99 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 226558 0 0 0 105871 328 0 0 20 0 1 0 330021540 162611200 38946 33554432000 4194304 8989770 140735882690560 140735882688512 7683303 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 39700 38946 473 1171 0 38477 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 158800

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16815
/proc/meminfo: memFree=26767444/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=156752 CPUtime=1121.99 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 236798 0 0 0 111852 347 0 0 20 0 1 0 330021540 160514048 38434 33554432000 4194304 8989770 140735882690560 140735882689824 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 39188 38434 473 1171 0 37965 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 156752

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16815
/proc/meminfo: memFree=26694664/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=229456 CPUtime=1181.98 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 258046 0 0 0 117832 366 0 0 20 0 1 0 330021540 234962944 56610 33554432000 4194304 8989770 140735882690560 140735882690056 4209256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 57364 56610 473 1171 0 56141 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 229456

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16815
/proc/meminfo: memFree=26685276/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=238672 CPUtime=1241.97 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 267262 0 0 0 123813 384 0 0 20 0 1 0 330021540 244400128 58914 33554432000 4194304 8989770 140735882690560 140735882690056 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 59668 58914 473 1171 0 58445 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 238672

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16819
/proc/meminfo: memFree=26722836/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=169040 CPUtime=1301.95 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 268808 0 0 0 129799 396 0 0 20 0 1 0 330021540 173096960 41506 33554432000 4194304 8989770 140735882690560 140735882690056 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 42260 41506 473 1171 0 41037 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 169040

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16819
/proc/meminfo: memFree=26629936/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=206928 CPUtime=1361.92 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 279063 0 0 0 135780 412 0 0 20 0 1 0 330021540 211894272 50978 33554432000 4194304 8989770 140735882690560 140735882689824 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 51732 50978 473 1171 0 50509 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 206928

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16819
/proc/meminfo: memFree=26669516/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=140368 CPUtime=1421.92 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 290592 0 0 0 141764 428 0 0 20 0 1 0 330021540 143736832 34338 33554432000 4194304 8989770 140735882690560 140735882690056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 35092 34338 473 1171 0 33869 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 140368

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 16819
/proc/meminfo: memFree=26637824/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=160848 CPUtime=1481.9 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 313376 0 0 0 147745 445 0 0 20 0 1 0 330021540 164708352 39458 33554432000 4194304 8989770 140735882690560 140735882690056 4451817 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 40212 39458 473 1171 0 38989 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 160848

[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16819
/proc/meminfo: memFree=26733840/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=190544 CPUtime=1541.89 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 320800 0 0 0 153730 459 0 0 20 0 1 0 330021540 195117056 46882 33554432000 4194304 8989770 140735882690560 140735882690056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 47636 46882 473 1171 0 46413 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 190544

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16821
/proc/meminfo: memFree=26687252/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=215120 CPUtime=1601.88 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 327456 0 0 0 159717 471 0 0 20 0 1 0 330021540 220282880 53026 33554432000 4194304 8989770 140735882690560 140735882690056 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 53780 53026 473 1171 0 52557 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 215120

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16821
/proc/meminfo: memFree=26789264/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=143440 CPUtime=1661.87 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 336160 0 0 0 165702 485 0 0 20 0 1 0 330021540 146882560 35106 33554432000 4194304 8989770 140735882690560 140735882690056 4451632 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 35860 35106 473 1171 0 34637 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 143440

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16821
/proc/meminfo: memFree=26723804/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=148560 CPUtime=1721.85 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 354095 0 0 0 171684 501 0 0 20 0 1 0 330021540 152125440 36386 33554432000 4194304 8989770 140735882690560 140735882690056 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 37140 36386 473 1171 0 35917 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 148560

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16821
/proc/meminfo: memFree=26675736/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=200784 CPUtime=1781.84 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 369967 0 0 0 177664 520 0 0 20 0 1 0 330021540 205602816 49442 33554432000 4194304 8989770 140735882690560 140735882690056 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 50196 49442 473 1171 0 48973 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 200784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16821
/proc/meminfo: memFree=26661852/32873844 swapFree=7628/7628
[pid=16765] ppid=16763 vsize=210000 CPUtime=1800.04 cores=1,3,5,7
/proc/16765/stat : 16765 (toysat) R 16763 16765 15996 0 -1 4202496 373551 0 0 0 179480 524 0 0 20 0 1 0 330021540 215040000 51746 33554432000 4194304 8989770 140735882690560 140735882690056 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 52500 51746 473 1171 0 51277 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 210000

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.51
CPU time (s): 1800.06
CPU user time (s): 1794.81
CPU system time (s): 5.2502
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 238672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.81
system time used= 5.2502
maximum resident set size= 235656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373551
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= 192
involuntary context switches= 1853

runsolver used 4.6213 second user time and 9.35358 second system time

The end

Launcher Data 

Begin job on node107 at 2012-06-02 14:08:50
IDJOB=3725689
IDBENCH=48212
IDSOLVER=2308
FILE ID=node107/3725689-1338638930
RUNJOBID= node107-1338631508-16013
PBS_JOBID= 14636473
Free space on /tmp= 70760 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_3.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725689-1338638930/watcher-3725689-1338638930 -o /tmp/evaluation-result-3725689-1338638930/solver-3725689-1338638930 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725689-1338638930.opb

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

MD5SUM BENCH= 1b4456ec5e57b53956abc30521c99789
RANDOM SEED=711738673

node107.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.760
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.52
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.760
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.760
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.92
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.760
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.760
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		: 2666.760
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		: 2666.760
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.86
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.760
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:        26453628 kB
Buffers:          460348 kB
Cached:          4369820 kB
SwapCached:           76 kB
Active:          2577776 kB
Inactive:        2966176 kB
Active(anon):     705052 kB
Inactive(anon):    11072 kB
Active(file):    1872724 kB
Inactive(file):  2955104 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:              7392 kB
Writeback:             0 kB
AnonPages:        720756 kB
Mapped:            16132 kB
Shmem:               184 kB
Slab:             733200 kB
SReclaimable:     175780 kB
SUnreclaim:       557420 kB
KernelStack:        1456 kB
PageTables:         5384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     827952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    698368 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= 70768 MiB
End job on node107 at 2012-06-02 14:38:53