Trace number 3466732

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
MinisatID 2.4.8-gmp? (TO)225276596669762 1800.12 1802.12

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell4.opb
MD5SUM7a334409ec63774b2ae9bf0271f87fd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark195364307577754
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 212944791655785
Optimality of the best value was proved NO
Number of variables1996
Total number of constraints134
Number of constraints which are clauses18
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1527
Biggest coefficient in the objective function 4949278720000000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 114314457147588882
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 4949278720000000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 114314457147588882
Number of bits of the biggest sum of numbers57
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
0.59/0.66	o 3576752507476104
0.89/0.92	o 3563747708753604
0.89/0.97	o 3563747707293604
1.00/1.02	o 3563747520413604
1.00/1.08	o 3563747426973604
1.11/1.14	o 3563747380253604
1.11/1.19	o 3563747374413604
1.19/1.21	o 3563747362733604
1.19/1.28	o 3563747362551104
1.29/1.32	o 3563747361821104
1.29/1.37	o 3563747360361104
1.39/1.42	o 3563746986601104
1.39/1.48	o 3563746239081104
1.49/1.52	o 3563746215721104
1.49/1.59	o 3563746212801104
1.59/1.63	o 3563746212436104
2.39/2.47	o 3562251608213240
2.49/2.51	o 3560613208213240
2.49/2.60	o 3560597899003640
2.59/2.67	o 3560188299003640
2.69/2.77	o 3560184471701240
2.79/2.85	o 3560182558050040
2.89/2.92	o 3553628958050040
2.99/3.01	o 3553219358050040
3.09/3.17	o 3553017547947540
3.20/3.25	o 3552812747947540
3.31/3.33	o 3552810355883540
3.39/3.41	o 3549533555883540
3.39/3.50	o 3549525901278740
3.49/3.57	o 3536418701278740
3.59/3.66	o 3534780301278740
3.69/3.74	o 3508565901278740
3.79/3.83	o 3502012301278740
3.89/3.90	o 3501193101278740
3.99/4.06	o 3474978701278740
4.09/4.14	o 3474569101278740
4.19/4.22	o 3472930701278740
4.19/4.30	o 3472725901278740
4.30/4.38	o 3466172301278740
4.41/4.46	o 3463797099691540
4.49/4.54	o 3463794707627540
4.59/4.62	o 3437580307627540
4.69/4.70	o 3437170707627540
4.69/4.78	o 3332313107627540
4.79/4.86	o 3330674707627540
4.89/4.93	o 3304460307627540
4.99/5.01	o 3304255507627540
4.99/5.09	o 3297701907627540
5.09/5.17	o 3192844307627540
5.29/5.36	o 2458856442839740
5.40/5.43	o 2449355144076740
5.40/5.51	o 2439852424076740
5.51/5.59	o 2439775878028740
5.59/5.67	o 2439737605004740
5.79/5.83	o 2434986245004740
5.89/5.91	o 2434986244712740
5.89/5.99	o 2434976676456740
5.99/6.07	o 2434976675872740
6.09/6.15	o 2434976601120740
6.19/6.24	o 2434976451616740
6.29/6.31	o 2434976414240740
6.39/6.40	o 2434976395552740
6.39/6.47	o 2434976386208740
6.50/6.56	o 2434976381536740
6.61/6.63	o 2434976379200740
6.69/6.71	o 2434976378032740
7.09/7.13	o 2410138585209700
7.19/7.20	o 2410138491769700
7.19/7.25	o 2410138491477700
7.29/7.30	o 2410138490893700
7.29/7.38	o 2410138416141700
7.39/7.46	o 2410138117133700
7.49/7.54	o 2410137967629700
7.60/7.62	o 2410137948941700
7.60/7.69	o 2410137911565700
7.71/7.77	o 2410137902221700
7.79/7.84	o 2410137897549700
7.89/7.92	o 2410137895213700
7.99/8.00	o 2410137894045700
7.99/8.07	o 2410135501981700
8.09/8.14	o 2410134305949700
8.29/8.35	o 2410097826973700
8.39/8.42	o 2410097733533700
8.39/8.43	o 2410097732325380
8.39/8.45	o 2410097732033380
8.49/8.53	o 2410097731449380
8.59/8.64	o 2410097731376380
9.09/9.12	o 1590839529616280
9.09/9.19	o 1590839529032280
9.39/9.43	o 1590020329849880
9.49/9.51	o 1544145130360880
9.49/9.53	o 1542957290360880
9.59/9.65	o 1542957290302480
9.69/9.75	o 1542957170699280
9.80/9.83	o 1542957140798480
9.91/9.97	o 1542956183972880
10.29/10.30	o 1542955585956880
10.29/10.38	o 1542954987940880
10.39/10.47	o 1542950203812880
10.49/10.55	o 1542950203805580
10.59/10.64	o 1542950203776380
10.69/10.72	o 1542950203717980
10.79/10.81	o 1542950203703380
10.79/10.89	o 1542949007671380
10.90/10.98	o 1542949007598380
11.01/11.06	o 1542949007364780
11.09/11.15	o 1542949007218780
11.19/11.22	o 1542946615154780
11.29/11.31	o 1542908342130780
11.29/11.38	o 1542907863717980
11.39/11.47	o 1542907863571980
11.49/11.54	o 1542898295315980
11.59/11.63	o 1542879158803980
11.69/11.70	o 1542869590547980
11.79/11.88	o 1542864806419980
11.89/11.96	o 1542045606419980
12.00/12.04	o 1542045606054980
12.11/12.12	o 1542045456550980
12.19/12.20	o 1542045381798980
12.29/12.30	o 1542035813542980
12.29/12.38	o 1542035776166980
12.39/12.45	o 1542035757478980
12.49/12.53	o 1542035748134980
12.59/12.61	o 1542035743462980
12.59/12.68	o 1542035741126980
12.69/12.75	o 1541626141126980
12.79/12.83	o 1541421341126980
12.89/12.90	o 1541318941126980
12.99/13.00	o 1124366621126980
12.99/13.01	o 1124366565062980
12.99/13.10	o 1123926245062980
13.10/13.15	o 1123332325062980
13.21/13.22	o 1123332311046980
13.21/13.28	o 1123332283014980
13.29/13.35	o 1123332282576980
13.39/13.42	o 1123331834064980
13.39/13.48	o 1123331609808980
13.49/13.54	o 1120914969808980
13.59/13.61	o 1113665049808980
13.59/13.67	o 1113562649808980
13.69/13.74	o 1113357849808980
13.89/13.99	o 1113357849341780
14.20/14.25	o 1113357849108180
14.31/14.31	o 1113357848991380
14.39/14.41	o 1113339160991380
14.39/14.47	o 1113315240351380
14.49/14.52	o 1113276967327380
14.59/14.61	o 1111638567327380
14.59/14.67	o 1109324124165780
14.69/14.73	o 1109323969500820
14.79/14.80	o 1109323959834260
15.99/16.02	o 1108293450023520
15.99/16.09	o 1108287469863520
16.09/16.12	o 1108185069863520
16.19/16.25	o 1104048109863520
16.29/16.34	o 1104047810855520
16.29/16.37	o 1103607490855520
16.40/16.45	o 1103505090855520
16.51/16.55	o 1103489781645920
16.69/16.73	o 1090390298116704
16.79/16.81	o 1090390292276704
16.79/16.88	o 1090390280596704
16.89/16.98	o 1090388785556704
17.09/17.14	o 1090385795476704
17.19/17.24	o 1090385047956704
17.29/17.34	o 1090384674196704
17.39/17.44	o 1090384673904704
17.50/17.55	o 1090384673831704
17.61/17.65	o 1090384673685704
17.79/17.83	o 1090384654997704
17.89/17.90	o 1090384650325704
17.99/18.00	o 1090384640981704
18.09/18.18	o 1090384638645704
18.19/18.26	o 1090384635725704
18.29/18.36	o 1090384634995704
18.39/18.45	o 1090384633535704
18.49/18.55	o 1090378653375704
18.71/18.73	o 1090378466495704
18.79/18.83	o 1090378419775704
18.89/18.93	o 1090378326335704
18.99/19.02	o 1090378302975704
19.09/19.12	o 1090378299238104
19.19/19.22	o 1090378291762904
19.29/19.31	o 1090378276812504
19.39/19.40	o 1090378276695704
19.49/19.50	o 1090378274826904
19.49/19.59	o 1090378273892504
19.59/19.68	o 1090378273834104
19.70/19.78	o 1090378273366904
19.81/19.87	o 1090378273352304
19.89/19.96	o 1090378273323104
19.99/20.05	o 1090378273089504
20.09/20.14	o 1090347654670304
20.19/20.23	o 1090299813390304
20.29/20.32	o 1087924133390304
20.39/20.47	o 1087862896829304
20.69/20.76	o 1087848544445304
20.80/20.85	o 1087848544328504
20.91/20.92	o 1087848536853304
20.99/21.00	o 1087848534984504
20.99/21.07	o 1087848531246904
21.09/21.15	o 1087848516296504
21.19/21.22	o 1087848515362104
21.19/21.29	o 1087848328482104
21.29/21.37	o 1087848281762104
21.39/21.45	o 1087848280302104
21.49/21.51	o 1087848256942104
21.49/21.59	o 1087848163502104
21.59/21.65	o 1087848160582104
21.69/21.73	o 1087848154742104
21.69/21.79	o 1087848143062104
21.79/21.87	o 1087847769302104
21.90/21.93	o 1087847768572104
21.90/22.00	o 1087847768389604
22.00/22.06	o 1087847020869604
22.09/22.13	o 1087845525829604
22.09/22.19	o 1087845525647104
22.29/22.35	o 1087845522727104
22.39/22.42	o 1087845521267104
22.39/22.48	o 1087842531187104
22.49/22.55	o 1087842344307104
22.59/22.60	o 1087842250867104
22.59/22.67	o 1087842227507104
22.69/22.73	o 1087842215827104
22.69/22.80	o 1087842209987104
22.79/22.85	o 1087842163267104
22.89/22.92	o 1087841789507104
22.89/22.97	o 1087841788777104
23.00/23.03	o 1087841041257104
23.00/23.08	o 1087839546217104
23.10/23.15	o 1087791704937104
23.19/23.20	o 1087791704922504
23.19/23.26	o 1087791704893304
23.29/23.31	o 1087791704834904
23.29/23.38	o 1087791704367704
23.39/23.42	o 1087791704134104
23.39/23.49	o 1087787876831704
23.49/23.54	o 1087787802079704
23.49/23.60	o 1087216845894104
26.40/26.48	o 1075500497011916
26.59/26.61	o 1075500496083356
26.69/26.75	o 1075500495503006
26.79/26.88	o 1075500494342306
26.99/27.01	o 1075500492020906
27.09/27.14	o 1075500484592426
27.19/27.27	o 1075500470199746
27.29/27.40	o 1075500096439746
27.50/27.53	o 1075500077868546
27.59/27.66	o 1075500068582946
27.69/27.79	o 1075500063940146
27.89/27.92	o 1075496236637746
27.99/28.05	o 1075488582032946
28.29/28.33	o 1073850182032946
28.39/28.45	o 1072211782032946
28.50/28.59	o 1072109382032946
28.69/28.71	o 1071904582032946
29.60/29.69	o 955483080748886
29.79/29.82	o 955073480748886
29.89/29.94	o 954971080748886
29.99/30.07	o 954561480748886
30.09/30.19	o 954356680748886
30.39/30.48	o 954151881113886
30.59/30.61	o 954049481113886
30.70/30.74	o 954049481011686
30.80/30.87	o 954049480602886
30.89/30.99	o 954049480398486
31.09/31.12	o 954049478763286
31.19/31.25	o 954049477945686
31.29/31.37	o 954049477894586
31.49/31.50	o 954049471353786
31.59/31.62	o 954049468083386
31.69/31.75	o 954049441920186
31.80/31.87	o 954049428838586
31.99/32.00	o 954048591616186
32.09/32.12	o 954045242726586
32.19/32.24	o 954038544947386
32.29/32.37	o 953991660492986
32.39/32.49	o 953991555840186
32.59/32.61	o 953991503513786
32.69/32.74	o 953991294208186
32.79/32.86	o 953990875596986
32.90/32.98	o 953990866252986
33.09/33.11	o 953990866106986
33.19/33.23	o 953990866033986
33.29/33.35	o 953990679153986
33.39/33.46	o 953990585713986
33.49/33.58	o 953990584545986
33.69/33.70	o 953990491105986
33.79/33.82	o 953990304225986
33.89/33.93	o 953990303641986
34.00/34.05	o 953990303349986
34.10/34.16	o 953990256629986
34.29/34.30	o 953989942145986
34.39/34.41	o 953989930465986
34.49/34.53	o 953989927545986
34.59/34.64	o 953989904185986
34.69/34.76	o 953989898345986
34.79/34.87	o 953989896885986
34.89/34.98	o 953989896155986
34.99/35.10	o 953887496155986
35.10/35.21	o 953886748635986
35.29/35.32	o 953477148635986
35.39/35.43	o 952657948635986
35.49/35.54	o 951019548635986
35.59/35.65	o 950814748635986
35.69/35.76	o 947537948635986
35.79/35.87	o 947128348635986
35.89/35.98	o 946923548635986
36.09/36.18	o 946923547701586
36.20/36.26	o 920709147701586
36.30/36.38	o 917432347701586
36.39/36.49	o 910878747701586
36.49/36.59	o 909240347701586
36.69/36.70	o 908421147701586
36.79/36.85	o 908411579445586
36.89/36.96	o 908373306421586
36.99/37.07	o 908368522293586
37.09/37.16	o 907774602293586
37.19/37.27	o 907750681653586
37.30/37.37	o 907750676820306
37.40/37.48	o 907749480788306
37.49/37.58	o 907747088724306
37.59/37.69	o 907747079057746
37.69/37.80	o 906538759057746
37.89/37.90	o 905934599057746
37.99/38.07	o 905934598590546
38.09/38.18	o 905919289380946
38.19/38.28	o 905919266020946
38.29/38.39	o 905919018557010
38.40/38.49	o 905919006877010
38.50/38.60	o 905919004460370
38.69/38.70	o 905919003252050
38.79/38.80	o 905919002647890
38.89/38.91	o 905478682647890
38.99/39.01	o 905325590551890
38.99/39.09	o 905324394519890
39.09/39.19	o 905324389847890
39.19/39.27	o 905324389774890
39.29/39.37	o 905324352398890
39.39/39.47	o 905319568270890
39.50/39.57	o 905319549582890
39.60/39.67	o 905319547246890
39.69/39.77	o 905319537902890
39.79/39.87	o 905318939886890
39.89/39.96	o 905317444846890
39.99/40.06	o 905305484526890
40.09/40.16	o 905302494446890
40.19/40.26	o 905296514286890
40.29/40.35	o 905272593646890
40.39/40.45	o 905224752366890
40.49/40.55	o 905224752001890
40.60/40.63	o 905224004481890
40.70/40.72	o 905223957761890
40.79/40.82	o 905223956301890
40.89/40.91	o 905223950461890
40.99/41.01	o 905223949731890
41.09/41.10	o 905223946811890
41.09/41.19	o 905220956731890
41.19/41.28	o 905220582971890
41.29/41.37	o 905220489531890
41.39/41.45	o 905220302651890
41.70/41.79	o 905184061002540
41.80/41.87	o 905184060958740
41.89/41.96	o 905161097144340
41.99/42.04	o 905161096443540
42.09/42.12	o 905160737633940
42.19/42.20	o 905160647931540
42.19/42.28	o 905159930312340
42.29/42.36	o 905159928910740
42.39/42.44	o 905159928888840
42.49/42.52	o 905159928801240
42.59/42.60	o 905159749396440
42.59/42.68	o 905158314158040
42.69/42.76	o 901881514158040
42.80/42.84	o 900243114158040
42.90/42.91	o 899055274158040
42.90/42.99	o 898614954158040
42.99/43.06	o 898614953574040
43.09/43.13	o 898595817062040
43.19/43.20	o 898557544038040
43.19/43.28	o 898480997990040
43.29/43.35	o 898480997807540
43.39/43.42	o 898480997575400
43.49/43.50	o 872266597575400
43.49/43.57	o 872265999559400
43.59/43.63	o 872264803527400
43.69/43.70	o 872226530503400
43.69/43.77	o 872216962247400
43.79/43.84	o 872212178119400
43.90/43.93	o 872173905095400
43.90/44.00	o 872173904912900
44.09/44.15	o 872149984272900
44.19/44.21	o 871958619152900
44.19/44.29	o 871933503429900
44.29/44.36	o 871933502261900
44.39/44.44	o 871885660981900
44.49/44.51	o 871861740341900
44.49/44.59	o 871849780021900
44.59/44.66	o 871846789941900
44.69/44.73	o 871751107381900
44.79/44.81	o 871749612341900
44.79/44.88	o 871743632181900
47.59/47.65	o 834430071808160
47.69/47.76	o 834430071691360
47.79/47.89	o 834429114865760
47.99/48.01	o 834428636452960
48.09/48.13	o 833240796452960
48.19/48.25	o 832800476452960
48.30/48.35	o 832800448420960
48.40/48.47	o 832800434404960
48.49/48.59	o 832800430900960
48.69/48.72	o 832800423892960
48.79/48.84	o 832800311764960
48.89/48.97	o 832800255700960
48.99/49.09	o 832799358676960
49.19/49.22	o 832798910164960
49.29/49.35	o 832696510164960
49.40/49.47	o 832696505331680
49.59/49.60	o 832256185331680
49.69/49.72	o 832051385331680
49.79/49.84	o 831846585331680
49.89/49.96	o 831078585331680
49.99/50.05	o 830976185331680
50.09/50.17	o 830771385331680
50.29/50.36	o 830771385302480
50.39/50.48	o 830771379696080
50.50/50.60	o 830764681916880
50.69/50.70	o 830764680048080
50.79/50.81	o 830707270512080
50.89/50.92	o 830697702256080
50.99/51.03	o 830692918128080
51.09/51.15	o 830692619120080
51.19/51.25	o 830691423088080
51.29/51.35	o 830690825072080
51.39/51.47	o 830690822736080
51.49/51.57	o 830690813392080
51.60/51.68	o 830690808720080
51.89/51.98	o 830642967440080
52.09/52.19	o 830642967257580
52.29/52.31	o 830619046617580
52.39/52.41	o 830619041945580
52.49/52.53	o 830619040777580
52.59/52.64	o 830619031433580
52.70/52.74	o 830619012745580
52.80/52.85	o 830619010409580
52.89/52.95	o 830617515369580
52.99/53.06	o 830605555049580
53.09/53.14	o 804391155049580
53.19/53.21	o 804391153180780
53.19/53.26	o 804391003676780
53.29/53.37	o 804390997836780
53.39/53.46	o 804390979148780
53.49/53.53	o 804367058508780
53.59/53.60	o 803984328268780
53.59/53.67	o 803984328035180
53.69/53.74	o 803965191523180
53.69/53.81	o 801589511523180
53.80/53.87	o 801589510939180
53.80/53.91	o 801581856334380
53.99/54.01	o 801390491214380
53.99/54.09	o 801359872795180
54.09/54.15	o 801359869875180
54.19/54.24	o 801359846515180
54.29/54.34	o 801359799795180
54.39/54.40	o 801359788115180
54.49/54.50	o 801359764755180
54.49/54.58	o 801359753075180
54.59/54.66	o 801359706355180
54.69/54.74	o 801359703435180
54.79/54.84	o 801359697595180
54.79/54.90	o 801358950075180
54.90/54.99	o 801358576315180
55.00/55.06	o 801357081275180
55.09/55.15	o 801356894395180
55.19/55.21	o 801356800955180
55.29/55.31	o 800752640955180
55.29/55.38	o 800704799675180
55.39/55.47	o 800703304635180
55.49/55.56	o 800703155131180
55.59/55.64	o 800703117755180
55.69/55.72	o 800703099067180
56.19/56.23	o 800698314939180
56.29/56.30	o 800697118907180
56.39/56.46	o 800697118856080
56.49/56.56	o 800697118753880
56.59/56.64	o 800697102401880
56.79/56.85	o 800697101584280
56.89/56.93	o 800697101379880
56.99/57.02	o 800697099744680
56.99/57.09	o 800594699744680
57.10/57.17	o 799386379744680
57.20/57.25	o 798946059744680
57.29/57.33	o 794112779744680
57.39/57.41	o 793907979744680
57.39/57.49	o 791491339744680
57.49/57.57	o 791388939744680
57.59/57.65	o 791184139744680
57.59/57.69	o 791179355616680
57.69/57.77	o 791076955616680
57.79/57.84	o 791074563552680
57.89/57.92	o 790869763552680
57.99/58.00	o 790868268512680
58.09/58.13	o 790868081632680
58.09/58.20	o 790868058272680
58.20/58.28	o 790868055352680
58.30/58.35	o 790867681592680
58.39/58.43	o 790867681410180
58.49/58.51	o 790867681045180
58.49/58.59	o 790867634325180
58.59/58.66	o 790867628485180
58.69/58.74	o 790867535045180
58.79/58.82	o 790866040005180
58.89/58.94	o 790866028499285
58.99/59.03	o 790865280979285
59.09/59.11	o 790863367328085
59.19/59.20	o 790848058118485
59.19/59.28	o 790817439699285
59.30/59.37	o 790817437830485
59.40/59.45	o 790813610528085
59.49/59.57	o 787536810528085
59.59/59.65	o 787536809944085
59.69/59.73	o 787536805272085
59.79/59.81	o 787536805126085
59.79/59.89	o 787536803958085
59.89/59.97	o 787536205942085
59.99/60.05	o 787536187254085
60.09/60.13	o 787536177910085
60.19/60.21	o 787536177618085
60.19/60.29	o 787536140242085
60.29/60.37	o 787126540242085
60.40/60.44	o 787024140242085
60.50/60.52	o 784648460242085
60.50/60.59	o 784443660242085
60.59/60.66	o 783624460242085
60.69/60.76	o 783280003026085
60.79/60.85	o 783276175723685
60.89/60.93	o 783245557304485
60.99/61.00	o 783245555435685
60.99/61.07	o 783243641784485
61.09/61.19	o 781605241784485
61.19/61.28	o 781566968760485
61.29/61.35	o 781490422712485
61.39/61.51	o 781471286200485
61.60/61.62	o 781442581432485
61.60/61.68	o 781423444920485
61.69/61.75	o 781417464760485
62.09/62.17	o 781072826590485
62.19/62.23	o 781069836510485
62.19/62.27	o 781068341470485
62.29/62.34	o 781067593950485
62.29/62.39	o 781067220190485
62.39/62.46	o 781067033310485
62.49/62.52	o 781066939870485
62.49/62.59	o 781066893150485
62.60/62.65	o 781066881470485
62.70/62.72	o 781066858110485
62.70/62.78	o 781066852270485
62.79/62.85	o 781066849350485
62.89/62.91	o 781066847890485
62.89/62.98	o 781066847160485
63.19/63.26	o 781066774240785
63.49/63.51	o 676230942300585
63.49/63.58	o 676076973660585
63.59/63.65	o 676074581596585
63.70/63.72	o 676065013340585
63.70/63.81	o 676065013224515
63.80/63.89	o 624299024258115
72.50/72.52	o 582365779053395
72.60/72.63	o 582365778980395
72.69/72.78	o 582365778922360
72.89/72.92	o 582365778849360
72.99/73.06	o 582365769505360
73.19/73.20	o 582365769213360
73.29/73.33	o 582365769067360
73.39/73.48	o 582365768483360
73.49/73.61	o 582365767315360
73.70/73.74	o 582365748627360
73.79/73.88	o 582365743955360
73.99/74.01	o 582365741619360
74.09/74.14	o 581546541619360
74.19/74.28	o 581136941619360
74.39/74.41	o 581034541619360
74.49/74.54	o 574480941619360
74.59/74.68	o 572105261619360
74.80/74.82	o 572002861619360
74.89/74.92	o 571798061619360
74.99/75.06	o 570978861619360
75.19/75.21	o 570876461619360
75.29/75.34	o 570774061619360
75.39/75.47	o 570774059867360
75.59/75.60	o 570774059429360
75.69/75.74	o 570774055925360
75.80/75.86	o 570774055049360
75.99/76.00	o 570774048041360
76.09/76.12	o 569135648041360
76.19/76.26	o 568726048041360
76.29/76.38	o 568623648041360
76.49/76.52	o 568418848041360
76.59/76.69	o 568342301993360
76.79/76.83	o 568189209897360
76.90/76.96	o 567748889897360
77.19/77.21	o 567748889746320
77.29/77.34	o 567339289746320
77.59/77.69	o 567339287329680
77.89/77.94	o 567339277663120
78.00/78.06	o 567134477663120
78.10/78.19	o 566724877663120
78.29/78.32	o 566720691551120
78.39/78.45	o 566720243039120
78.49/78.57	o 566720018783120
78.69/78.70	o 566718224735120
78.79/78.82	o 566717327711120
78.89/78.95	o 566717299679120
78.99/79.07	o 566717243615120
79.10/79.19	o 566717131487120
79.29/79.31	o 566717117471120
79.39/79.44	o 566700373023120
79.49/79.56	o 566700111391120
79.59/79.68	o 566700045983120
79.69/79.79	o 566700037807120
79.89/79.91	o 566699514543120
79.99/80.03	o 566698468015120
80.09/80.15	o 566698337199120
80.20/80.26	o 566696244143120
80.30/80.38	o 566696211439120
80.39/80.49	o 566696207351120
80.59/80.61	o 566593807351120
80.69/80.72	o 566593799875920
80.79/80.83	o 566593799759120
80.89/80.94	o 566593799291920
80.99/81.06	o 566593799058320
81.09/81.17	o 566593797189520
81.19/81.28	o 566593796255120
81.30/81.39	o 566593766354320
81.40/81.50	o 566593751403920
81.59/81.60	o 566593691602320
81.69/81.71	o 566591299538320
81.79/81.81	o 566591295800720
81.89/81.92	o 566591176197520
82.09/82.19	o 566572039685520
82.19/82.28	o 566533766661520
82.29/82.39	o 566532809835920
82.69/82.71	o 564894409835920
82.69/82.79	o 564792009835920
82.79/82.87	o 538577609835920
82.89/82.98	o 538577430431120
83.09/83.10	o 538573842335120
83.19/83.21	o 536935442335120
83.19/83.29	o 536935441970120
83.29/83.39	o 536922046411720
83.39/83.50	o 536921209189320
83.50/83.61	o 536919534744520
83.69/83.76	o 536915348632520
83.79/83.85	o 536915348428120
83.89/83.95	o 536915348245620
83.99/84.06	o 536915347515620
84.09/84.17	o 536915346055620
84.19/84.28	o 536913851015620
84.29/84.38	o 536837783380420
84.39/84.47	o 536685648110020
84.60/84.65	o 536684900590020
84.70/84.75	o 536681910510020
84.79/84.86	o 536657989870020
84.89/84.96	o 536646029550020
84.99/85.06	o 536543629550020
85.09/85.16	o 534905229550020
85.19/85.27	o 534905192174020
85.29/85.36	o 533266792174020
85.39/85.46	o 533266642670020
85.49/85.56	o 533265446638020
85.58/85.65	o 533260662510020
85.70/85.75	o 533251094254020
85.80/85.85	o 533250795246020
85.89/85.94	o 533250197230020
85.99/86.04	o 533250159854020
86.09/86.14	o 533250085102020
86.19/86.23	o 533249935598020
86.29/86.33	o 533243955438020
86.39/86.43	o 533220034798020
86.49/86.52	o 533218539758020
86.59/86.62	o 533215549678020
86.69/86.71	o 533215549495520
86.90/86.98	o 533215549130520
86.99/87.07	o 533214801610520
87.09/87.17	o 533214778250520
87.19/87.26	o 533214731530520
87.29/87.36	o 533214544650520
87.39/87.45	o 533214170890520
87.49/87.54	o 533214159210520
87.59/87.64	o 533214065770520
87.69/87.73	o 533214065040520
87.79/87.82	o 533214063580520
87.90/87.91	o 533214057740520
87.90/88.00	o 533214054820520
88.00/88.09	o 533213456804520
88.09/88.18	o 533175183780520
88.19/88.27	o 533156047268520
88.29/88.36	o 533156009892520
88.39/88.45	o 533155991204520
88.49/88.54	o 533155990620520
88.59/88.63	o 533155989452520
88.69/88.71	o 533155987116520
88.79/88.80	o 533155982444520
88.79/88.89	o 533155973100520
88.89/88.97	o 533154777068520
89.00/89.06	o 533152385004520
89.10/89.14	o 533147600876520
89.19/89.23	o 533147600584520
89.29/89.31	o 533147525832520
89.39/89.40	o 533147376328520
89.39/89.48	o 532553456328520
89.49/89.57	o 531959536328520
89.59/89.62	o 531957144264520
89.69/89.70	o 531938007752520
89.69/89.78	o 531935615688520
89.79/89.88	o 531930831560520
89.89/89.95	o 531930794184520
89.99/90.03	o 531930784840520
90.10/90.11	o 531930780168520
90.10/90.20	o 531930760835400
90.29/90.33	o 531930714115400
90.39/90.40	o 531929219075400
90.39/90.47	o 531929032195400
90.49/90.55	o 531833349635400
90.59/90.62	o 531730949635400
90.59/90.69	o 531692676611400
90.69/90.78	o 531686696451400
90.79/90.85	o 531674736131400
90.89/90.92	o 531626894851400
90.99/91.02	o 531524494851400
90.99/91.09	o 531084174851400
91.09/91.16	o 528744080899400
91.09/91.19	o 528739296771400
91.20/91.22	o 528736904707400
91.20/91.30	o 528696239619400
91.30/91.37	o 528623752099400
91.69/91.74	o 502558781493400
91.79/91.82	o 502520508469400
91.89/91.90	o 502515724341400
91.89/91.98	o 502513332277400
101.38/101.47	o 502513179639422
101.58/101.62	o 502513167959422
101.68/101.77	o 502513167842622
101.88/101.93	o 502513166908222
101.98/102.08	o 502513047305022
102.20/102.24	o 502513047071422
102.30/102.39	o 502513043333822
102.48/102.55	o 502513043275422
102.68/102.70	o 502513043041822
102.78/102.85	o 502513041173022
102.98/103.01	o 502513011272222
103.08/103.16	o 502512951470622
103.18/103.31	o 502512947733022
103.40/103.46	o 502512940257822
103.58/103.61	o 502512925307422
103.68/103.77	o 502512925015422
103.89/103.92	o 502512923847422
103.99/104.07	o 502512916372222
104.19/104.22	o 502512901421822
104.29/104.37	o 502512871521022
104.50/104.52	o 502512869652222
104.59/104.66	o 502512809850622
104.79/104.81	o 502512809383422
104.89/104.96	o 502512330970622
105.09/105.11	o 502512330678622
105.19/105.25	o 502512328342622
105.38/105.40	o 502512309654622
105.50/105.55	o 502512234902622
105.60/105.69	o 502512230230622
105.78/105.84	o 502512229062622
105.88/105.98	o 502512219718622
106.08/106.13	o 502512182342622
106.18/106.27	o 502512181758622
106.38/106.42	o 502512181612622
106.48/106.56	o 502512178108622
106.60/106.70	o 502512177232622
106.78/106.85	o 502512175480622
106.88/106.99	o 502512156147502
107.08/107.13	o 502510960115502
107.18/107.27	o 502510481702702
107.38/107.42	o 502510003289902
107.48/107.56	o 502407603289902
107.58/107.70	o 502202803289902
107.80/107.84	o 502202564083502
107.88/107.98	o 502202444480302
108.08/108.12	o 501997644480302
108.18/108.26	o 501895244480302
108.28/108.40	o 499519564480302
108.48/108.53	o 499109964480302
108.58/108.67	o 492556364480302
108.68/108.81	o 492556364246702
108.90/108.93	o 492554450595502
108.98/109.06	o 492554450537102
109.18/109.20	o 492553493711502
109.28/109.34	o 492553492777102
109.38/109.47	o 492553490908302
109.58/109.60	o 492553487170702
109.68/109.74	o 492549659868302
109.78/109.87	o 492545832565902
110.00/110.05	o 490907432565902
110.09/110.18	o 487630632565902
110.29/110.31	o 487630593899662
110.39/110.44	o 487528193899662
110.49/110.56	o 487527715486862
110.59/110.69	o 487526758661262
110.79/110.82	o 487321958661262
110.89/110.95	o 486912358661262
111.00/111.08	o 486881740242062
111.19/111.21	o 486877912939662
111.29/111.33	o 486877912005262
111.39/111.46	o 486870257400462
111.49/111.59	o 486870197598862
111.69/111.71	o 486854888389262
111.79/111.83	o 486854873438862
111.88/111.96	o 486854873205262
111.98/112.08	o 486854872738062
112.10/112.20	o 486854867131662
112.28/112.32	o 486854149512462
112.38/112.44	o 486815876488462
112.58/112.61	o 486813006011662
112.78/112.82	o 486812977979662
112.88/112.92	o 486812529467662
113.08/113.14	o 486810137403662
113.20/113.26	o 486795785019662
113.30/113.38	o 486791000891662
113.38/113.49	o 486785259938062
113.58/113.61	o 483508459938062
113.68/113.73	o 476954859938062
113.78/113.85	o 476931896123662
113.88/113.95	o 476522296123662
113.98/114.06	o 476522109243662
114.08/114.17	o 476520614203662
114.18/114.26	o 476315814203662
114.30/114.37	o 476111014203662
114.40/114.44	o 473735334203662
114.48/114.56	o 473632934203662
114.58/114.66	o 473223334203662
114.68/114.78	o 473120934203662
114.78/114.89	o 473116150075662
115.18/115.22	o 473115552059662
115.40/115.43	o 473114954043662
115.50/115.55	o 473113758011662
115.59/115.67	o 473111365947662
115.78/115.88	o 473110169915662
115.89/115.99	o 473109571899662
116.09/116.10	o 473107179835662
116.29/116.31	o 473004779835662
116.39/116.42	o 472902379835662
116.50/116.54	o 472897595707662
116.60/116.65	o 472894605627662
116.69/116.76	o 472870684987662
116.79/116.87	o 472864704827662
116.89/116.98	o 472840784187662
116.99/117.08	o 472816863547662
117.09/117.19	o 472813873467662
117.29/117.30	o 472813574459662
117.39/117.41	o 472813424955662
117.49/117.52	o 472812826939662
117.60/117.62	o 472810434875662
117.70/117.73	o 472786514235662
117.79/117.84	o 472738672955662
117.89/117.95	o 472735682875662
117.99/118.05	o 472729702715662
118.09/118.15	o 472723722555662
118.19/118.25	o 469446922555662
118.29/118.38	o 469427786043662
118.39/118.47	o 469426590011662
118.48/118.57	o 469424197947662
118.58/118.67	o 469419413819662
118.70/118.77	o 469419395131662
118.80/118.86	o 469419394985662
118.88/118.94	o 469419394693662
118.98/119.03	o 469419357317662
119.08/119.12	o 469419207813662
119.18/119.21	o 469419207229662
119.28/119.30	o 469419207156662
119.28/119.38	o 469419132404662
119.38/119.48	o 469417936372662
119.48/119.56	o 469417338356662
119.58/119.65	o 469417336020662
119.68/119.74	o 469412551892662
119.90/119.91	o 469402983636662
119.98/120.00	o 469391023316662
119.98/120.08	o 469379062996662
120.18/120.22	o 469367102676662
120.28/120.31	o 469361122516662
120.28/120.39	o 469337201876662
120.38/120.47	o 469334211796662
120.48/120.56	o 469286370516662
120.58/120.67	o 468846050516662
120.68/120.75	o 468846027156662
120.78/120.84	o 468844113505462
120.78/120.91	o 468843989773494
120.90/121.00	o 468828618697910
121.00/121.06	o 468790345673910
121.09/121.14	o 468787953609910
121.19/121.22	o 468768817097910
121.29/121.30	o 468759248841910
121.29/121.38	o 468754464713910
121.69/121.75	o 466493836017302
121.79/121.84	o 466493809854102
121.89/121.93	o 466493809036502
122.01/122.03	o 466493805766102
122.11/122.12	o 466391405766102
122.19/122.22	o 466391405357302
122.29/122.31	o 466391405255102
122.39/122.41	o 466391352928702
122.49/122.50	o 466391248275902
122.49/122.59	o 466391241735102
122.59/122.69	o 466391240099902
122.69/122.78	o 465572040099902
132.89/132.97	o 460721063558116
133.01/133.09	o 460721062397416
133.19/133.22	o 460721060076016
133.29/133.34	o 460721055433216
133.39/133.47	o 460721046147616
133.49/133.59	o 460721043811616
133.69/133.72	o 460721042877216
133.79/133.84	o 460721042694716
133.89/133.97	o 460719547654716
133.99/134.10	o 460719547362716
134.21/134.22	o 460719545026716
134.29/134.35	o 460719540354716
134.39/134.47	o 460719539186716
134.59/134.60	o 460719529842716
134.69/134.72	o 460719529258716
134.79/134.84	o 460719529112716
134.89/134.97	o 460719491736716
134.99/135.09	o 460714707608716
135.21/135.21	o 460714632856716
135.31/135.34	o 460714034840716
135.39/135.46	o 460714016152716
135.49/135.58	o 460713717144716
135.69/135.70	o 460713567640716
135.79/135.83	o 460713567173516
135.89/135.94	o 460712610347916
135.99/136.06	o 460712131935116
136.09/136.18	o 460609731935116
136.19/136.30	o 460404931935116
136.41/136.42	o 460404931916866
136.49/136.54	o 460404931880366
136.59/136.66	o 460395423425966
136.69/136.79	o 459985823425966
136.89/136.91	o 459781023425966
136.99/137.03	o 459780425409966
137.09/137.15	o 459678025409966
137.19/137.27	o 459268425409966
137.29/137.38	o 459166025409966
137.41/137.50	o 458961225409966
137.59/137.61	o 458957398107566
137.69/137.73	o 458957338679726
137.79/137.85	o 452403738679726
137.89/137.97	o 451584538679726
137.99/138.09	o 451582625028526
138.19/138.21	o 451582535326126
138.29/138.33	o 451172935326126
138.39/138.45	o 451149014686126
138.50/138.57	o 451129878174126
138.61/138.69	o 438022678174126
138.79/138.80	o 436384278174126
138.89/138.91	o 436384098769326
138.99/139.02	o 436384095055086
144.39/144.46	o 436314570955434
144.59/144.61	o 436312178891434
144.69/144.75	o 436310982859434
144.79/144.88	o 436310384843434
144.99/145.03	o 436304404683434
145.11/145.16	o 436299620555434
145.21/145.29	o 436299381349034
145.39/145.42	o 436298902936234
145.59/145.68	o 436298902877834
145.79/145.83	o 436298902761034
145.89/145.97	o 436298902731834
146.09/146.13	o 436298424319034
146.21/146.27	o 436298304715834
146.39/146.42	o 436298244914234
146.49/146.56	o 436298005707834
146.69/146.71	o 436195605707834
146.79/146.86	o 435990805707834
146.99/147.01	o 435988892056634
147.09/147.15	o 435987935231034
147.19/147.30	o 435885535231034
147.41/147.45	o 435877880626234
147.49/147.59	o 435673080626234
147.69/147.74	o 434034680626234
147.79/147.88	o 434033723800634
147.99/148.03	o 434033723742234
148.09/148.18	o 433214523742234
148.29/148.32	o 433214493841434
148.41/148.46	o 433183875422234
148.59/148.61	o 432743555422234
148.69/148.75	o 432743256414234
148.89/148.90	o 432640856414234
148.99/149.04	o 432231256414234
149.19/149.25	o 432026456414234
149.29/149.39	o 431207256414234
149.51/149.61	o 429056856414234
149.69/149.74	o 428954456414234
150.71/150.76	o 403646887750730
150.79/150.88	o 402008487750730
150.99/151.00	o 400370087750730
151.09/151.12	o 400267687750730
151.19/151.25	o 399448487750730
151.30/151.37	o 398629287750730
151.49/151.54	o 398629241030730
151.59/151.66	o 398629238110730
151.71/151.78	o 398629237380730
151.89/151.90	o 398629214020730
151.99/152.02	o 398629027140730
152.09/152.14	o 398629021300730
152.19/152.26	o 398628927860730
152.29/152.39	o 398628926400730
152.49/152.51	o 398628914720730
152.59/152.63	o 395352114720730
152.69/152.74	o 388798514720730
156.89/156.93	o 385662667038576
156.99/157.07	o 385662663300976
157.21/157.23	o 385662659563376
157.31/157.38	o 385662658103376
157.50/157.53	o 385655003498576
157.60/157.68	o 385624385079376
157.80/157.82	o 385521985079376
165.69/165.73	o 353203156104096
165.79/165.86	o 353203153184096
165.89/166.00	o 353203152454096
166.11/166.14	o 353203150994096
166.19/166.28	o 353203113851696
166.39/166.40	o 353203095280496
166.49/166.54	o 353203087805296
166.59/166.67	o 353203084067696
166.79/166.81	o 353203082198896
166.89/166.94	o 353203082123376
166.99/167.08	o 353203081821296
167.11/167.19	o 353203081217136
167.21/167.27	o 353203081066096
167.39/167.40	o 353203081028336
167.49/167.53	o 353203078692336
167.59/167.67	o 353203078400336
167.69/167.79	o 353203077232336
167.79/167.86	o 353203077086336
167.89/167.98	o 353203076502336
168.09/168.11	o 353202119676736
168.21/168.23	o 353201745916736
168.31/168.36	o 353201734236736
168.39/168.48	o 353200986716736
168.59/168.61	o 353200930652736
168.69/168.74	o 353194950492736
168.79/168.86	o 353194800988736
168.99/169.00	o 353194796316736
169.09/169.13	o 353193600284736
169.19/169.26	o 353193376028736
169.31/169.40	o 353193375678336
169.50/169.52	o 353193375503136
169.70/169.75	o 353193374276736
169.90/169.99	o 353193374254836
170.10/170.12	o 353193373554036
170.30/170.37	o 352988574276736
170.41/170.50	o 352988573692736
170.60/170.63	o 352394653692736
170.70/170.76	o 352394653108736
171.00/171.08	o 352394648436736
171.29/171.33	o 352394611060736
171.39/171.46	o 351954291060736
171.51/171.60	o 351800691060736
171.69/171.72	o 351800392052736
171.79/171.84	o 351800389716736
171.89/171.96	o 351360069716736
172.19/172.23	o 351360007850752
172.29/172.34	o 351359822252800
172.39/172.47	o 351359791319808
172.49/172.59	o 351359787453184
172.61/172.71	o 350950187453184
172.79/172.83	o 346198827453184
172.99/173.00	o 345994027453184
173.09/173.17	o 345983472470784
173.19/173.28	o 345982994057984
173.39/173.40	o 345982964157184
173.49/173.50	o 345982963222784
173.59/173.62	o 345542643222784
173.71/173.72	o 344948723222784
173.81/173.84	o 344948663421184
173.89/173.95	o 344944836118784
174.29/174.34	o 344943640086784
174.39/174.49	o 344124440086784
174.59/174.61	o 343919640086784
174.69/174.71	o 340642840086784
174.81/174.83	o 340642242070784
174.91/174.94	o 340637457942784
175.00/175.04	o 340627889686784
175.10/175.16	o 340625497622784
175.40/175.45	o 340621670320384
175.50/175.56	o 340621431113984
175.60/175.66	o 340621311510784
175.70/175.77	o 340590693091584
175.80/175.87	o 340589736265984
175.91/175.97	o 338951336265984
176.90/176.91	o 338852266429184
177.01/177.02	o 338852251478784
177.11/177.13	o 338852228118784
177.20/177.23	o 338852227388784
177.30/177.34	o 338852040508784
177.40/177.45	o 338852037588784
177.50/177.56	o 338852025908784
177.60/177.67	o 338851979188784
177.69/177.77	o 338851885748784
177.79/177.88	o 338851879908784
177.89/177.98	o 338849502795184
177.99/178.09	o 338849383939504
178.11/178.19	o 338849369082544
178.29/178.30	o 338848893659824
178.39/178.40	o 338848891802704
178.49/178.50	o 338848862088784
178.59/178.61	o 338847911243344
178.69/178.71	o 338847907529104
178.79/178.81	o 338847669817744
178.89/178.91	o 338847662389264
178.99/179.01	o 338843859007504
179.09/179.11	o 338841957316624
179.09/179.21	o 338841209796624
179.21/179.31	o 338840836036624
179.39/179.41	o 338839340996624
179.49/179.59	o 338839331652624
179.79/179.85	o 338839284932624
179.89/179.95	o 338839279092624
179.99/180.05	o 338839255732624
180.09/180.14	o 338839162292624
180.19/180.23	o 338839159372624
180.31/180.33	o 338838972492624
180.41/180.42	o 338838960812624
180.49/180.52	o 338838959352624
180.59/180.61	o 338736559352624
180.69/180.70	o 338736484600624
180.79/180.80	o 338736447224624
180.79/180.89	o 338736292559664
180.89/180.98	o 337097892559664
180.99/181.07	o 337096696527664
181.09/181.16	o 337096098511664
181.19/181.26	o 337091314383664
181.30/181.35	o 337091015375664
181.41/181.44	o 337088623311664
181.80/181.89	o 337087385991984
181.90/181.96	o 336666202503984
182.00/182.03	o 336647065991984
182.10/182.19	o 335438745991984
182.20/182.27	o 335437250951984
182.30/182.35	o 335437157511984
182.40/182.44	o 335436970631984
182.51/182.53	o 335436596871984
202.09/202.18	o 333619337609484
202.19/202.31	o 333619337580284
202.41/202.46	o 333619337288284
202.59/202.61	o 333619337142284
202.69/202.75	o 333619336959784
202.89/202.90	o 333619336813784
202.99/203.04	o 333619336740784
203.09/203.18	o 333619336623984
203.29/203.33	o 333619336565584
203.41/203.47	o 333619336331984
203.59/203.61	o 333619336258984
203.69/203.75	o 333619333922984
203.79/203.89	o 333619333776984
203.99/204.04	o 333619333484984
204.09/204.18	o 333619333338984
204.29/204.32	o 333619333302484
204.39/204.45	o 333619333229484
204.50/204.59	o 333619332645484
204.69/204.73	o 333619327973484
204.79/204.87	o 333619318629484
204.99/205.01	o 333619299941484
205.09/205.15	o 333619299868484
205.19/205.29	o 333619297532484
205.39/205.42	o 333619295196484
205.49/205.56	o 333619294612484
205.61/205.70	o 333619275924484
205.79/205.83	o 333619238548484
205.89/205.97	o 333619163796484
206.09/206.10	o 333619126420484
206.19/206.24	o 333619107732484
206.29/206.37	o 333619106564484
206.49/206.50	o 333619104228484
206.59/206.64	o 333619099556484
206.71/206.77	o 333619090212484
206.89/206.90	o 333619085379204
206.99/207.03	o 333619010627204
207.09/207.16	o 333618711619204
207.19/207.30	o 333617515587204
207.39/207.42	o 333616917571204
207.49/207.55	o 333615721539204
207.59/207.68	o 333615347779204
207.69/207.81	o 333615160899204
207.91/207.94	o 333614413379204
207.99/208.07	o 333611423299204
208.09/208.19	o 333609928259204
208.29/208.32	o 333609180739204
208.39/208.45	o 333606190659204
208.49/208.57	o 333605443139204
208.69/208.70	o 333603948099204
208.79/208.82	o 333603574339204
208.91/208.94	o 333603573130884
209.01/209.07	o 333603570714244
209.09/209.19	o 333602075674244
209.29/209.32	o 333554234394244
209.39/209.44	o 333548254234244
209.49/209.56	o 333524333594244
209.59/209.68	o 333512373274244
209.89/209.93	o 332918453274244
210.19/210.22	o 332099253274244
210.39/210.42	o 331689653274244
210.49/210.58	o 330051253274244
210.79/210.80	o 330050206746244
210.89/210.98	o 330048113690244
210.99/211.10	o 330043329562244
211.21/211.22	o 330043303399044
211.29/211.33	o 330043296858244
211.39/211.45	o 330043244531844
211.49/211.56	o 330043243714244
211.59/211.67	o 330043242079044
211.69/211.79	o 330042823467844
211.89/211.90	o 330042823416744
211.99/212.01	o 330042823007944
212.09/212.13	o 330042822905744
212.21/212.24	o 330042613600144
212.31/212.35	o 330042610329744
212.39/212.46	o 330042610125344
212.49/212.57	o 330042505472544
212.59/212.68	o 330039634995744
212.79/212.81	o 330031023565344
212.89/212.92	o 330030305946144
212.99/213.02	o 330028870707744
213.09/213.13	o 330028511898144
213.19/213.23	o 330028467046944
213.31/213.34	o 330028444621344
213.41/213.44	o 330028265216544
213.49/213.55	o 330028254003744
213.59/213.65	o 330028253828544
213.69/213.76	o 330028248222144
213.79/213.86	o 330028158519744
213.89/213.96	o 330028158475944
214.19/214.21	o 330004237835944
214.29/214.30	o 325252877835944
214.41/214.49	o 325150477835944
214.51/214.59	o 325140909579944
214.69/214.72	o 325128949259944
214.79/214.82	o 325116988939944
214.89/214.92	o 324676668939944
214.99/215.00	o 311569468939944
275.09/275.10	o 307416960168488
275.19/275.25	o 307416960168016
275.39/275.43	o 307416960152912
275.59/275.61	o 307416960094512
275.69/275.79	o 307416960094394
275.89/275.96	o 307416960094158
276.11/276.14	o 307416960093214
276.29/276.32	o 307416960042114
276.39/276.49	o 307416960034562
276.59/276.67	o 307416960005362
276.79/276.84	o 307416959975154
276.99/277.02	o 307416959945954
277.11/277.19	o 307416959942178
277.29/277.36	o 307416959883778
277.49/277.54	o 307416959824306
277.69/277.72	o 307416959765906
277.79/277.89	o 307416959649106
277.99/278.07	o 307416959415506
278.21/278.24	o 307416959196506
278.39/278.43	o 307415763164506
278.49/278.59	o 307415763047706
278.69/278.78	o 307313363047706
278.89/278.95	o 307108563047706
279.09/279.13	o 306698963047706
279.19/279.30	o 306695972967706
279.41/279.48	o 306695961287706
279.59/279.65	o 306695213767706
279.79/279.83	o 306695190407706
279.99/280.00	o 306693695367706
280.09/280.19	o 306693648647706
280.29/280.36	o 306693461767706
280.51/280.54	o 306693368327706
280.69/280.71	o 306692994567706
280.79/280.89	o 306692988727706
280.99/281.06	o 306692985807706
281.19/281.24	o 306692985077706
281.39/281.45	o 306692984931706
281.61/281.62	o 306692984858706
281.69/281.79	o 306692984712706
281.89/281.97	o 306692983544706
282.09/282.15	o 306692981208706
282.29/282.32	o 306692976536706
282.49/282.50	o 306692967192706
282.61/282.68	o 306692369176706
282.80/282.85	o 306692331800706
282.99/283.02	o 306692182296706
283.09/283.19	o 306692107544706
283.29/283.37	o 306691808536706
283.49/283.54	o 306691789848706
283.71/283.72	o 306689397784706
283.81/283.89	o 306679829528706
283.99/284.07	o 306085909528706
283.99/284.08	o 305645589528706
284.19/284.23	o 304457749528706
284.39/284.40	o 304450094923906
284.49/284.54	o 304450094807106
284.69/284.71	o 304448181155906
284.81/284.88	o 304444353853506
284.99/285.05	o 304444350115906
285.19/285.22	o 304443393290306
285.29/285.39	o 304443273687106
285.49/285.56	o 304443258736706
285.69/285.72	o 304443257802306
285.79/285.89	o 304443227901506
286.01/286.06	o 304442988695106
286.19/286.23	o 304442986826306
286.29/286.39	o 304442979351106
286.49/286.56	o 304442500938306
286.69/286.72	o 304442441136706
286.79/286.89	o 304442440903106
287.01/287.05	o 304442440435906
287.29/287.37	o 304340040435906
287.49/287.59	o 303520840435906
287.79/287.81	o 303316040435906
325.51/325.59	o 269895077976954
325.70/325.75	o 269895076516954
325.90/325.93	o 269895071844954
326.10/326.10	o 269895071801154
326.20/326.28	o 269895071436154
326.40/326.46	o 269895069684154
326.61/326.64	o 269895066180154
326.80/326.81	o 269895065304154
326.90/326.98	o 269895065085154
327.10/327.16	o 269895064647154
327.30/327.33	o 269895057639154
327.50/327.51	o 269895043623154
327.60/327.68	o 269895043331154
327.81/327.86	o 269895042747154
328.00/328.03	o 269895036907154
328.20/328.20	o 269895036542154
328.30/328.37	o 269895027198154
328.50/328.54	o 269895026030154
328.70/328.72	o 269895021358154
328.81/328.89	o 269895018438154
328.99/329.06	o 269895012598154
329.19/329.23	o 269895006758154
329.39/329.40	o 269895006637322
329.49/329.57	o 269895006636378
329.69/329.74	o 269895006394714
329.79/329.91	o 269895005664714
330.01/330.08	o 269895002744714
330.19/330.25	o 269894991064714
330.40/330.41	o 269894989604714
330.50/330.58	o 269894987735914
330.70/330.74	o 269894986801514
330.90/330.91	o 269894979326314
331.01/331.07	o 269894964375914
331.20/331.24	o 269894960638314
331.40/331.40	o 269894923262314
331.50/331.56	o 269894915787114
331.70/331.73	o 269894912049514
331.80/331.89	o 269894897099114
332.00/332.06	o 269894895230314
332.21/332.22	o 269894865329514
332.30/332.38	o 269894827953514
332.50/332.55	o 269894826785514
332.70/332.71	o 269894826767264
332.80/332.88	o 269894826475264
333.00/333.04	o 269894824139264
333.10/333.20	o 269894819467264
333.31/333.36	o 269894800779264
333.50/333.52	o 269894800742764
333.60/333.68	o 269894800158764
333.80/333.84	o 269894762782764
334.00/334.00	o 269894762709764
334.10/334.16	o 269894753365764
334.31/334.32	o 269894753219764
334.41/334.48	o 269894723318964
334.60/334.64	o 269894663517364
334.80/334.80	o 269894663473564
334.90/334.96	o 269894662071964
335.10/335.12	o 269894639646364
335.20/335.27	o 269894639631764
335.41/335.43	o 269894638463764
335.51/335.58	o 269894633791764
335.69/335.74	o 269894633755264
335.79/335.89	o 269894624411264
335.99/336.05	o 269894564609664
336.19/336.20	o 269894560872064
336.29/336.35	o 269894551528064
336.39/336.51	o 269894532840064
336.61/336.66	o 269894530504064
336.79/336.82	o 269894525832064
336.99/337.00	o 269894523788064
337.09/337.15	o 269894523671264
337.29/337.30	o 269894523612864
337.39/337.45	o 269894523379264
337.49/337.60	o 269894515904064
337.71/337.75	o 269894514969664
337.79/337.89	o 269894514940464
337.99/338.04	o 269894514473264
338.09/338.18	o 269894512604464
338.29/338.33	o 269894507932464
338.39/338.47	o 269894210793264
338.59/338.62	o 269894062223664
338.71/338.76	o 269893987938864
338.89/338.90	o 269892799382064
338.99/339.05	o 269892205103664
339.09/339.19	o 269892055599664
339.29/339.33	o 269880095279664
339.39/339.47	o 269879975676464
339.59/339.61	o 269879971938864
339.69/339.75	o 269879970070064
339.81/339.90	o 269879962594864
339.99/340.04	o 269777562594864
340.09/340.18	o 269777203785264
340.29/340.32	o 269777192572464
340.39/340.46	o 269674792572464
340.59/340.60	o 269674783228464
340.69/340.74	o 269572383228464
340.79/340.88	o 269469983228464
341.01/341.02	o 269466993148464
341.09/341.16	o 269461012988464
341.29/341.30	o 269460966268464
341.39/341.44	o 269460942908464
341.49/341.58	o 269460849468464
341.69/341.71	o 269460374045744
341.79/341.85	o 269460187165744
341.89/341.99	o 269459949454384
342.11/342.12	o 269459575694384
342.19/342.26	o 269049975694384
342.29/342.39	o 269026055054384
342.49/342.52	o 269020074894384
342.59/342.66	o 269012898702384
342.69/342.77	o 268910498702384
342.79/342.89	o 268898538382384
342.99/343.01	o 268874617742384
343.10/343.12	o 268669817742384
343.21/343.24	o 268260217742384
343.29/343.37	o 267856298894384
343.39/343.49	o 267855574734384
343.59/343.60	o 267855551374384
343.69/343.73	o 267854803854384
376.79/376.87	o 267627493227472
376.99/377.02	o 267627493169072
377.09/377.12	o 267627493154472
377.20/377.27	o 267627493125272
377.39/377.42	o 267627493117972
377.49/377.57	o 267627493081472
377.69/377.72	o 267627493063222
377.79/377.86	o 267627492990222
377.99/378.01	o 267627492931822
378.09/378.16	o 267627492917222
378.19/378.30	o 267627492902622
378.41/378.45	o 267627492844222
378.59/378.60	o 267627492815022
378.69/378.74	o 267627492756622
378.79/378.89	o 267627492698222
378.99/379.03	o 267627492683622
379.09/379.18	o 267627492566822
379.29/379.32	o 267627492537622
379.41/379.47	o 267627492523022
379.59/379.61	o 267627491355022
379.69/379.76	o 267627491063022
379.89/379.90	o 267627490917022
379.99/380.04	o 267625577265822
380.09/380.19	o 267625576827822
380.29/380.33	o 267625576535822
380.39/380.47	o 267625576389822
380.51/380.61	o 267625575805822
380.69/380.74	o 267625575586822
380.79/380.89	o 267625575002822
380.99/381.02	o 267625574856822
381.09/381.16	o 267625574272822
381.29/381.30	o 267625574254572
381.39/381.44	o 267625574218072
381.49/381.57	o 267625574072072
381.60/381.71	o 267625573780072
381.79/381.85	o 267625573707072
381.89/381.98	o 267625274699072
382.09/382.11	o 267625272363072
382.19/382.25	o 267625197611072
382.29/382.39	o 267625048107072
382.49/382.52	o 267624450091072
382.59/382.65	o 267624440747072
382.70/382.79	o 267624422059072
382.89/382.92	o 267624420891072
382.99/383.05	o 267624383515072
383.09/383.18	o 267624378843072
383.29/383.31	o 267624341467072
383.39/383.45	o 267623145435072
383.81/383.81	o 267623085633472
383.91/383.94	o 267623055732672
383.99/384.07	o 267623040782272
384.19/384.20	o 267623033307072
384.29/384.33	o 267621837275072
384.69/384.71	o 267621837129072
384.79/384.81	o 267621837128600
384.91/384.93	o 267621836836600
385.01/385.06	o 267621832164600
385.09/385.18	o 267621831580600
385.29/385.31	o 267621592374200
385.39/385.43	o 267621472771000
385.49/385.55	o 267620515945400
385.59/385.67	o 267616688643000
385.69/385.79	o 267614774991800
385.89/385.91	o 267614296579000
386.01/386.03	o 267614296506000
386.11/386.15	o 267614294170000
386.19/386.27	o 267614284826000
386.29/386.39	o 267614284789500
988.00/988.00	o 265289043165843
988.10/988.15	o 265289043092843
988.20/988.26	o 265289041924843
988.40/988.41	o 265289041895643
988.50/988.55	o 265289041749643
988.60/988.69	o 265289041603643
988.81/988.83	o 265289041486843
988.91/988.93	o 265289041472243
989.00/989.07	o 265289041326243
989.10/989.16	o 265289041267843
989.30/989.30	o 265289041238643
989.40/989.40	o 265289041092643
989.50/989.53	o 265289038756643
989.60/989.63	o 265289038698243
989.70/989.77	o 265289038690943
989.80/989.86	o 265289037522943
989.91/990.00	o 265289037464543
990.01/990.09	o 265289037318543
990.20/990.22	o 265289037084943
990.30/990.31	o 265289036851343
990.40/990.44	o 265289036559343
990.50/990.54	o 265289036559107
990.60/990.67	o 265289036486107
990.70/990.76	o 265289036369307
990.80/990.88	o 265289013009307
990.90/990.97	o 265289012542107
991.01/991.10	o 265289012250107
991.11/991.19	o 265289011958107
991.30/991.32	o 265289011374107
991.40/991.44	o 265289010790107
991.50/991.55	o 265289010644107
991.60/991.65	o 265289010643989
991.70/991.78	o 265289010643930
991.90/991.92	o 265288987283930
992.00/992.05	o 265288963923930
992.11/992.17	o 265288960186330
992.30/992.30	o 265288959251930
992.40/992.41	o 265288959178930
992.50/992.54	o 265288959032930
992.60/992.65	o 265288958912098
992.80/992.81	o 265288935552098
992.90/992.92	o 265288842112098
993.00/993.03	o 265288823424098
993.10/993.15	o 265288815690850
993.21/993.26	o 265288800224354
993.31/993.37	o 265288796357730
993.50/993.51	o 265288672625762
993.60/993.64	o 265288553022562
993.70/993.78	o 265288074609762
993.80/993.88	o 265288044708962
994.00/994.01	o 265287984907362
994.10/994.15	o 265287745700962
994.20/994.26	o 265287147684962
994.31/994.39	o 265285951652962
994.50/994.59	o 265081151652962
994.70/994.72	o 264773951652962
994.80/994.85	o 264671551652962
995.10/995.14	o 264261951652962
995.30/995.37	o 264147132580962
995.41/995.51	o 264089723044962
995.60/995.64	o 263270523044962
995.70/995.77	o 261632123044962
996.20/996.20	o 256880763044962
996.30/996.32	o 256440443044962
996.40/996.45	o 255846523044962
996.51/996.57	o 255641723044962
996.70/996.70	o 229427323044962
996.80/996.81	o 228833403044962
996.90/996.92	o 228393083044962
997.00/997.02	o 228387102884962
997.10/997.13	o 226748702884962
997.20/997.23	o 226742722724962
997.30/997.35	o 226730762404962
997.50/997.58	o 226730750724962
997.61/997.70	o 226730704004962
997.71/997.78	o 226727713924962
997.90/997.90	o 226721733764962
998.10/998.16	o 226712763524962
998.20/998.26	o 226610363524962
998.30/998.37	o 225791163524962
998.50/998.51	o 225688796228962
998.60/998.62	o 225279196228962
998.71/998.73	o 225279188753762
998.81/998.83	o 225279173803362
998.90/998.95	o 225279114001762
999.00/999.05	o 225279084100962
999.10/999.16	o 225278964497762
999.20/999.26	o 225278815928162
999.30/999.38	o 225278806642562
999.40/999.49	o 225278769500162
999.60/999.60	o 225278695215362
999.70/999.71	o 225278676644162
999.81/999.82	o 225278082365762
999.91/999.93	o 225277785226562
1000.00/1000.04	o 225276596669762
1800.10/1800.11	>>> Terminate signal received
1800.10/1800.11	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 x74 x75 -x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 x167 x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 x257 x258 -x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 x335 x336 x337 x338 x339 x340 x341 -x342 -x343 x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 x367 -x368 x369 x370 -x371 -x372 -x373 x374 x375 x376 x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 x497 -x498 x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 x517 x518 x519 x520 x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 x638 x639 -x640 x641 x642 x643 x644 -x645 x646 x647 -x648 -x649 x650 x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 x695 -x696 -x697 -x698 x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 x729 x730 -x731 -x732 -x733 x734 -x735 x736 -x737 -x738 x739 x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 x756 x757 -x758 x759 x760 -x761 -x762 -x763 x764 -x765 x766 -x767 -x768 x769 x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 x914 x915 x916 x917 x918 x919 x920 x921 x922 x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 x946 -x947 -x948 x949 x950 x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 x975 x976 x977 x978 x979 x980 x981 x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 x999 x1000 x1001 x1002 x1003 x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 x1031 x1032 x1033 x1034 -x1035 x1036 -x1037 -x1038 x1039 -x1040 x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 x1060 x1061 -x1062 x1063 x1064 -x1065 x1066 -x1067 -x1068 x1069 -x1070 x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 x1143 x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 x1152 x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 x1249 -x1250 -x1251 -x1252 x1253 x1254 x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 x1330 x1331 -x1332 x1333 x1334 -x1335 -x1336 -x1337 x1338 -x1339 x1340 -x1341 -x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 x1388 -x1389 x1390 x1391 x1392 x1393 x1394 -x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 -x1405 x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 x1483 x1484 -x1485 -x1486 -x1487 -x1488 x1489 x1490 x1491 x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 x1545 -x1546 -x1547 -x1548 -x1549 x1550 x1551 -x1552 -x1553 -x1554 x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 x1578 -x1579 -x1580 x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 x1683 x1684 x1685 -x1686 x1687 -x1688 x1689 x1690 -x1691 x1692 x1693 -x1694 x1695 x1696 -x1697 -x1698 x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996

Verifier Data 

OK	225276596669762

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3466732-1307400707/watcher-3466732-1307400707 -o /tmp/evaluation-result-3466732-1307400707/solver-3466732-1307400707 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466732-1307400707.opb --verbosity=0 --format=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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.03 1.91 2/489 18716
/proc/meminfo: memFree=26887668/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=8172 CPUtime=0.01 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 567 0 0 0 1 0 0 0 25 0 1 0 851669175 8368128 514 33554432000 4194304 6736272 140735387065776 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 2043 515 248 621 0 1413 0

[startup+0.0826069 s]
/proc/loadavg: 2.01 2.03 1.91 2/489 18716
/proc/meminfo: memFree=26887668/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=7336 CPUtime=0.07 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1551 0 0 0 7 0 0 0 25 0 1 0 851669175 7512064 1426 33554432000 4194304 6736272 140735387065776 18446744073709551615 4754044 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 1834 1426 275 621 0 1204 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7336

[startup+0.100606 s]
/proc/loadavg: 2.01 2.03 1.91 2/489 18716
/proc/meminfo: memFree=26887668/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=7336 CPUtime=0.09 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1552 0 0 0 9 0 0 0 25 0 1 0 851669175 7512064 1427 33554432000 4194304 6736272 140735387065776 18446744073709551615 5148048 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 1834 1427 275 621 0 1204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7336

[startup+0.300584 s]
/proc/loadavg: 2.01 2.03 1.91 2/489 18716
/proc/meminfo: memFree=26887668/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=7336 CPUtime=0.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1562 0 0 0 29 0 0 0 25 0 1 0 851669175 7512064 1437 33554432000 4194304 6736272 140735387065776 18446744073709551615 5150527 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 1834 1437 282 621 0 1204 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7336

[startup+0.700509 s]
/proc/loadavg: 2.01 2.03 1.91 2/489 18716
/proc/meminfo: memFree=26887668/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=7340 CPUtime=0.69 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1575 0 0 0 69 0 0 0 25 0 1 0 851669175 7516160 1450 33554432000 4194304 6736272 140735387065776 18446744073709551615 5146909 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 1835 1450 286 621 0 1205 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7340

[startup+1.50033 s]
/proc/loadavg: 2.01 2.03 1.91 3/490 18717
/proc/meminfo: memFree=26882328/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=7548 CPUtime=1.49 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1588 0 0 0 149 0 0 0 25 0 1 0 851669175 7729152 1463 33554432000 4194304 6736272 140735387065776 18446744073709551615 5151472 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 1887 1463 286 621 0 1257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7548

[startup+3.10109 s]
/proc/loadavg: 2.01 2.03 1.91 3/490 18717
/proc/meminfo: memFree=26881336/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=7548 CPUtime=3.09 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1594 0 0 0 309 0 0 0 25 0 1 0 851669175 7729152 1469 33554432000 4194304 6736272 140735387065776 18446744073709551615 5149152 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 1887 1469 286 621 0 1257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7548

[startup+6.30056 s]
/proc/loadavg: 2.01 2.03 1.91 3/490 18717
/proc/meminfo: memFree=26880688/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=7548 CPUtime=6.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1612 0 0 0 629 0 0 0 25 0 1 0 851669175 7729152 1487 33554432000 4194304 6736272 140735387065776 18446744073709551615 5803162 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 1887 1487 286 621 0 1257 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7548

[startup+12.7005 s]
/proc/loadavg: 2.01 2.03 1.91 3/490 18717
/proc/meminfo: memFree=26877476/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=7548 CPUtime=12.69 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1630 0 0 0 1269 0 0 0 25 0 1 0 851669175 7729152 1505 33554432000 4194304 6736272 140735387065776 18446744073709551615 4734537 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 1887 1505 286 621 0 1257 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7548

[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 1.91 3/490 18718
/proc/meminfo: memFree=26877872/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=8024 CPUtime=25.49 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1719 0 0 0 2549 0 0 0 25 0 1 0 851669175 8216576 1591 33554432000 4194304 6736272 140735387065776 18446744073709551615 4502256 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 2006 1591 286 621 0 1376 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8024

[startup+51.1011 s]
/proc/loadavg: 2.00 2.02 1.91 3/490 18719
/proc/meminfo: memFree=26877288/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=8412 CPUtime=51.09 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1820 0 0 0 5109 0 0 0 25 0 1 0 851669175 8613888 1692 33554432000 4194304 6736272 140735387065776 18446744073709551615 5811974 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 2103 1692 286 621 0 1473 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 8412

[startup+102.317 s]
/proc/loadavg: 2.00 2.02 1.91 3/490 18720
/proc/meminfo: memFree=26874160/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=9040 CPUtime=102.3 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1986 0 0 0 10230 0 0 0 25 0 1 0 851669175 9256960 1855 33554432000 4194304 6736272 140735387065776 18446744073709551615 4753621 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 2260 1855 286 621 0 1630 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 9040

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/490 18721
/proc/meminfo: memFree=26873880/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=11080 CPUtime=162.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2092 0 0 0 16228 1 0 0 25 0 1 0 851669175 11345920 1960 33554432000 4194304 6736272 140735387065776 18446744073709551615 5803361 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 2770 1960 286 621 0 2140 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 11080

[startup+222.3 s]
/proc/loadavg: 2.10 2.04 1.92 3/490 18723
/proc/meminfo: memFree=26873492/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=13376 CPUtime=222.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2426 0 0 0 22228 1 0 0 25 0 1 0 851669175 13697024 2293 33554432000 4194304 6736272 140735387065776 18446744073709551615 5806341 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 3344 2293 286 621 0 2714 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 13376

[startup+282.3 s]
/proc/loadavg: 2.08 2.04 1.93 3/490 18725
/proc/meminfo: memFree=26872240/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=13376 CPUtime=282.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2642 0 0 0 28228 1 0 0 25 0 1 0 851669175 13697024 2508 33554432000 4194304 6736272 140735387065776 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 3344 2508 286 621 0 2714 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 13376

[startup+342.301 s]
/proc/loadavg: 2.18 2.06 1.94 3/490 18726
/proc/meminfo: memFree=26870372/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=13376 CPUtime=342.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2642 0 0 0 34228 1 0 0 25 0 1 0 851669175 13697024 2508 33554432000 4194304 6736272 140735387065776 18446744073709551615 5148141 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 3344 2508 286 621 0 2714 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 13376

[startup+402.301 s]
/proc/loadavg: 2.20 2.08 1.95 3/490 18728
/proc/meminfo: memFree=26869852/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=13376 CPUtime=402.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2785 0 0 0 40228 1 0 0 25 0 1 0 851669175 13697024 2649 33554432000 4194304 6736272 140735387065776 18446744073709551615 5817998 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 3344 2649 286 621 0 2714 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 13376

[startup+462.301 s]
/proc/loadavg: 2.07 2.07 1.95 3/490 18729
/proc/meminfo: memFree=26869440/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=13376 CPUtime=462.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2886 0 0 0 46228 1 0 0 25 0 1 0 851669175 13697024 2750 33554432000 4194304 6736272 140735387065776 18446744073709551615 5806336 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 3344 2750 286 621 0 2714 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 13376

[startup+522.301 s]
/proc/loadavg: 2.02 2.05 1.95 3/490 18731
/proc/meminfo: memFree=26867924/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=17116 CPUtime=522.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 3280 0 0 0 52228 1 0 0 25 0 1 0 851669175 17526784 3140 33554432000 4194304 6736272 140735387065776 18446744073709551615 5811923 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 4279 3140 286 621 0 3649 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 17116

[startup+582.301 s]
/proc/loadavg: 2.01 2.04 1.95 3/490 18742
/proc/meminfo: memFree=26868060/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=17116 CPUtime=582.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 3280 0 0 0 58228 1 0 0 25 0 1 0 851669175 17526784 3140 33554432000 4194304 6736272 140735387065776 18446744073709551615 5818066 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 4279 3140 286 621 0 3649 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 17116


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

/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12326 0 0 0 106228 2 0 0 25 0 1 0 851669175 20246528 4254 33554432000 4194304 6736272 140735387065776 18446744073709551615 5806473 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 4943 4254 286 621 0 4313 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 19772

[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 1.98 3/490 18759
/proc/meminfo: memFree=26863228/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=19772 CPUtime=1122.3 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12326 0 0 0 112228 2 0 0 25 0 1 0 851669175 20246528 4254 33554432000 4194304 6736272 140735387065776 18446744073709551615 5150750 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 4943 4254 286 621 0 4313 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 19772

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/490 18761
/proc/meminfo: memFree=26863320/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=19772 CPUtime=1182.3 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12326 0 0 0 118228 2 0 0 25 0 1 0 851669175 20246528 4254 33554432000 4194304 6736272 140735387065776 18446744073709551615 5221958 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 4943 4254 286 621 0 4313 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 19772

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/490 18762
/proc/meminfo: memFree=26861660/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=19772 CPUtime=1242.3 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12336 0 0 0 124228 2 0 0 25 0 1 0 851669175 20246528 4264 33554432000 4194304 6736272 140735387065776 18446744073709551615 5803170 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 4943 4264 286 621 0 4313 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 19772

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/490 18764
/proc/meminfo: memFree=26861856/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=19772 CPUtime=1302.31 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12336 0 0 0 130229 2 0 0 25 0 1 0 851669175 20246528 4264 33554432000 4194304 6736272 140735387065776 18446744073709551615 4732800 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 4943 4264 286 621 0 4313 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 19772

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/490 18765
/proc/meminfo: memFree=26861956/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=19772 CPUtime=1362.3 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12336 0 0 0 136228 2 0 0 25 0 1 0 851669175 20246528 4264 33554432000 4194304 6736272 140735387065776 18446744073709551615 4734642 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 4943 4264 286 621 0 4313 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 19772

[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 1.99 3/490 18767
/proc/meminfo: memFree=26863404/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1422.32 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14729 0 0 0 142229 3 0 0 25 0 1 0 851669175 21962752 4148 33554432000 4194304 6736272 140735387065776 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 5362 4148 286 621 0 4732 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 21448

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/490 18769
/proc/meminfo: memFree=26863628/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1482.31 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14729 0 0 0 148228 3 0 0 25 0 1 0 851669175 21962752 4148 33554432000 4194304 6736272 140735387065776 18446744073709551615 5811974 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 5362 4148 286 621 0 4732 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 21448

[startup+1542.3 s]
/proc/loadavg: 2.12 2.06 2.00 3/490 18770
/proc/meminfo: memFree=26865220/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1542.31 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14729 0 0 0 154228 3 0 0 25 0 1 0 851669175 21962752 4148 33554432000 4194304 6736272 140735387065776 18446744073709551615 5811905 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 5362 4148 286 621 0 4732 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 21448

[startup+1602.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/490 18772
/proc/meminfo: memFree=26864324/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1602.31 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14753 0 0 0 160228 3 0 0 25 0 1 0 851669175 21962752 4172 33554432000 4194304 6736272 140735387065776 18446744073709551615 4734700 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/18716/statm: 5362 4172 286 621 0 4732 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 21448

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/490 18773
/proc/meminfo: memFree=26864044/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1662.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14878 0 0 0 166226 3 0 0 25 0 1 0 851669175 21962752 4296 33554432000 4194304 6736272 140735387065776 18446744073709551615 5149379 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18716/statm: 5362 4296 286 621 0 4732 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 21448

[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/490 18775
/proc/meminfo: memFree=26863644/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1722.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14878 0 0 0 172226 3 0 0 25 0 1 0 851669175 21962752 4296 33554432000 4194304 6736272 140735387065776 18446744073709551615 5148094 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18716/statm: 5362 4296 286 621 0 4732 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 21448

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/490 18777
/proc/meminfo: memFree=26862380/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1782.29 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14878 0 0 0 178226 3 0 0 25 0 1 0 851669175 21962752 4296 33554432000 4194304 6736272 140735387065776 18446744073709551615 5148185 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18716/statm: 5362 4296 286 621 0 4732 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 21448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.93 2.03 1.99 3/490 18805
/proc/meminfo: memFree=26863128/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1800.1 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14984 0 0 0 180007 3 0 0 25 0 1 0 851669175 21962752 4400 33554432000 4194304 6736272 140735387065776 18446744073709551615 5817966 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/18716/statm: 5362 4400 286 621 0 4732 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 21448

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -18716

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

[startup+1801.4 s]
/proc/loadavg: 1.86 2.01 1.99 2/491 18806
/proc/meminfo: memFree=26862004/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1800.1 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) S 18714 18716 16892 0 -1 4202496 14985 0 0 0 180007 3 0 0 25 0 1 0 851669175 21962752 4401 33554432000 4194304 6736272 140735387065776 18446744073709551615 5924238 0 16384 4096 17571 18446604453901214784 0 0 17 0 0 0 0
/proc/18716/statm: 5362 4401 287 621 0 4732 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 21448

[startup+1801.82 s]
/proc/loadavg: 1.86 2.01 1.99 2/491 18806
/proc/meminfo: memFree=26861012/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1800.1 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) S 18714 18716 16892 0 -1 4202496 14985 0 0 0 180007 3 0 0 25 0 1 0 851669175 21962752 4401 33554432000 4194304 6736272 140735387065776 18446744073709551615 5924238 0 16384 4096 17571 18446604453901214784 0 0 17 0 0 0 0
/proc/18716/statm: 5362 4401 287 621 0 4732 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 21448

[startup+1802 s]
/proc/loadavg: 1.86 2.01 1.99 2/491 18806
/proc/meminfo: memFree=26861012/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1800.1 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) S 18714 18716 16892 0 -1 4202496 14985 0 0 0 180007 3 0 0 25 0 1 0 851669175 21962752 4401 33554432000 4194304 6736272 140735387065776 18446744073709551615 5924238 0 16384 4096 17571 18446604453901214784 0 0 17 0 0 0 0
/proc/18716/statm: 5362 4401 287 621 0 4732 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 21448

[startup+1802.1 s]
/proc/loadavg: 1.86 2.01 1.99 2/491 18806
/proc/meminfo: memFree=26861012/32951124 swapFree=63649284/67111528
[pid=18716] ppid=18714 vsize=21448 CPUtime=1800.1 cores=0,2,4,6
/proc/18716/stat : 18716 (minisatid-gmp) S 18714 18716 16892 0 -1 4202496 14985 0 0 0 180007 3 0 0 25 0 1 0 851669175 21962752 4401 33554432000 4194304 6736272 140735387065776 18446744073709551615 5924238 0 16384 4096 17571 18446604453901214784 0 0 17 0 0 0 0
/proc/18716/statm: 5362 4401 287 621 0 4732 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 21448

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.12
CPU time (s): 1800.12
CPU user time (s): 1800.08
CPU system time (s): 0.040993
CPU usage (%): 99.8889
Max. virtual memory (cumulated for all children) (KiB): 25844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14985
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= 3
involuntary context switches= 5841

runsolver used 9.2236 second user time and 18.6662 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-07 00:51:47
IDJOB=3466732
IDBENCH=2465
IDSOLVER=1957
FILE ID=node130/3466732-1307400707
RUNJOBID= node130-1307398893-18511
PBS_JOBID= 13514177
Free space on /tmp= 73976 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466732-1307400707/watcher-3466732-1307400707 -o /tmp/evaluation-result-3466732-1307400707/solver-3466732-1307400707 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466732-1307400707.opb --verbosity=0 --format=opb 

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

MD5SUM BENCH= 7a334409ec63774b2ae9bf0271f87fd8
RANDOM SEED=2090411273

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26887824 kB
Buffers:        314032 kB
Cached:         571428 kB
SwapCached:       9700 kB
Active:        5335884 kB
Inactive:       440064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26887824 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:            9936 kB
Writeback:           0 kB
AnonPages:     4888564 kB
Mapped:          31788 kB
Slab:           164196 kB
PageTables:      53868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145206756 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73976 MiB
End job on node130 at 2011-06-07 01:21:49