Trace number 3687515

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)21 1800.05 1792.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM374deb5d477559ba9c51d0ad1d758624
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1.19682
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables2112
Total number of constraints5020
Number of constraints which are clauses4128
Number of constraints which are cardinality constraints (but not clauses)216
Number of constraints which are nor clauses,nor cardinality constraints676
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 288
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 288
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 288
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3687515-1337871946.opb
0.10/0.11	c reading problem ... 
0.53/0.34	c ... done. Wall clock time 0.232s.
0.53/0.34	c declared #vars     2112
0.53/0.34	c #constraints  5120
0.53/0.34	c constraints type 
0.53/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3840
0.53/0.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 416
0.53/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 288
0.53/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 576
0.53/0.34	c 5120 constraints processed.
0.53/0.34	c objective function length is 288 literals
0.76/0.42	c SATISFIABLE
0.76/0.42	c OPTIMIZING...
0.76/0.42	c Got one! Elapsed wall clock time (in seconds):0.309
0.76/0.42	o 56
0.76/0.43	c Got one! Elapsed wall clock time (in seconds):0.323
0.76/0.43	o 26
1.75/1.18	c cleaning 2581 clauses out of 5161 with flag 5001/5161
2.61/1.97	c cleaning 4290 clauses out of 8579 with flag 11000/11160
3.51/2.87	c cleaning 5644 clauses out of 11289 with flag 18000/18160
4.52/3.87	c cleaning 6809 clauses out of 13645 with flag 26000/26160
5.68/5.00	c cleaning 7912 clauses out of 15838 with flag 35002/35162
6.98/6.27	c cleaning 8956 clauses out of 17927 with flag 45003/45163
8.39/7.63	c cleaning 9961 clauses out of 19968 with flag 56000/56160
9.99/9.20	c cleaning 10996 clauses out of 22007 with flag 68000/68160
11.75/10.93	c cleaning 12001 clauses out of 24011 with flag 81000/81160
13.86/12.76	c cleaning 13004 clauses out of 26012 with flag 95002/95162
16.17/14.77	c cleaning 13998 clauses out of 28010 with flag 110004/110164
18.30/16.84	c cleaning 14986 clauses out of 30008 with flag 126000/126160
20.61/19.14	c cleaning 16001 clauses out of 32023 with flag 143001/143161
23.02/21.53	c cleaning 16988 clauses out of 34021 with flag 161000/161160
25.63/24.13	c cleaning 17999 clauses out of 36032 with flag 180000/180160
28.23/26.76	c cleaning 19002 clauses out of 38033 with flag 200000/200160
31.04/29.56	c cleaning 19999 clauses out of 40032 with flag 221001/221161
33.96/32.46	c cleaning 20995 clauses out of 42032 with flag 243000/243160
37.06/35.58	c cleaning 22005 clauses out of 44037 with flag 266000/266160
40.26/38.79	c cleaning 23003 clauses out of 46032 with flag 290000/290160
43.68/42.17	c cleaning 24001 clauses out of 48031 with flag 315002/315162
47.31/45.78	c cleaning 24987 clauses out of 50028 with flag 341000/341160
51.05/49.49	c cleaning 25994 clauses out of 52041 with flag 368000/368160
55.08/53.48	c cleaning 27024 clauses out of 54047 with flag 396000/396160
59.40/57.72	c cleaning 27985 clauses out of 56023 with flag 425000/425160
63.82/62.02	c cleaning 29015 clauses out of 58040 with flag 455002/455162
68.53/66.50	c cleaning 30006 clauses out of 60023 with flag 486001/486161
73.30/70.83	c cleaning 30985 clauses out of 62015 with flag 518000/518160
77.92/75.42	c cleaning 31982 clauses out of 64030 with flag 551000/551160
82.75/80.30	c cleaning 33012 clauses out of 66048 with flag 585000/585160
87.85/85.31	c cleaning 34016 clauses out of 68035 with flag 620000/620160
92.77/90.30	c cleaning 34992 clauses out of 70019 with flag 656000/656160
98.07/95.57	c cleaning 35997 clauses out of 72029 with flag 693002/693162
103.79/101.22	c cleaning 36992 clauses out of 74031 with flag 731001/731161
109.41/106.87	c cleaning 37989 clauses out of 76042 with flag 770004/770164
115.34/112.79	c cleaning 39015 clauses out of 78049 with flag 810000/810160
120.95/118.39	c cleaning 39996 clauses out of 80034 with flag 851000/851160
126.87/124.27	c cleaning 41004 clauses out of 82046 with flag 893009/893169
133.48/130.85	c cleaning 41987 clauses out of 84030 with flag 936000/936160
139.90/137.20	c cleaning 43003 clauses out of 86042 with flag 980000/980160
146.62/143.95	c cleaning 44014 clauses out of 88039 with flag 1025000/1025160
153.55/150.85	c cleaning 44985 clauses out of 90025 with flag 1071002/1071162
160.47/157.75	c cleaning 46007 clauses out of 92038 with flag 1118000/1118160
167.72/164.97	c cleaning 47005 clauses out of 94033 with flag 1166002/1166162
175.45/172.64	c cleaning 47989 clauses out of 96028 with flag 1215002/1215162
183.06/180.30	c cleaning 48997 clauses out of 98037 with flag 1265000/1265160
190.89/188.09	c cleaning 50014 clauses out of 100040 with flag 1316000/1316160
199.14/196.26	c cleaning 50977 clauses out of 102026 with flag 1368000/1368160
207.77/204.83	c cleaning 52001 clauses out of 104049 with flag 1421000/1421160
216.90/213.95	c cleaning 53002 clauses out of 106048 with flag 1475000/1475160
225.62/222.60	c cleaning 54013 clauses out of 108046 with flag 1530000/1530160
235.06/232.03	c cleaning 54983 clauses out of 110033 with flag 1586000/1586160
244.29/241.21	c cleaning 56018 clauses out of 112050 with flag 1643000/1643160
253.93/250.84	c cleaning 56997 clauses out of 114032 with flag 1701000/1701160
263.95/260.81	c cleaning 57999 clauses out of 116035 with flag 1760001/1760161
273.90/270.73	c cleaning 58977 clauses out of 118035 with flag 1820000/1820160
284.13/280.90	c cleaning 60018 clauses out of 120058 with flag 1881000/1881160
294.15/290.91	c cleaning 61002 clauses out of 122040 with flag 1943000/1943160
304.79/301.57	c cleaning 62008 clauses out of 124038 with flag 2006000/2006160
315.12/311.86	c cleaning 63004 clauses out of 126030 with flag 2070000/2070160
326.25/322.96	c cleaning 63993 clauses out of 128027 with flag 2135001/2135161
337.08/333.73	c cleaning 65003 clauses out of 130033 with flag 2201000/2201160
348.03/344.62	c cleaning 66008 clauses out of 132032 with flag 2268002/2268162
359.54/356.12	c cleaning 67006 clauses out of 134023 with flag 2336001/2336161
371.71/368.20	c cleaning 67991 clauses out of 136019 with flag 2405003/2405163
383.36/379.87	c cleaning 68985 clauses out of 138027 with flag 2475002/2475162
395.39/391.85	c cleaning 70003 clauses out of 140040 with flag 2546000/2546160
407.91/404.34	c cleaning 71001 clauses out of 142038 with flag 2618001/2618161
420.63/417.02	c cleaning 72006 clauses out of 144036 with flag 2691000/2691160
433.76/430.18	c cleaning 73004 clauses out of 146031 with flag 2765001/2765161
446.17/442.56	c cleaning 73993 clauses out of 148027 with flag 2840001/2840161
458.79/455.19	c cleaning 74997 clauses out of 150034 with flag 2916001/2916161
472.02/468.38	c cleaning 76004 clauses out of 152038 with flag 2993002/2993162
485.33/481.68	c cleaning 77001 clauses out of 154033 with flag 3071001/3071161
499.76/496.01	c cleaning 78003 clauses out of 156031 with flag 3150000/3150160
514.27/510.59	c cleaning 79010 clauses out of 158028 with flag 3230000/3230160
529.19/525.44	c cleaning 79984 clauses out of 160018 with flag 3311000/3311160
543.44/539.69	c cleaning 80986 clauses out of 162035 with flag 3393001/3393161
557.55/553.79	c cleaning 81997 clauses out of 164048 with flag 3476000/3476160
572.51/568.64	c cleaning 82999 clauses out of 166050 with flag 3560000/3560160
587.64/583.75	c cleaning 84017 clauses out of 168054 with flag 3645003/3645163
604.06/600.15	c cleaning 85005 clauses out of 170039 with flag 3731005/3731165
620.68/616.74	c cleaning 85986 clauses out of 172030 with flag 3818001/3818161
638.40/634.45	c cleaning 86987 clauses out of 174043 with flag 3906000/3906160
654.22/650.27	c cleaning 88014 clauses out of 176057 with flag 3995001/3995161
670.35/666.37	c cleaning 88991 clauses out of 178042 with flag 4085000/4085160
687.27/683.20	c cleaning 90020 clauses out of 180051 with flag 4176000/4176160
703.30/699.28	c cleaning 90993 clauses out of 182031 with flag 4268000/4268160
720.32/716.25	c cleaning 91999 clauses out of 184038 with flag 4361000/4361160
738.85/734.79	c cleaning 93004 clauses out of 186041 with flag 4455002/4455162
758.37/754.27	c cleaning 94008 clauses out of 188035 with flag 4550000/4550160
777.11/772.92	c cleaning 94999 clauses out of 190028 with flag 4646001/4646161
795.14/790.96	c cleaning 95996 clauses out of 192028 with flag 4743000/4743160
816.09/811.84	c cleaning 97004 clauses out of 194032 with flag 4841000/4841160
834.32/830.07	c cleaning 98005 clauses out of 196030 with flag 4940002/4940162
852.15/847.85	c cleaning 99014 clauses out of 198027 with flag 5040004/5040164
871.16/866.75	c cleaning 99976 clauses out of 200010 with flag 5141001/5141161
890.87/886.45	c cleaning 100995 clauses out of 202032 with flag 5243000/5243160
910.72/906.23	c cleaning 101978 clauses out of 204037 with flag 5346000/5346160
930.65/926.12	c cleaning 103000 clauses out of 206059 with flag 5450000/5450160
951.29/946.73	c cleaning 104017 clauses out of 208058 with flag 5555000/5555160
972.02/967.42	c cleaning 104984 clauses out of 210041 with flag 5661000/5661160
992.26/987.67	c cleaning 106019 clauses out of 212059 with flag 5768002/5768162
1013.48/1008.81	c cleaning 106999 clauses out of 214039 with flag 5876001/5876161
1035.53/1030.85	c cleaning 108006 clauses out of 216039 with flag 5985000/5985160
1059.14/1054.49	c cleaning 109006 clauses out of 218033 with flag 6095000/6095160
1083.47/1078.71	c cleaning 109996 clauses out of 220028 with flag 6206001/6206161
1107.61/1102.86	c cleaning 111009 clauses out of 222031 with flag 6318000/6318160
1132.65/1127.85	c cleaning 111991 clauses out of 224022 with flag 6431000/6431160
1156.11/1151.27	c cleaning 112983 clauses out of 226031 with flag 6545000/6545160
1182.05/1177.14	c cleaning 113994 clauses out of 228049 with flag 6660001/6660161
1206.90/1201.95	c cleaning 115008 clauses out of 230057 with flag 6776003/6776163
1231.45/1226.48	c cleaning 116000 clauses out of 232049 with flag 6893003/6893163
1255.39/1250.39	c cleaning 117015 clauses out of 234050 with flag 7011004/7011164
1280.27/1275.17	c cleaning 117997 clauses out of 236031 with flag 7130000/7130160
1291.02/1285.84	c Got one! Elapsed wall clock time (in seconds):1285.727
1291.02/1285.84	o 25
1291.02/1285.86	c Got one! Elapsed wall clock time (in seconds):1285.752
1291.02/1285.86	o 24
1291.02/1285.87	c Got one! Elapsed wall clock time (in seconds):1285.764
1291.02/1285.87	o 23
1291.83/1286.61	c Got one! Elapsed wall clock time (in seconds):1286.504
1291.83/1286.61	o 22
1292.27/1287.07	c cleaning 91504 clauses out of 183032 with flag 1000/7195158
1293.49/1288.28	c cleaning 48762 clauses out of 97529 with flag 7001/7201159
1294.81/1289.57	c cleaning 27861 clauses out of 55765 with flag 14000/7208158
1295.55/1290.24	c Got one! Elapsed wall clock time (in seconds):1290.135
1295.55/1290.24	o 21
1295.77/1290.44	c cleaning 16657 clauses out of 33498 with flag 2003/7213752
1296.20/1290.88	c cleaning 11258 clauses out of 22839 with flag 8001/7219750
1296.72/1291.33	c cleaning 9119 clauses out of 18582 with flag 15002/7226751
1297.24/1291.84	c cleaning 8542 clauses out of 17462 with flag 23001/7234750
1298.46/1293.07	c cleaning 8937 clauses out of 17919 with flag 32000/7243749
1299.89/1294.45	c cleaning 9463 clauses out of 18982 with flag 42000/7253749
1301.40/1295.98	c cleaning 10243 clauses out of 20519 with flag 53000/7264749
1303.11/1297.68	c cleaning 11123 clauses out of 22276 with flag 65000/7276749
1304.93/1299.49	c cleaning 12067 clauses out of 24153 with flag 78000/7289749
1306.86/1301.38	c cleaning 13023 clauses out of 26086 with flag 92000/7303749
1309.07/1303.51	c cleaning 14015 clauses out of 28063 with flag 107000/7318749
1311.20/1305.65	c cleaning 15009 clauses out of 30048 with flag 123000/7334749
1313.72/1308.10	c cleaning 16014 clauses out of 32042 with flag 140003/7351752
1316.23/1310.69	c cleaning 17007 clauses out of 34025 with flag 158000/7369749
1319.04/1313.49	c cleaning 18006 clauses out of 36018 with flag 177000/7388749
1322.16/1316.50	c cleaning 18999 clauses out of 38013 with flag 197001/7408750
1325.18/1319.54	c cleaning 19966 clauses out of 40013 with flag 218000/7429749
1328.29/1322.65	c cleaning 20985 clauses out of 42049 with flag 240003/7451752
1331.61/1325.96	c cleaning 22012 clauses out of 44062 with flag 263001/7474750
1335.23/1329.53	c cleaning 23021 clauses out of 46049 with flag 287000/7498749
1338.74/1333.04	c cleaning 23995 clauses out of 48029 with flag 312001/7523750
1342.45/1336.77	c cleaning 25012 clauses out of 50033 with flag 338000/7549749
1346.47/1340.70	c cleaning 25996 clauses out of 52022 with flag 365001/7576750
1350.37/1344.68	c cleaning 26989 clauses out of 54028 with flag 393003/7604752
1354.68/1348.90	c cleaning 28010 clauses out of 56037 with flag 422001/7633750
1359.12/1353.34	c cleaning 28991 clauses out of 58026 with flag 452000/7663749
1363.84/1358.08	c cleaning 29994 clauses out of 60037 with flag 483002/7694751
1368.55/1362.74	c cleaning 31012 clauses out of 62043 with flag 515002/7726751
1373.28/1367.49	c cleaning 32000 clauses out of 64029 with flag 548000/7759749
1378.51/1372.70	c cleaning 32991 clauses out of 66030 with flag 582001/7793750
1383.64/1377.79	c cleaning 33999 clauses out of 68043 with flag 617005/7828754
1389.16/1383.27	c cleaning 35013 clauses out of 70043 with flag 653005/7864754
1394.69/1388.73	c cleaning 35991 clauses out of 72024 with flag 690000/7901749
1400.52/1394.60	c cleaning 37004 clauses out of 74033 with flag 728000/7939749
1406.74/1400.75	c cleaning 38012 clauses out of 76033 with flag 767005/7978754
1413.15/1407.19	c cleaning 38993 clauses out of 78015 with flag 807000/8018749
1419.56/1413.53	c cleaning 39989 clauses out of 80023 with flag 848001/8059750
1425.87/1419.89	c cleaning 41004 clauses out of 82034 with flag 890001/8101750
1432.80/1426.75	c cleaning 41992 clauses out of 84029 with flag 933000/8144749
1440.22/1434.12	c cleaning 42995 clauses out of 86039 with flag 977003/8188752
1447.35/1441.22	c cleaning 43986 clauses out of 88041 with flag 1022000/8233749
1454.68/1448.53	c cleaning 45015 clauses out of 90056 with flag 1068001/8279750
1462.39/1456.23	c cleaning 46005 clauses out of 92043 with flag 1115003/8326752
1470.22/1464.08	c cleaning 46987 clauses out of 94036 with flag 1163001/8374750
1478.05/1471.86	c cleaning 48022 clauses out of 96050 with flag 1212002/8423751
1486.27/1480.02	c cleaning 48994 clauses out of 98026 with flag 1262000/8473749
1494.62/1488.34	c cleaning 50007 clauses out of 100032 with flag 1313000/8524749
1502.73/1496.48	c cleaning 50987 clauses out of 102027 with flag 1365002/8576751
1511.36/1505.06	c cleaning 52004 clauses out of 104039 with flag 1418001/8629750
1520.18/1513.81	c cleaning 53016 clauses out of 106034 with flag 1472000/8683749
1528.72/1522.36	c cleaning 53976 clauses out of 108018 with flag 1527000/8738749
1537.54/1531.18	c cleaning 54999 clauses out of 110042 with flag 1583000/8794749
1546.56/1540.12	c cleaning 56004 clauses out of 112043 with flag 1640000/8851749
1556.30/1549.85	c cleaning 57006 clauses out of 114039 with flag 1698000/8909749
1565.93/1559.49	c cleaning 58006 clauses out of 116033 with flag 1757000/8968749
1575.86/1569.37	c cleaning 59000 clauses out of 118027 with flag 1817000/9028749
1585.69/1579.13	c cleaning 59988 clauses out of 120027 with flag 1878000/9089749
1595.92/1589.33	c cleaning 61008 clauses out of 122040 with flag 1940002/9151751
1606.65/1600.02	c cleaning 62006 clauses out of 124032 with flag 2003002/9214751
1617.48/1610.85	c cleaning 62977 clauses out of 126028 with flag 2067004/9278753
1628.73/1622.05	c cleaning 64011 clauses out of 128047 with flag 2132000/9343749
1640.05/1633.37	c cleaning 64978 clauses out of 130037 with flag 2198001/9409750
1651.76/1645.05	c cleaning 66020 clauses out of 132060 with flag 2265002/9476751
1663.59/1656.89	c cleaning 67003 clauses out of 134038 with flag 2333000/9544749
1675.65/1668.89	c cleaning 67987 clauses out of 136036 with flag 2402001/9613750
1688.29/1681.40	c cleaning 69002 clauses out of 138048 with flag 2472000/9683749
1701.01/1694.16	c cleaning 69999 clauses out of 140046 with flag 2543000/9754749
1713.95/1707.06	c cleaning 71014 clauses out of 142048 with flag 2615001/9826750
1726.97/1720.07	c cleaning 72003 clauses out of 144031 with flag 2688000/9899749
1740.20/1733.29	c cleaning 73008 clauses out of 146029 with flag 2762001/9973750
1753.92/1746.90	c cleaning 74007 clauses out of 148022 with flag 2837002/10048751
1767.85/1760.88	c cleaning 74993 clauses out of 150013 with flag 2913000/10124749
1782.10/1775.06	c cleaning 75976 clauses out of 152020 with flag 2990000/10201749
1796.41/1789.32	c cleaning 77021 clauses out of 154044 with flag 3068000/10279749
1800.05/1792.92	c starts		: 307
1800.05/1792.92	c conflicts		: 10300360
1800.05/1792.92	c decisions		: 34317677
1800.05/1792.92	c propagations		: 2756975590
1800.05/1792.92	c inspects		: 11082218198
1800.05/1792.92	c shortcuts		: 0
1800.05/1792.92	c learnt literals	: 25
1800.05/1792.92	c learnt binary clauses	: 202
1800.05/1792.92	c learnt ternary clauses	: 366
1800.05/1792.92	c learnt constraints	: 10300335
1800.05/1792.92	c ignored constraints	: 0
1800.05/1792.92	c root simplifications	: 0
1800.05/1792.92	c removed literals (reason simplification)	: 0
1800.05/1792.92	c reason swapping (by a shorter reason)	: 0
1800.05/1792.92	c Calls to reduceDB	: 192
1800.05/1792.92	c number of reductions to clauses (during analyze)	: 0
1800.05/1792.92	c number of learned constraints concerned by reduction	: 0
1800.05/1792.92	c number of learning phase by resolution	: 0
1800.05/1792.92	c number of learning phase by cutting planes	: 0
1800.05/1792.92	c speed (assignments/second)	: 1538004.3524175107
1800.05/1792.92	c non guided choices	2801
1800.05/1792.94	c learnt constraints type 
1800.05/1792.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 202
1800.05/1792.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 97546
1800.05/1792.94	c constraints type 
1800.05/1792.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3840
1800.05/1792.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 417
1800.05/1792.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 288
1800.05/1792.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 576
1800.05/1792.94	c 5121 constraints processed.
1800.05/1792.94	s SATISFIABLE
1800.05/1792.95	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 
1800.05/1792.95	c objective function=21
1800.05/1792.95	c Total wall clock time (in seconds): 1792.844

Verifier Data 

OK	21

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-3687515-1337871946/watcher-3687515-1337871946 -o /tmp/evaluation-result-3687515-1337871946/solver-3687515-1337871946 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687515-1337871946.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.00 0.26 0.09 3/194 23641
/proc/meminfo: memFree=27562760/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/23641/stat : 23641 (java) R 23639 23641 23066 0 -1 4202496 1030 0 0 0 0 0 0 0 20 0 1 0 253319653 23793664 757 33554432000 1073741824 1073778376 140735928901360 140735928890424 139822555607843 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 5809 774 571 9 0 128 0

[startup+0.0924009 s]
/proc/loadavg: 1.00 0.26 0.09 3/194 23641
/proc/meminfo: memFree=27562760/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/23641/stat : 23641 (java) S 23639 23641 23066 0 -1 4202496 4251 0 1 0 8 1 0 0 20 0 18 0 253319653 9787813888 5447 33554432000 1073741824 1073778376 140735928901360 140735928892496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 2389603 5447 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.100246 s]
/proc/loadavg: 1.00 0.26 0.09 3/194 23641
/proc/meminfo: memFree=27562760/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/23641/stat : 23641 (java) S 23639 23641 23066 0 -1 4202496 4340 0 1 0 9 1 0 0 20 0 18 0 253319653 9787813888 5536 33554432000 1073741824 1073778376 140735928901360 140735928892496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 2389603 5536 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.30017 s]
/proc/loadavg: 1.00 0.26 0.09 3/194 23641
/proc/meminfo: memFree=27562760/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=9558412 CPUtime=0.53 cores=1,3,5,7
/proc/23641/stat : 23641 (java) S 23639 23641 23066 0 -1 4202496 5840 0 1 0 51 2 0 0 20 0 18 0 253319653 9787813888 10538 33554432000 1073741824 1073778376 140735928901360 140735928892496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 2389603 10538 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412

[startup+0.700157 s]
/proc/loadavg: 1.00 0.26 0.09 3/194 23641
/proc/meminfo: memFree=27562760/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/23641/stat : 23641 (java) S 23639 23641 23066 0 -1 4202496 8276 0 1 0 129 2 0 0 20 0 19 0 253319653 9855975424 13590 33554432000 1073741824 1073778376 140735928901360 140735928892496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 2406244 13590 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9624976

[startup+1.50061 s]
/proc/loadavg: 1.08 0.29 0.10 3/213 23660
/proc/meminfo: memFree=27514704/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=9624976 CPUtime=2.18 cores=1,3,5,7
/proc/23641/stat : 23641 (java) S 23639 23641 23066 0 -1 4202496 8504 0 1 0 215 3 0 0 20 0 19 0 253319653 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 140735928892496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 2406244 16199 2275 9 0 2396937 0
[pid=23641/tid=23643] ppid=23639 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/23641/task/23643/stat : 23643 (java) R 23639 23641 23066 0 -1 4202560 2468 0 1 0 144 2 0 0 20 0 19 0 253319654 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822548111768 139822409334485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23644] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23644/stat : 23644 (java) S 23639 23641 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822392048552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23645] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23645/stat : 23645 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822390996008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23646] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23646/stat : 23646 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822389942952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23647] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23647/stat : 23647 (java) S 23639 23641 23066 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822388890408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23648] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23648/stat : 23648 (java) S 23639 23641 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822387837352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23649] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23649/stat : 23649 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822386784808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23650] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23650/stat : 23650 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822385731752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23651] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23651/stat : 23651 (java) S 23639 23641 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822384679208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23652] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23652/stat : 23652 (java) S 23639 23641 23066 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253319656 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822372268904 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23653] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23653/stat : 23653 (java) S 23639 23641 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319656 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822371215224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23654] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23654/stat : 23654 (java) S 23639 23641 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319657 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822370162056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23655] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23655/stat : 23655 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822369110800 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23656] ppid=23639 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/23641/task/23656/stat : 23656 (java) S 23639 23641 23066 0 -1 4202560 2127 0 0 0 35 0 0 0 20 0 19 0 253319659 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822368057656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23657] ppid=23639 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/23641/task/23657/stat : 23657 (java) S 23639 23641 23066 0 -1 4202560 2665 0 0 0 31 0 0 0 20 0 19 0 253319659 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822367005112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23658] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23658/stat : 23658 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822365952248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23659] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23659/stat : 23659 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822364899912 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23660] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23660/stat : 23660 (java) S 23639 23641 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319689 9855975424 16199 33554432000 1073741824 1073778376 140735928901360 139822363846184 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 9624976

[startup+3.10061 s]
/proc/loadavg: 1.08 0.29 0.10 3/213 23660
/proc/meminfo: memFree=27502168/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=9624976 CPUtime=3.82 cores=1,3,5,7
/proc/23641/stat : 23641 (java) S 23639 23641 23066 0 -1 4202496 8520 0 1 0 379 3 0 0 20 0 19 0 253319653 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 140735928892496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 2406244 17233 2275 9 0 2396937 0
[pid=23641/tid=23643] ppid=23639 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/23641/task/23643/stat : 23643 (java) R 23639 23641 23066 0 -1 4202560 2469 0 1 0 301 2 0 0 20 0 19 0 253319654 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822548111768 139822409345633 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23644] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23644/stat : 23644 (java) S 23639 23641 23066 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822392048552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23645] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23645/stat : 23645 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822390996008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23646] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23646/stat : 23646 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822389942952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23647] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23647/stat : 23647 (java) S 23639 23641 23066 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822388890408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23648] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23648/stat : 23648 (java) S 23639 23641 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822387837352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23649] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23649/stat : 23649 (java) S 23639 23641 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822386784808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23650] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23650/stat : 23650 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822385731752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23651] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23651/stat : 23651 (java) S 23639 23641 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822384679208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23652] ppid=23639 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23641/task/23652/stat : 23652 (java) S 23639 23641 23066 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 253319656 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822372268904 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23653] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23653/stat : 23653 (java) S 23639 23641 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319656 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822371215224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23654] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23654/stat : 23654 (java) S 23639 23641 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319657 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822370162056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23655] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23655/stat : 23655 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822369110800 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23656] ppid=23639 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/23641/task/23656/stat : 23656 (java) S 23639 23641 23066 0 -1 4202560 2127 0 0 0 37 0 0 0 20 0 19 0 253319659 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822368057656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23657] ppid=23639 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/23641/task/23657/stat : 23657 (java) S 23639 23641 23066 0 -1 4202560 2666 0 0 0 33 0 0 0 20 0 19 0 253319659 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822367005112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23658] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23658/stat : 23658 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822365952248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23659] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23659/stat : 23659 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822364899912 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23660] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23660/stat : 23660 (java) S 23639 23641 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319689 9855975424 17233 33554432000 1073741824 1073778376 140735928901360 139822363846184 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 1.16 0.32 0.11 3/213 23660
/proc/meminfo: memFree=27492672/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=9624976 CPUtime=7.09 cores=1,3,5,7
/proc/23641/stat : 23641 (java) S 23639 23641 23066 0 -1 4202496 9051 0 1 0 706 3 0 0 20 0 19 0 253319653 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 140735928892496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 2406244 17418 2275 9 0 2396937 0
[pid=23641/tid=23643] ppid=23639 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/23641/task/23643/stat : 23643 (java) R 23639 23641 23066 0 -1 4202560 2472 0 1 0 615 2 0 0 20 0 19 0 253319654 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822548111768 139822409253123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23644] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23644/stat : 23644 (java) S 23639 23641 23066 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822392048552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23645] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23645/stat : 23645 (java) S 23639 23641 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822390996008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23646] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23646/stat : 23646 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822389942952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23647] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23647/stat : 23647 (java) S 23639 23641 23066 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822388890408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23648] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23648/stat : 23648 (java) S 23639 23641 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822387837352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23649] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23649/stat : 23649 (java) S 23639 23641 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822386784808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23650] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23650/stat : 23650 (java) S 23639 23641 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822385731752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23651] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23651/stat : 23651 (java) S 23639 23641 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253319655 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822384679208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23652] ppid=23639 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/23641/task/23652/stat : 23652 (java) S 23639 23641 23066 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 253319656 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822372268904 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23653] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23653/stat : 23653 (java) S 23639 23641 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319656 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822371215224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23654] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23654/stat : 23654 (java) S 23639 23641 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319657 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822370162056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23655] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23655/stat : 23655 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822369110800 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23656] ppid=23639 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/23641/task/23656/stat : 23656 (java) S 23639 23641 23066 0 -1 4202560 2128 0 0 0 37 0 0 0 20 0 19 0 253319659 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822368057656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23657] ppid=23639 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/23641/task/23657/stat : 23657 (java) S 23639 23641 23066 0 -1 4202560 3178 0 0 0 39 0 0 0 20 0 19 0 253319659 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822367005112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23658] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23658/stat : 23658 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822365952248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23659] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23659/stat : 23659 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822364899912 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23660] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23660/stat : 23660 (java) S 23639 23641 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319689 9855975424 17418 33554432000 1073741824 1073778376 140735928901360 139822363846184 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=23641/tid=23656] ppid=23639 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23641/task/23656/stat : 23656 (java) S 23639 23641 23066 0 -1 4202560 2412 0 0 0 48 0 0 0 20 0 19 0 253319659 9855975424 53217 33554432000 1073741824 1073778376 140735928901360 139822368057656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23657] ppid=23639 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/23641/task/23657/stat : 23657 (java) S 23639 23641 23066 0 -1 4202560 17317 0 0 0 175 3 0 0 20 0 19 0 253319659 9855975424 53217 33554432000 1073741824 1073778376 140735928901360 139822367005112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23658] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23658/stat : 23658 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 53217 33554432000 1073741824 1073778376 140735928901360 139822365952248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23659] ppid=23639 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/23641/task/23659/stat : 23659 (java) S 23639 23641 23066 0 -1 4202560 98 0 0 0 30 23 0 0 20 0 19 0 253319659 9855975424 53217 33554432000 1073741824 1073778376 140735928901360 139822364899912 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23660] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23660/stat : 23660 (java) S 23639 23641 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319689 9855975424 53217 33554432000 1073741824 1073778376 140735928901360 139822363846184 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1729.3
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.74 3/213 23735
/proc/meminfo: memFree=27045464/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=9624976 CPUtime=1789.41 cores=1,3,5,7
/proc/23641/stat : 23641 (java) S 23639 23641 23066 0 -1 4202496 25446 0 1 0 178888 53 0 0 20 0 19 0 253319653 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 140735928892496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 2406244 53294 2277 9 0 2396937 0
[pid=23641/tid=23643] ppid=23639 vsize=9624976 CPUtime=1766.85 cores=1,3,5,7
/proc/23641/task/23643/stat : 23643 (java) R 23639 23641 23066 0 -1 4202560 2676 0 1 0 176655 30 0 0 20 0 19 0 253319654 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822548111648 139822409365074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23644] ppid=23639 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/23641/task/23644/stat : 23644 (java) S 23639 23641 23066 0 -1 4202560 81 0 0 0 80 2 0 0 20 0 19 0 253319655 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822392048552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23645] ppid=23639 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/23641/task/23645/stat : 23645 (java) S 23639 23641 23066 0 -1 4202560 222 0 0 0 84 2 0 0 20 0 19 0 253319655 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822390996008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23646] ppid=23639 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/23641/task/23646/stat : 23646 (java) S 23639 23641 23066 0 -1 4202560 166 0 0 0 84 2 0 0 20 0 19 0 253319655 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822389942952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23647] ppid=23639 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/23641/task/23647/stat : 23647 (java) S 23639 23641 23066 0 -1 4202560 122 0 0 0 85 2 0 0 20 0 19 0 253319655 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822388890408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23648] ppid=23639 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/23641/task/23648/stat : 23648 (java) S 23639 23641 23066 0 -1 4202560 154 0 0 0 82 2 0 0 20 0 19 0 253319655 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822387837352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23649] ppid=23639 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/23641/task/23649/stat : 23649 (java) S 23639 23641 23066 0 -1 4202560 268 0 0 0 82 2 0 0 20 0 19 0 253319655 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822386784808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23650] ppid=23639 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/23641/task/23650/stat : 23650 (java) S 23639 23641 23066 0 -1 4202560 283 0 0 0 82 2 0 0 20 0 19 0 253319655 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822385731752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23651] ppid=23639 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/23641/task/23651/stat : 23651 (java) S 23639 23641 23066 0 -1 4202560 286 0 0 0 89 2 0 0 20 0 19 0 253319655 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822384679208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23652] ppid=23639 vsize=9624976 CPUtime=8.44 cores=1,3,5,7
/proc/23641/task/23652/stat : 23652 (java) S 23639 23641 23066 0 -1 4202560 172 0 0 0 841 3 0 0 20 0 19 0 253319656 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822372268904 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23653] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23653/stat : 23653 (java) S 23639 23641 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319656 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822371215224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23654] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23654/stat : 23654 (java) S 23639 23641 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319657 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822370162056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23655] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23655/stat : 23655 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822369110800 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23656] ppid=23639 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23641/task/23656/stat : 23656 (java) S 23639 23641 23066 0 -1 4202560 2412 0 0 0 48 0 0 0 20 0 19 0 253319659 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822368057656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23657] ppid=23639 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/23641/task/23657/stat : 23657 (java) S 23639 23641 23066 0 -1 4202560 17317 0 0 0 175 3 0 0 20 0 19 0 253319659 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822367005112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23658] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23658/stat : 23658 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822365952248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23659] ppid=23639 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23641/task/23659/stat : 23659 (java) S 23639 23641 23066 0 -1 4202560 101 0 0 0 31 24 0 0 20 0 19 0 253319659 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822364899912 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23660] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23660/stat : 23660 (java) S 23639 23641 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319689 9855975424 53294 33554432000 1073741824 1073778376 140735928901360 139822363846184 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1789.41
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.9 s]
/proc/loadavg: 2.00 2.03 1.74 3/213 23735
/proc/meminfo: memFree=27041616/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/23641/stat : 23641 (java) S 23639 23641 23066 0 -1 4202496 25453 0 1 0 179952 53 0 0 20 0 19 0 253319653 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 140735928892496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 2406244 53300 2277 9 0 2396937 0
[pid=23641/tid=23643] ppid=23639 vsize=9624976 CPUtime=1777.35 cores=1,3,5,7
/proc/23641/task/23643/stat : 23643 (java) R 23639 23641 23066 0 -1 4202560 2677 0 1 0 177704 31 0 0 20 0 19 0 253319654 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822548111648 139822409365074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23644] ppid=23639 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/23641/task/23644/stat : 23644 (java) S 23639 23641 23066 0 -1 4202560 81 0 0 0 82 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822392048552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23645] ppid=23639 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/23641/task/23645/stat : 23645 (java) S 23639 23641 23066 0 -1 4202560 222 0 0 0 84 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822390996008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23646] ppid=23639 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/23641/task/23646/stat : 23646 (java) S 23639 23641 23066 0 -1 4202560 166 0 0 0 84 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822389942952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23647] ppid=23639 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/23641/task/23647/stat : 23647 (java) S 23639 23641 23066 0 -1 4202560 122 0 0 0 85 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822388890408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23648] ppid=23639 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/23641/task/23648/stat : 23648 (java) S 23639 23641 23066 0 -1 4202560 154 0 0 0 83 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822387837352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23649] ppid=23639 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/23641/task/23649/stat : 23649 (java) S 23639 23641 23066 0 -1 4202560 268 0 0 0 82 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822386784808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23650] ppid=23639 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/23641/task/23650/stat : 23650 (java) S 23639 23641 23066 0 -1 4202560 283 0 0 0 83 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822385731752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23651] ppid=23639 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/23641/task/23651/stat : 23651 (java) S 23639 23641 23066 0 -1 4202560 292 0 0 0 90 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822384679208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23652] ppid=23639 vsize=9624976 CPUtime=8.51 cores=1,3,5,7
/proc/23641/task/23652/stat : 23652 (java) S 23639 23641 23066 0 -1 4202560 172 0 0 0 848 3 0 0 20 0 19 0 253319656 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822372268904 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23653] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23653/stat : 23653 (java) S 23639 23641 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319656 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822371215224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23654] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23654/stat : 23654 (java) S 23639 23641 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319657 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822370162056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23655] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23655/stat : 23655 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822369110800 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23656] ppid=23639 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23641/task/23656/stat : 23656 (java) S 23639 23641 23066 0 -1 4202560 2412 0 0 0 48 0 0 0 20 0 19 0 253319659 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822368057656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23657] ppid=23639 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/23641/task/23657/stat : 23657 (java) S 23639 23641 23066 0 -1 4202560 17317 0 0 0 175 3 0 0 20 0 19 0 253319659 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822367005112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23658] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23658/stat : 23658 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822365952248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23659] ppid=23639 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23641/task/23659/stat : 23659 (java) S 23639 23641 23066 0 -1 4202560 101 0 0 0 31 24 0 0 20 0 19 0 253319659 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822364899912 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23660] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23660/stat : 23660 (java) S 23639 23641 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319689 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822363846184 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1792.9 s]
/proc/loadavg: 2.00 2.03 1.74 3/213 23735
/proc/meminfo: memFree=27041616/32873844 swapFree=7108/7108
[pid=23641] ppid=23639 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/23641/stat : 23641 (java) S 23639 23641 23066 0 -1 4202496 25453 0 1 0 179952 53 0 0 20 0 19 0 253319653 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 140735928892496 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23641/statm: 2406244 53300 2277 9 0 2396937 0
[pid=23641/tid=23643] ppid=23639 vsize=9624976 CPUtime=1777.35 cores=1,3,5,7
/proc/23641/task/23643/stat : 23643 (java) R 23639 23641 23066 0 -1 4202560 2677 0 1 0 177704 31 0 0 20 0 19 0 253319654 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822548111648 139822409365074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23644] ppid=23639 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/23641/task/23644/stat : 23644 (java) S 23639 23641 23066 0 -1 4202560 81 0 0 0 82 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822392048552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23645] ppid=23639 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/23641/task/23645/stat : 23645 (java) S 23639 23641 23066 0 -1 4202560 222 0 0 0 84 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822390996008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23646] ppid=23639 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/23641/task/23646/stat : 23646 (java) S 23639 23641 23066 0 -1 4202560 166 0 0 0 84 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822389942952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23647] ppid=23639 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/23641/task/23647/stat : 23647 (java) S 23639 23641 23066 0 -1 4202560 122 0 0 0 85 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822388890408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23648] ppid=23639 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/23641/task/23648/stat : 23648 (java) S 23639 23641 23066 0 -1 4202560 154 0 0 0 83 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822387837352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23649] ppid=23639 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/23641/task/23649/stat : 23649 (java) S 23639 23641 23066 0 -1 4202560 268 0 0 0 82 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822386784808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23650] ppid=23639 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/23641/task/23650/stat : 23650 (java) S 23639 23641 23066 0 -1 4202560 283 0 0 0 83 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822385731752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23651] ppid=23639 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/23641/task/23651/stat : 23651 (java) S 23639 23641 23066 0 -1 4202560 292 0 0 0 90 2 0 0 20 0 19 0 253319655 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822384679208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23641/tid=23652] ppid=23639 vsize=9624976 CPUtime=8.51 cores=1,3,5,7
/proc/23641/task/23652/stat : 23652 (java) S 23639 23641 23066 0 -1 4202560 172 0 0 0 848 3 0 0 20 0 19 0 253319656 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822372268904 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23653] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23653/stat : 23653 (java) S 23639 23641 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319656 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822371215224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23654] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23654/stat : 23654 (java) S 23639 23641 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319657 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822370162056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23655] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23655/stat : 23655 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822369110800 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23656] ppid=23639 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23641/task/23656/stat : 23656 (java) S 23639 23641 23066 0 -1 4202560 2412 0 0 0 48 0 0 0 20 0 19 0 253319659 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822368057656 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23641/tid=23657] ppid=23639 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/23641/task/23657/stat : 23657 (java) S 23639 23641 23066 0 -1 4202560 17317 0 0 0 175 3 0 0 20 0 19 0 253319659 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822367005112 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23658] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23658/stat : 23658 (java) S 23639 23641 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319659 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822365952248 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23641/tid=23659] ppid=23639 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23641/task/23659/stat : 23659 (java) S 23639 23641 23066 0 -1 4202560 101 0 0 0 31 24 0 0 20 0 19 0 253319659 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822364899912 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23641/tid=23660] ppid=23639 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23641/task/23660/stat : 23660 (java) S 23639 23641 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319689 9855975424 53300 33554432000 1073741824 1073778376 140735928901360 139822363846184 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23641 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=19115
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=912861
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.96
CPU time (s): 1800.05
CPU user time (s): 1799.52
CPU system time (s): 0.53
CPU usage (%): 100.395
Max. virtual memory (cumulated for all children) (KiB): 9625292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.02
system time used= 0.912861
maximum resident set size= 213328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25488
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43176
involuntary context switches= 37933

runsolver used 6.29104 second user time and 15.5636 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-24 17:05:46
IDJOB=3687515
IDBENCH=1850
IDSOLVER=2269
FILE ID=node138/3687515-1337871946
RUNJOBID= node138-1337871881-23083
PBS_JOBID= 14620066
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687515-1337871946/watcher-3687515-1337871946 -o /tmp/evaluation-result-3687515-1337871946/solver-3687515-1337871946 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687515-1337871946.opb

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

MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624
RANDOM SEED=152657804

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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.347
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.347
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.92
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.347
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:        27563032 kB
Buffers:          212428 kB
Cached:          4108860 kB
SwapCached:            0 kB
Active:           739320 kB
Inactive:        3760160 kB
Active(anon):     180832 kB
Inactive(anon):        0 kB
Active(file):     558488 kB
Inactive(file):  3760160 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:        218124 kB
Mapped:            22468 kB
Shmem:               200 kB
Slab:             637776 kB
SReclaimable:      80000 kB
SUnreclaim:       557776 kB
KernelStack:        1616 kB
PageTables:         4352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71704 MiB
End job on node138 at 2012-05-24 17:35:41