Trace number 3710286

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)362784496250000004 1800.46 1765.17

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-eilB101.opb
MD5SUMfbc26082f2456029d803a788e5b95f10
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark362784496250000004
Best CPU time to get the best result obtained on this benchmark1800.46
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2818
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint61
Maximum length of a constraint759
Number of terms in the objective function 2818
Biggest coefficient in the objective function 83990681000000000
Number of bits for the biggest coefficient in the objective function 57
Sum of the numbers in the objective function 88099418004000000014
Number of bits of the sum of numbers in the objective function 67
Biggest number in a constraint 83990681000000000
Number of bits of the biggest number in a constraint 57
Biggest sum of numbers in a constraint 88099418004000000014
Number of bits of the biggest sum of numbers67
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 This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	c Number of processors 	8
0.10/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.12	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3710286-1338207106.opb
0.10/0.12	c reading problem ... 
0.55/0.33	c ... done. Wall clock time 0.208s.
0.55/0.33	c declared #vars     2818
0.55/0.33	c #constraints  200
0.55/0.33	c constraints type 
0.55/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.55/0.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
0.55/0.33	c 200 constraints processed.
0.81/0.44	c SATISFIABLE
0.81/0.44	c OPTIMIZING...
0.81/0.44	c Got one! Elapsed wall clock time (in seconds):0.325
0.81/0.44	o 612674136000000005
0.81/0.47	c Got one! Elapsed wall clock time (in seconds):0.349
0.81/0.47	o 570275972250000008
0.81/0.49	c Got one! Elapsed wall clock time (in seconds):0.368
0.81/0.49	o 565646764000000006
1.37/0.63	c Got one! Elapsed wall clock time (in seconds):0.51
1.37/0.63	o 559763235249999999
1.37/0.68	c Got one! Elapsed wall clock time (in seconds):0.564
1.37/0.68	o 549263763750000003
1.61/0.74	c Got one! Elapsed wall clock time (in seconds):0.619
1.61/0.74	o 542139458750000002
1.80/0.80	c Got one! Elapsed wall clock time (in seconds):0.679
1.80/0.80	o 541886976750000002
1.80/0.86	c Got one! Elapsed wall clock time (in seconds):0.745
1.80/0.86	o 427103671000000001
3.21/2.11	c cleaning 3166 clauses out of 6333 with flag 5000/6333
4.66/3.55	c cleaning 4581 clauses out of 9167 with flag 11000/12333
6.49/5.31	c cleaning 5766 clauses out of 11586 with flag 18000/19333
8.62/7.43	c cleaning 6906 clauses out of 13821 with flag 26001/27334
9.10/7.80	c Got one! Elapsed wall clock time (in seconds):7.683
9.10/7.80	o 385047107500000002
10.51/9.27	c cleaning 6418 clauses out of 12835 with flag 5001/33254
12.12/10.84	c cleaning 6184 clauses out of 12416 with flag 11000/39253
13.85/12.54	c Got one! Elapsed wall clock time (in seconds):12.421
13.85/12.54	o 381839263500000008
15.15/13.88	c cleaning 8905 clauses out of 17845 with flag 5001/50866
16.67/15.38	c cleaning 7461 clauses out of 14939 with flag 11000/56865
18.58/17.21	c cleaning 7227 clauses out of 14483 with flag 18005/63870
20.90/19.54	c cleaning 7599 clauses out of 15251 with flag 26000/71865
23.44/22.09	c cleaning 8319 clauses out of 16654 with flag 35002/80867
27.07/25.64	c cleaning 9143 clauses out of 18333 with flag 45000/90865
30.89/29.40	c cleaning 10061 clauses out of 20190 with flag 56000/101865
35.33/33.84	c cleaning 11059 clauses out of 22130 with flag 68001/113866
38.85/37.39	c cleaning 12026 clauses out of 24070 with flag 81000/126865
43.69/42.16	c cleaning 12996 clauses out of 26045 with flag 95001/140866
46.67/45.07	c Got one! Elapsed wall clock time (in seconds):44.954
46.67/45.07	o 374902811750000001
48.47/46.86	c cleaning 12692 clauses out of 25409 with flag 5000/153226
50.50/48.89	c cleaning 9323 clauses out of 18717 with flag 11000/159226
53.63/51.91	c cleaning 8183 clauses out of 16400 with flag 18006/166232
56.05/54.35	c cleaning 8105 clauses out of 16216 with flag 26005/174231
58.57/56.80	c cleaning 8542 clauses out of 17107 with flag 35001/183227
61.28/59.60	c cleaning 9265 clauses out of 18566 with flag 45002/193228
64.90/63.10	c cleaning 10133 clauses out of 20302 with flag 56003/204229
68.53/66.76	c cleaning 11079 clauses out of 22166 with flag 68000/216226
74.16/72.37	c cleaning 12045 clauses out of 24089 with flag 81002/229228
78.59/76.70	c cleaning 13003 clauses out of 26044 with flag 95002/243228
84.62/82.77	c cleaning 13998 clauses out of 28041 with flag 110002/258228
89.65/87.72	c cleaning 15005 clauses out of 30041 with flag 126000/274226
95.18/93.29	c cleaning 15989 clauses out of 32036 with flag 143000/291226
102.31/100.38	c cleaning 16984 clauses out of 34050 with flag 161003/309229
110.36/108.33	c cleaning 18030 clauses out of 36065 with flag 180002/328228
119.31/117.19	c cleaning 19011 clauses out of 38035 with flag 200002/348228
126.03/123.86	c cleaning 20002 clauses out of 40026 with flag 221004/369230
134.07/131.89	c cleaning 20999 clauses out of 42022 with flag 243002/391228
142.28/139.93	c cleaning 22012 clauses out of 44024 with flag 266003/414229
151.25/148.89	c cleaning 23001 clauses out of 46009 with flag 290000/438226
160.14/157.67	c cleaning 23985 clauses out of 48008 with flag 315000/463226
167.79/165.26	c cleaning 24995 clauses out of 50024 with flag 341001/489227
179.63/176.86	c cleaning 25987 clauses out of 52028 with flag 368000/516226
191.89/188.94	c cleaning 26898 clauses out of 54047 with flag 396006/544232
214.40/211.24	c cleaning 28009 clauses out of 56143 with flag 425000/573226
230.71/227.30	c cleaning 29011 clauses out of 58140 with flag 455006/603232
242.50/238.99	c cleaning 30055 clauses out of 60126 with flag 486003/634229
256.05/252.21	c cleaning 24909 clauses out of 49826 with flag 518001/666227
271.30/267.13	c cleaning 28960 clauses out of 57919 with flag 551003/699229
284.05/279.66	c cleaning 31468 clauses out of 62958 with flag 585002/733228
298.21/293.57	c cleaning 33206 clauses out of 66488 with flag 620000/768226
312.87/308.00	c cleaning 34619 clauses out of 69282 with flag 656000/804226
339.26/333.88	c cleaning 35803 clauses out of 71664 with flag 693001/841227
365.58/359.65	c cleaning 36885 clauses out of 73861 with flag 731001/879227
384.80/378.50	c cleaning 37981 clauses out of 75975 with flag 770000/918226
387.26/381.00	c Got one! Elapsed wall clock time (in seconds):380.876
387.36/381.00	o 369646625000000002
389.30/382.99	c cleaning 24687 clauses out of 49494 with flag 5005/929726
392.09/385.69	c cleaning 15354 clauses out of 30805 with flag 11003/935724
394.55/388.03	c cleaning 11192 clauses out of 22448 with flag 18000/942721
397.73/391.18	c cleaning 9594 clauses out of 19259 with flag 26003/950724
401.57/394.80	c cleaning 9272 clauses out of 18663 with flag 35001/959722
404.64/397.81	c cleaning 9664 clauses out of 19390 with flag 45000/969721
407.92/401.04	c cleaning 10312 clauses out of 20726 with flag 56000/980721
411.75/404.76	c cleaning 11204 clauses out of 22414 with flag 68000/992721
415.19/408.17	c cleaning 12090 clauses out of 24212 with flag 81002/1005723
418.74/411.61	c cleaning 13051 clauses out of 26122 with flag 95002/1019723
423.30/416.16	c cleaning 14021 clauses out of 28072 with flag 110003/1034724
427.94/420.72	c cleaning 14991 clauses out of 30051 with flag 126003/1050724
433.93/426.62	c cleaning 15985 clauses out of 32058 with flag 143001/1067722
440.42/433.07	c cleaning 16995 clauses out of 34073 with flag 161001/1085722
447.30/439.88	c cleaning 17981 clauses out of 36078 with flag 180001/1104722
454.94/447.39	c cleaning 18947 clauses out of 38097 with flag 200001/1124722
463.19/455.48	c cleaning 20025 clauses out of 40150 with flag 221001/1145722
471.33/463.44	c cleaning 21021 clauses out of 42124 with flag 243000/1167721
479.89/471.89	c cleaning 22014 clauses out of 44104 with flag 266001/1190722
489.50/481.24	c cleaning 23033 clauses out of 46090 with flag 290001/1214722
502.03/493.57	c cleaning 23965 clauses out of 48056 with flag 315000/1239721
515.06/506.35	c cleaning 25024 clauses out of 50093 with flag 341002/1265723
529.55/520.53	c cleaning 25796 clauses out of 52068 with flag 368001/1292722
547.20/537.99	c cleaning 27067 clauses out of 54274 with flag 396003/1320724
569.29/559.68	c cleaning 28096 clauses out of 56204 with flag 425000/1349721
580.15/570.29	c cleaning 29048 clauses out of 58109 with flag 455001/1379722
594.55/584.33	c cleaning 30024 clauses out of 60061 with flag 486001/1410722
607.63/597.14	c cleaning 28623 clauses out of 57352 with flag 518001/1442722
620.07/609.36	c cleaning 30846 clauses out of 61728 with flag 551000/1475721
633.57/622.56	c cleaning 32378 clauses out of 64882 with flag 585000/1509721
649.36/638.04	c cleaning 33610 clauses out of 67505 with flag 620001/1544722
663.20/651.53	c cleaning 34941 clauses out of 69904 with flag 656010/1580731
681.63/669.67	c cleaning 35972 clauses out of 71953 with flag 693000/1617721
698.83/686.56	c cleaning 36960 clauses out of 73993 with flag 731012/1655733
713.80/701.18	c cleaning 37951 clauses out of 76029 with flag 770008/1694729
731.02/718.15	c cleaning 38968 clauses out of 78070 with flag 810000/1734721
747.41/734.26	c cleaning 39982 clauses out of 80102 with flag 851000/1775721
765.52/751.95	c cleaning 41013 clauses out of 82120 with flag 893000/1817721
786.91/772.89	c cleaning 42027 clauses out of 84107 with flag 936000/1860721
808.72/794.23	c cleaning 42986 clauses out of 86080 with flag 980000/1904721
836.30/821.35	c cleaning 44008 clauses out of 88096 with flag 1025002/1949723
862.36/846.82	c cleaning 45017 clauses out of 90086 with flag 1071000/1995721
883.82/867.85	c cleaning 46031 clauses out of 92071 with flag 1118002/2042723
904.43/888.06	c cleaning 46989 clauses out of 94038 with flag 1166000/2090721
932.24/915.34	c cleaning 47913 clauses out of 96052 with flag 1215003/2139724
959.75/942.32	c cleaning 48989 clauses out of 98137 with flag 1265001/2189722
988.09/970.07	c cleaning 50062 clauses out of 100149 with flag 1316002/2240723
1015.93/997.45	c cleaning 51030 clauses out of 102085 with flag 1368000/2292721
1041.52/1022.51	c cleaning 51944 clauses out of 104055 with flag 1421000/2345721
1073.86/1054.33	c cleaning 53036 clauses out of 106111 with flag 1475000/2399721
1107.15/1087.08	c cleaning 53956 clauses out of 108075 with flag 1530000/2454721
1132.65/1111.98	c cleaning 55027 clauses out of 110119 with flag 1586000/2510721
1157.28/1136.07	c cleaning 56021 clauses out of 112092 with flag 1643000/2567721
1182.46/1160.77	c cleaning 57005 clauses out of 114071 with flag 1701000/2625721
1208.85/1186.67	c cleaning 57981 clauses out of 116068 with flag 1760002/2684723
1232.74/1210.09	c Got one! Elapsed wall clock time (in seconds):1209.968
1232.74/1210.09	o 362784496250000004
1235.03/1212.29	c cleaning 51927 clauses out of 103916 with flag 5001/2730552
1237.47/1214.60	c cleaning 28986 clauses out of 57991 with flag 11003/2736554
1240.13/1217.22	c cleaning 17976 clauses out of 36004 with flag 18002/2743553
1242.81/1219.87	c cleaning 13000 clauses out of 26027 with flag 26001/2751552
1245.88/1222.87	c cleaning 10971 clauses out of 22026 with flag 35000/2760551
1249.90/1226.73	c cleaning 10479 clauses out of 21058 with flag 45003/2770554
1253.98/1230.75	c cleaning 10742 clauses out of 21580 with flag 56004/2781555
1258.36/1235.07	c cleaning 11408 clauses out of 22837 with flag 68003/2793554
1261.83/1238.47	c cleaning 12203 clauses out of 24434 with flag 81008/2806559
1266.35/1242.89	c cleaning 13098 clauses out of 26223 with flag 95000/2820551
1271.87/1248.23	c cleaning 14045 clauses out of 28133 with flag 110008/2835559
1281.01/1257.26	c cleaning 14996 clauses out of 30088 with flag 126008/2851559
1287.64/1263.70	c cleaning 16022 clauses out of 32084 with flag 143000/2868551
1293.06/1269.07	c cleaning 17028 clauses out of 34065 with flag 161003/2886554
1300.83/1276.69	c cleaning 18005 clauses out of 36038 with flag 180004/2905555
1307.67/1283.31	c cleaning 18997 clauses out of 38029 with flag 200000/2925551
1314.41/1289.90	c cleaning 19996 clauses out of 40032 with flag 221000/2946551
1321.87/1297.27	c cleaning 21007 clauses out of 42036 with flag 243000/2968551
1331.38/1306.50	c cleaning 21987 clauses out of 44029 with flag 266000/2991551
1339.29/1314.24	c cleaning 22989 clauses out of 46042 with flag 290000/3015551
1347.67/1322.45	c cleaning 23997 clauses out of 48053 with flag 315000/3040551
1358.04/1332.53	c cleaning 24985 clauses out of 50056 with flag 341000/3066551
1370.27/1344.11	c cleaning 26028 clauses out of 52072 with flag 368001/3093552
1381.60/1354.94	c cleaning 27016 clauses out of 54045 with flag 396002/3121553
1392.53/1365.68	c cleaning 28003 clauses out of 56027 with flag 425000/3150551
1401.12/1374.08	c cleaning 28981 clauses out of 58024 with flag 455000/3180551
1411.64/1384.32	c cleaning 29954 clauses out of 60043 with flag 486000/3211551
1426.98/1399.34	c cleaning 31035 clauses out of 62089 with flag 518000/3243551
1447.10/1419.14	c cleaning 31991 clauses out of 64054 with flag 551000/3276551
1461.41/1433.16	c cleaning 32980 clauses out of 66067 with flag 585004/3310555
1479.36/1450.78	c cleaning 33984 clauses out of 68083 with flag 620000/3345551
1498.83/1469.87	c cleaning 34953 clauses out of 70099 with flag 656000/3381551
1520.71/1491.37	c cleaning 36027 clauses out of 72148 with flag 693002/3418553
1540.29/1510.57	c cleaning 37020 clauses out of 74120 with flag 731001/3456552
1558.30/1528.13	c cleaning 35467 clauses out of 71098 with flag 770004/3495555
1576.14/1545.69	c cleaning 37796 clauses out of 75627 with flag 810000/3535551
1594.46/1563.66	c cleaning 39376 clauses out of 78831 with flag 851000/3576551
1614.53/1583.36	c cleaning 40459 clauses out of 81456 with flag 893001/3618552
1634.89/1603.39	c cleaning 41905 clauses out of 83996 with flag 936000/3661551
1655.02/1623.08	c cleaning 43033 clauses out of 86091 with flag 980000/3705551
1675.87/1643.58	c cleaning 44023 clauses out of 88058 with flag 1025000/3750551
1697.22/1664.45	c cleaning 45012 clauses out of 90037 with flag 1071002/3796553
1720.06/1686.71	c cleaning 45997 clauses out of 92025 with flag 1118002/3843553
1743.38/1709.70	c cleaning 47000 clauses out of 94027 with flag 1166001/3891552
1774.95/1740.67	c cleaning 48011 clauses out of 96028 with flag 1215002/3940553
1800.01/1765.11	c starts		: 265
1800.01/1765.11	c conflicts		: 3983626
1800.01/1765.11	c decisions		: 8273020
1800.01/1765.11	c propagations		: 218187403
1800.01/1765.11	c inspects		: 4736275802
1800.01/1765.11	c shortcuts		: 0
1800.01/1765.11	c learnt literals	: 4
1800.01/1765.11	c learnt binary clauses	: 3
1800.01/1765.11	c learnt ternary clauses	: 2
1800.01/1765.11	c learnt constraints	: 3983622
1800.01/1765.11	c ignored constraints	: 0
1800.01/1765.11	c root simplifications	: 269
1800.01/1765.11	c removed literals (reason simplification)	: 27241131
1800.01/1765.11	c reason swapping (by a shorter reason)	: 0
1800.01/1765.11	c Calls to reduceDB	: 151
1800.01/1765.11	c number of reductions to clauses (during analyze)	: 0
1800.01/1765.11	c number of learned constraints concerned by reduction	: 0
1800.01/1765.11	c number of learning phase by resolution	: 0
1800.01/1765.11	c number of learning phase by cutting planes	: 0
1800.01/1765.11	c speed (assignments/second)	: 123634.61991776859
1800.01/1765.11	c non guided choices	2575
1800.01/1765.14	c learnt constraints type 
1800.01/1765.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2
1800.01/1765.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 91129
1800.01/1765.14	c constraints type 
1800.01/1765.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.01/1765.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
1800.01/1765.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.01/1765.14	c 201 constraints processed.
1800.01/1765.14	s SATISFIABLE
1800.01/1765.15	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 
1800.01/1765.15	c objective function=362784496250000004
1800.01/1765.15	c Total wall clock time (in seconds): 1765.031

Verifier Data 

OK	362784496250000004

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-3710286-1338207106/watcher-3710286-1338207106 -o /tmp/evaluation-result-3710286-1338207106/solver-3710286-1338207106 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710286-1338207106.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: 2.82 2.68 2.43 3/193 24694
/proc/meminfo: memFree=23666476/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24694/stat : 24694 (java) D 24692 24694 24478 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 286836604 9515008 183 33554432000 1073741824 1073778376 140733226546032 140733226537064 217410518709 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/24694/statm: 2323 183 140 9 0 71 0

[startup+0.0879319 s]
/proc/loadavg: 2.82 2.68 2.43 3/193 24694
/proc/meminfo: memFree=23666476/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24692 24694 24478 0 -1 4202496 3674 0 1 0 6 0 0 0 20 0 18 0 286836604 9787842560 4882 33554432000 1073741824 1073778376 140735737508272 140735737499408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24694/statm: 2389610 4885 1938 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.10026 s]
/proc/loadavg: 2.82 2.68 2.43 3/193 24694
/proc/meminfo: memFree=23666476/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24692 24694 24478 0 -1 4202496 4280 0 1 0 9 1 0 0 20 0 18 0 286836604 9787842560 5487 33554432000 1073741824 1073778376 140735737508272 140735737499408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24694/statm: 2389610 5487 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300189 s]
/proc/loadavg: 2.82 2.68 2.43 3/193 24694
/proc/meminfo: memFree=23666476/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9558440 CPUtime=0.55 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24692 24694 24478 0 -1 4202496 7674 0 1 0 54 1 0 0 20 0 18 0 286836604 9787842560 11164 33554432000 1073741824 1073778376 140735737508272 140735737499408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24694/statm: 2389610 11164 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558440

[startup+0.700215 s]
/proc/loadavg: 2.82 2.68 2.43 3/193 24694
/proc/meminfo: memFree=23666476/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24692 24694 24478 0 -1 4202496 16136 0 1 0 158 3 0 0 20 0 19 0 286836604 9856004096 20831 33554432000 1073741824 1073778376 140735737508272 140735737499408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24694/statm: 2406251 20831 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9625004

[startup+1.50077 s]
/proc/loadavg: 2.82 2.68 2.43 3/212 24713
/proc/meminfo: memFree=23582416/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9625004 CPUtime=2.58 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24692 24694 24478 0 -1 4202496 16498 0 1 0 254 4 0 0 20 0 19 0 286836604 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140735737499408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24694/statm: 2406251 26215 2259 9 0 2396937 0
[pid=24694/tid=24696] ppid=24692 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) R 24692 24694 24478 0 -1 4202560 2544 0 1 0 145 1 0 0 20 0 19 0 286836605 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330821563080 140330692132156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330810624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24698] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330663622824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24699] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330662570536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24700] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330661517736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24701] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330660465448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24702] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330659412648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24703] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330658360360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24704] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24692 24694 24478 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330657307560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24705] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24692 24694 24478 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 286836607 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330645108968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24706] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24692 24694 24478 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330644055032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24707] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24692 24694 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330643002632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24708] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330641951120 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24709] ppid=24692 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24692 24694 24478 0 -1 4202560 8463 0 0 0 60 0 0 0 20 0 19 0 286836610 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330640898744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24692 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24692 24694 24478 0 -1 4202560 4291 0 0 0 47 0 0 0 20 0 19 0 286836610 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330639845944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24711] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330638793848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24712] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330637741256 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24713] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24713/stat : 24713 (java) S 24692 24694 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286836638 9856004096 26215 33554432000 1073741824 1073778376 140735737508272 140330636686248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 9625004

[startup+3.10068 s]
/proc/loadavg: 2.82 2.68 2.43 4/212 24713
/proc/meminfo: memFree=23557344/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9625004 CPUtime=4.26 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24692 24694 24478 0 -1 4202496 16847 0 1 0 421 5 0 0 20 0 19 0 286836604 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140735737499408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24694/statm: 2406251 34962 2284 9 0 2396937 0
[pid=24694/tid=24696] ppid=24692 vsize=9625004 CPUtime=3.04 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) R 24692 24694 24478 0 -1 4202560 2552 0 1 0 302 2 0 0 20 0 19 0 286836605 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330821562760 140330691851138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24692 24694 24478 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330810624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24698] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24692 24694 24478 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330663622824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24699] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24692 24694 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330662570536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24700] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24692 24694 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330661517736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24701] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24692 24694 24478 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330660465448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24702] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24692 24694 24478 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330659412648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24703] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24692 24694 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330658360360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24704] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24692 24694 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330657307560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24705] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24692 24694 24478 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 286836607 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330645108968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24706] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24692 24694 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330644055032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24707] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24692 24694 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330643002632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24708] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330641951120 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24709] ppid=24692 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24692 24694 24478 0 -1 4202560 8467 0 0 0 62 0 0 0 20 0 19 0 286836610 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330640898744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24692 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24692 24694 24478 0 -1 4202560 4560 0 0 0 51 1 0 0 20 0 19 0 286836610 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330639845944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24711] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330638793848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24712] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330637741256 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24713] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24713/stat : 24713 (java) S 24692 24694 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286836638 9856004096 34962 33554432000 1073741824 1073778376 140735737508272 140330636686248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 9625004

[startup+6.30062 s]
/proc/loadavg: 2.75 2.67 2.42 3/212 24713
/proc/meminfo: memFree=23504308/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9625004 CPUtime=7.51 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24692 24694 24478 0 -1 4202496 16900 0 1 0 743 8 0 0 20 0 19 0 286836604 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140735737499408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24694/statm: 2406251 42064 2284 9 0 2396937 0
[pid=24694/tid=24696] ppid=24692 vsize=9625004 CPUtime=6.19 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) R 24692 24694 24478 0 -1 4202560 2555 0 1 0 617 2 0 0 20 0 19 0 286836605 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330821562672 140330691914076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24692 24694 24478 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330810624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24698] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24692 24694 24478 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330663622824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24699] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24692 24694 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330662570536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24700] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24692 24694 24478 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330661517736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24701] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24692 24694 24478 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330660465448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24702] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24692 24694 24478 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330659412648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24703] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24692 24694 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330658360360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24704] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24692 24694 24478 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 286836606 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330657307560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24705] ppid=24692 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24692 24694 24478 0 -1 4202560 41 0 0 0 3 0 0 0 20 0 19 0 286836607 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330645108968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24706] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24692 24694 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330644055032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24707] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24692 24694 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330643002632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24708] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330641951120 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24709] ppid=24692 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24692 24694 24478 0 -1 4202560 8468 0 0 0 63 0 0 0 20 0 19 0 286836610 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330640898744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24692 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24692 24694 24478 0 -1 4202560 4560 0 0 0 51 1 0 0 20 0 19 0 286836610 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330639845944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24711] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330638793848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24712] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330637741256 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24713] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24713/stat : 24713 (java) S 24692 24694 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286836638 9856004096 42064 33554432000 1073741824 1073778376 140735737508272 140330636686248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=24694/tid=24702] ppid=24692 vsize=9625004 CPUtime=5.35 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24692 24694 24478 0 -1 4202560 2230 0 0 0 524 11 0 0 20 0 19 0 286836606 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330659412648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24703] ppid=24692 vsize=9625004 CPUtime=5.51 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24692 24694 24478 0 -1 4202560 2733 0 0 0 538 13 0 0 20 0 19 0 286836606 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330658360360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24704] ppid=24692 vsize=9625004 CPUtime=5.58 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24692 24694 24478 0 -1 4202560 2383 0 0 0 544 14 0 0 20 0 19 0 286836606 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330657307560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24705] ppid=24692 vsize=9625004 CPUtime=6.12 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24692 24694 24478 0 -1 4202560 579 0 0 0 600 12 0 0 20 0 19 0 286836607 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330645108968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24706] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24692 24694 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330644055032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24707] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24692 24694 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330643002632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24708] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330641951120 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24709] ppid=24692 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24692 24694 24478 0 -1 4202560 8477 0 0 0 68 1 0 0 20 0 19 0 286836610 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330640898744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24692 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24692 24694 24478 0 -1 4202560 13975 0 0 0 134 3 0 0 20 0 19 0 286836610 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330639845944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24711] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330638793848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24712] ppid=24692 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24692 24694 24478 0 -1 4202560 95 0 0 0 20 29 0 0 20 0 19 0 286836610 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330637741256 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24713] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24713/stat : 24713 (java) S 24692 24694 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286836638 9856004096 106798 33554432000 1073741824 1073778376 140735737508272 140330636686248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1695.07
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.12 3/214 24787
/proc/meminfo: memFree=25189208/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9625004 CPUtime=1756.32 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24692 24694 24478 0 -1 4202496 49975 0 1 0 175470 162 0 0 20 0 19 0 286836604 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140735737499408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24694/statm: 2406251 107028 2285 9 0 2396937 0
[pid=24694/tid=24696] ppid=24692 vsize=9625004 CPUtime=1702.01 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) R 24692 24694 24478 0 -1 4202560 3702 0 1 0 170168 33 0 0 20 0 19 0 286836605 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330821561712 140330691936271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24692 vsize=9625004 CPUtime=5.53 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24692 24694 24478 0 -1 4202560 3097 0 0 0 542 11 0 0 20 0 19 0 286836606 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330810624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24698] ppid=24692 vsize=9625004 CPUtime=5.81 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24692 24694 24478 0 -1 4202560 2793 0 0 0 569 12 0 0 20 0 19 0 286836606 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330663622824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24699] ppid=24692 vsize=9625004 CPUtime=5.8 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24692 24694 24478 0 -1 4202560 2465 0 0 0 566 14 0 0 20 0 19 0 286836606 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330662570536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24700] ppid=24692 vsize=9625004 CPUtime=5.61 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24692 24694 24478 0 -1 4202560 2667 0 0 0 548 13 0 0 20 0 19 0 286836606 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330661517736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24701] ppid=24692 vsize=9625004 CPUtime=5.63 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24692 24694 24478 0 -1 4202560 3144 0 0 0 551 12 0 0 20 0 19 0 286836606 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330660465448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24702] ppid=24692 vsize=9625004 CPUtime=5.57 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24692 24694 24478 0 -1 4202560 2425 0 0 0 546 11 0 0 20 0 19 0 286836606 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330659412648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24703] ppid=24692 vsize=9625004 CPUtime=5.73 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24692 24694 24478 0 -1 4202560 2965 0 0 0 560 13 0 0 20 0 19 0 286836606 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330658360360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24704] ppid=24692 vsize=9625004 CPUtime=5.81 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24692 24694 24478 0 -1 4202560 2386 0 0 0 566 15 0 0 20 0 19 0 286836606 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330657307560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24705] ppid=24692 vsize=9625004 CPUtime=6.33 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24692 24694 24478 0 -1 4202560 596 0 0 0 621 12 0 0 20 0 19 0 286836607 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330645108968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24706] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24692 24694 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330644055032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24707] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24692 24694 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330643002632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24708] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330641951120 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24709] ppid=24692 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24692 24694 24478 0 -1 4202560 8477 0 0 0 68 1 0 0 20 0 19 0 286836610 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330640898744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24692 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24692 24694 24478 0 -1 4202560 13975 0 0 0 134 3 0 0 20 0 19 0 286836610 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330639845944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24711] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330638793848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24712] ppid=24692 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24692 24694 24478 0 -1 4202560 98 0 0 0 21 30 0 0 20 0 19 0 286836610 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330637741256 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24713] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24713/stat : 24713 (java) S 24692 24694 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286836638 9856004096 107028 33554432000 1073741824 1073778376 140735737508272 140330636686248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1756.32
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1765.1 s]
/proc/loadavg: 2.24 2.12 2.14 3/213 24787
/proc/meminfo: memFree=25181148/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24692 24694 24478 0 -1 4202496 50755 0 1 0 179836 165 0 0 20 0 19 0 286836604 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140735737499408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24694/statm: 2406251 108026 2285 9 0 2396937 0
[pid=24694/tid=24696] ppid=24692 vsize=9625004 CPUtime=1744.35 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) R 24692 24694 24478 0 -1 4202560 3733 0 1 0 174401 34 0 0 20 0 19 0 286836605 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330821561696 140330691829735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24692 vsize=9625004 CPUtime=5.71 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24692 24694 24478 0 -1 4202560 3192 0 0 0 560 11 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330810624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24698] ppid=24692 vsize=9625004 CPUtime=5.99 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24692 24694 24478 0 -1 4202560 3102 0 0 0 586 13 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330663622824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24699] ppid=24692 vsize=9625004 CPUtime=5.94 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24692 24694 24478 0 -1 4202560 2466 0 0 0 580 14 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330662570536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24700] ppid=24692 vsize=9625004 CPUtime=5.76 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24692 24694 24478 0 -1 4202560 2911 0 0 0 563 13 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330661517736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24701] ppid=24692 vsize=9625004 CPUtime=5.78 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24692 24694 24478 0 -1 4202560 3144 0 0 0 566 12 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330660465448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24702] ppid=24692 vsize=9625004 CPUtime=5.76 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24692 24694 24478 0 -1 4202560 2514 0 0 0 565 11 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330659412648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24703] ppid=24692 vsize=9625004 CPUtime=5.89 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24692 24694 24478 0 -1 4202560 2965 0 0 0 576 13 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330658360360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24704] ppid=24692 vsize=9625004 CPUtime=5.93 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24692 24694 24478 0 -1 4202560 2386 0 0 0 578 15 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330657307560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24705] ppid=24692 vsize=9625004 CPUtime=6.4 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24692 24694 24478 0 -1 4202560 605 0 0 0 627 13 0 0 20 0 19 0 286836607 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330645108968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24706] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24692 24694 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330644055032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24707] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24692 24694 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330643002632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24708] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330641951120 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24709] ppid=24692 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24692 24694 24478 0 -1 4202560 8477 0 0 0 68 1 0 0 20 0 19 0 286836610 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330640898744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24692 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24692 24694 24478 0 -1 4202560 13975 0 0 0 134 3 0 0 20 0 19 0 286836610 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330639845944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24711] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330638793848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24712] ppid=24692 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24692 24694 24478 0 -1 4202560 100 0 0 0 21 31 0 0 20 0 19 0 286836610 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330637741256 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24713] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24713/stat : 24713 (java) S 24692 24694 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286836638 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330636686248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1765.1 s]
/proc/loadavg: 2.24 2.12 2.14 3/213 24787
/proc/meminfo: memFree=25181148/32873648 swapFree=7372/7372
[pid=24694] ppid=24692 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24692 24694 24478 0 -1 4202496 50755 0 1 0 179836 165 0 0 20 0 19 0 286836604 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140735737499408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24694/statm: 2406251 108026 2285 9 0 2396937 0
[pid=24694/tid=24696] ppid=24692 vsize=9625004 CPUtime=1744.35 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) R 24692 24694 24478 0 -1 4202560 3733 0 1 0 174401 34 0 0 20 0 19 0 286836605 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330821561696 140330691829735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24692 vsize=9625004 CPUtime=5.71 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24692 24694 24478 0 -1 4202560 3192 0 0 0 560 11 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330810624296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24698] ppid=24692 vsize=9625004 CPUtime=5.99 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24692 24694 24478 0 -1 4202560 3102 0 0 0 586 13 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330663622824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24699] ppid=24692 vsize=9625004 CPUtime=5.94 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24692 24694 24478 0 -1 4202560 2466 0 0 0 580 14 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330662570536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24700] ppid=24692 vsize=9625004 CPUtime=5.76 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24692 24694 24478 0 -1 4202560 2911 0 0 0 563 13 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330661517736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24701] ppid=24692 vsize=9625004 CPUtime=5.78 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24692 24694 24478 0 -1 4202560 3144 0 0 0 566 12 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330660465448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24702] ppid=24692 vsize=9625004 CPUtime=5.76 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24692 24694 24478 0 -1 4202560 2514 0 0 0 565 11 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330659412648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24703] ppid=24692 vsize=9625004 CPUtime=5.89 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24692 24694 24478 0 -1 4202560 2965 0 0 0 576 13 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330658360360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24704] ppid=24692 vsize=9625004 CPUtime=5.93 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24692 24694 24478 0 -1 4202560 2386 0 0 0 578 15 0 0 20 0 19 0 286836606 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330657307560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24705] ppid=24692 vsize=9625004 CPUtime=6.4 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24692 24694 24478 0 -1 4202560 605 0 0 0 627 13 0 0 20 0 19 0 286836607 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330645108968 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24706] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24692 24694 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330644055032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24707] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24692 24694 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286836608 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330643002632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24708] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330641951120 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24709] ppid=24692 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24692 24694 24478 0 -1 4202560 8477 0 0 0 68 1 0 0 20 0 19 0 286836610 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330640898744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24692 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24692 24694 24478 0 -1 4202560 13975 0 0 0 134 3 0 0 20 0 19 0 286836610 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330639845944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24711] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24692 24694 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286836610 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330638793848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24712] ppid=24692 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24692 24694 24478 0 -1 4202560 100 0 0 0 21 31 0 0 20 0 19 0 286836610 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330637741256 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24713] ppid=24692 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24713/stat : 24713 (java) S 24692 24694 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286836638 9856004096 108026 33554432000 1073741824 1073778376 140735737508272 140330636686248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1765.17
CPU time (s): 1800.46
CPU user time (s): 1798.48
CPU system time (s): 1.9807
CPU usage (%): 101.999
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 1.9807
maximum resident set size= 470852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50794
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73364
involuntary context switches= 101730

runsolver used 7.98978 second user time and 13.105 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-28 14:11:46
IDJOB=3710286
IDBENCH=89889
IDSOLVER=2289
FILE ID=node122/3710286-1338207106
RUNJOBID= node122-1338205330-24495
PBS_JOBID= 14624612
Free space on /tmp= 70924 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-eilB101.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710286-1338207106/watcher-3710286-1338207106 -o /tmp/evaluation-result-3710286-1338207106/solver-3710286-1338207106 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710286-1338207106.opb

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

MD5SUM BENCH= fbc26082f2456029d803a788e5b95f10
RANDOM SEED=1470517089

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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:       32873648 kB
MemFree:        23667120 kB
Buffers:          325200 kB
Cached:          3891832 kB
SwapCached:            0 kB
Active:          6164232 kB
Inactive:        2221004 kB
Active(anon):    4157408 kB
Inactive(anon):    13604 kB
Active(file):    2006824 kB
Inactive(file):  2207400 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               940 kB
Writeback:             0 kB
AnonPages:       4175752 kB
Mapped:            21912 kB
Shmem:               200 kB
Slab:             673300 kB
SReclaimable:     116964 kB
SUnreclaim:       556336 kB
KernelStack:        1600 kB
PageTables:        11944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    4828996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4100096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71676 MiB
End job on node122 at 2012-05-28 14:41:13