Trace number 3705955

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.07 1800.41

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
MD5SUM277dd35641d3866b31d8fb041eb7f9fb
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.049991
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2750
Total number of constraints105
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.03	c 2012-05-27T14:02:29+0200
0.01/0.03	c arch = x86_64
0.01/0.03	c os = linux
0.01/0.03	c compiler = ghc 7.4
0.01/0.03	c packages:
0.01/0.03	c   OptDir-0.0.1
0.01/0.03	c   array-0.4.0.0
0.01/0.03	c   base-4.5.0.0
0.01/0.03	c   bytestring-0.9.2.1
0.01/0.03	c   containers-0.4.2.1
0.01/0.03	c   deepseq-1.3.0.0
0.01/0.03	c   mtl-2.1.1
0.01/0.03	c   old_locale-1.0.0.4
0.01/0.03	c   parse_dimacs-1.2
0.01/0.03	c   parsec-3.1.2
0.01/0.03	c   queue-0.1.2
0.01/0.03	c   stm-2.3
0.01/0.03	c   time-1.4
0.01/0.03	c command line = ["--pb","HOME/instance-3705955-1338120149.opb"]
0.01/0.03	c #vars 2750
0.01/0.03	c #constraints 105
0.01/0.03	c Solving starts ...
2.20/2.26	c learnt constraints deletion: 2075 -> 1038
3.68/3.71	c learnt constraints deletion: 2179 -> 1090
7.09/7.14	c learnt constraints deletion: 2802 -> 1401
10.58/10.67	c learnt constraints deletion: 3970 -> 1985
15.69/15.70	c learnt constraints deletion: 4961 -> 2488
17.60/17.62	c learnt constraints deletion: 3366 -> 1683
22.09/22.12	c learnt constraints deletion: 5154 -> 2582
26.39/26.41	c learnt constraints deletion: 4893 -> 2447
29.89/29.91	c learnt constraints deletion: 5404 -> 2708
34.68/34.72	c learnt constraints deletion: 5411 -> 2716
39.79/39.81	c learnt constraints deletion: 5401 -> 2709
40.38/40.47	c learnt constraints deletion: 3038 -> 1519
48.08/48.12	c learnt constraints deletion: 5683 -> 2848
54.57/54.65	c learnt constraints deletion: 5675 -> 2844
60.96/61.05	c learnt constraints deletion: 5671 -> 2842
67.46/67.59	c learnt constraints deletion: 5683 -> 2850
74.05/74.16	c learnt constraints deletion: 5921 -> 2968
84.14/84.28	c learnt constraints deletion: 5936 -> 2978
98.23/98.33	c learnt constraints deletion: 5917 -> 2971
116.43/116.59	c learnt constraints deletion: 5893 -> 2959
136.02/136.11	c learnt constraints deletion: 5914 -> 2968
150.62/150.78	c learnt constraints deletion: 5904 -> 2962
157.82/157.90	c learnt constraints deletion: 5043 -> 2522
168.81/168.91	c learnt constraints deletion: 6219 -> 3119
182.81/182.96	c learnt constraints deletion: 6220 -> 3127
197.21/197.31	c learnt constraints deletion: 6240 -> 3137
212.81/212.96	c learnt constraints deletion: 6214 -> 3125
228.10/228.27	c learnt constraints deletion: 6214 -> 3124
243.60/243.73	c learnt constraints deletion: 6211 -> 3123
258.19/258.37	c learnt constraints deletion: 6203 -> 3118
275.19/275.32	c learnt constraints deletion: 6208 -> 3119
288.70/288.89	c learnt constraints deletion: 6209 -> 3122
301.39/301.53	c learnt constraints deletion: 6571 -> 3292
316.79/316.93	c learnt constraints deletion: 6559 -> 3287
332.69/332.84	c learnt constraints deletion: 6573 -> 3296
348.79/348.93	c learnt constraints deletion: 6544 -> 3283
367.08/367.23	c learnt constraints deletion: 6544 -> 3279
381.87/382.00	c learnt constraints deletion: 6572 -> 3294
398.88/399.07	c learnt constraints deletion: 6549 -> 3284
416.87/417.05	c learnt constraints deletion: 6544 -> 3282
436.86/437.09	c learnt constraints deletion: 6575 -> 3297
454.86/455.01	c learnt constraints deletion: 6558 -> 3288
475.07/475.23	c learnt constraints deletion: 6592 -> 3306
494.26/494.42	c learnt constraints deletion: 6546 -> 3281
513.35/513.50	c learnt constraints deletion: 6532 -> 3274
526.95/527.11	c learnt constraints deletion: 5380 -> 2690
545.05/545.24	c learnt constraints deletion: 6995 -> 3503
563.85/564.05	c learnt constraints deletion: 6986 -> 3503
584.05/584.24	c learnt constraints deletion: 6959 -> 3489
612.74/612.97	c learnt constraints deletion: 6990 -> 3507
633.94/634.15	c learnt constraints deletion: 6945 -> 3482
654.33/654.56	c learnt constraints deletion: 6974 -> 3497
674.03/674.29	c learnt constraints deletion: 6967 -> 3495
694.73/694.97	c learnt constraints deletion: 6946 -> 3485
716.62/716.89	c learnt constraints deletion: 6953 -> 3487
738.01/738.23	c learnt constraints deletion: 6969 -> 3495
757.91/758.16	c learnt constraints deletion: 6969 -> 3497
779.01/779.25	c learnt constraints deletion: 6975 -> 3499
798.90/799.15	c learnt constraints deletion: 6944 -> 3482
818.60/818.82	c learnt constraints deletion: 6971 -> 3496
840.00/840.27	c learnt constraints deletion: 6966 -> 3494
861.11/861.33	c learnt constraints deletion: 6964 -> 3493
884.99/885.21	c learnt constraints deletion: 6957 -> 3490
904.30/904.59	c learnt constraints deletion: 6978 -> 3499
920.29/920.54	c learnt constraints deletion: 6054 -> 3027
940.19/940.45	c learnt constraints deletion: 7391 -> 3700
962.88/963.12	c learnt constraints deletion: 7364 -> 3688
985.78/986.08	c learnt constraints deletion: 7376 -> 3693
1007.57/1007.81	c learnt constraints deletion: 7402 -> 3706
1030.38/1030.65	c learnt constraints deletion: 7433 -> 3721
1051.57/1051.89	c learnt constraints deletion: 7407 -> 3710
1075.47/1075.76	c learnt constraints deletion: 7373 -> 3691
1094.96/1095.28	c learnt constraints deletion: 7412 -> 3711
1115.76/1116.03	c learnt constraints deletion: 7410 -> 3711
1138.35/1138.61	c learnt constraints deletion: 7398 -> 3704
1162.65/1162.90	c learnt constraints deletion: 7406 -> 3708
1190.85/1191.20	c learnt constraints deletion: 7410 -> 3711
1212.24/1212.51	c learnt constraints deletion: 7390 -> 3703
1235.84/1236.11	c learnt constraints deletion: 7394 -> 3703
1255.04/1255.37	c learnt constraints deletion: 7378 -> 3696
1273.63/1273.91	c learnt constraints deletion: 7409 -> 3713
1292.03/1292.39	c learnt constraints deletion: 7374 -> 3692
1312.33/1312.66	c learnt constraints deletion: 7395 -> 3704
1330.33/1330.64	c learnt constraints deletion: 7416 -> 3715
1348.62/1348.97	c learnt constraints deletion: 7377 -> 3695
1374.12/1374.47	c learnt constraints deletion: 7409 -> 3713
1394.91/1395.22	c learnt constraints deletion: 7425 -> 3719
1419.21/1419.55	c learnt constraints deletion: 7407 -> 3710
1441.61/1441.90	c learnt constraints deletion: 7378 -> 3695
1465.30/1465.63	c learnt constraints deletion: 7385 -> 3700
1489.90/1490.27	c learnt constraints deletion: 7404 -> 3707
1506.80/1507.13	c learnt constraints deletion: 5842 -> 2921
1530.19/1530.58	c learnt constraints deletion: 7929 -> 3969
1555.39/1555.72	c learnt constraints deletion: 7931 -> 3971
1580.78/1581.10	c learnt constraints deletion: 7924 -> 3967
1605.48/1605.85	c learnt constraints deletion: 7870 -> 3941
1632.18/1632.50	c learnt constraints deletion: 7908 -> 3962
1658.68/1659.06	c learnt constraints deletion: 7879 -> 3947
1686.67/1687.05	c learnt constraints deletion: 7936 -> 3974
1713.47/1713.82	c learnt constraints deletion: 7888 -> 3955
1739.47/1739.83	c learnt constraints deletion: 7899 -> 3957
1765.45/1765.82	c learnt constraints deletion: 7916 -> 3965
1793.85/1794.28	c learnt constraints deletion: 7906 -> 3959

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-3705955-1338120149/watcher-3705955-1338120149 -o /tmp/evaluation-result-3705955-1338120149/solver-3705955-1338120149 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3705955-1338120149.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.04 2.01 2.00 3/175 15244
/proc/meminfo: memFree=32011448/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 1 0 278143485 6356992 720 33554432000 4194304 8973514 140736995555472 140736553211528 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 1552 720 415 1167 0 333 0

[startup+0.0192421 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 15244
/proc/meminfo: memFree=32011448/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=7232 CPUtime=0.01 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 1073 0 0 0 1 0 0 0 20 0 1 0 278143485 7405568 995 33554432000 4194304 8973514 140736995555472 140736553211528 5781700 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 1808 995 417 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232

[startup+0.100215 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 15244
/proc/meminfo: memFree=32011448/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=10304 CPUtime=0.09 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 1790 0 0 0 9 0 0 0 20 0 1 0 278143485 10551296 1712 33554432000 4194304 8973514 140736995555472 140736553211528 6748623 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 2576 1712 443 1167 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10304

[startup+0.300188 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 15244
/proc/meminfo: memFree=32011448/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=11328 CPUtime=0.29 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 2129 0 0 0 29 0 0 0 20 0 1 0 278143485 11599872 2051 33554432000 4194304 8973514 140736995555472 140736553211528 4209272 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 2832 2051 443 1167 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11328

[startup+0.700207 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 15244
/proc/meminfo: memFree=32011448/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=14400 CPUtime=0.69 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 2708 0 0 0 69 0 0 0 20 0 1 0 278143485 14745600 2630 33554432000 4194304 8973514 140736995555472 140736995554968 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 3600 2630 443 1167 0 2381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14400

[startup+1.50022 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 15245
/proc/meminfo: memFree=31991360/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=18496 CPUtime=1.49 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 3921 0 0 0 148 1 0 0 20 0 1 0 278143485 18939904 3843 33554432000 4194304 8973514 140736995555472 140736995554736 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 4624 3843 443 1167 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18496

[startup+3.10021 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 15245
/proc/meminfo: memFree=31980308/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=27712 CPUtime=3.09 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 6021 0 0 0 307 2 0 0 20 0 1 0 278143485 28377088 5943 33554432000 4194304 8973514 140736995555472 140736995554968 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 6928 5943 444 1167 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27712

[startup+6.30021 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15246
/proc/meminfo: memFree=31953252/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=40000 CPUtime=6.29 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 9105 0 0 0 625 4 0 0 20 0 1 0 278143485 40960000 9027 33554432000 4194304 8973514 140736995555472 140736995554968 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 10000 9027 444 1167 0 8781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40000

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15246
/proc/meminfo: memFree=31935744/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=49216 CPUtime=12.69 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 11603 0 0 0 1262 7 0 0 20 0 1 0 278143485 50397184 11525 33554432000 4194304 8973514 140736995555472 140736995554968 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 12304 11525 444 1167 0 11085 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49216

[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15246
/proc/meminfo: memFree=31907332/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=64576 CPUtime=25.48 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 15443 0 0 0 2534 14 0 0 20 0 1 0 278143485 66125824 15365 33554432000 4194304 8973514 140736995555472 140736995554968 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 16144 15365 444 1167 0 14925 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64576

[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15246
/proc/meminfo: memFree=31862428/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=93248 CPUtime=51.07 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 22614 0 0 0 5082 25 0 0 20 0 1 0 278143485 95485952 22533 33554432000 4194304 8973514 140736995555472 140736995554736 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 23312 22533 444 1167 0 22093 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 93248

[startup+102.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 15246
/proc/meminfo: memFree=31816224/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=126016 CPUtime=102.24 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 30846 0 0 0 10179 45 0 0 20 0 1 0 278143485 129040384 30725 33554432000 4194304 8973514 140736995555472 140736995554736 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 31504 30725 444 1167 0 30285 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 126016

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15246
/proc/meminfo: memFree=31824172/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=119872 CPUtime=162.21 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 33167 0 0 0 16156 65 0 0 20 0 1 0 278143485 122748928 29189 33554432000 4194304 8973514 140736995555472 140736995554736 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15244/statm: 29968 29189 444 1167 0 28749 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 119872

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15246
/proc/meminfo: memFree=31797512/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=129088 CPUtime=222.2 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 35471 0 0 0 22135 85 0 0 20 0 1 0 278143485 132186112 31493 33554432000 4194304 8973514 140736995555472 140736995554736 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 32272 31493 444 1167 0 31053 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 129088

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15246
/proc/meminfo: memFree=31779812/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=138304 CPUtime=282.19 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 37778 0 0 0 28116 103 0 0 20 0 1 0 278143485 141623296 33797 33554432000 4194304 8973514 140736995555472 140736995554736 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 34576 33797 444 1167 0 33357 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 138304

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15247
/proc/meminfo: memFree=31799224/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=142400 CPUtime=342.18 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 38802 0 0 0 34096 122 0 0 20 0 1 0 278143485 145817600 34821 33554432000 4194304 8973514 140736995555472 140736995554968 7707296 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 35600 34821 444 1167 0 34381 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 142400

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15247
/proc/meminfo: memFree=31799212/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=142400 CPUtime=402.17 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 38805 0 0 0 40077 140 0 0 20 0 1 0 278143485 145817600 34821 33554432000 4194304 8973514 140736995555472 140736995554736 4208823 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 35600 34821 444 1167 0 34381 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 142400

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15250
/proc/meminfo: memFree=31784928/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=142400 CPUtime=462.16 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 38805 0 0 0 46061 155 0 0 20 0 1 0 278143485 145817600 34821 33554432000 4194304 8973514 140736995555472 140736995554736 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 35600 34821 444 1167 0 34381 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 142400

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15250
/proc/meminfo: memFree=31770504/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=156736 CPUtime=522.15 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 42389 0 0 0 52044 171 0 0 20 0 1 0 278143485 160497664 38404 33554432000 4194304 8973514 140736995555472 140736995554736 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 39184 38404 444 1167 0 37965 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 156736

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15250
/proc/meminfo: memFree=31770552/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=156736 CPUtime=582.14 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 42389 0 0 0 58027 187 0 0 20 0 1 0 278143485 160497664 38404 33554432000 4194304 8973514 140736995555472 140736995554736 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 39184 38404 444 1167 0 37965 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 156736

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15251
/proc/meminfo: memFree=31773072/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=156736 CPUtime=822.1 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 42392 0 0 0 81957 253 0 0 20 0 1 0 278143485 160497664 38405 33554432000 4194304 8973514 140736995555472 140736995554736 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 39184 38405 444 1167 0 37965 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 156736

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15251
/proc/meminfo: memFree=31773012/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=160832 CPUtime=882.1 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 43335 0 0 0 87940 270 0 0 20 0 1 0 278143485 164691968 39348 33554432000 4194304 8973514 140736995555472 140736995554736 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 40208 39348 444 1167 0 38989 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 160832

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15252
/proc/meminfo: memFree=31768480/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=164928 CPUtime=942.09 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 44441 0 0 0 93923 286 0 0 20 0 1 0 278143485 168886272 40453 33554432000 4194304 8973514 140736995555472 140736995554736 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 41232 40453 444 1167 0 40013 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 164928

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15252
/proc/meminfo: memFree=31736116/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=172096 CPUtime=1002.08 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 46233 0 0 0 99908 300 0 0 20 0 1 0 278143485 176226304 42245 33554432000 4194304 8973514 140736995555472 140736995554736 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 43024 42245 444 1167 0 41805 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 172096

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15255
/proc/meminfo: memFree=31747176/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=172096 CPUtime=1062.07 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 46234 0 0 0 105893 314 0 0 20 0 1 0 278143485 176226304 42245 33554432000 4194304 8973514 140736995555472 140736995554736 4357232 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 43024 42245 444 1167 0 41805 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 172096

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15255
/proc/meminfo: memFree=31745836/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=174144 CPUtime=1122.06 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 46577 0 0 0 111878 328 0 0 20 0 1 0 278143485 178323456 42588 33554432000 4194304 8973514 140736995555472 140736995554736 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 43536 42588 444 1167 0 42317 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 174144

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15255
/proc/meminfo: memFree=31735976/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=174144 CPUtime=1182.05 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 46746 0 0 0 117863 342 0 0 20 0 1 0 278143485 178323456 42757 33554432000 4194304 8973514 140736995555472 140736995554736 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 43536 42757 444 1167 0 42317 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 174144

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15256
/proc/meminfo: memFree=31724932/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=185408 CPUtime=1242.04 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 49456 0 0 0 123847 357 0 0 20 0 1 0 278143485 189857792 45467 33554432000 4194304 8973514 140736995555472 140736995554968 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 46352 45467 444 1167 0 45133 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 185408

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15256
/proc/meminfo: memFree=31724808/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=185408 CPUtime=1302.03 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 49456 0 0 0 129831 372 0 0 20 0 1 0 278143485 189857792 45467 33554432000 4194304 8973514 140736995555472 140736995554968 4209442 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 46352 45467 444 1167 0 45133 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 185408

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15256
/proc/meminfo: memFree=31724364/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=185408 CPUtime=1362.02 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 49564 0 0 0 135815 387 0 0 20 0 1 0 278143485 189857792 45573 33554432000 4194304 8973514 140736995555472 140736995554736 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 46352 45573 444 1167 0 45133 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 185408

[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 15256
/proc/meminfo: memFree=31726968/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=185408 CPUtime=1422.02 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 49564 0 0 0 141800 402 0 0 20 0 1 0 278143485 189857792 45573 33554432000 4194304 8973514 140736995555472 140736995554968 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 46352 45573 444 1167 0 45133 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 185408

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15256
/proc/meminfo: memFree=31726780/32873844 swapFree=7376/7376
[pid=15244] ppid=15242 vsize=185408 CPUtime=1482 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 49565 0 0 0 147782 418 0 0 20 0 1 0 278143485 189857792 45573 33554432000 4194304 8973514 140736995555472 140736995554736 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 46352 45573 444 1167 0 45133 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 185408

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15257
/proc/meminfo: memFree=31726964/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=185408 CPUtime=1541.99 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 49565 0 0 0 153766 433 0 0 20 0 1 0 278143485 189857792 45573 33554432000 4194304 8973514 140736995555472 140736995554736 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 46352 45573 444 1167 0 45133 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 185408

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15257
/proc/meminfo: memFree=31726716/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=185408 CPUtime=1601.98 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 49565 0 0 0 159753 445 0 0 20 0 1 0 278143485 189857792 45573 33554432000 4194304 8973514 140736995555472 140736995554736 6842088 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 46352 45573 444 1167 0 45133 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 185408

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15260
/proc/meminfo: memFree=31726700/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=185408 CPUtime=1661.97 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 49565 0 0 0 165738 459 0 0 20 0 1 0 278143485 189857792 45573 33554432000 4194304 8973514 140736995555472 140736995554968 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 46352 45573 444 1167 0 45133 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 185408

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15260
/proc/meminfo: memFree=31728452/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=185408 CPUtime=1721.97 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 49565 0 0 0 171724 473 0 0 20 0 1 0 278143485 189857792 45573 33554432000 4194304 8973514 140736995555472 140736995554968 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 46352 45573 444 1167 0 45133 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 185408

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15260
/proc/meminfo: memFree=31727832/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=185408 CPUtime=1781.95 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 49565 0 0 0 177709 486 0 0 20 0 1 0 278143485 189857792 45573 33554432000 4194304 8973514 140736995555472 140736995554968 7681396 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 46352 45573 444 1167 0 45133 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 185408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 15261
/proc/meminfo: memFree=31823060/32873844 swapFree=7372/7372
[pid=15244] ppid=15242 vsize=191552 CPUtime=1800.06 cores=0,2,4,6
/proc/15244/stat : 15244 (toysat) R 15242 15244 11438 0 -1 4202496 51101 0 0 0 179516 490 0 0 20 0 1 0 278143485 196149248 47109 33554432000 4194304 8973514 140736995555472 140736995554736 4209206 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15244/statm: 47888 47109 444 1167 0 46669 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 191552

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.07
CPU user time (s): 1795.16
CPU system time (s): 4.90825
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 191552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.16
system time used= 4.90825
maximum resident set size= 188436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51101
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= 77
involuntary context switches= 2086

runsolver used 2.98055 second user time and 8.97564 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-27 14:02:29
IDJOB=3705955
IDBENCH=2573
IDSOLVER=2285
FILE ID=node109/3705955-1338120149
RUNJOBID= node109-1338114740-14889
PBS_JOBID= 14624462
Free space on /tmp= 71344 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705955-1338120149/watcher-3705955-1338120149 -o /tmp/evaluation-result-3705955-1338120149/solver-3705955-1338120149 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3705955-1338120149.opb

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

MD5SUM BENCH= 277dd35641d3866b31d8fb041eb7f9fb
RANDOM SEED=1030699420

node109.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.264
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.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        32013572 kB
Buffers:           42984 kB
Cached:            56572 kB
SwapCached:          404 kB
Active:            75440 kB
Inactive:          33900 kB
Active(anon):       4200 kB
Inactive(anon):     8096 kB
Active(file):      71240 kB
Inactive(file):    25804 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106156 kB
Dirty:             14744 kB
Writeback:             0 kB
AnonPages:         16688 kB
Mapped:            11844 kB
Shmem:                 8 kB
Slab:             610576 kB
SReclaimable:      53136 kB
SUnreclaim:       557440 kB
KernelStack:        1440 kB
PageTables:         4288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     115740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71336 MiB
End job on node109 at 2012-05-27 14:32:32