Trace number 3710635

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
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)77134 1800.09 1793.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
MD5SUMdccfffd22c38fcd3c497d688dab4b7a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76666
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 79290
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.10/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.12	c configuring ORDERS
0.10/0.13	c --- Begin Solver configuration ---
0.10/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.13	c Learn all clauses as in MiniSAT
0.10/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.13	c Expensive reason simplification
0.10/0.13	c Armin Biere (Picosat) restarts strategy
0.10/0.13	c Glucose learned constraints deletion strategy
0.10/0.13	c timeout=2147483s
0.10/0.13	c DB Simplification allowed=true
0.10/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.13	c --- End Solver configuration ---
0.10/0.13	c solving HOME/instance-3710635-1338142540.opb
0.10/0.13	c reading problem ... 
1.41/0.86	c ... done. Wall clock time 0.733s.
1.41/0.86	c declared #vars     2700
1.41/0.86	c #constraints  43070
1.41/0.86	c constraints type 
1.41/0.86	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17340
1.41/0.86	c org.sat4j.minisat.constraints.card.MinWatchCard => 800
1.41/0.86	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3330
1.41/0.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21600
1.41/0.86	c 43070 constraints processed.
1.83/1.05	c SATISFIABLE
1.83/1.05	c OPTIMIZING...
1.83/1.05	c Got one! Elapsed wall clock time (in seconds):0.918
1.83/1.05	o 92791
1.83/1.10	c Got one! Elapsed wall clock time (in seconds):0.974
1.83/1.10	o 89858
2.18/1.21	c Got one! Elapsed wall clock time (in seconds):1.08
2.18/1.21	o 84313
3.34/2.38	c cleaning 2937 clauses out of 5874 with flag 5001/5874
4.52/3.46	c cleaning 4452 clauses out of 8936 with flag 11000/11873
6.12/5.05	c cleaning 5733 clauses out of 11484 with flag 18000/18873
7.24/6.16	c Got one! Elapsed wall clock time (in seconds):6.033
7.24/6.16	o 83791
7.35/6.28	c cleaning 5453 clauses out of 10923 with flag 1000/24045
8.60/7.47	c cleaning 5725 clauses out of 11471 with flag 7001/30046
10.11/8.90	c cleaning 6362 clauses out of 12745 with flag 14000/37045
10.22/9.06	c Got one! Elapsed wall clock time (in seconds):8.934
10.22/9.06	o 83612
11.48/10.20	c cleaning 5921 clauses out of 11853 with flag 5000/42515
12.79/11.58	c cleaning 5929 clauses out of 11932 with flag 11000/48515
14.09/12.82	c cleaning 6491 clauses out of 13003 with flag 18000/55515
15.80/14.58	c Got one! Elapsed wall clock time (in seconds):14.457
15.80/14.58	o 82692
16.53/15.29	c cleaning 9330 clauses out of 18675 with flag 5000/67678
18.44/17.16	c cleaning 7661 clauses out of 15346 with flag 11001/73679
19.85/18.50	c cleaning 7318 clauses out of 14686 with flag 18002/80680
21.76/20.48	c cleaning 7676 clauses out of 15367 with flag 26001/88679
24.07/22.78	c cleaning 8288 clauses out of 16690 with flag 35000/97678
25.19/23.81	c Got one! Elapsed wall clock time (in seconds):23.68
25.19/23.81	o 82286
25.29/23.91	c cleaning 6859 clauses out of 13739 with flag 1002/103015
25.99/24.64	c cleaning 6380 clauses out of 12879 with flag 7001/109014
27.82/26.44	c cleaning 6740 clauses out of 13501 with flag 14003/116016
29.84/28.43	c cleaning 7335 clauses out of 14760 with flag 22002/124015
31.25/29.80	c cleaning 8188 clauses out of 16424 with flag 31001/133014
33.96/32.56	c cleaning 9080 clauses out of 18235 with flag 41000/143013
37.28/35.87	c cleaning 10067 clauses out of 20155 with flag 52000/154013
41.01/39.53	c cleaning 11022 clauses out of 22089 with flag 64001/166014
43.14/41.68	c Got one! Elapsed wall clock time (in seconds):41.555
43.14/41.68	o 81942
44.04/42.57	c cleaning 11863 clauses out of 23743 with flag 5002/178690
45.48/43.92	c cleaning 8924 clauses out of 17878 with flag 11000/184688
47.17/45.67	c cleaning 7931 clauses out of 15955 with flag 18001/191689
49.39/47.84	c cleaning 7995 clauses out of 16023 with flag 26000/199688
52.22/50.61	c cleaning 8431 clauses out of 17028 with flag 35000/208688
54.72/53.14	c cleaning 9281 clauses out of 18598 with flag 45001/218689
58.46/56.80	c cleaning 10145 clauses out of 20316 with flag 56000/229688
59.58/57.95	c Got one! Elapsed wall clock time (in seconds):57.821
59.58/57.95	o 81460
59.89/58.21	c cleaning 7829 clauses out of 15687 with flag 1001/235204
61.00/59.38	c Got one! Elapsed wall clock time (in seconds):59.249
61.00/59.38	o 80901
61.19/59.57	c cleaning 6591 clauses out of 13199 with flag 1004/240545
62.40/60.72	c cleaning 6293 clauses out of 12605 with flag 7001/246542
63.70/62.04	c cleaning 6566 clauses out of 13311 with flag 14000/253541
65.25/63.54	c cleaning 7362 clauses out of 14745 with flag 22000/261541
67.06/65.34	c cleaning 8145 clauses out of 16385 with flag 31002/270543
68.77/67.01	c cleaning 9101 clauses out of 18238 with flag 41000/280541
71.97/70.26	c cleaning 10037 clauses out of 20137 with flag 52000/291541
75.59/73.82	c cleaning 11029 clauses out of 22101 with flag 64001/303542
80.01/78.21	c cleaning 12020 clauses out of 24071 with flag 77000/316541
82.73/80.91	c Got one! Elapsed wall clock time (in seconds):80.781
82.73/80.91	o 80489
83.73/81.97	c cleaning 13714 clauses out of 27486 with flag 5002/331976
85.55/83.71	c cleaning 9842 clauses out of 19772 with flag 11002/337976
87.28/85.49	c cleaning 8376 clauses out of 16928 with flag 18000/344974
89.70/87.90	c cleaning 8194 clauses out of 16552 with flag 26000/352974
92.50/90.67	c cleaning 8627 clauses out of 17360 with flag 35002/361976
96.41/94.51	c cleaning 9327 clauses out of 18734 with flag 45003/371977
100.21/98.39	c cleaning 10172 clauses out of 20405 with flag 56001/382975
103.52/101.69	c cleaning 11107 clauses out of 22232 with flag 68000/394974
106.72/104.83	c cleaning 12058 clauses out of 24126 with flag 81001/407975
109.54/107.67	c cleaning 13029 clauses out of 26068 with flag 95001/421975
113.25/111.36	c cleaning 13999 clauses out of 28039 with flag 110001/436975
118.27/116.35	c cleaning 14989 clauses out of 30039 with flag 126000/452974
123.61/121.61	c cleaning 16008 clauses out of 32050 with flag 143000/469974
127.14/125.10	c cleaning 17009 clauses out of 34042 with flag 161000/487974
135.25/133.27	c cleaning 17973 clauses out of 36033 with flag 180000/506974
141.78/139.79	c cleaning 19022 clauses out of 38060 with flag 200000/526974
146.48/144.41	c cleaning 20011 clauses out of 40038 with flag 221000/547974
152.70/150.61	c cleaning 21005 clauses out of 42029 with flag 243002/569976
160.53/158.42	c cleaning 22011 clauses out of 44025 with flag 266003/592977
165.46/163.39	c cleaning 22997 clauses out of 46011 with flag 290000/616974
171.37/169.29	c cleaning 23986 clauses out of 48015 with flag 315001/641975
179.69/177.52	c cleaning 24982 clauses out of 50030 with flag 341002/667976
187.65/185.47	c cleaning 26015 clauses out of 52046 with flag 368000/694974
188.88/186.61	c Got one! Elapsed wall clock time (in seconds):186.481
188.88/186.61	o 80378
188.98/186.73	c cleaning 15527 clauses out of 31077 with flag 1000/700020
189.60/187.34	c cleaning 10767 clauses out of 21551 with flag 7001/706021
190.22/187.99	c cleaning 8851 clauses out of 17783 with flag 14000/713020
191.61/189.40	c cleaning 8448 clauses out of 16934 with flag 22002/721022
195.02/192.72	c cleaning 8713 clauses out of 17485 with flag 31001/730021
199.44/197.14	c cleaning 9371 clauses out of 18771 with flag 41000/740020
204.36/202.10	c cleaning 10191 clauses out of 20402 with flag 52002/751022
208.58/206.28	c cleaning 11073 clauses out of 22211 with flag 64002/763022
213.60/211.24	c cleaning 12039 clauses out of 24136 with flag 77000/776020
218.13/215.75	c cleaning 13045 clauses out of 26097 with flag 91000/790020
223.09/220.60	c cleaning 14002 clauses out of 28052 with flag 106000/805020
229.30/226.81	c cleaning 14989 clauses out of 30050 with flag 122000/821020
235.41/232.97	c cleaning 16008 clauses out of 32062 with flag 139001/838021
242.74/240.26	c cleaning 16989 clauses out of 34055 with flag 157002/856022
250.24/247.75	c cleaning 18005 clauses out of 36066 with flag 176002/875022
256.26/253.77	c cleaning 19026 clauses out of 38060 with flag 196001/895021
261.37/258.89	c cleaning 20010 clauses out of 40033 with flag 217000/916020
269.30/266.76	c cleaning 20963 clauses out of 42024 with flag 239001/938021
270.44/267.88	c Got one! Elapsed wall clock time (in seconds):267.749
270.44/267.88	o 79544
271.06/268.46	c cleaning 13190 clauses out of 26416 with flag 2000/943376
273.07/270.48	c cleaning 9558 clauses out of 19226 with flag 8000/949376
275.97/273.33	c cleaning 8236 clauses out of 16669 with flag 15001/956377
278.90/276.24	c cleaning 8152 clauses out of 16432 with flag 23000/964376
281.51/278.85	c cleaning 8635 clauses out of 17282 with flag 32002/973378
284.03/281.38	c cleaning 9307 clauses out of 18646 with flag 42001/983377
287.35/284.64	c cleaning 10169 clauses out of 20341 with flag 53003/994379
291.67/288.93	c cleaning 11066 clauses out of 22169 with flag 65000/1006376
295.68/292.98	c cleaning 12033 clauses out of 24105 with flag 78002/1019378
296.80/294.00	c Got one! Elapsed wall clock time (in seconds):293.874
296.80/294.00	o 78691
297.22/294.47	c cleaning 8789 clauses out of 17702 with flag 2000/1025008
299.04/296.23	c cleaning 7393 clauses out of 14914 with flag 8001/1031009
300.96/298.13	c cleaning 7225 clauses out of 14520 with flag 15000/1038008
303.36/300.52	c cleaning 7620 clauses out of 15295 with flag 23000/1046008
305.86/303.05	c cleaning 8313 clauses out of 16676 with flag 32001/1055009
309.49/306.62	c cleaning 9167 clauses out of 18363 with flag 42001/1065009
313.21/310.39	c cleaning 10081 clauses out of 20195 with flag 53000/1076008
317.73/314.83	c cleaning 11044 clauses out of 22114 with flag 65000/1088008
322.04/319.17	c cleaning 12008 clauses out of 24071 with flag 78001/1101009
327.66/324.70	c cleaning 12989 clauses out of 26062 with flag 92000/1115008
333.37/330.47	c cleaning 13986 clauses out of 28074 with flag 107001/1130009
340.10/337.12	c cleaning 14995 clauses out of 30087 with flag 123000/1146008
348.02/345.04	c cleaning 16014 clauses out of 32092 with flag 140000/1163008
355.74/352.74	c cleaning 17005 clauses out of 34079 with flag 158001/1181009
362.85/359.83	c cleaning 17996 clauses out of 36073 with flag 177000/1200008
369.97/366.96	c cleaning 18993 clauses out of 38080 with flag 197003/1220011
377.72/374.65	c cleaning 20011 clauses out of 40085 with flag 218001/1241009
386.57/383.49	c cleaning 20991 clauses out of 42073 with flag 240000/1263008
396.29/393.17	c cleaning 22020 clauses out of 44083 with flag 263001/1286009
407.20/404.05	c cleaning 23021 clauses out of 46064 with flag 287002/1310010
415.13/411.91	c cleaning 24015 clauses out of 48042 with flag 312001/1335009
423.69/420.46	c cleaning 24956 clauses out of 50026 with flag 338000/1361008
431.61/428.31	c cleaning 26023 clauses out of 52070 with flag 365000/1388008
442.25/438.92	c cleaning 27011 clauses out of 54049 with flag 393002/1416010
452.67/449.37	c cleaning 27983 clauses out of 56038 with flag 422002/1445010
463.11/459.75	c cleaning 29022 clauses out of 58056 with flag 452003/1475011
476.21/472.87	c cleaning 29993 clauses out of 60031 with flag 483000/1506008
487.66/484.27	c cleaning 30976 clauses out of 62038 with flag 515000/1538008
499.89/496.50	c cleaning 31999 clauses out of 64062 with flag 548000/1571008
513.04/509.56	c cleaning 32998 clauses out of 66065 with flag 582002/1605010
521.29/517.73	c cleaning 34010 clauses out of 68065 with flag 617000/1640008
535.72/532.18	c cleaning 34941 clauses out of 70056 with flag 653001/1676009
557.17/553.50	c cleaning 35977 clauses out of 72114 with flag 690000/1713008
580.74/577.00	c cleaning 36991 clauses out of 74138 with flag 728001/1751009
600.19/596.49	c cleaning 38047 clauses out of 76146 with flag 767000/1790008
616.92/613.17	c cleaning 39047 clauses out of 78103 with flag 807004/1830012
637.07/633.24	c cleaning 40016 clauses out of 80052 with flag 848000/1871008
657.83/653.98	c cleaning 40956 clauses out of 82036 with flag 890000/1913008
681.40/677.43	c cleaning 42001 clauses out of 84081 with flag 933001/1956009
702.84/698.84	c cleaning 43030 clauses out of 86080 with flag 977001/2000009
715.49/711.42	c cleaning 43986 clauses out of 88054 with flag 1022005/2045013
732.73/728.61	c cleaning 44964 clauses out of 90064 with flag 1068001/2091009
751.27/747.18	c cleaning 46026 clauses out of 92099 with flag 1115000/2138008
777.60/773.43	c cleaning 46974 clauses out of 94073 with flag 1163000/2186008
801.56/797.39	c cleaning 48012 clauses out of 96099 with flag 1212000/2235008
834.59/830.31	c cleaning 49001 clauses out of 98087 with flag 1262000/2285008
858.70/854.35	c cleaning 50017 clauses out of 100088 with flag 1313002/2336010
889.88/885.42	c cleaning 51001 clauses out of 102069 with flag 1365000/2388008
918.86/914.33	c cleaning 52018 clauses out of 104069 with flag 1418001/2441009
948.32/943.75	c cleaning 52998 clauses out of 106050 with flag 1472000/2495008
977.19/972.53	c cleaning 54018 clauses out of 108054 with flag 1527002/2550010
1008.24/1003.50	c cleaning 55001 clauses out of 110034 with flag 1583000/2606008
1038.23/1033.43	c cleaning 55986 clauses out of 112033 with flag 1640000/2663008
1069.99/1065.17	c cleaning 56974 clauses out of 114047 with flag 1698000/2721008
1100.74/1095.85	c cleaning 57982 clauses out of 116073 with flag 1757000/2780008
1135.51/1130.59	c cleaning 59002 clauses out of 118092 with flag 1817001/2840009
1173.57/1168.51	c cleaning 59965 clauses out of 120090 with flag 1878001/2901009
1209.48/1204.37	c cleaning 61023 clauses out of 122126 with flag 1940002/2963010
1234.55/1229.33	c cleaning 62005 clauses out of 124102 with flag 2003001/3026009
1258.87/1253.66	c cleaning 63038 clauses out of 126098 with flag 2067002/3090010
1288.82/1283.50	c cleaning 64009 clauses out of 128058 with flag 2132000/3155008
1314.77/1309.49	c cleaning 64983 clauses out of 130049 with flag 2198000/3221008
1352.62/1347.22	c cleaning 66022 clauses out of 132067 with flag 2265001/3288009
1398.71/1393.28	c cleaning 66979 clauses out of 134045 with flag 2333001/3356009
1450.29/1444.79	c cleaning 67988 clauses out of 136066 with flag 2402001/3425009
1503.04/1497.34	c cleaning 68980 clauses out of 138077 with flag 2472000/3495008
1540.93/1535.12	c cleaning 69982 clauses out of 140097 with flag 2543000/3566008
1589.73/1583.86	c cleaning 70984 clauses out of 142117 with flag 2615002/3638010
1601.82/1595.82	c Got one! Elapsed wall clock time (in seconds):1595.691
1601.82/1595.82	o 77134
1603.82/1597.85	c cleaning 52024 clauses out of 104184 with flag 5000/3671061
1606.05/1600.08	c cleaning 28995 clauses out of 58160 with flag 11000/3677061
1608.66/1602.69	c cleaning 17989 clauses out of 36167 with flag 18002/3684063
1611.66/1605.66	c cleaning 12994 clauses out of 26176 with flag 26000/3692061
1614.89/1608.89	c cleaning 10973 clauses out of 22182 with flag 35000/3701061
1618.30/1612.26	c cleaning 10507 clauses out of 21209 with flag 45000/3711061
1622.51/1616.50	c cleaning 10777 clauses out of 21705 with flag 56003/3722064
1627.92/1621.87	c cleaning 11422 clauses out of 22925 with flag 68000/3734061
1633.03/1626.99	c cleaning 12225 clauses out of 24505 with flag 81002/3747063
1638.73/1632.64	c cleaning 13122 clauses out of 26279 with flag 95001/3761062
1646.16/1640.02	c cleaning 14062 clauses out of 28156 with flag 110000/3776061
1654.09/1647.96	c cleaning 14990 clauses out of 30094 with flag 126000/3792061
1659.92/1653.75	c cleaning 16041 clauses out of 32105 with flag 143001/3809062
1666.54/1660.36	c cleaning 16993 clauses out of 34064 with flag 161001/3827062
1675.85/1669.69	c cleaning 18024 clauses out of 36071 with flag 180001/3846062
1684.98/1678.76	c cleaning 18997 clauses out of 38048 with flag 200002/3866063
1695.41/1689.14	c cleaning 20005 clauses out of 40049 with flag 221000/3887061
1707.75/1701.44	c cleaning 20993 clauses out of 42044 with flag 243000/3909061
1720.77/1714.43	c cleaning 22004 clauses out of 44052 with flag 266001/3932062
1733.90/1727.51	c cleaning 23003 clauses out of 46048 with flag 290001/3956062
1749.31/1742.92	c cleaning 24002 clauses out of 48044 with flag 315000/3981061
1759.56/1753.13	c cleaning 25000 clauses out of 50043 with flag 341001/4007062
1770.58/1764.11	c cleaning 26003 clauses out of 52042 with flag 368000/4034061
1782.93/1776.48	c cleaning 26982 clauses out of 54040 with flag 396001/4062062
1796.86/1790.34	c cleaning 28013 clauses out of 56059 with flag 425002/4091063
1800.09/1793.51	c starts		: 268
1800.09/1793.51	c conflicts		: 4098805
1800.09/1793.51	c decisions		: 5791932
1800.09/1793.51	c propagations		: 518827887
1800.09/1793.51	c inspects		: 15089519231
1800.09/1793.51	c shortcuts		: 0
1800.09/1793.51	c learnt literals	: 0
1800.09/1793.51	c learnt binary clauses	: 0
1800.09/1793.51	c learnt ternary clauses	: 0
1800.09/1793.51	c learnt constraints	: 4098805
1800.09/1793.51	c ignored constraints	: 0
1800.09/1793.51	c root simplifications	: 268
1800.09/1793.51	c removed literals (reason simplification)	: 64540380
1800.09/1793.51	c reason swapping (by a shorter reason)	: 0
1800.09/1793.51	c Calls to reduceDB	: 182
1800.09/1793.51	c number of reductions to clauses (during analyze)	: 0
1800.09/1793.51	c number of learned constraints concerned by reduction	: 0
1800.09/1793.51	c number of learning phase by resolution	: 0
1800.09/1793.51	c number of learning phase by cutting planes	: 0
1800.09/1793.51	c speed (assignments/second)	: 289420.3665533332
1800.09/1793.51	c non guided choices	1923
1800.09/1793.53	c learnt constraints type 
1800.09/1793.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 35807
1800.09/1793.53	c constraints type 
1800.09/1793.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17340
1800.09/1793.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 800
1800.09/1793.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3330
1800.09/1793.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21601
1800.09/1793.53	c 43071 constraints processed.
1800.09/1793.53	s SATISFIABLE
1800.09/1793.54	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 -x1997 -x1998 -x1999 x2000 x2001 -x2002 -x2003 x2004 x2005 x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 x2103 -x2104 x2105 x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 -x2197 x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 x2300 x2301 x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 x2395 x2396 x2397 -x2398 -x2399 x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 x2495 x2496 -x2497 -x2498 x2499 x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 x2595 -x2596 -x2597 -x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 x2698 x2699 x2700 
1800.09/1793.54	c objective function=77134
1800.09/1793.54	c Total wall clock time (in seconds): 1793.41

Verifier Data 

OK	77134

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710635-1338142540/watcher-3710635-1338142540 -o /tmp/evaluation-result-3710635-1338142540/solver-3710635-1338142540 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710635-1338142540.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.01 1.95 5/193 25685
/proc/meminfo: memFree=31336536/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25685/stat : 25685 (java) D 25683 25685 22966 0 -1 4202496 458 0 0 0 0 0 0 0 20 0 1 0 280382532 9515008 186 33554432000 1073741824 1073778376 140734827905072 140734827894136 270109076775 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2323 186 143 9 0 71 0

[startup+0.0299489 s]
/proc/loadavg: 2.05 2.01 1.95 5/193 25685
/proc/meminfo: memFree=31336536/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/25685/stat : 25685 (java) S 25683 25685 22966 0 -1 4202496 2904 0 1 0 1 0 0 0 20 0 11 0 280382532 9310650368 3602 33554432000 1073741824 1073778376 140734827905072 140734827896208 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2273108 3602 1631 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100254 s]
/proc/loadavg: 2.05 2.01 1.95 5/193 25685
/proc/meminfo: memFree=31336536/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/25685/stat : 25685 (java) S 25683 25685 22966 0 -1 4202496 4188 0 1 0 9 1 0 0 20 0 18 0 280382532 9787842560 5394 33554432000 1073741824 1073778376 140734827905072 140734827896208 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2389610 5394 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300221 s]
/proc/loadavg: 2.05 2.01 1.95 5/193 25685
/proc/meminfo: memFree=31336536/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9558440 CPUtime=0.47 cores=0,2,4,6
/proc/25685/stat : 25685 (java) S 25683 25685 22966 0 -1 4202496 5996 0 1 0 45 2 0 0 20 0 18 0 280382532 9787842560 11112 33554432000 1073741824 1073778376 140734827905072 140734827896208 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2389610 11112 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558440

[startup+0.700226 s]
/proc/loadavg: 2.05 2.01 1.95 5/193 25685
/proc/meminfo: memFree=31336536/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9558848 CPUtime=1.18 cores=0,2,4,6
/proc/25685/stat : 25685 (java) S 25683 25685 22966 0 -1 4202496 9061 0 1 0 113 5 0 0 20 0 18 0 280382532 9788260352 42276 33554432000 1073741824 1073778376 140734827905072 140734827896208 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2389712 42303 2263 9 0 2380398 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9558848

[startup+1.50074 s]
/proc/loadavg: 2.37 2.08 1.97 3/213 25705
/proc/meminfo: memFree=31141304/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9625004 CPUtime=2.5 cores=0,2,4,6
/proc/25685/stat : 25685 (java) S 25683 25685 22966 0 -1 4202496 10448 0 1 0 245 5 0 0 20 0 19 0 280382532 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140734827896208 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2406251 42680 2272 9 0 2396937 0
[pid=25685/tid=25687] ppid=25683 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/25685/task/25687/stat : 25687 (java) R 25683 25685 22966 0 -1 4202560 2576 0 1 0 143 4 0 0 20 0 19 0 280382533 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140675036717096 140674893335142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25688] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25688/stat : 25688 (java) S 25683 25685 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140675014818216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25689] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25689/stat : 25689 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140675013765672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25690] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25690/stat : 25690 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140675012712616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25691] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25691/stat : 25691 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140675011660072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25692] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25692/stat : 25692 (java) S 25683 25685 22966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674674453416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25693] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25693/stat : 25693 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674673400872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25694] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25694/stat : 25694 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674672347816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25695] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25695/stat : 25695 (java) S 25683 25685 22966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674671295272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25696] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25696/stat : 25696 (java) S 25683 25685 22966 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 280382535 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674659096936 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25697] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25697/stat : 25697 (java) S 25683 25685 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674658043256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25698] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25698/stat : 25698 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674656990088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25699] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25699/stat : 25699 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674655938832 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25700] ppid=25683 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/25685/task/25700/stat : 25700 (java) S 25683 25685 22966 0 -1 4202560 2985 0 0 0 47 0 0 0 20 0 19 0 280382538 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674654886712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25701] ppid=25683 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/25685/task/25701/stat : 25701 (java) S 25683 25685 22966 0 -1 4202560 3605 0 0 0 50 1 0 0 20 0 19 0 280382538 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674653834168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25702] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25702/stat : 25702 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674652781304 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25703] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25703/stat : 25703 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674651728968 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25705] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25705/stat : 25705 (java) S 25683 25685 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280382619 9856004096 42680 33554432000 1073741824 1073778376 140734827905072 140674650674216 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9625004

[startup+3.10073 s]
/proc/loadavg: 2.37 2.08 1.97 3/213 25705
/proc/meminfo: memFree=31136076/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9625004 CPUtime=4.19 cores=0,2,4,6
/proc/25685/stat : 25685 (java) S 25683 25685 22966 0 -1 4202496 10725 0 1 0 412 7 0 0 20 0 19 0 280382532 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140734827896208 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2406251 49369 2290 9 0 2396937 0
[pid=25685/tid=25687] ppid=25683 vsize=9625004 CPUtime=3.02 cores=0,2,4,6
/proc/25685/task/25687/stat : 25687 (java) R 25683 25685 22966 0 -1 4202560 2577 0 1 0 298 4 0 0 20 0 19 0 280382533 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140675036717360 140674893465170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25688] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25688/stat : 25688 (java) S 25683 25685 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140675014818216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25689] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25689/stat : 25689 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140675013765672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25690] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25690/stat : 25690 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140675012712616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25691] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25691/stat : 25691 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140675011660072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25692] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25692/stat : 25692 (java) S 25683 25685 22966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674674453416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25693] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25693/stat : 25693 (java) S 25683 25685 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674673400872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25694] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25694/stat : 25694 (java) S 25683 25685 22966 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674672347816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25695] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25695/stat : 25695 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674671295272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25696] ppid=25683 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25685/task/25696/stat : 25696 (java) S 25683 25685 22966 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 19 0 280382535 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674659096936 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25697] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25697/stat : 25697 (java) S 25683 25685 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674658043256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25698] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25698/stat : 25698 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674656990088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25699] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25699/stat : 25699 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674655938832 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25700] ppid=25683 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/25685/task/25700/stat : 25700 (java) S 25683 25685 22966 0 -1 4202560 2986 0 0 0 47 0 0 0 20 0 19 0 280382538 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674654886712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25701] ppid=25683 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/25685/task/25701/stat : 25701 (java) S 25683 25685 22966 0 -1 4202560 3828 0 0 0 56 2 0 0 20 0 19 0 280382538 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674653834168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25702] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25702/stat : 25702 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674652781304 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25703] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25703/stat : 25703 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674651728968 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25705] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25705/stat : 25705 (java) S 25683 25685 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280382619 9856004096 49369 33554432000 1073741824 1073778376 140734827905072 140674650674216 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9625004

[startup+6.30078 s]
/proc/loadavg: 2.34 2.08 1.97 3/213 25705
/proc/meminfo: memFree=31102200/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9625004 CPUtime=7.47 cores=0,2,4,6
/proc/25685/stat : 25685 (java) S 25683 25685 22966 0 -1 4202496 10761 0 1 0 740 7 0 0 20 0 19 0 280382532 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140734827896208 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2406251 50819 2290 9 0 2396937 0
[pid=25685/tid=25687] ppid=25683 vsize=9625004 CPUtime=6.13 cores=0,2,4,6
/proc/25685/task/25687/stat : 25687 (java) S 25683 25685 22966 0 -1 4202560 2580 0 1 0 609 4 0 0 20 0 19 0 280382533 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140675036717480 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25688] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25688/stat : 25688 (java) S 25683 25685 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140675014818216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25689] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25689/stat : 25689 (java) S 25683 25685 22966 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140675013765672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25690] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25690/stat : 25690 (java) S 25683 25685 22966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140675012712616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25691] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25691/stat : 25691 (java) S 25683 25685 22966 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140675011660072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25692] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25692/stat : 25692 (java) S 25683 25685 22966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674674453416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25693] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25693/stat : 25693 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674673400872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25694] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25694/stat : 25694 (java) S 25683 25685 22966 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674672347816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25695] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25695/stat : 25695 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382534 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674671295272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25696] ppid=25683 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/25685/task/25696/stat : 25696 (java) R 25683 25685 22966 0 -1 4202560 101 0 0 0 9 0 0 0 20 0 19 0 280382535 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674659095912 140675042387131 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25697] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25697/stat : 25697 (java) S 25683 25685 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674658043256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25698] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25698/stat : 25698 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674656990088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25699] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25699/stat : 25699 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674655938832 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25700] ppid=25683 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/25685/task/25700/stat : 25700 (java) S 25683 25685 22966 0 -1 4202560 2997 0 0 0 52 0 0 0 20 0 19 0 280382538 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674654863288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25701] ppid=25683 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/25685/task/25701/stat : 25701 (java) S 25683 25685 22966 0 -1 4202560 3838 0 0 0 58 2 0 0 20 0 19 0 280382538 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674653834168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25702] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25702/stat : 25702 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674652781304 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25703] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25703/stat : 25703 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674651728968 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25705] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25705/stat : 25705 (java) S 25683 25685 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280382619 9856004096 50819 33554432000 1073741824 1073778376 140734827905072 140674650674216 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 9625004

[startup+12.7008 s]

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

[pid=25685/tid=25700] ppid=25683 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/25685/task/25700/stat : 25700 (java) S 25683 25685 22966 0 -1 4202560 3005 0 0 0 63 0 0 0 20 0 19 0 280382538 9856004096 116907 33554432000 1073741824 1073778376 140734827905072 140674654886712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25701] ppid=25683 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/25685/task/25701/stat : 25701 (java) S 25683 25685 22966 0 -1 4202560 3864 0 0 0 64 2 0 0 20 0 19 0 280382538 9856004096 116907 33554432000 1073741824 1073778376 140734827905072 140674653834168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25702] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25702/stat : 25702 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 116907 33554432000 1073741824 1073778376 140734827905072 140674652781304 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25703] ppid=25683 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/25685/task/25703/stat : 25703 (java) S 25683 25685 22966 0 -1 4202560 96 0 0 0 35 29 0 0 20 0 19 0 280382538 9856004096 116907 33554432000 1073741824 1073778376 140734827905072 140674651728968 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25705] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25705/stat : 25705 (java) S 25683 25685 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280382619 9856004096 116907 33554432000 1073741824 1073778376 140734827905072 140674650674216 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1728.7
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 25722
/proc/meminfo: memFree=30714184/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9625004 CPUtime=1788.85 cores=0,2,4,6
/proc/25685/stat : 25685 (java) S 25683 25685 22966 0 -1 4202496 12311 0 1 0 178823 62 0 0 20 0 19 0 280382532 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140734827896208 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2406251 116909 2293 9 0 2396937 0
[pid=25685/tid=25687] ppid=25683 vsize=9625004 CPUtime=1767.45 cores=0,2,4,6
/proc/25685/task/25687/stat : 25687 (java) R 25683 25685 22966 0 -1 4202560 2795 0 1 0 176713 32 0 0 20 0 19 0 280382533 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675036717360 140674893290954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25688] ppid=25683 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/25685/task/25688/stat : 25688 (java) S 25683 25685 22966 0 -1 4202560 212 0 0 0 92 5 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675014818216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25689] ppid=25683 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/25685/task/25689/stat : 25689 (java) S 25683 25685 22966 0 -1 4202560 203 0 0 0 82 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675013765672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25690] ppid=25683 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/25685/task/25690/stat : 25690 (java) S 25683 25685 22966 0 -1 4202560 97 0 0 0 83 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675012712616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25691] ppid=25683 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/25685/task/25691/stat : 25691 (java) S 25683 25685 22966 0 -1 4202560 194 0 0 0 93 3 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675011660072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25692] ppid=25683 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/25685/task/25692/stat : 25692 (java) S 25683 25685 22966 0 -1 4202560 82 0 0 0 86 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674674453416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25693] ppid=25683 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/25685/task/25693/stat : 25693 (java) S 25683 25685 22966 0 -1 4202560 108 0 0 0 87 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674673400872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25694] ppid=25683 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/25685/task/25694/stat : 25694 (java) S 25683 25685 22966 0 -1 4202560 127 0 0 0 83 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674672347816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25695] ppid=25683 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/25685/task/25695/stat : 25695 (java) S 25683 25685 22966 0 -1 4202560 132 0 0 0 86 5 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674671295272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25696] ppid=25683 vsize=9625004 CPUtime=8.02 cores=0,2,4,6
/proc/25685/task/25696/stat : 25696 (java) S 25683 25685 22966 0 -1 4202560 209 0 0 0 800 2 0 0 20 0 19 0 280382535 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674659096936 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25697] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25697/stat : 25697 (java) S 25683 25685 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674658043256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25698] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25698/stat : 25698 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674656990088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25699] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25699/stat : 25699 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674655938832 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25700] ppid=25683 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/25685/task/25700/stat : 25700 (java) S 25683 25685 22966 0 -1 4202560 3005 0 0 0 63 0 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674654886712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25701] ppid=25683 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/25685/task/25701/stat : 25701 (java) S 25683 25685 22966 0 -1 4202560 3864 0 0 0 64 2 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674653834168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25702] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25702/stat : 25702 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674652781304 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25703] ppid=25683 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/25685/task/25703/stat : 25703 (java) S 25683 25685 22966 0 -1 4202560 100 0 0 0 36 30 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674651728968 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25705] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25705/stat : 25705 (java) S 25683 25685 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280382619 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674650674216 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1788.85
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 25722
/proc/meminfo: memFree=30714184/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/25685/stat : 25685 (java) S 25683 25685 22966 0 -1 4202496 12312 0 1 0 179947 62 0 0 20 0 19 0 280382532 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140734827896208 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2406251 116909 2293 9 0 2396937 0
[pid=25685/tid=25687] ppid=25683 vsize=9625004 CPUtime=1778.56 cores=0,2,4,6
/proc/25685/task/25687/stat : 25687 (java) R 25683 25685 22966 0 -1 4202560 2796 0 1 0 177823 33 0 0 20 0 19 0 280382533 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675036717360 140674893337937 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25688] ppid=25683 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/25685/task/25688/stat : 25688 (java) S 25683 25685 22966 0 -1 4202560 212 0 0 0 94 5 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675014818216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25689] ppid=25683 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/25685/task/25689/stat : 25689 (java) S 25683 25685 22966 0 -1 4202560 203 0 0 0 82 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675013765672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25690] ppid=25683 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/25685/task/25690/stat : 25690 (java) S 25683 25685 22966 0 -1 4202560 97 0 0 0 83 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675012712616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25691] ppid=25683 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/25685/task/25691/stat : 25691 (java) S 25683 25685 22966 0 -1 4202560 194 0 0 0 93 3 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675011660072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25692] ppid=25683 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/25685/task/25692/stat : 25692 (java) S 25683 25685 22966 0 -1 4202560 82 0 0 0 87 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674674453416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25693] ppid=25683 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/25685/task/25693/stat : 25693 (java) S 25683 25685 22966 0 -1 4202560 108 0 0 0 88 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674673400872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25694] ppid=25683 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/25685/task/25694/stat : 25694 (java) S 25683 25685 22966 0 -1 4202560 127 0 0 0 83 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674672347816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25695] ppid=25683 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/25685/task/25695/stat : 25695 (java) S 25683 25685 22966 0 -1 4202560 132 0 0 0 87 5 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674671295272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25696] ppid=25683 vsize=9625004 CPUtime=8.07 cores=0,2,4,6
/proc/25685/task/25696/stat : 25696 (java) S 25683 25685 22966 0 -1 4202560 209 0 0 0 805 2 0 0 20 0 19 0 280382535 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674659096936 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25697] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25697/stat : 25697 (java) S 25683 25685 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674658043256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25698] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25698/stat : 25698 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674656990088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25699] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25699/stat : 25699 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674655938832 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25700] ppid=25683 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/25685/task/25700/stat : 25700 (java) S 25683 25685 22966 0 -1 4202560 3005 0 0 0 63 0 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674654886712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25701] ppid=25683 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/25685/task/25701/stat : 25701 (java) S 25683 25685 22966 0 -1 4202560 3864 0 0 0 64 2 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674653834168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25702] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25702/stat : 25702 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674652781304 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25703] ppid=25683 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/25685/task/25703/stat : 25703 (java) S 25683 25685 22966 0 -1 4202560 100 0 0 0 37 31 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674651728968 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25705] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25705/stat : 25705 (java) S 25683 25685 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280382619 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674650674216 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1793.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 25722
/proc/meminfo: memFree=30714184/32873844 swapFree=6872/6872
[pid=25685] ppid=25683 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/25685/stat : 25685 (java) S 25683 25685 22966 0 -1 4202496 12312 0 1 0 179947 62 0 0 20 0 19 0 280382532 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140734827896208 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25685/statm: 2406251 116909 2293 9 0 2396937 0
[pid=25685/tid=25687] ppid=25683 vsize=9625004 CPUtime=1778.56 cores=0,2,4,6
/proc/25685/task/25687/stat : 25687 (java) R 25683 25685 22966 0 -1 4202560 2796 0 1 0 177823 33 0 0 20 0 19 0 280382533 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675036717360 140674893337937 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25688] ppid=25683 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/25685/task/25688/stat : 25688 (java) S 25683 25685 22966 0 -1 4202560 212 0 0 0 94 5 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675014818216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25689] ppid=25683 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/25685/task/25689/stat : 25689 (java) S 25683 25685 22966 0 -1 4202560 203 0 0 0 82 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675013765672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25690] ppid=25683 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/25685/task/25690/stat : 25690 (java) S 25683 25685 22966 0 -1 4202560 97 0 0 0 83 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675012712616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25691] ppid=25683 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/25685/task/25691/stat : 25691 (java) S 25683 25685 22966 0 -1 4202560 194 0 0 0 93 3 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140675011660072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25692] ppid=25683 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/25685/task/25692/stat : 25692 (java) S 25683 25685 22966 0 -1 4202560 82 0 0 0 87 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674674453416 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25685/tid=25693] ppid=25683 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/25685/task/25693/stat : 25693 (java) S 25683 25685 22966 0 -1 4202560 108 0 0 0 88 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674673400872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25694] ppid=25683 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/25685/task/25694/stat : 25694 (java) S 25683 25685 22966 0 -1 4202560 127 0 0 0 83 4 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674672347816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25695] ppid=25683 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/25685/task/25695/stat : 25695 (java) S 25683 25685 22966 0 -1 4202560 132 0 0 0 87 5 0 0 20 0 19 0 280382534 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674671295272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25696] ppid=25683 vsize=9625004 CPUtime=8.07 cores=0,2,4,6
/proc/25685/task/25696/stat : 25696 (java) S 25683 25685 22966 0 -1 4202560 209 0 0 0 805 2 0 0 20 0 19 0 280382535 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674659096936 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25697] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25697/stat : 25697 (java) S 25683 25685 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674658043256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25698] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25698/stat : 25698 (java) S 25683 25685 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280382536 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674656990088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25699] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25699/stat : 25699 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674655938832 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25685/tid=25700] ppid=25683 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/25685/task/25700/stat : 25700 (java) S 25683 25685 22966 0 -1 4202560 3005 0 0 0 63 0 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674654886712 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25701] ppid=25683 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/25685/task/25701/stat : 25701 (java) S 25683 25685 22966 0 -1 4202560 3864 0 0 0 64 2 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674653834168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25702] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25702/stat : 25702 (java) S 25683 25685 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674652781304 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25685/tid=25703] ppid=25683 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/25685/task/25703/stat : 25703 (java) S 25683 25685 22966 0 -1 4202560 100 0 0 0 37 31 0 0 20 0 19 0 280382538 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674651728968 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25685/tid=25705] ppid=25683 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25685/task/25705/stat : 25705 (java) S 25683 25685 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280382619 9856004096 116909 33554432000 1073741824 1073778376 140734827905072 140674650674216 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25685 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=108102
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=152824
# CPU time returned by wait4() is 1796.26
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.56
CPU time (s): 1800.09
CPU user time (s): 1799.47
CPU system time (s): 0.62
CPU usage (%): 100.364
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.11
system time used= 1.15282
maximum resident set size= 467764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12346
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43050
involuntary context switches= 22380

runsolver used 4.35334 second user time and 16.0216 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-27 20:15:41
IDJOB=3710635
IDBENCH=2011
IDSOLVER=2289
FILE ID=node106/3710635-1338142540
RUNJOBID= node106-1338138950-25294
PBS_JOBID= 14624504
Free space on /tmp= 71332 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710635-1338142540/watcher-3710635-1338142540 -o /tmp/evaluation-result-3710635-1338142540/solver-3710635-1338142540 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710635-1338142540.opb

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

MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4
RANDOM SEED=1384054395

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31337288 kB
Buffers:          162180 kB
Cached:           508576 kB
SwapCached:            0 kB
Active:           618752 kB
Inactive:          77632 kB
Active(anon):      16596 kB
Inactive(anon):    12004 kB
Active(file):     602156 kB
Inactive(file):    65628 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4824 kB
Writeback:             0 kB
AnonPages:         39148 kB
Mapped:            18124 kB
Shmem:               200 kB
Slab:             697020 kB
SReclaimable:     138896 kB
SUnreclaim:       558124 kB
KernelStack:        1600 kB
PageTables:         4232 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     693988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node106 at 2012-05-27 20:45:36