Trace number 3724328

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.09 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-06-02T13:05:40+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 = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724328-1338635140.opb"]
0.01/0.03	c #vars 2750
0.01/0.03	c #constraints 105
0.01/0.03	c Solving starts ...
2.10/2.11	c learnt constraints deletion: 2075 -> 1038
3.39/3.46	c learnt constraints deletion: 2179 -> 1090
6.60/6.67	c learnt constraints deletion: 2802 -> 1401
9.89/9.95	c learnt constraints deletion: 3970 -> 1985
14.59/14.66	c learnt constraints deletion: 4961 -> 2488
16.39/16.46	c learnt constraints deletion: 3366 -> 1683
20.59/20.66	c learnt constraints deletion: 5154 -> 2582
24.59/24.67	c learnt constraints deletion: 4893 -> 2447
27.88/27.94	c learnt constraints deletion: 5404 -> 2708
32.38/32.44	c learnt constraints deletion: 5411 -> 2716
37.19/37.20	c learnt constraints deletion: 5401 -> 2709
37.78/37.83	c learnt constraints deletion: 3038 -> 1519
44.99/45.02	c learnt constraints deletion: 5683 -> 2848
51.18/51.23	c learnt constraints deletion: 5675 -> 2844
57.38/57.48	c learnt constraints deletion: 5671 -> 2842
63.69/63.72	c learnt constraints deletion: 5683 -> 2850
69.88/69.99	c learnt constraints deletion: 5921 -> 2968
77.98/78.08	c learnt constraints deletion: 5936 -> 2978
88.48/88.59	c learnt constraints deletion: 5917 -> 2971
101.08/101.12	c learnt constraints deletion: 5893 -> 2959
114.47/114.57	c learnt constraints deletion: 5914 -> 2968
123.87/123.99	c learnt constraints deletion: 5904 -> 2962
128.87/128.93	c learnt constraints deletion: 5043 -> 2522
137.07/137.16	c learnt constraints deletion: 6219 -> 3119
146.47/146.54	c learnt constraints deletion: 6220 -> 3127
156.07/156.16	c learnt constraints deletion: 6240 -> 3137
166.86/166.97	c learnt constraints deletion: 6214 -> 3125
177.16/177.21	c learnt constraints deletion: 6214 -> 3124
188.24/188.32	c learnt constraints deletion: 6211 -> 3123
200.04/200.13	c learnt constraints deletion: 6203 -> 3118
215.13/215.25	c learnt constraints deletion: 6208 -> 3119
227.81/227.97	c learnt constraints deletion: 6209 -> 3122
239.81/239.98	c learnt constraints deletion: 6571 -> 3292
254.61/254.73	c learnt constraints deletion: 6559 -> 3287
269.81/269.94	c learnt constraints deletion: 6573 -> 3296
285.20/285.32	c learnt constraints deletion: 6544 -> 3283
302.50/302.68	c learnt constraints deletion: 6544 -> 3279
316.61/316.71	c learnt constraints deletion: 6572 -> 3294
333.10/333.21	c learnt constraints deletion: 6549 -> 3284
350.30/350.46	c learnt constraints deletion: 6544 -> 3282
369.40/369.53	c learnt constraints deletion: 6575 -> 3297
386.49/386.69	c learnt constraints deletion: 6558 -> 3288
405.89/406.02	c learnt constraints deletion: 6592 -> 3306
424.18/424.30	c learnt constraints deletion: 6546 -> 3281
442.18/442.33	c learnt constraints deletion: 6532 -> 3274
455.08/455.27	c learnt constraints deletion: 5380 -> 2690
472.28/472.42	c learnt constraints deletion: 6995 -> 3503
490.18/490.36	c learnt constraints deletion: 6986 -> 3503
509.57/509.70	c learnt constraints deletion: 6959 -> 3489
536.76/536.95	c learnt constraints deletion: 6990 -> 3507
556.76/556.91	c learnt constraints deletion: 6945 -> 3482
576.06/576.22	c learnt constraints deletion: 6974 -> 3497
594.76/595.00	c learnt constraints deletion: 6967 -> 3495
614.35/614.56	c learnt constraints deletion: 6946 -> 3485
635.05/635.27	c learnt constraints deletion: 6953 -> 3487
655.25/655.42	c learnt constraints deletion: 6969 -> 3495
674.24/674.40	c learnt constraints deletion: 6969 -> 3497
694.34/694.50	c learnt constraints deletion: 6975 -> 3499
713.14/713.33	c learnt constraints deletion: 6944 -> 3482
732.03/732.21	c learnt constraints deletion: 6971 -> 3496
752.43/752.69	c learnt constraints deletion: 6966 -> 3494
772.63/772.80	c learnt constraints deletion: 6964 -> 3493
795.43/795.63	c learnt constraints deletion: 6957 -> 3490
813.82/814.03	c learnt constraints deletion: 6978 -> 3499
828.82/829.07	c learnt constraints deletion: 6054 -> 3027
847.82/848.00	c learnt constraints deletion: 7391 -> 3700
869.11/869.38	c learnt constraints deletion: 7364 -> 3688
890.61/890.85	c learnt constraints deletion: 7376 -> 3693
910.91/911.12	c learnt constraints deletion: 7402 -> 3706
932.51/932.77	c learnt constraints deletion: 7433 -> 3721
952.41/952.65	c learnt constraints deletion: 7407 -> 3710
974.80/975.00	c learnt constraints deletion: 7373 -> 3691
993.19/993.40	c learnt constraints deletion: 7412 -> 3711
1012.89/1013.13	c learnt constraints deletion: 7410 -> 3711
1034.19/1034.41	c learnt constraints deletion: 7398 -> 3704
1057.08/1057.37	c learnt constraints deletion: 7406 -> 3708
1083.87/1084.11	c learnt constraints deletion: 7410 -> 3711
1103.98/1104.28	c learnt constraints deletion: 7390 -> 3703
1126.37/1126.60	c learnt constraints deletion: 7394 -> 3703
1144.57/1144.86	c learnt constraints deletion: 7378 -> 3696
1162.16/1162.43	c learnt constraints deletion: 7409 -> 3713
1179.56/1179.84	c learnt constraints deletion: 7374 -> 3692
1198.66/1198.93	c learnt constraints deletion: 7395 -> 3704
1215.66/1215.90	c learnt constraints deletion: 7416 -> 3715
1232.86/1233.19	c learnt constraints deletion: 7377 -> 3695
1256.75/1257.04	c learnt constraints deletion: 7409 -> 3713
1276.25/1276.52	c learnt constraints deletion: 7425 -> 3719
1299.05/1299.39	c learnt constraints deletion: 7407 -> 3710
1320.34/1320.66	c learnt constraints deletion: 7378 -> 3695
1342.74/1343.03	c learnt constraints deletion: 7385 -> 3700
1366.13/1366.40	c learnt constraints deletion: 7404 -> 3707
1382.13/1382.40	c learnt constraints deletion: 5842 -> 2921
1404.34/1404.61	c learnt constraints deletion: 7929 -> 3969
1428.02/1428.33	c learnt constraints deletion: 7931 -> 3971
1452.02/1452.34	c learnt constraints deletion: 7924 -> 3967
1475.52/1475.89	c learnt constraints deletion: 7870 -> 3941
1501.01/1501.30	c learnt constraints deletion: 7908 -> 3962
1526.11/1526.49	c learnt constraints deletion: 7879 -> 3947
1552.70/1553.01	c learnt constraints deletion: 7936 -> 3974
1577.91/1578.21	c learnt constraints deletion: 7888 -> 3955
1602.31/1602.68	c learnt constraints deletion: 7899 -> 3957
1627.09/1627.41	c learnt constraints deletion: 7916 -> 3965
1653.89/1654.27	c learnt constraints deletion: 7906 -> 3959
1682.19/1682.56	c learnt constraints deletion: 7934 -> 3974
1705.58/1705.97	c learnt constraints deletion: 7894 -> 3953
1730.68/1731.00	c learnt constraints deletion: 7901 -> 3958
1753.68/1754.04	c learnt constraints deletion: 7891 -> 3953
1781.17/1781.53	c learnt constraints deletion: 7930 -> 3971

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-3724328-1338635140/watcher-3724328-1338635140 -o /tmp/evaluation-result-3724328-1338635140/solver-3724328-1338635140 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724328-1338635140.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: 1.92 1.98 1.90 3/176 21151
/proc/meminfo: memFree=30635800/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 821 0 0 0 0 0 0 0 20 0 1 0 329642591 6373376 741 33554432000 4194304 8989770 140734687062192 140734777010664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 1556 741 428 1171 0 333 0

[startup+0.02119 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 21151
/proc/meminfo: memFree=30635800/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=8272 CPUtime=0.01 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 1147 0 0 0 1 0 0 0 20 0 1 0 329642591 8470528 1067 33554432000 4194304 8989770 140734687062192 140734777010664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 2068 1067 429 1171 0 845 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8272

[startup+0.100255 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 21151
/proc/meminfo: memFree=30635800/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=10320 CPUtime=0.09 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 1826 0 0 0 9 0 0 0 20 0 1 0 329642591 10567680 1746 33554432000 4194304 8989770 140734687062192 140734777010664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 2580 1746 457 1171 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10320

[startup+0.300232 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 21151
/proc/meminfo: memFree=30635800/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=11344 CPUtime=0.29 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 2145 0 0 0 29 0 0 0 20 0 1 0 329642591 11616256 2065 33554432000 4194304 8989770 140734687062192 140734777010664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 2836 2065 457 1171 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11344

[startup+0.700258 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 21151
/proc/meminfo: memFree=30635800/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=14416 CPUtime=0.69 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 2913 0 0 0 69 0 0 0 20 0 1 0 329642591 14761984 2833 33554432000 4194304 8989770 140734687062192 140734777010664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 3604 2833 457 1171 0 2381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14416

[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 21152
/proc/meminfo: memFree=30623720/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=19536 CPUtime=1.49 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 4119 0 0 0 148 1 0 0 20 0 1 0 329642591 20004864 4039 33554432000 4194304 8989770 140734687062192 140734687061688 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 4884 4039 457 1171 0 3661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19536

[startup+3.10025 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 21152
/proc/meminfo: memFree=30616404/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=28752 CPUtime=3.09 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 6310 0 0 0 307 2 0 0 20 0 1 0 329642591 29442048 6230 33554432000 4194304 8989770 140734687062192 140734687061688 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 7188 6230 459 1171 0 5965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28752

[startup+6.30027 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 21152
/proc/meminfo: memFree=30601896/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=42064 CPUtime=6.29 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 9598 0 0 0 624 5 0 0 20 0 1 0 329642591 43073536 9518 33554432000 4194304 8989770 140734687062192 140734687061688 7953280 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 10516 9518 459 1171 0 9293 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42064

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 21152
/proc/meminfo: memFree=30576368/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=52304 CPUtime=12.69 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 12179 0 0 0 1262 7 0 0 20 0 1 0 329642591 53559296 12099 33554432000 4194304 8989770 140734687062192 140734687061688 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 13076 12099 459 1171 0 11853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52304

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21152
/proc/meminfo: memFree=30554900/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=70736 CPUtime=25.49 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 16996 0 0 0 2535 14 0 0 20 0 1 0 329642591 72433664 16916 33554432000 4194304 8989770 140734687062192 140734687061688 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 17684 16916 459 1171 0 16461 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70736

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21152
/proc/meminfo: memFree=30527960/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=100432 CPUtime=51.08 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 24349 0 0 0 5082 26 0 0 20 0 1 0 329642591 102842368 24269 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 25108 24269 459 1171 0 23885 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 100432

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21152
/proc/meminfo: memFree=30474048/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=135248 CPUtime=102.28 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 33124 0 0 0 10182 46 0 0 20 0 1 0 329642591 138493952 33044 33554432000 4194304 8989770 140734687062192 140734687061688 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 33812 33044 459 1171 0 32589 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 135248

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/174 21181
/proc/meminfo: memFree=31661436/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=129104 CPUtime=162.27 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 35428 0 0 0 16161 66 0 0 20 0 1 0 329642591 132202496 31508 33554432000 4194304 8989770 140734687062192 140734687061456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 32276 31508 459 1171 0 31053 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 129104

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21191
/proc/meminfo: memFree=31569748/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=138320 CPUtime=222.22 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 37779 0 0 0 22134 88 0 0 20 0 1 0 329642591 141639680 33817 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 34580 33817 459 1171 0 33357 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 138320

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/178 21195
/proc/meminfo: memFree=31551168/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=142416 CPUtime=282.2 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 38806 0 0 0 28113 107 0 0 20 0 1 0 329642591 145833984 34841 33554432000 4194304 8989770 140734687062192 140734687061456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 35604 34841 459 1171 0 34381 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 142416

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 21195
/proc/meminfo: memFree=31532816/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=142416 CPUtime=342.2 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 38806 0 0 0 34096 124 0 0 20 0 1 0 329642591 145833984 34841 33554432000 4194304 8989770 140734687062192 140734687061456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 35604 34841 459 1171 0 34381 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 142416

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 21195
/proc/meminfo: memFree=31516444/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=142416 CPUtime=402.19 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 38807 0 0 0 40076 143 0 0 20 0 1 0 329642591 145833984 34841 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 35604 34841 459 1171 0 34381 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 142416

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21195
/proc/meminfo: memFree=31484404/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=156752 CPUtime=462.17 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 42387 0 0 0 46058 159 0 0 20 0 1 0 329642591 160514048 38421 33554432000 4194304 8989770 140734687062192 140734687061456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 39188 38421 459 1171 0 37965 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 156752

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21195
/proc/meminfo: memFree=31465928/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=156752 CPUtime=522.17 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 42387 0 0 0 52039 178 0 0 20 0 1 0 329642591 160514048 38421 33554432000 4194304 8989770 140734687062192 140734687061456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 39188 38421 459 1171 0 37965 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 156752

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 21196
/proc/meminfo: memFree=31466164/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=156752 CPUtime=582.16 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 42395 0 0 0 58024 192 0 0 20 0 1 0 329642591 160514048 38425 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 39188 38425 459 1171 0 37965 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 156752

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21196
/proc/meminfo: memFree=31414604/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=164944 CPUtime=822.12 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 44443 0 0 0 81948 264 0 0 20 0 1 0 329642591 168902656 40473 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 41236 40473 459 1171 0 40013 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 164944

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21200
/proc/meminfo: memFree=31407072/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=172112 CPUtime=882.11 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 46235 0 0 0 87930 281 0 0 20 0 1 0 329642591 176242688 42265 33554432000 4194304 8989770 140734687062192 140734687061456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 43028 42265 459 1171 0 41805 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 172112

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21200
/proc/meminfo: memFree=31390712/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=172112 CPUtime=942.1 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 46235 0 0 0 93913 297 0 0 20 0 1 0 329642591 176242688 42265 33554432000 4194304 8989770 140734687062192 140734687061688 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 43028 42265 459 1171 0 41805 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 172112

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21200
/proc/meminfo: memFree=31379844/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=174160 CPUtime=1002.09 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 46588 0 0 0 99897 312 0 0 20 0 1 0 329642591 178339840 42611 33554432000 4194304 8989770 140734687062192 140734687061688 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 43540 42611 459 1171 0 42317 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 174160

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21200
/proc/meminfo: memFree=31379472/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=174160 CPUtime=1062.08 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 46754 0 0 0 105880 328 0 0 20 0 1 0 329642591 178339840 42777 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 43540 42777 459 1171 0 42317 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 174160

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21200
/proc/meminfo: memFree=31368348/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=185424 CPUtime=1122.07 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 49464 0 0 0 111864 343 0 0 20 0 1 0 329642591 189874176 45487 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 46356 45487 459 1171 0 45133 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 185424

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21201
/proc/meminfo: memFree=31367852/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=185424 CPUtime=1182.06 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 49570 0 0 0 117846 360 0 0 20 0 1 0 329642591 189874176 45593 33554432000 4194304 8989770 140734687062192 140734687061688 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 46356 45593 459 1171 0 45133 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 185424

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21201
/proc/meminfo: memFree=31367840/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=185424 CPUtime=1242.06 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 49570 0 0 0 123831 375 0 0 20 0 1 0 329642591 189874176 45593 33554432000 4194304 8989770 140734687062192 140734687061456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 46356 45593 459 1171 0 45133 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 185424

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21201
/proc/meminfo: memFree=31368088/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=185424 CPUtime=1302.05 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 49570 0 0 0 129817 388 0 0 20 0 1 0 329642591 189874176 45593 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 46356 45593 459 1171 0 45133 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 185424

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21201
/proc/meminfo: memFree=31368088/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=185424 CPUtime=1362.03 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 49570 0 0 0 135799 404 0 0 20 0 1 0 329642591 189874176 45593 33554432000 4194304 8989770 140734687062192 140734687061688 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 46356 45593 459 1171 0 45133 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 185424

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21201
/proc/meminfo: memFree=31355936/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=185424 CPUtime=1422.03 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 49570 0 0 0 141784 419 0 0 20 0 1 0 329642591 189874176 45593 33554432000 4194304 8989770 140734687062192 140734687061688 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 46356 45593 459 1171 0 45133 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 185424

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21205
/proc/meminfo: memFree=31338196/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=185424 CPUtime=1482.01 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 49570 0 0 0 147769 432 0 0 20 0 1 0 329642591 189874176 45593 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 46356 45593 459 1171 0 45133 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 185424

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 21205
/proc/meminfo: memFree=31332996/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=185424 CPUtime=1542 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 49570 0 0 0 153753 447 0 0 20 0 1 0 329642591 189874176 45593 33554432000 4194304 8989770 140734687062192 140734687061456 7676328 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 46356 45593 459 1171 0 45133 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 185424

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 21205
/proc/meminfo: memFree=31353656/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=185424 CPUtime=1602 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 49570 0 0 0 159741 459 0 0 20 0 1 0 329642591 189874176 45593 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 46356 45593 459 1171 0 45133 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 185424

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 21205
/proc/meminfo: memFree=31347484/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=191568 CPUtime=1661.99 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 51053 0 0 0 165728 471 0 0 20 0 1 0 329642591 196165632 47076 33554432000 4194304 8989770 140734687062192 140734687061688 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 47892 47076 459 1171 0 46669 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 191568

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 21205
/proc/meminfo: memFree=31337068/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=201808 CPUtime=1721.98 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 53666 0 0 0 171711 487 0 0 20 0 1 0 329642591 206651392 49689 33554432000 4194304 8989770 140734687062192 140734687061456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 50452 49689 459 1171 0 49229 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 201808

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 21206
/proc/meminfo: memFree=31336804/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=201808 CPUtime=1781.97 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 53668 0 0 0 177695 502 0 0 20 0 1 0 329642591 206651392 49689 33554432000 4194304 8989770 140734687062192 140734687061456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 50452 49689 459 1171 0 49229 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 201808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.01 1.93 3/177 21206
/proc/meminfo: memFree=31337052/32873844 swapFree=7116/7116
[pid=21151] ppid=21149 vsize=201808 CPUtime=1800.07 cores=0,2,4,6
/proc/21151/stat : 21151 (toysat) R 21149 21151 20708 0 -1 4202496 53668 0 0 0 179501 506 0 0 20 0 1 0 329642591 206651392 49689 33554432000 4194304 8989770 140734687062192 140734687061456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21151/statm: 50452 49689 459 1171 0 49229 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 201808

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.09
CPU user time (s): 1795.02
CPU system time (s): 5.07023
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 201808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.02
system time used= 5.07023
maximum resident set size= 198756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53668
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= 67
involuntary context switches= 1886

runsolver used 3.19051 second user time and 8.63669 second system time

The end

Launcher Data 

Begin job on node103 at 2012-06-02 13:05:40
IDJOB=3724328
IDBENCH=2573
IDSOLVER=2308
FILE ID=node103/3724328-1338635140
RUNJOBID= node103-1338631508-20724
PBS_JOBID= 14636477
Free space on /tmp= 71132 MiB

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

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

MD5SUM BENCH= 277dd35641d3866b31d8fb041eb7f9fb
RANDOM SEED=1987482118

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30636164 kB
Buffers:          105884 kB
Cached:           214328 kB
SwapCached:         5600 kB
Active:          1243820 kB
Inactive:         238568 kB
Active(anon):    1159800 kB
Inactive(anon):     4628 kB
Active(file):      84020 kB
Inactive(file):   233940 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096280 kB
Dirty:              7388 kB
Writeback:             0 kB
AnonPages:       1165028 kB
Mapped:            10584 kB
Shmem:                 0 kB
Slab:             616528 kB
SReclaimable:      57260 kB
SUnreclaim:       559268 kB
KernelStack:        1456 kB
PageTables:         5888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1279644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    919552 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= 71116 MiB
End job on node103 at 2012-06-02 13:35:43