Trace number 3724630

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.02 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
MD5SUMa588ec671da067d931709859b503c557
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark41202
Best CPU time to get the best result obtained on this benchmark244.379
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1945
Total number of constraints3355
Number of constraints which are clauses3355
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 constraint55
Number of terms in the objective function 1036
Biggest coefficient in the objective function 2072
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1671510
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2072
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1671510
Number of bits of the biggest sum of numbers21
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 

0.09/0.18	c 2012-06-02T14:05:42+0200
0.09/0.18	c arch = x86_64
0.09/0.18	c os = linux
0.09/0.18	c compiler = ghc 7.4
0.09/0.18	c packages:
0.09/0.18	c   OptDir-0.0.1
0.09/0.18	c   array-0.4.0.0
0.09/0.18	c   base-4.5.0.0
0.09/0.18	c   bytestring-0.9.2.1
0.09/0.18	c   containers-0.4.2.1
0.09/0.18	c   deepseq-1.3.0.0
0.09/0.18	c   mtl-2.1.1
0.09/0.18	c   old_locale-1.0.0.4
0.09/0.18	c   parse_dimacs-1.2
0.09/0.18	c   parsec-3.1.2
0.09/0.18	c   queue-0.1.2
0.09/0.18	c   stm-2.3
0.09/0.18	c   time-1.4
0.09/0.18	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724630-1338638742.opb"]
0.09/0.18	c #vars 1945
0.09/0.18	c #constraints 3355
0.09/0.18	c Solving starts ...
0.09/0.19	c solving time = 0.003s
0.09/0.19	c #decision = 993
0.09/0.19	c #conflict = 0
0.09/0.19	c #restart = 0
0.09/0.19	o 60200
0.09/0.19	c Solving starts ...
0.19/0.20	c solving time = 0.006s
0.19/0.20	c #decision = 1929
0.19/0.20	c #conflict = 1
0.19/0.20	c #restart = 0
0.19/0.20	o 58956
0.19/0.20	c Solving starts ...
0.19/0.21	c solving time = 0.012s
0.19/0.21	c #decision = 2862
0.19/0.21	c #conflict = 6
0.19/0.21	c #restart = 0
0.19/0.21	o 58912
0.19/0.21	c Solving starts ...
0.19/0.22	c solving time = 0.012s
0.19/0.22	c #decision = 3795
0.19/0.22	c #conflict = 7
0.19/0.22	c #restart = 0
0.19/0.22	o 57668
0.19/0.23	c Solving starts ...
0.19/0.26	c solving time = 0.038s
0.19/0.26	c #decision = 4723
0.19/0.26	c #conflict = 28
0.19/0.26	c #restart = 0
0.19/0.26	o 57622
0.19/0.27	c Solving starts ...
0.19/0.28	c solving time = 0.011s
0.19/0.28	c #decision = 5634
0.19/0.28	c #conflict = 29
0.19/0.28	c #restart = 0
0.19/0.28	o 56378
0.19/0.28	c Solving starts ...
0.29/0.31	c solving time = 0.025s
0.29/0.31	c #decision = 6533
0.29/0.31	c #conflict = 38
0.29/0.31	c #restart = 0
0.29/0.31	o 56366
0.29/0.31	c Solving starts ...
28.79/28.88	c learnt constraints deletion: 3583 -> 1792
42.99/43.06	c learnt constraints deletion: 3865 -> 1933
59.67/59.78	c learnt constraints deletion: 4248 -> 2125
72.77/72.80	c learnt constraints deletion: 4242 -> 2121
92.47/92.54	c learnt constraints deletion: 4767 -> 2384
109.56/109.64	c learnt constraints deletion: 4953 -> 2484
127.47/127.59	c learnt constraints deletion: 5167 -> 2585
147.96/148.07	c learnt constraints deletion: 5321 -> 2663
165.96/166.08	c learnt constraints deletion: 5310 -> 2663
187.65/187.75	c learnt constraints deletion: 5671 -> 2837
208.85/208.91	c learnt constraints deletion: 5634 -> 2817
229.64/229.70	c learnt constraints deletion: 5649 -> 2827
248.04/248.11	c learnt constraints deletion: 5757 -> 2880
265.14/265.25	c learnt constraints deletion: 5688 -> 2845
290.24/290.33	c learnt constraints deletion: 6275 -> 3142
312.43/312.59	c learnt constraints deletion: 6287 -> 3146
335.53/335.65	c learnt constraints deletion: 6385 -> 3194
354.53/354.63	c learnt constraints deletion: 6271 -> 3138
378.33/378.44	c learnt constraints deletion: 6375 -> 3191
399.62/399.77	c learnt constraints deletion: 6338 -> 3174
427.91/428.04	c learnt constraints deletion: 6828 -> 3414
453.02/453.14	c learnt constraints deletion: 6922 -> 3465
477.21/477.31	c learnt constraints deletion: 6981 -> 3492
500.81/500.98	c learnt constraints deletion: 7079 -> 3545
523.60/523.71	c learnt constraints deletion: 7066 -> 3542
545.30/545.45	c learnt constraints deletion: 6973 -> 3489
566.19/566.37	c learnt constraints deletion: 6993 -> 3501
585.19/585.37	c learnt constraints deletion: 6987 -> 3498
612.59/612.74	c learnt constraints deletion: 7545 -> 3773
637.29/637.49	c learnt constraints deletion: 7730 -> 3867
663.78/663.96	c learnt constraints deletion: 7793 -> 3903
686.68/686.80	c learnt constraints deletion: 7547 -> 3775
714.18/714.39	c learnt constraints deletion: 7508 -> 3755
739.17/739.35	c learnt constraints deletion: 7605 -> 3806
763.36/763.50	c learnt constraints deletion: 7813 -> 3916
786.46/786.64	c learnt constraints deletion: 7481 -> 3741
814.86/815.08	c learnt constraints deletion: 7647 -> 3825
836.86/837.07	c learnt constraints deletion: 7501 -> 3752
862.55/862.71	c learnt constraints deletion: 7734 -> 3869
891.14/891.30	c learnt constraints deletion: 8592 -> 4302
917.84/918.06	c learnt constraints deletion: 8420 -> 4210
944.13/944.39	c learnt constraints deletion: 8476 -> 4243
971.63/971.87	c learnt constraints deletion: 8360 -> 4183
995.02/995.29	c learnt constraints deletion: 8211 -> 4107
1021.82/1022.09	c learnt constraints deletion: 8461 -> 4232
1046.82/1047.03	c learnt constraints deletion: 8355 -> 4182
1071.92/1072.17	c learnt constraints deletion: 8412 -> 4211
1096.01/1096.29	c learnt constraints deletion: 8416 -> 4218
1119.41/1119.65	c learnt constraints deletion: 8442 -> 4235
1141.10/1141.31	c learnt constraints deletion: 8322 -> 4172
1166.30/1166.52	c learnt constraints deletion: 8472 -> 4244
1192.00/1192.27	c learnt constraints deletion: 8345 -> 4179
1217.50/1217.71	c learnt constraints deletion: 8408 -> 4208
1244.79/1245.03	c learnt constraints deletion: 8481 -> 4247
1268.29/1268.53	c learnt constraints deletion: 8452 -> 4235
1298.38/1298.63	c learnt constraints deletion: 9341 -> 4671
1324.78/1325.09	c learnt constraints deletion: 9057 -> 4531
1349.57/1349.84	c learnt constraints deletion: 9237 -> 4629
1376.67/1376.90	c learnt constraints deletion: 9073 -> 4539
1405.76/1406.08	c learnt constraints deletion: 9123 -> 4564
1431.66/1431.94	c learnt constraints deletion: 9056 -> 4529
1461.85/1462.19	c learnt constraints deletion: 9225 -> 4618
1489.45/1489.71	c learnt constraints deletion: 9235 -> 4620
1515.25/1515.54	c learnt constraints deletion: 9221 -> 4617
1541.95/1542.25	c learnt constraints deletion: 9344 -> 4681
1567.54/1567.89	c learnt constraints deletion: 9393 -> 4712
1595.03/1595.36	c learnt constraints deletion: 9370 -> 4689
1620.63/1620.93	c learnt constraints deletion: 9196 -> 4602
1646.53/1646.85	c learnt constraints deletion: 9190 -> 4599
1678.22/1678.52	c learnt constraints deletion: 9111 -> 4559
1705.22/1705.55	c learnt constraints deletion: 9190 -> 4601
1734.32/1734.62	c learnt constraints deletion: 9468 -> 4746
1759.21/1759.58	c learnt constraints deletion: 9209 -> 4612
1787.71/1788.01	c learnt constraints deletion: 9298 -> 4655

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-3724630-1338638742/watcher-3724630-1338638742 -o /tmp/evaluation-result-3724630-1338638742/solver-3724630-1338638742 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724630-1338638742.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.98 1.98 3/173 1470
/proc/meminfo: memFree=26035528/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 794 0 0 0 0 0 0 0 20 0 1 0 329999657 6373376 714 33554432000 4194304 8989770 140736908280672 140733279903992 7874608 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 1556 715 424 1171 0 333 0

[startup+0.0183561 s]
/proc/loadavg: 1.92 1.98 1.98 3/173 1470
/proc/meminfo: memFree=26035528/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=7248 CPUtime=0.01 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 1089 0 0 0 1 0 0 0 20 0 1 0 329999657 7421952 1009 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 1812 1009 429 1171 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7248

[startup+0.100268 s]
/proc/loadavg: 1.92 1.98 1.98 3/173 1470
/proc/meminfo: memFree=26035528/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 1884 0 0 0 9 0 0 0 20 0 1 0 329999657 11616256 1804 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 2836 1804 442 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344

[startup+0.300248 s]
/proc/loadavg: 1.92 1.98 1.98 3/173 1470
/proc/meminfo: memFree=26035528/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=13392 CPUtime=0.29 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 2535 0 0 0 29 0 0 0 20 0 1 0 329999657 13713408 2455 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 3348 2455 470 1171 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13392

[startup+0.700313 s]
/proc/loadavg: 1.92 1.98 1.98 3/173 1470
/proc/meminfo: memFree=26035528/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=15440 CPUtime=0.69 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 3184 0 0 0 68 1 0 0 20 0 1 0 329999657 15810560 3104 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 3860 3104 470 1171 0 2637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15440

[startup+1.50029 s]
/proc/loadavg: 1.92 1.98 1.98 3/174 1471
/proc/meminfo: memFree=26024832/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=15440 CPUtime=1.49 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 3184 0 0 0 148 1 0 0 20 0 1 0 329999657 15810560 3104 33554432000 4194304 8989770 140736908280672 140736908279936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 3860 3104 470 1171 0 2637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15440

[startup+3.10031 s]
/proc/loadavg: 1.92 1.98 1.98 3/174 1471
/proc/meminfo: memFree=26024212/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=15440 CPUtime=3.09 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 3184 0 0 0 307 2 0 0 20 0 1 0 329999657 15810560 3104 33554432000 4194304 8989770 140736908280672 140736908280168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 3860 3104 470 1171 0 2637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15440

[startup+6.30031 s]
/proc/loadavg: 1.93 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26024080/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=16464 CPUtime=6.29 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 3440 0 0 0 625 4 0 0 20 0 1 0 329999657 16859136 3360 33554432000 4194304 8989770 140736908280672 140736908279936 7857787 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 4116 3360 470 1171 0 2893 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16464

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26021872/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=17488 CPUtime=12.68 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 3696 0 0 0 1260 8 0 0 20 0 1 0 329999657 17907712 3616 33554432000 4194304 8989770 140736908280672 140736908279936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 4372 3616 470 1171 0 3149 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17488

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26018152/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=21584 CPUtime=25.49 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 4720 0 0 0 2534 15 0 0 20 0 1 0 329999657 22102016 4640 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 5396 4640 470 1171 0 4173 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21584

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26013976/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=25680 CPUtime=51.08 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 5749 0 0 0 5077 31 0 0 20 0 1 0 329999657 26296320 5666 33554432000 4194304 8989770 140736908280672 140736908279936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 6420 5666 472 1171 0 5197 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25680

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26011548/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=27728 CPUtime=102.27 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 6265 0 0 0 10166 61 0 0 20 0 1 0 329999657 28393472 6178 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 6932 6178 472 1171 0 5709 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27728

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26006272/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=31824 CPUtime=162.26 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 7290 0 0 0 16132 94 0 0 20 0 1 0 329999657 32587776 7202 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 7956 7202 472 1171 0 6733 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 31824

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/175 1472
/proc/meminfo: memFree=26001244/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=31824 CPUtime=222.25 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 7291 0 0 0 22099 126 0 0 20 0 1 0 329999657 32587776 7202 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 7956 7202 472 1171 0 6733 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 31824

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/176 1475
/proc/meminfo: memFree=25995900/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=31824 CPUtime=282.24 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 7291 0 0 0 28062 162 0 0 20 0 1 0 329999657 32587776 7202 33554432000 4194304 8989770 140736908280672 140736908279936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 7956 7202 472 1171 0 6733 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 31824

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/175 1515
/proc/meminfo: memFree=25866108/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=33872 CPUtime=342.23 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 7803 0 0 0 34025 198 0 0 20 0 1 0 329999657 34684928 7714 33554432000 4194304 8989770 140736908280672 140736908280168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 8468 7714 472 1171 0 7245 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 33872

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/175 1515
/proc/meminfo: memFree=25824104/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=33872 CPUtime=402.22 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 7803 0 0 0 39991 231 0 0 20 0 1 0 329999657 34684928 7714 33554432000 4194304 8989770 140736908280672 140736908280168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 8468 7714 472 1171 0 7245 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 33872

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/175 1515
/proc/meminfo: memFree=25827472/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=34896 CPUtime=462.21 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 8059 0 0 0 45962 259 0 0 20 0 1 0 329999657 35733504 7970 33554432000 4194304 8989770 140736908280672 140736908280168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 8724 7970 472 1171 0 7501 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 34896

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/175 1515
/proc/meminfo: memFree=25758768/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=35920 CPUtime=522.2 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 8315 0 0 0 51929 291 0 0 20 0 1 0 329999657 36782080 8226 33554432000 4194304 8989770 140736908280672 140736908280168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 8980 8226 472 1171 0 7757 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 35920

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/175 1515
/proc/meminfo: memFree=25770360/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=36944 CPUtime=582.19 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 8571 0 0 0 57897 322 0 0 20 0 1 0 329999657 37830656 8482 33554432000 4194304 8989770 140736908280672 140736908278592 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 9236 8482 472 1171 0 8013 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 36944

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 1519
/proc/meminfo: memFree=25708656/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=38992 CPUtime=882.15 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 9596 0 0 0 87734 481 0 0 20 0 1 0 329999657 39927808 8994 33554432000 4194304 8989770 140736908280672 140736908280168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 9748 8994 472 1171 0 8525 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 38992

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 1520
/proc/meminfo: memFree=25671844/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=43088 CPUtime=942.14 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 10620 0 0 0 93701 513 0 0 20 0 1 0 329999657 44122112 10018 33554432000 4194304 8989770 140736908280672 140736908279936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 10772 10018 472 1171 0 9549 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 43088

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 1520
/proc/meminfo: memFree=25658744/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=44112 CPUtime=1002.12 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 10876 0 0 0 99671 541 0 0 20 0 1 0 329999657 45170688 10274 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11028 10274 472 1171 0 9805 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 44112

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 1520
/proc/meminfo: memFree=25679248/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=44112 CPUtime=1062.12 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 10876 0 0 0 105640 572 0 0 20 0 1 0 329999657 45170688 10274 33554432000 4194304 8989770 140736908280672 140736908280168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11028 10274 472 1171 0 9805 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 44112

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 1520
/proc/meminfo: memFree=25745000/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=44112 CPUtime=1122.11 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 10876 0 0 0 111609 602 0 0 20 0 1 0 329999657 45170688 10274 33554432000 4194304 8989770 140736908280672 140736908279936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11028 10274 472 1171 0 9805 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 44112

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 1520
/proc/meminfo: memFree=25681976/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=42064 CPUtime=1182.1 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 10876 0 0 0 117581 629 0 0 20 0 1 0 329999657 43073536 9762 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 10516 9762 472 1171 0 9293 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 42064

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1521
/proc/meminfo: memFree=25611532/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=42064 CPUtime=1242.09 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 10876 0 0 0 123553 656 0 0 20 0 1 0 329999657 43073536 9762 33554432000 4194304 8989770 140736908280672 140736908279936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 10516 9762 472 1171 0 9293 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 42064

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 1521
/proc/meminfo: memFree=25693388/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=42064 CPUtime=1302.08 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 10878 0 0 0 129523 685 0 0 20 0 1 0 329999657 43073536 9762 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 10516 9762 472 1171 0 9293 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 42064

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1521
/proc/meminfo: memFree=25582196/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=46160 CPUtime=1362.07 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 12158 0 0 0 135489 718 0 0 20 0 1 0 329999657 47267840 10786 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11540 10786 472 1171 0 10317 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 46160

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1521
/proc/meminfo: memFree=25701680/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=46160 CPUtime=1422.06 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 12158 0 0 0 141455 751 0 0 20 0 1 0 329999657 47267840 10786 33554432000 4194304 8989770 140736908280672 140736908279936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11540 10786 472 1171 0 10317 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 46160

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1524
/proc/meminfo: memFree=25589328/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=46160 CPUtime=1482.05 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 12158 0 0 0 147420 785 0 0 20 0 1 0 329999657 47267840 10786 33554432000 4194304 8989770 140736908280672 140736908280168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11540 10786 472 1171 0 10317 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 46160

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 1525
/proc/meminfo: memFree=25607092/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=46160 CPUtime=1542.04 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 12158 0 0 0 153390 814 0 0 20 0 1 0 329999657 47267840 10786 33554432000 4194304 8989770 140736908280672 140736908279936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11540 10786 472 1171 0 10317 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 46160

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 1525
/proc/meminfo: memFree=25653260/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=48208 CPUtime=1602.03 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 12670 0 0 0 159359 844 0 0 20 0 1 0 329999657 49364992 11298 33554432000 4194304 8989770 140736908280672 140736908279936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 12052 11298 472 1171 0 10829 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 48208

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1525
/proc/meminfo: memFree=25709852/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=42064 CPUtime=1662.03 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 12926 0 0 0 165331 872 0 0 20 0 1 0 329999657 43073536 9762 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 10516 9762 472 1171 0 9293 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 42064

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1526
/proc/meminfo: memFree=25645500/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=45136 CPUtime=1722.02 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 13694 0 0 0 171299 903 0 0 20 0 1 0 329999657 46219264 10530 33554432000 4194304 8989770 140736908280672 140736908279936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11284 10530 472 1171 0 10061 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 45136

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1526
/proc/meminfo: memFree=25645412/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=45136 CPUtime=1782.01 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 13694 0 0 0 177271 930 0 0 20 0 1 0 329999657 46219264 10530 33554432000 4194304 8989770 140736908280672 140736908280168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11284 10530 472 1171 0 10061 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 45136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1526
/proc/meminfo: memFree=25645628/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=45136 CPUtime=1800.01 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 13694 0 0 0 179063 938 0 0 20 0 1 0 329999657 46219264 10530 33554432000 4194304 8989770 140736908280672 140736908280168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11284 10530 472 1171 0 10061 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 45136

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1526
/proc/meminfo: memFree=25645628/32873852 swapFree=6856/6856
[pid=1470] ppid=1468 vsize=45136 CPUtime=1800.01 cores=1,3,5,7
/proc/1470/stat : 1470 (toysat) R 1468 1470 909 0 -1 4202496 13694 0 0 0 179063 938 0 0 20 0 1 0 329999657 46219264 10530 33554432000 4194304 8989770 140736908280672 140736908280168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1470/statm: 11284 10530 472 1171 0 10061 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 45136

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1790.64
CPU system time (s): 9.38557
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 49232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.64
system time used= 9.38557
maximum resident set size= 46216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13694
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= 15
involuntary context switches= 1854

runsolver used 3.61245 second user time and 9.95449 second system time

The end

Launcher Data 

Begin job on node129 at 2012-06-02 14:05:42
IDJOB=3724630
IDBENCH=25050
IDSOLVER=2308
FILE ID=node129/3724630-1338638742
RUNJOBID= node129-1338631508-926
PBS_JOBID= 14636451
Free space on /tmp= 70492 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724630-1338638742/watcher-3724630-1338638742 -o /tmp/evaluation-result-3724630-1338638742/solver-3724630-1338638742 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724630-1338638742.opb

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

MD5SUM BENCH= a588ec671da067d931709859b503c557
RANDOM SEED=1987482118

node129.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.957
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.91
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.957
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.957
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		: 2666.957
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.957
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.90
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.957
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.957
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.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        26035528 kB
Buffers:          446188 kB
Cached:          5406876 kB
SwapCached:            0 kB
Active:          2539348 kB
Inactive:        3422436 kB
Active(anon):     100096 kB
Inactive(anon):    10760 kB
Active(file):    2439252 kB
Inactive(file):  3411676 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7392 kB
Writeback:             0 kB
AnonPages:        116932 kB
Mapped:            16136 kB
Shmem:               204 kB
Slab:             737500 kB
SReclaimable:     180104 kB
SUnreclaim:       557396 kB
KernelStack:        1432 kB
PageTables:         4208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     223308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 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= 70484 MiB
End job on node129 at 2012-06-02 14:35:44