Trace number 3724510

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2012-06-01? (TO) 1800.02 1800.41

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_2_15.opb
MD5SUMb437bd5db918ab114396d43dfca73285
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark93.6968
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
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 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6148
Sum of products size (including duplicates)12296
Number of different products3074
Sum of products size6148

Solver Data 

0.06/0.08	c 2012-06-02T14:35:42+0200
0.06/0.08	c arch = x86_64
0.06/0.08	c os = linux
0.06/0.08	c compiler = ghc 7.4
0.06/0.08	c packages:
0.06/0.08	c   OptDir-0.0.1
0.06/0.08	c   array-0.4.0.0
0.06/0.08	c   base-4.5.0.0
0.06/0.08	c   bytestring-0.9.2.1
0.06/0.08	c   containers-0.4.2.1
0.06/0.08	c   deepseq-1.3.0.0
0.06/0.08	c   mtl-2.1.1
0.06/0.08	c   old_locale-1.0.0.4
0.06/0.08	c   parse_dimacs-1.2
0.06/0.08	c   parsec-3.1.2
0.06/0.08	c   queue-0.1.2
0.06/0.08	c   stm-2.3
0.06/0.08	c   time-1.4
0.06/0.08	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724510-1338640542.opb"]
0.06/0.08	c #vars 200
0.06/0.08	c #constraints 302
0.06/0.08	c Solving starts ...
15.78/15.87	c learnt constraints deletion: 11351 -> 5676
26.78/26.88	c learnt constraints deletion: 15225 -> 7653
42.69/42.75	c learnt constraints deletion: 16433 -> 8250
60.48/60.55	c learnt constraints deletion: 16502 -> 8286
72.48/72.51	c learnt constraints deletion: 17851 -> 8960
80.18/80.28	c learnt constraints deletion: 17884 -> 8980
88.78/88.86	c learnt constraints deletion: 19453 -> 9767
96.97/97.07	c learnt constraints deletion: 18675 -> 9368
104.18/104.28	c learnt constraints deletion: 17084 -> 8558
114.87/114.99	c learnt constraints deletion: 19192 -> 9599
124.37/124.45	c learnt constraints deletion: 19340 -> 9676
133.37/133.40	c learnt constraints deletion: 19036 -> 9525
144.77/144.87	c learnt constraints deletion: 20950 -> 10488
155.36/155.49	c learnt constraints deletion: 22787 -> 11409
164.86/164.97	c learnt constraints deletion: 22847 -> 11451
173.66/173.74	c learnt constraints deletion: 22857 -> 11458
181.95/182.09	c learnt constraints deletion: 22815 -> 11436
190.75/190.85	c learnt constraints deletion: 22855 -> 11455
199.65/199.75	c learnt constraints deletion: 22851 -> 11468
214.44/214.53	c learnt constraints deletion: 24480 -> 12250
229.64/229.79	c learnt constraints deletion: 24756 -> 12393
241.12/241.26	c learnt constraints deletion: 24796 -> 12408
254.82/254.94	c learnt constraints deletion: 24837 -> 12432
268.12/268.24	c learnt constraints deletion: 24753 -> 12382
283.02/283.18	c learnt constraints deletion: 24731 -> 12378
299.41/299.58	c learnt constraints deletion: 24819 -> 12419
313.91/314.09	c learnt constraints deletion: 24787 -> 12431
328.51/328.67	c learnt constraints deletion: 26775 -> 13391
345.21/345.40	c learnt constraints deletion: 26909 -> 13463
361.40/361.52	c learnt constraints deletion: 26930 -> 13472
378.50/378.60	c learnt constraints deletion: 26931 -> 13474
399.60/399.74	c learnt constraints deletion: 26974 -> 13496
416.10/416.20	c learnt constraints deletion: 26974 -> 13496
436.50/436.63	c learnt constraints deletion: 26990 -> 13517
454.20/454.30	c learnt constraints deletion: 26943 -> 13495
472.48/472.64	c learnt constraints deletion: 26974 -> 13506
491.88/492.07	c learnt constraints deletion: 26913 -> 13462
516.17/516.38	c learnt constraints deletion: 28531 -> 14266
535.66/535.81	c learnt constraints deletion: 29350 -> 14679
555.76/555.97	c learnt constraints deletion: 29321 -> 14677
580.15/580.39	c learnt constraints deletion: 29336 -> 14677
599.55/599.71	c learnt constraints deletion: 29366 -> 14689
620.35/620.57	c learnt constraints deletion: 29305 -> 14656
642.15/642.34	c learnt constraints deletion: 29283 -> 14646
660.44/660.67	c learnt constraints deletion: 29257 -> 14634
683.24/683.45	c learnt constraints deletion: 29349 -> 14695
701.73/701.95	c learnt constraints deletion: 29342 -> 14679
724.02/724.28	c learnt constraints deletion: 29245 -> 14632
750.03/750.29	c learnt constraints deletion: 29366 -> 14713
769.73/769.95	c learnt constraints deletion: 29343 -> 14713
787.22/787.46	c learnt constraints deletion: 29292 -> 14675
810.21/810.40	c learnt constraints deletion: 29360 -> 14718
834.11/834.34	c learnt constraints deletion: 31578 -> 15789
857.60/857.86	c learnt constraints deletion: 31970 -> 15985
870.49/870.75	c learnt constraints deletion: 31882 -> 15943
884.98/885.27	c learnt constraints deletion: 31974 -> 15989
905.68/905.99	c learnt constraints deletion: 31951 -> 15978
921.87/922.11	c learnt constraints deletion: 31957 -> 15981
942.07/942.32	c learnt constraints deletion: 31951 -> 15979
957.68/957.97	c learnt constraints deletion: 31961 -> 15983
975.27/975.60	c learnt constraints deletion: 31975 -> 15991
989.17/989.43	c learnt constraints deletion: 31934 -> 15969
1006.27/1006.52	c learnt constraints deletion: 31981 -> 15995
1021.76/1022.09	c learnt constraints deletion: 31957 -> 15981
1039.36/1039.66	c learnt constraints deletion: 31947 -> 15976
1057.55/1057.85	c learnt constraints deletion: 31952 -> 15980
1072.75/1073.02	c learnt constraints deletion: 31917 -> 15961
1089.64/1089.95	c learnt constraints deletion: 31979 -> 15992
1107.44/1107.75	c learnt constraints deletion: 31927 -> 15967
1123.23/1123.53	c learnt constraints deletion: 31939 -> 15972
1141.03/1141.38	c learnt constraints deletion: 31980 -> 15992
1158.22/1158.59	c learnt constraints deletion: 31930 -> 15967
1177.12/1177.46	c learnt constraints deletion: 31971 -> 15988
1200.22/1200.50	c learnt constraints deletion: 34677 -> 17341
1223.32/1223.69	c learnt constraints deletion: 34834 -> 17419
1254.21/1254.59	c learnt constraints deletion: 34770 -> 17388
1282.49/1282.80	c learnt constraints deletion: 34826 -> 17433
1308.88/1309.27	c learnt constraints deletion: 34735 -> 17370
1333.69/1334.03	c learnt constraints deletion: 34839 -> 17424
1360.28/1360.68	c learnt constraints deletion: 34836 -> 17424
1384.07/1384.44	c learnt constraints deletion: 34852 -> 17428
1405.77/1406.16	c learnt constraints deletion: 34792 -> 17400
1424.57/1424.99	c learnt constraints deletion: 34857 -> 17444
1442.67/1443.08	c learnt constraints deletion: 34851 -> 17437
1462.76/1463.19	c learnt constraints deletion: 34779 -> 17401
1483.35/1483.78	c learnt constraints deletion: 34808 -> 17415
1502.95/1503.30	c learnt constraints deletion: 34855 -> 17459
1521.34/1521.73	c learnt constraints deletion: 34810 -> 17444
1542.54/1542.95	c learnt constraints deletion: 34842 -> 17463
1559.83/1560.20	c learnt constraints deletion: 34863 -> 17465
1583.33/1583.77	c learnt constraints deletion: 34845 -> 17430
1613.73/1614.16	c learnt constraints deletion: 34863 -> 17447
1638.22/1638.66	c learnt constraints deletion: 34796 -> 17405
1672.11/1672.59	c learnt constraints deletion: 34856 -> 17443
1710.31/1710.74	c learnt constraints deletion: 34853 -> 17463
1734.21/1734.68	c learnt constraints deletion: 34829 -> 17417
1758.90/1759.39	c learnt constraints deletion: 34852 -> 17430
1778.60/1779.00	c learnt constraints deletion: 34748 -> 17377
1797.30/1797.73	c learnt constraints deletion: 34762 -> 17390

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-3724510-1338640542/watcher-3724510-1338640542 -o /tmp/evaluation-result-3724510-1338640542/solver-3724510-1338640542 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724510-1338640542.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/176 10627
/proc/meminfo: memFree=27120192/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 827 0 0 0 0 0 0 0 20 0 1 0 330179981 6373376 746 33554432000 4194304 8989770 140736508322272 140735222423272 4212523 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 1556 747 428 1171 0 333 0

[startup+0.075072 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10627
/proc/meminfo: memFree=27120192/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=15440 CPUtime=0.06 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 2962 0 0 0 6 0 0 0 20 0 1 0 330179981 15810560 2881 33554432000 4194304 8989770 140736508322272 140735222423272 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 3860 2881 442 1171 0 2637 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15440

[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10627
/proc/meminfo: memFree=27120192/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=15440 CPUtime=0.09 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 3056 0 0 0 9 0 0 0 20 0 1 0 330179981 15810560 2975 33554432000 4194304 8989770 140736508322272 140735222423272 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 3860 2976 459 1171 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15440

[startup+0.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10627
/proc/meminfo: memFree=27120192/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=20560 CPUtime=0.29 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 4262 0 0 0 29 0 0 0 20 0 1 0 330179981 21053440 4181 33554432000 4194304 8989770 140736508322272 140735222423272 4417209 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 5140 4181 459 1171 0 3917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20560

[startup+0.700279 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10627
/proc/meminfo: memFree=27120192/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=21584 CPUtime=0.69 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 4705 0 0 0 68 1 0 0 20 0 1 0 330179981 22102016 4624 33554432000 4194304 8989770 140736508322272 140735222423272 4371212 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 5396 4624 459 1171 0 4173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21584

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10628
/proc/meminfo: memFree=27096276/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=24656 CPUtime=1.49 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 5473 0 0 0 148 1 0 0 20 0 1 0 330179981 25247744 5392 33554432000 4194304 8989770 140736508322272 140736508321768 4204592 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 6164 5392 459 1171 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24656

[startup+3.10015 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10628
/proc/meminfo: memFree=27090820/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=27728 CPUtime=3.09 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 6241 0 0 0 307 2 0 0 20 0 1 0 330179981 28393472 6160 33554432000 4194304 8989770 140736508322272 140736508321536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 6932 6160 459 1171 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27728

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10628
/proc/meminfo: memFree=27073384/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=33872 CPUtime=6.29 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 7777 0 0 0 626 3 0 0 20 0 1 0 330179981 34684928 7696 33554432000 4194304 8989770 140736508322272 140736508321768 5398003 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 8468 7696 459 1171 0 7245 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33872

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10628
/proc/meminfo: memFree=27073744/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=43088 CPUtime=12.69 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 10081 0 0 0 1264 5 0 0 20 0 1 0 330179981 44122112 10000 33554432000 4194304 8989770 140736508322272 140736508321536 4437616 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 10772 10000 459 1171 0 9549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43088

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10628
/proc/meminfo: memFree=27078984/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=63568 CPUtime=25.49 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 15207 0 0 0 2540 9 0 0 20 0 1 0 330179981 65093632 15126 33554432000 4194304 8989770 140736508322272 140736508321768 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 15892 15126 461 1171 0 14669 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63568

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10628
/proc/meminfo: memFree=27074940/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=75856 CPUtime=51.08 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 18279 0 0 0 5091 17 0 0 20 0 1 0 330179981 77676544 18198 33554432000 4194304 8989770 140736508322272 140736508321768 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 18964 18198 461 1171 0 17741 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75856

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10628
/proc/meminfo: memFree=27041648/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=83024 CPUtime=102.28 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 21863 0 0 0 10195 33 0 0 20 0 1 0 330179981 85016576 19990 33554432000 4194304 8989770 140736508322272 140736508321768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 20756 19990 461 1171 0 19533 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83024

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10628
/proc/meminfo: memFree=26974388/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=144464 CPUtime=162.25 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 37227 0 0 0 16169 56 0 0 20 0 1 0 330179981 147931136 35350 33554432000 4194304 8989770 140736508322272 140736508321768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 36116 35350 461 1171 0 34893 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 144464

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10629
/proc/meminfo: memFree=26984604/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=132176 CPUtime=222.24 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 44918 0 0 0 22146 78 0 0 20 0 1 0 330179981 135348224 32278 33554432000 4194304 8989770 140736508322272 140736508321768 6586468 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 33044 32278 461 1171 0 31821 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 132176

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10632
/proc/meminfo: memFree=26976416/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=149584 CPUtime=282.22 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 57221 0 0 0 28122 100 0 0 20 0 1 0 330179981 153174016 36630 33554432000 4194304 8989770 140736508322272 140736508321768 4512536 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 37396 36630 461 1171 0 36173 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 149584

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10632
/proc/meminfo: memFree=26943832/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=156752 CPUtime=342.21 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 64901 0 0 0 34100 121 0 0 20 0 1 0 330179981 160514048 38422 33554432000 4194304 8989770 140736508322272 140736508321768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 39188 38422 461 1171 0 37965 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 156752

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10632
/proc/meminfo: memFree=26931892/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=169040 CPUtime=402.2 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 71301 0 0 0 40082 138 0 0 20 0 1 0 330179981 173096960 41494 33554432000 4194304 8989770 140736508322272 140736508321536 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 42260 41494 461 1171 0 41037 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 169040

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10632
/proc/meminfo: memFree=26952120/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=160848 CPUtime=462.19 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 74885 0 0 0 46064 155 0 0 20 0 1 0 330179981 164708352 39446 33554432000 4194304 8989770 140736508322272 140736508321768 6586344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 40212 39446 461 1171 0 38989 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 160848

[startup+522.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 10633
/proc/meminfo: memFree=26963868/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=152656 CPUtime=522.16 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 80539 0 0 0 52044 172 0 0 20 0 1 0 330179981 156319744 37398 33554432000 4194304 8989770 140736508322272 140736508304256 4361320 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 38164 37398 461 1171 0 36941 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 152656

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10672
/proc/meminfo: memFree=27079692/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=196688 CPUtime=582.15 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 95904 0 0 0 58023 192 0 0 20 0 1 0 330179981 201408512 48406 33554432000 4194304 8989770 140736508322272 140736508321768 4371808 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 49172 48406 461 1171 0 47949 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 196688

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10673
/proc/meminfo: memFree=27108856/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=160848 CPUtime=822.1 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 126894 0 0 0 81942 268 0 0 20 0 1 0 330179981 164708352 39446 33554432000 4194304 8989770 140736508322272 140736508321536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 40212 39446 461 1171 0 38989 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 160848

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10676
/proc/meminfo: memFree=27048524/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=222288 CPUtime=882.08 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 142784 0 0 0 87917 291 0 0 20 0 1 0 330179981 227622912 54806 33554432000 4194304 8989770 140736508322272 140736508321768 6586404 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 55572 54806 461 1171 0 54349 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 222288

[startup+942.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 10676
/proc/meminfo: memFree=26998500/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=271440 CPUtime=942.07 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 161472 0 0 0 93898 309 0 0 20 0 1 0 330179981 277954560 67094 33554432000 4194304 8989770 140736508322272 140736508321536 6855696 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 67860 67094 461 1171 0 66637 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 271440

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10676
/proc/meminfo: memFree=27051244/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=218192 CPUtime=1002.07 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 161472 0 0 0 99881 326 0 0 20 0 1 0 330179981 223428608 53782 33554432000 4194304 8989770 140736508322272 140736508321768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 54548 53782 461 1171 0 53325 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 218192

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10676
/proc/meminfo: memFree=27050796/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=219216 CPUtime=1062.05 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 166859 0 0 0 105861 344 0 0 20 0 1 0 330179981 224477184 54038 33554432000 4194304 8989770 140736508322272 140736508321536 4469903 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 54804 54038 461 1171 0 53581 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 219216

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10677
/proc/meminfo: memFree=27041940/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=226384 CPUtime=1122.04 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 173012 0 0 0 111840 364 0 0 20 0 1 0 330179981 231817216 55830 33554432000 4194304 8989770 140736508322272 140736508321768 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 56596 55830 461 1171 0 55373 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 226384

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10677
/proc/meminfo: memFree=27033608/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=234576 CPUtime=1182.03 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 187604 0 0 0 117819 384 0 0 20 0 1 0 330179981 240205824 57878 33554432000 4194304 8989770 140736508322272 140736508321768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 58644 57878 461 1171 0 57421 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 234576

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10677
/proc/meminfo: memFree=27052472/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=216144 CPUtime=1242.02 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 188117 0 0 0 123801 401 0 0 20 0 1 0 330179981 221331456 53270 33554432000 4194304 8989770 140736508322272 140736508321768 4213733 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 54036 53270 461 1171 0 52813 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 216144

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10677
/proc/meminfo: memFree=27032732/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=234576 CPUtime=1301.99 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 192753 0 0 0 129782 417 0 0 20 0 1 0 330179981 240205824 57878 33554432000 4194304 8989770 140736508322272 140736508321768 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 58644 57878 461 1171 0 57421 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 234576

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10677
/proc/meminfo: memFree=27037644/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=229456 CPUtime=1361.98 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 196337 0 0 0 135761 437 0 0 20 0 1 0 330179981 234962944 56598 33554432000 4194304 8989770 140736508322272 140736508321768 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 57364 56598 461 1171 0 56141 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 229456

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10678
/proc/meminfo: memFree=27039968/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=226384 CPUtime=1421.98 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 204530 0 0 0 141744 454 0 0 20 0 1 0 330179981 231817216 55831 33554432000 4194304 8989770 140736508322272 140736508321768 4469708 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 56596 55831 461 1171 0 55373 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 226384

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 10681
/proc/meminfo: memFree=27044004/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=219216 CPUtime=1481.94 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 212225 0 0 0 147722 472 0 0 20 0 1 0 330179981 224477184 54039 33554432000 4194304 8989770 140736508322272 140736508321768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 54804 54039 461 1171 0 53581 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 219216

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 10704
/proc/meminfo: memFree=26989248/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=268368 CPUtime=1541.94 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 226817 0 0 0 153699 495 0 0 20 0 1 0 330179981 274808832 66327 33554432000 4194304 8989770 140736508322272 140736508320064 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 67092 66327 461 1171 0 65869 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 268368

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10704
/proc/meminfo: memFree=27061704/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=193616 CPUtime=1601.93 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 227073 0 0 0 159677 516 0 0 20 0 1 0 330179981 198262784 47639 33554432000 4194304 8989770 140736508322272 140736508320256 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 48404 47639 461 1171 0 47181 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 193616

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10704
/proc/meminfo: memFree=27015224/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=239696 CPUtime=1661.92 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 243969 0 0 0 165656 536 0 0 20 0 1 0 330179981 245448704 59159 33554432000 4194304 8989770 140736508322272 140736508321768 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 59924 59159 461 1171 0 58701 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 239696

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10705
/proc/meminfo: memFree=27026952/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=226384 CPUtime=1721.91 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 246536 0 0 0 171639 552 0 0 20 0 1 0 330179981 231817216 55831 33554432000 4194304 8989770 140736508322272 140736508321768 6586468 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 56596 55831 461 1171 0 55373 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 226384

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10705
/proc/meminfo: memFree=27046604/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=205904 CPUtime=1781.9 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 250888 0 0 0 177618 572 0 0 20 0 1 0 330179981 210845696 50711 33554432000 4194304 8989770 140736508322272 140736508321768 4204286 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 51476 50711 461 1171 0 50253 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 205904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10705
/proc/meminfo: memFree=27016224/32873660 swapFree=7120/7120
[pid=10627] ppid=10625 vsize=237648 CPUtime=1800.01 cores=0,2,4,6
/proc/10627/stat : 10627 (toysat) R 10625 10627 9917 0 -1 4202496 258824 0 0 0 179421 580 0 0 20 0 1 0 330179981 243351552 58647 33554432000 4194304 8989770 140736508322272 140736508320256 4451620 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10627/statm: 59412 58647 461 1171 0 58189 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 237648

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.02
CPU user time (s): 1794.21
CPU system time (s): 5.80412
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 271440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.21
system time used= 5.80412
maximum resident set size= 268376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258824
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= 171
involuntary context switches= 1890

runsolver used 3.04154 second user time and 9.28259 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-02 14:35:42
IDJOB=3724510
IDBENCH=48376
IDSOLVER=2308
FILE ID=node117/3724510-1338640542
RUNJOBID= node117-1338631508-9933
PBS_JOBID= 14636463
Free space on /tmp= 69128 MiB

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

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

MD5SUM BENCH= b437bd5db918ab114396d43dfca73285
RANDOM SEED=416457424

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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:       32873660 kB
MemFree:        27121356 kB
Buffers:          589584 kB
Cached:          4036952 kB
SwapCached:          776 kB
Active:          2438308 kB
Inactive:        2404424 kB
Active(anon):     201996 kB
Inactive(anon):     9984 kB
Active(file):    2236312 kB
Inactive(file):  2394440 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:              7120 kB
Writeback:            32 kB
AnonPages:        215580 kB
Mapped:            13956 kB
Shmem:                80 kB
Slab:             775124 kB
SReclaimable:     219456 kB
SUnreclaim:       555668 kB
KernelStack:        1448 kB
PageTables:         4228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     324844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69120 MiB
End job on node117 at 2012-06-02 15:05:45