Trace number 3725620

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_3.opb
MD5SUM29cda419af6adbdf14450bbe70fbdfc2
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-15
Best CPU time to get the best result obtained on this benchmark1797.54
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)6180
Sum of products size (including duplicates)12360
Number of different products3090
Sum of products size6180

Quality of the solution as a function of time


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

Solver Data

0.04/0.08	c 2012-06-02T14:28:34+0200
0.04/0.08	c arch = x86_64
0.04/0.08	c os = linux
0.04/0.08	c compiler = ghc 7.4
0.04/0.08	c packages:
0.04/0.08	c   OptDir-0.0.1
0.04/0.08	c   array-0.4.0.0
0.04/0.08	c   base-4.5.0.0
0.04/0.08	c   bytestring-0.9.2.1
0.04/0.08	c   containers-0.4.2.1
0.04/0.08	c   deepseq-1.3.0.0
0.04/0.08	c   mtl-2.1.1
0.04/0.08	c   old_locale-1.0.0.4
0.04/0.08	c   parse_dimacs-1.2
0.04/0.08	c   parsec-3.1.2
0.04/0.08	c   queue-0.1.2
0.04/0.08	c   stm-2.3
0.04/0.08	c   time-1.4
0.04/0.08	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725620-1338640114.opb"]
0.04/0.08	c #vars 200
0.04/0.08	c #constraints 301
0.04/0.08	c Solving starts ...
0.39/0.46	c solving time = 0.371s
0.39/0.46	c #decision = 3985
0.39/0.46	c #conflict = 255
0.39/0.46	c #restart = 2
0.39/0.46	o -10
0.39/0.46	c Solving starts ...
21.68/21.76	c learnt constraints deletion: 11604 -> 5802
39.18/39.26	c learnt constraints deletion: 15482 -> 7749
57.19/57.23	c learnt constraints deletion: 15397 -> 7705
76.57/76.67	c learnt constraints deletion: 16669 -> 8346
92.37/92.45	c learnt constraints deletion: 17984 -> 8998
111.36/111.47	c learnt constraints deletion: 17952 -> 8984
126.05/126.18	c learnt constraints deletion: 19468 -> 9740
137.55/137.69	c learnt constraints deletion: 19491 -> 9754
149.35/149.44	c learnt constraints deletion: 19538 -> 9778
159.95/160.01	c learnt constraints deletion: 20910 -> 10461
172.24/172.39	c learnt constraints deletion: 21156 -> 10586
184.44/184.52	c learnt constraints deletion: 21027 -> 10550
195.54/195.60	c learnt constraints deletion: 21168 -> 10592
210.05/210.10	c learnt constraints deletion: 22924 -> 11464
224.34/224.46	c learnt constraints deletion: 22937 -> 11472
239.84/239.90	c learnt constraints deletion: 22712 -> 11360
255.24/255.30	c learnt constraints deletion: 22744 -> 11377
270.03/270.12	c learnt constraints deletion: 22870 -> 11441
283.92/284.01	c learnt constraints deletion: 21794 -> 10897
301.01/301.17	c learnt constraints deletion: 24790 -> 12396
318.01/318.19	c learnt constraints deletion: 24913 -> 12459
332.71/332.89	c learnt constraints deletion: 24928 -> 12466
348.52/348.69	c learnt constraints deletion: 24398 -> 12199
365.01/365.12	c learnt constraints deletion: 24929 -> 12468
384.00/384.18	c learnt constraints deletion: 24941 -> 12477
400.10/400.28	c learnt constraints deletion: 24947 -> 12480
418.29/418.44	c learnt constraints deletion: 25879 -> 12942
433.60/433.71	c learnt constraints deletion: 27099 -> 13555
448.29/448.41	c learnt constraints deletion: 27022 -> 13517
457.89/458.01	c solving time = 457.449s
457.89/458.01	c #decision = 1701044
457.89/458.01	c #conflict = 335449
457.89/458.01	c #restart = 20
457.89/458.01	o -11
457.89/458.01	c Solving starts ...
457.99/458.11	c learnt constraints deletion: 21771 -> 10886
457.99/458.15	c learnt constraints deletion: 10886 -> 5443
458.29/458.42	c learnt constraints deletion: 5443 -> 2722
464.58/464.72	c learnt constraints deletion: 10219 -> 5110
466.78/466.99	c solving time = 8.982s
466.78/466.99	c #decision = 1756307
466.78/466.99	c #conflict = 345284
466.78/466.99	c #restart = 29
466.78/466.99	o -12
466.78/466.99	c Solving starts ...
466.88/467.01	c learnt constraints deletion: 7439 -> 3720
472.49/472.67	c learnt constraints deletion: 11217 -> 5609
479.29/479.46	c learnt constraints deletion: 14291 -> 7168
484.28/484.40	c learnt constraints deletion: 13292 -> 6651
492.69/492.89	c learnt constraints deletion: 16682 -> 8348
498.48/498.66	c learnt constraints deletion: 14833 -> 7417
506.47/506.66	c learnt constraints deletion: 18067 -> 9041
513.07/513.21	c learnt constraints deletion: 17910 -> 8955
523.16/523.37	c learnt constraints deletion: 19314 -> 9658
532.46/532.62	c learnt constraints deletion: 19496 -> 9749
541.66/541.86	c learnt constraints deletion: 18831 -> 9416
552.16/552.38	c learnt constraints deletion: 21167 -> 10586
558.85/559.02	c solving time = 91.995s
558.85/559.02	c #decision = 2237695
558.85/559.02	c #conflict = 452013
558.85/559.02	c #restart = 44
558.85/559.02	o -13
558.85/559.02	c Solving starts ...
559.95/560.17	c learnt constraints deletion: 17932 -> 8966
560.15/560.32	c learnt constraints deletion: 8966 -> 4483
560.15/560.34	c learnt constraints deletion: 4483 -> 2242
569.05/569.20	c learnt constraints deletion: 13291 -> 6663
573.55/573.74	c learnt constraints deletion: 12747 -> 6374
582.35/582.50	c learnt constraints deletion: 15048 -> 7524
590.35/590.54	c learnt constraints deletion: 15885 -> 7952
597.45/597.65	c learnt constraints deletion: 16443 -> 8224
606.35/606.57	c learnt constraints deletion: 17700 -> 8858
618.05/618.29	c learnt constraints deletion: 19510 -> 9756
630.15/630.39	c learnt constraints deletion: 19517 -> 9765
641.25/641.46	c learnt constraints deletion: 19431 -> 9719
654.04/654.25	c learnt constraints deletion: 21075 -> 10538
667.24/667.45	c learnt constraints deletion: 21170 -> 10586
681.43/681.63	c learnt constraints deletion: 21147 -> 10576
693.33/693.58	c learnt constraints deletion: 21137 -> 10575
710.62/710.85	c learnt constraints deletion: 22938 -> 11469
725.31/725.58	c learnt constraints deletion: 22917 -> 11461
741.22/741.44	c learnt constraints deletion: 22973 -> 11492
757.01/757.20	c learnt constraints deletion: 22882 -> 11441
774.91/775.16	c learnt constraints deletion: 22928 -> 11467
791.91/792.16	c learnt constraints deletion: 22922 -> 11462
810.91/811.19	c learnt constraints deletion: 24907 -> 12454
829.41/829.68	c learnt constraints deletion: 24920 -> 12462
846.80/847.05	c learnt constraints deletion: 24916 -> 12458
867.50/867.74	c learnt constraints deletion: 24918 -> 12468
884.60/884.83	c learnt constraints deletion: 24925 -> 12464
902.80/903.09	c learnt constraints deletion: 24953 -> 12481
919.99/920.29	c learnt constraints deletion: 24945 -> 12474
939.20/939.46	c learnt constraints deletion: 25494 -> 12747
963.88/964.16	c learnt constraints deletion: 26995 -> 13498
987.98/988.29	c learnt constraints deletion: 27048 -> 13526
1008.58/1008.84	c learnt constraints deletion: 27096 -> 13554
1029.57/1029.84	c learnt constraints deletion: 27039 -> 13534
1051.27/1051.52	c learnt constraints deletion: 27099 -> 13552
1068.76/1069.00	c learnt constraints deletion: 27121 -> 13564
1085.85/1086.19	c learnt constraints deletion: 27056 -> 13532
1106.55/1106.83	c learnt constraints deletion: 27127 -> 13569
1128.84/1129.18	c learnt constraints deletion: 27060 -> 13530
1147.54/1147.90	c learnt constraints deletion: 27059 -> 13531
1166.94/1167.24	c learnt constraints deletion: 29357 -> 14683
1185.03/1185.30	c learnt constraints deletion: 29351 -> 14678
1204.43/1204.74	c learnt constraints deletion: 29502 -> 14763
1224.43/1224.73	c learnt constraints deletion: 29380 -> 14694
1248.42/1248.73	c learnt constraints deletion: 29446 -> 14728
1272.12/1272.49	c learnt constraints deletion: 29436 -> 14730
1298.01/1298.36	c learnt constraints deletion: 29342 -> 14671
1323.11/1323.44	c learnt constraints deletion: 29380 -> 14692
1344.11/1344.42	c learnt constraints deletion: 29510 -> 14757
1370.00/1370.31	c learnt constraints deletion: 29493 -> 14760
1392.20/1392.51	c learnt constraints deletion: 29466 -> 14750
1415.09/1415.49	c learnt constraints deletion: 29444 -> 14750
1439.68/1440.01	c learnt constraints deletion: 29499 -> 14786
1463.09/1463.49	c learnt constraints deletion: 29505 -> 14754
1483.08/1483.44	c learnt constraints deletion: 29482 -> 14751
1503.78/1504.18	c learnt constraints deletion: 32014 -> 16007
1522.48/1522.84	c learnt constraints deletion: 32087 -> 16044
1538.06/1538.47	c learnt constraints deletion: 32113 -> 16057
1561.26/1561.63	c learnt constraints deletion: 32075 -> 16042
1579.96/1580.30	c learnt constraints deletion: 32115 -> 16058
1604.34/1604.76	c learnt constraints deletion: 32120 -> 16063
1621.83/1622.22	c learnt constraints deletion: 32114 -> 16062
1642.63/1643.09	c learnt constraints deletion: 32119 -> 16060
1662.03/1662.46	c learnt constraints deletion: 32128 -> 16065
1678.93/1679.33	c learnt constraints deletion: 32093 -> 16047
1698.13/1698.54	c learnt constraints deletion: 32129 -> 16065
1718.52/1718.99	c learnt constraints deletion: 32109 -> 16056
1735.92/1736.35	c learnt constraints deletion: 32133 -> 16067
1754.31/1754.71	c learnt constraints deletion: 32132 -> 16066
1773.71/1774.14	c learnt constraints deletion: 32116 -> 16058
1791.31/1791.71	c learnt constraints deletion: 32041 -> 16022

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-3725620-1338640114/watcher-3725620-1338640114 -o /tmp/evaluation-result-3725620-1338640114/solver-3725620-1338640114 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725620-1338640114.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22671
/proc/meminfo: memFree=28216768/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 812 0 0 0 0 0 0 0 20 0 1 0 330136769 6373376 733 33554432000 4194304 8989770 140733830155072 140736634172728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 1556 733 428 1171 0 333 0

[startup+0.044643 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22671
/proc/meminfo: memFree=28216768/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=9296 CPUtime=0.04 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 1611 0 0 0 4 0 0 0 20 0 1 0 330136769 9519104 1532 33554432000 4194304 8989770 140733830155072 140736634172728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 2324 1532 442 1171 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9296

[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22671
/proc/meminfo: memFree=28216768/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=15440 CPUtime=0.09 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 3167 0 0 0 9 0 0 0 20 0 1 0 330136769 15810560 3088 33554432000 4194304 8989770 140733830155072 140736634172728 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 3860 3088 460 1171 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15440

[startup+0.300258 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22671
/proc/meminfo: memFree=28216768/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=19536 CPUtime=0.29 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 4191 0 0 0 29 0 0 0 20 0 1 0 330136769 20004864 4112 33554432000 4194304 8989770 140733830155072 140736634172728 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 4884 4112 460 1171 0 3661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19536

[startup+0.700256 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22671
/proc/meminfo: memFree=28216768/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=20560 CPUtime=0.69 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 4458 0 0 0 69 0 0 0 20 0 1 0 330136769 21053440 4379 33554432000 4194304 8989770 140733830155072 140736634172728 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 5140 4379 471 1171 0 3917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20560

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22672
/proc/meminfo: memFree=28199896/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=21584 CPUtime=1.48 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 4714 0 0 0 148 0 0 0 20 0 1 0 330136769 22102016 4635 33554432000 4194304 8989770 140733830155072 140733830154336 4209220 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 5396 4635 471 1171 0 4173 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21584

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22672
/proc/meminfo: memFree=28198540/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=24656 CPUtime=3.09 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 5482 0 0 0 308 1 0 0 20 0 1 0 330136769 25247744 5403 33554432000 4194304 8989770 140733830155072 140733830154336 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 6164 5403 471 1171 0 4941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24656

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22672
/proc/meminfo: memFree=28193952/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=27728 CPUtime=6.29 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 6250 0 0 0 626 3 0 0 20 0 1 0 330136769 28393472 6171 33554432000 4194304 8989770 140733830155072 140733830154336 6556656 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 6932 6171 471 1171 0 5709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27728

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22672
/proc/meminfo: memFree=28183792/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=37968 CPUtime=12.69 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 8810 0 0 0 1264 5 0 0 20 0 1 0 330136769 38879232 8731 33554432000 4194304 8989770 140733830155072 140733830154336 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 9492 8731 471 1171 0 8269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37968

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22672
/proc/meminfo: memFree=28161348/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=60496 CPUtime=25.49 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 14448 0 0 0 2540 9 0 0 20 0 1 0 330136769 61947904 14369 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 15124 14369 473 1171 0 13901 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60496

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22672
/proc/meminfo: memFree=28132436/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=84048 CPUtime=51.08 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 20336 0 0 0 5091 17 0 0 20 0 1 0 330136769 86065152 20257 33554432000 4194304 8989770 140733830155072 140733830154568 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 21012 20257 473 1171 0 19789 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84048

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22675
/proc/meminfo: memFree=28106808/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=109648 CPUtime=102.27 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 26645 0 0 0 10196 31 0 0 20 0 1 0 330136769 112279552 26548 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 27412 26548 473 1171 0 26189 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 109648

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22675
/proc/meminfo: memFree=28095340/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=111696 CPUtime=162.25 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 38533 0 0 0 16172 53 0 0 20 0 1 0 330136769 114376704 27169 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 27924 27169 473 1171 0 26701 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 111696

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22675
/proc/meminfo: memFree=28078360/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=131152 CPUtime=222.24 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 47749 0 0 0 22151 73 0 0 20 0 1 0 330136769 134299648 32033 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 32788 32033 473 1171 0 31565 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 131152

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 22676
/proc/meminfo: memFree=28061960/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=147536 CPUtime=282.23 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 55434 0 0 0 28128 95 0 0 20 0 1 0 330136769 151076864 36129 33554432000 4194304 8989770 140733830155072 140733830154568 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 36884 36129 473 1171 0 35661 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 147536

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22676
/proc/meminfo: memFree=28038080/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=160848 CPUtime=342.2 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 59033 0 0 0 34106 114 0 0 20 0 1 0 330136769 164708352 39457 33554432000 4194304 8989770 140733830155072 140733830154568 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 40212 39457 473 1171 0 38989 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 160848

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22676
/proc/meminfo: memFree=28050508/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=148560 CPUtime=402.2 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 64409 0 0 0 40085 135 0 0 20 0 1 0 330136769 152125440 36385 33554432000 4194304 8989770 140733830155072 140733830154568 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 37140 36385 473 1171 0 35917 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 148560

[startup+462.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 22715
/proc/meminfo: memFree=28245960/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=87120 CPUtime=462.19 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 70041 0 0 0 46066 153 0 0 20 0 1 0 330136769 89210880 21025 33554432000 4194304 8989770 140733830155072 140733830154336 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 21780 21025 473 1171 0 20557 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 87120

[startup+522.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 22753
/proc/meminfo: memFree=28230856/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=132176 CPUtime=522.16 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 86444 0 0 0 52040 176 0 0 20 0 1 0 330136769 135348224 32289 33554432000 4194304 8989770 140733830155072 140733830154336 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 33044 32289 473 1171 0 31821 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 132176

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 22830
/proc/meminfo: memFree=28235416/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=94288 CPUtime=582.15 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 90544 0 0 0 58017 198 0 0 20 0 1 0 330136769 96550912 22817 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 23572 22817 473 1171 0 22349 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 94288

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22909
/proc/meminfo: memFree=28124292/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=177232 CPUtime=822.1 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 116671 0 0 0 81925 285 0 0 20 0 1 0 330136769 181485568 43553 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 44308 43553 473 1171 0 43085 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 177232

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22910
/proc/meminfo: memFree=28109440/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=179280 CPUtime=882.1 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 123327 0 0 0 87905 305 0 0 20 0 1 0 330136769 183582720 44065 33554432000 4194304 8989770 140733830155072 140733830154568 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 44820 44065 473 1171 0 43597 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 179280

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22910
/proc/meminfo: memFree=28074824/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=201808 CPUtime=942.09 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 134591 0 0 0 93882 327 0 0 20 0 1 0 330136769 206651392 49697 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 50452 49697 473 1171 0 49229 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 201808

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22910
/proc/meminfo: memFree=28113168/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=152656 CPUtime=1002.08 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 134591 0 0 0 99862 346 0 0 20 0 1 0 330136769 156319744 37409 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 38164 37409 473 1171 0 36941 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 152656

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22910
/proc/meminfo: memFree=28073708/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=181328 CPUtime=1062.06 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 148423 0 0 0 105840 366 0 0 20 0 1 0 330136769 185679872 44577 33554432000 4194304 8989770 140733830155072 140733830154568 4213473 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 45332 44577 473 1171 0 44109 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 181328

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22911
/proc/meminfo: memFree=28087008/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=152656 CPUtime=1122.04 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 149461 0 0 0 111821 383 0 0 20 0 1 0 330136769 156319744 37409 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 38164 37409 473 1171 0 36941 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 152656

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22912
/proc/meminfo: memFree=28041724/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=189520 CPUtime=1182.03 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 160213 0 0 0 117799 404 0 0 20 0 1 0 330136769 194068480 46625 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 47380 46625 473 1171 0 46157 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 189520

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 22912
/proc/meminfo: memFree=28054524/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=169040 CPUtime=1242.03 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 164821 0 0 0 123780 423 0 0 20 0 1 0 330136769 173096960 41505 33554432000 4194304 8989770 140733830155072 140733830154336 6858471 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 42260 41505 473 1171 0 41037 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 169040

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 22915
/proc/meminfo: memFree=28051820/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=160848 CPUtime=1302.02 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 168918 0 0 0 129762 440 0 0 20 0 1 0 330136769 164708352 39457 33554432000 4194304 8989770 140733830155072 140733830153024 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 40212 39457 473 1171 0 38989 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 160848

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22915
/proc/meminfo: memFree=28017580/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=186448 CPUtime=1361.99 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 175325 0 0 0 135741 458 0 0 20 0 1 0 330136769 190922752 45857 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 46612 45857 473 1171 0 45389 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 186448

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22915
/proc/meminfo: memFree=28014860/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=177232 CPUtime=1421.99 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 180957 0 0 0 141723 476 0 0 20 0 1 0 330136769 181485568 43553 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 44308 43553 473 1171 0 43085 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 177232

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22916
/proc/meminfo: memFree=27967220/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=211024 CPUtime=1481.98 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 189405 0 0 0 147701 497 0 0 20 0 1 0 330136769 216088576 52001 33554432000 4194304 8989770 140733830155072 140733830154336 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 52756 52001 473 1171 0 51533 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 211024

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22916
/proc/meminfo: memFree=27932096/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=237648 CPUtime=1541.96 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 197349 0 0 0 153677 519 0 0 20 0 1 0 330136769 243351552 58657 33554432000 4194304 8989770 140733830155072 140733830154568 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 59412 58657 473 1171 0 58189 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 237648

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22916
/proc/meminfo: memFree=27885348/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=275536 CPUtime=1601.95 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 219629 0 0 0 159651 544 0 0 20 0 1 0 330136769 282148864 68129 33554432000 4194304 8989770 140733830155072 140733830154336 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 68884 68129 473 1171 0 67661 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 275536

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22916
/proc/meminfo: memFree=27893608/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=255056 CPUtime=1661.93 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 219642 0 0 0 165629 564 0 0 20 0 1 0 330136769 261177344 63009 33554432000 4194304 8989770 140733830155072 140733830153024 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 63764 63009 473 1171 0 62541 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 255056

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22916
/proc/meminfo: memFree=27863600/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=271440 CPUtime=1721.92 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 224506 0 0 0 171606 586 0 0 20 0 1 0 330136769 277954560 67105 33554432000 4194304 8989770 140733830155072 140733830154336 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 67860 67105 473 1171 0 66637 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 271440

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22917
/proc/meminfo: memFree=27863584/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=266320 CPUtime=1781.92 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 227322 0 0 0 177585 607 0 0 20 0 1 0 330136769 272711680 65825 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 66580 65825 473 1171 0 65357 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 266320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22917
/proc/meminfo: memFree=27886576/32873844 swapFree=7112/7112
[pid=22671] ppid=22669 vsize=242768 CPUtime=1800.01 cores=0,2,4,6
/proc/22671/stat : 22671 (toysat) R 22669 22671 21777 0 -1 4202496 227834 0 0 0 179388 613 0 0 20 0 1 0 330136769 248594432 59937 33554432000 4194304 8989770 140733830155072 140733830154568 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22671/statm: 60692 59937 473 1171 0 59469 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 242768

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.03
CPU user time (s): 1793.89
CPU system time (s): 6.14007
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 285776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.89
system time used= 6.14007
maximum resident set size= 282756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227834
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= 140
involuntary context switches= 2074

runsolver used 3.47047 second user time and 8.76467 second system time

The end

Launcher Data

Begin job on node132 at 2012-06-02 14:28:34
IDJOB=3725620
IDBENCH=48267
IDSOLVER=2308
FILE ID=node132/3725620-1338640114
RUNJOBID= node132-1338631508-21794
PBS_JOBID= 14636448
Free space on /tmp= 71208 MiB

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

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

MD5SUM BENCH= 29cda419af6adbdf14450bbe70fbdfc2
RANDOM SEED=1228894157

node132.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.832
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.66
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
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	: 5332.55
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28217296 kB
Buffers:          585700 kB
Cached:          2995980 kB
SwapCached:         2292 kB
Active:          1690344 kB
Inactive:        2054516 kB
Active(anon):     155804 kB
Inactive(anon):     7120 kB
Active(file):    1534540 kB
Inactive(file):  2047396 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102708 kB
Dirty:              7376 kB
Writeback:             0 kB
AnonPages:        165488 kB
Mapped:            12904 kB
Shmem:                 8 kB
Slab:             772864 kB
SReclaimable:     214580 kB
SUnreclaim:       558284 kB
KernelStack:        1472 kB
PageTables:         3940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     277512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 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= 71200 MiB
End job on node132 at 2012-06-02 14:58:37