Trace number 3458292

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 Resolution 2.3.0SAT (TO)40 1800.1 1796.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_1.opb
MD5SUM93a95f0846e71f0984a2317cf811edef
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark1797.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint26
Maximum length of a constraint49
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15716
Sum of products size (including duplicates)31432
Number of different products15716
Sum of products size31432

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-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		12995394264
0.00/0.08	c Max memory 		13063553024
0.00/0.08	c Total memory 		13063553024
0.00/0.08	c Number of processors 	8
0.00/0.11	c Pseudo Boolean Optimization
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3458292-1307158557.opb
0.00/0.11	c reading problem ... 
1.37/0.60	c ... done. Wall clock time 0.496s.
1.37/0.60	c #vars     16216
1.37/0.60	c #constraints  31932
1.37/0.60	c constraints type 
1.37/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16216
1.37/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15716
1.68/0.74	c SATISFIABLE
1.68/0.74	c OPTIMIZING...
1.68/0.74	c Got one! Elapsed wall clock time (in seconds):0.636
1.68/0.74	o 46
1.68/0.77	c Got one! Elapsed wall clock time (in seconds):0.669
1.68/0.77	o 45
1.95/0.90	c Got one! Elapsed wall clock time (in seconds):0.789
1.95/0.90	o 44
2.29/1.07	c Got one! Elapsed wall clock time (in seconds):0.968
2.29/1.07	o 42
3.34/2.03	c Got one! Elapsed wall clock time (in seconds):1.921
3.34/2.03	o 41
3.97/2.66	c cleaning 2858 clauses out of 5719 with flag 2000/5719
5.87/4.50	c cleaning 4427 clauses out of 8862 with flag 8001/11720
7.96/6.59	c cleaning 5715 clauses out of 11434 with flag 15000/18719
10.39/8.95	c cleaning 6855 clauses out of 13719 with flag 23000/26719
13.11/11.62	c cleaning 7925 clauses out of 15864 with flag 32000/35719
16.11/14.62	c cleaning 8961 clauses out of 17939 with flag 42000/45719
19.42/17.91	c cleaning 9982 clauses out of 19978 with flag 53000/56719
23.23/21.76	c cleaning 10990 clauses out of 21998 with flag 65002/68721
27.34/25.83	c cleaning 11996 clauses out of 24007 with flag 78001/81720
31.64/30.10	c cleaning 13003 clauses out of 26010 with flag 92000/95719
36.35/34.87	c cleaning 13997 clauses out of 28007 with flag 107000/110719
41.06/39.57	c cleaning 15000 clauses out of 30011 with flag 123001/126720
46.46/44.90	c cleaning 15996 clauses out of 32011 with flag 140001/143720
52.18/50.69	c cleaning 17000 clauses out of 34015 with flag 158001/161720
58.48/56.91	c cleaning 17998 clauses out of 36014 with flag 177000/180719
64.59/63.04	c cleaning 18998 clauses out of 38017 with flag 197001/200720
71.40/69.80	c cleaning 20001 clauses out of 40019 with flag 218001/221720
78.51/76.97	c cleaning 21002 clauses out of 42019 with flag 240002/243721
86.02/84.45	c cleaning 22004 clauses out of 44018 with flag 263003/266722
93.83/92.27	c cleaning 22998 clauses out of 46011 with flag 287000/290719
102.34/100.78	c cleaning 24000 clauses out of 48014 with flag 312001/315720
111.15/109.52	c cleaning 24998 clauses out of 50014 with flag 338001/341720
119.87/118.28	c cleaning 26000 clauses out of 52017 with flag 365002/368721
129.49/127.85	c cleaning 27001 clauses out of 54016 with flag 393001/396720
138.80/137.17	c cleaning 27996 clauses out of 56014 with flag 422000/425719
148.62/146.92	c cleaning 29007 clauses out of 58019 with flag 452001/455720
158.44/156.77	c cleaning 29996 clauses out of 60012 with flag 483001/486720
168.96/167.22	c cleaning 31000 clauses out of 62016 with flag 515001/518720
179.57/177.88	c cleaning 31495 clauses out of 63015 with flag 547000/550719
190.78/189.03	c cleaning 31749 clauses out of 63520 with flag 579000/582719
200.49/198.78	c cleaning 31876 clauses out of 63771 with flag 611000/614719
211.50/209.72	c cleaning 31943 clauses out of 63895 with flag 643000/646719
222.51/220.78	c cleaning 31974 clauses out of 63954 with flag 675002/678721
234.52/232.71	c cleaning 31981 clauses out of 63979 with flag 707001/710720
244.94/243.17	c cleaning 31989 clauses out of 63998 with flag 739001/742720
255.75/253.92	c cleaning 31989 clauses out of 64008 with flag 771000/774719
267.95/266.12	c cleaning 32006 clauses out of 64019 with flag 803000/806719
281.87/280.02	c cleaning 31996 clauses out of 64014 with flag 835001/838720
295.09/293.22	c cleaning 31997 clauses out of 64017 with flag 867000/870719
306.20/304.32	c cleaning 32007 clauses out of 64020 with flag 899000/902719
317.11/315.25	c cleaning 31997 clauses out of 64014 with flag 931001/934720
328.52/326.61	c cleaning 32002 clauses out of 64016 with flag 963000/966719
330.96/329.02	c Got one! Elapsed wall clock time (in seconds):328.911
330.96/329.02	o 40
332.14/330.20	c cleaning 22742 clauses out of 45507 with flag 5000/980212
333.55/331.65	c cleaning 14374 clauses out of 28765 with flag 11000/986212
335.26/333.39	c cleaning 10684 clauses out of 21392 with flag 18001/993213
337.35/335.40	c cleaning 9341 clauses out of 18708 with flag 26001/1001213
339.56/337.68	c cleaning 9172 clauses out of 18367 with flag 35001/1010213
342.16/340.20	c cleaning 9591 clauses out of 19194 with flag 45000/1020212
345.87/343.90	c cleaning 10297 clauses out of 20603 with flag 56000/1031212
349.77/347.82	c cleaning 11142 clauses out of 22306 with flag 68000/1043212
353.99/352.10	c cleaning 12074 clauses out of 24164 with flag 81000/1056212
358.79/356.80	c cleaning 13038 clauses out of 26091 with flag 95001/1070213
364.02/362.05	c cleaning 14021 clauses out of 28053 with flag 110001/1085213
369.20/367.22	c cleaning 15011 clauses out of 30031 with flag 126000/1101212
374.81/372.87	c cleaning 16001 clauses out of 32020 with flag 143000/1118212
381.02/379.06	c cleaning 17002 clauses out of 34020 with flag 161001/1136213
387.92/385.92	c cleaning 18004 clauses out of 36017 with flag 180000/1155212
395.03/393.00	c cleaning 18995 clauses out of 38014 with flag 200001/1175213
402.23/400.28	c cleaning 20000 clauses out of 40019 with flag 221001/1196213
410.34/408.33	c cleaning 20999 clauses out of 42018 with flag 243000/1218212
418.55/416.55	c cleaning 22003 clauses out of 44019 with flag 266000/1241212
427.17/425.10	c cleaning 23001 clauses out of 46016 with flag 290000/1265212
436.07/434.07	c cleaning 23996 clauses out of 48016 with flag 315001/1290213
445.08/443.02	c cleaning 24997 clauses out of 50020 with flag 341001/1316213
453.61/451.56	c cleaning 26008 clauses out of 52022 with flag 368000/1343212
462.72/460.64	c cleaning 27003 clauses out of 54014 with flag 396000/1371212
471.53/469.49	c cleaning 27998 clauses out of 56011 with flag 425000/1400212
480.54/478.49	c cleaning 28996 clauses out of 58013 with flag 455000/1430212
490.68/488.56	c cleaning 30003 clauses out of 60017 with flag 486000/1461212
502.88/500.80	c cleaning 31002 clauses out of 62015 with flag 518001/1493213
515.00/512.80	c cleaning 31498 clauses out of 63013 with flag 550001/1525213
525.51/523.30	c cleaning 31748 clauses out of 63514 with flag 582000/1557212
536.42/534.27	c cleaning 31879 clauses out of 63766 with flag 614000/1589212
547.95/545.80	c cleaning 31937 clauses out of 63888 with flag 646001/1621213
558.86/556.67	c cleaning 31970 clauses out of 63951 with flag 678001/1653213
570.97/568.77	c cleaning 31977 clauses out of 63981 with flag 710001/1685213
582.38/580.19	c cleaning 31989 clauses out of 64004 with flag 742001/1717213
594.28/592.06	c cleaning 31994 clauses out of 64015 with flag 774001/1749213
605.29/603.06	c cleaning 32004 clauses out of 64022 with flag 806002/1781214
616.31/614.08	c cleaning 31998 clauses out of 64018 with flag 838002/1813214
627.32/625.06	c cleaning 31998 clauses out of 64019 with flag 870001/1845213
638.34/636.03	c cleaning 31997 clauses out of 64020 with flag 902000/1877212
649.45/647.18	c cleaning 32002 clauses out of 64024 with flag 934001/1909213
660.56/658.27	c cleaning 32003 clauses out of 64022 with flag 966001/1941213
672.48/670.15	c cleaning 31997 clauses out of 64018 with flag 998000/1973212
683.79/681.48	c cleaning 32006 clauses out of 64021 with flag 1030000/2005212
693.80/691.43	c cleaning 31992 clauses out of 64015 with flag 1062000/2037212
704.41/702.07	c cleaning 32003 clauses out of 64024 with flag 1094001/2069213
715.52/713.10	c cleaning 31997 clauses out of 64022 with flag 1126002/2101214
726.73/724.30	c cleaning 32008 clauses out of 64023 with flag 1158000/2133212
738.14/735.75	c cleaning 31995 clauses out of 64016 with flag 1190001/2165213
750.15/747.79	c cleaning 32002 clauses out of 64020 with flag 1222000/2197212
759.67/757.22	c cleaning 32002 clauses out of 64019 with flag 1254001/2229213
769.48/767.08	c cleaning 31997 clauses out of 64016 with flag 1286000/2261212
779.11/776.71	c cleaning 32002 clauses out of 64020 with flag 1318001/2293213
791.11/788.61	c cleaning 32000 clauses out of 64018 with flag 1350001/2325213
803.13/800.69	c cleaning 31998 clauses out of 64017 with flag 1382000/2357212
815.45/812.95	c cleaning 32006 clauses out of 64020 with flag 1414001/2389213
826.86/824.34	c cleaning 31996 clauses out of 64013 with flag 1446000/2421212
838.46/835.92	c cleaning 32004 clauses out of 64017 with flag 1478000/2453212
851.18/848.66	c cleaning 32001 clauses out of 64013 with flag 1510000/2485212
863.49/860.92	c cleaning 31994 clauses out of 64013 with flag 1542001/2517213
876.20/873.66	c cleaning 32003 clauses out of 64019 with flag 1574001/2549213
889.22/886.70	c cleaning 31999 clauses out of 64018 with flag 1606003/2581215
902.62/900.07	c cleaning 31995 clauses out of 64016 with flag 1638000/2613212
915.83/913.24	c cleaning 32005 clauses out of 64022 with flag 1670001/2645213
927.43/924.83	c cleaning 31999 clauses out of 64016 with flag 1702000/2677212
938.34/935.78	c cleaning 32002 clauses out of 64017 with flag 1734000/2709212
949.56/946.93	c cleaning 32001 clauses out of 64015 with flag 1766000/2741212
961.07/958.46	c cleaning 32003 clauses out of 64014 with flag 1798000/2773212
971.89/969.23	c cleaning 32000 clauses out of 64012 with flag 1830001/2805213
982.79/980.18	c cleaning 31994 clauses out of 64011 with flag 1862000/2837212
994.20/991.56	c cleaning 32000 clauses out of 64017 with flag 1894000/2869212
1005.21/1002.55	c cleaning 32003 clauses out of 64018 with flag 1926001/2901213
1016.62/1013.91	c cleaning 31996 clauses out of 64015 with flag 1958001/2933213
1027.93/1025.31	c cleaning 31999 clauses out of 64018 with flag 1990000/2965212
1039.05/1036.37	c cleaning 32002 clauses out of 64019 with flag 2022000/2997212
1049.54/1046.86	c cleaning 32003 clauses out of 64017 with flag 2054000/3029212
1060.75/1058.08	c cleaning 32000 clauses out of 64017 with flag 2086003/3061215
1071.46/1068.72	c cleaning 32002 clauses out of 64017 with flag 2118003/3093215
1081.89/1079.18	c cleaning 31998 clauses out of 64012 with flag 2150000/3125212
1092.49/1089.78	c cleaning 32002 clauses out of 64016 with flag 2182002/3157214
1103.20/1100.48	c cleaning 31999 clauses out of 64013 with flag 2214001/3189213
1113.42/1110.66	c cleaning 31996 clauses out of 64015 with flag 2246002/3221214
1124.34/1121.55	c cleaning 32005 clauses out of 64017 with flag 2278000/3253212
1135.75/1132.93	c cleaning 32001 clauses out of 64012 with flag 2310000/3285212
1146.87/1144.03	c cleaning 31995 clauses out of 64013 with flag 2342002/3317214
1158.69/1155.86	c cleaning 31999 clauses out of 64016 with flag 2374000/3349212
1170.50/1167.65	c cleaning 32001 clauses out of 64017 with flag 2406000/3381212
1182.31/1179.43	c cleaning 32000 clauses out of 64016 with flag 2438000/3413212
1193.93/1191.07	c cleaning 32000 clauses out of 64016 with flag 2470000/3445212
1206.04/1203.16	c cleaning 32000 clauses out of 64016 with flag 2502000/3477212
1218.15/1215.20	c cleaning 32001 clauses out of 64018 with flag 2534002/3509214
1229.36/1226.43	c cleaning 31996 clauses out of 64015 with flag 2566000/3541212
1240.87/1237.99	c cleaning 32002 clauses out of 64019 with flag 2598000/3573212
1252.18/1249.29	c cleaning 31999 clauses out of 64017 with flag 2630000/3605212
1263.78/1260.82	c cleaning 31999 clauses out of 64020 with flag 2662002/3637214
1275.29/1272.35	c cleaning 32000 clauses out of 64019 with flag 2694000/3669212
1288.50/1285.50	c cleaning 32004 clauses out of 64019 with flag 2726000/3701212
1300.91/1297.96	c cleaning 31998 clauses out of 64016 with flag 2758001/3733213
1313.13/1310.16	c cleaning 31999 clauses out of 64018 with flag 2790001/3765213
1325.93/1322.90	c cleaning 31998 clauses out of 64019 with flag 2822001/3797213
1338.63/1335.68	c cleaning 32002 clauses out of 64021 with flag 2854001/3829213
1351.44/1348.41	c cleaning 32000 clauses out of 64018 with flag 2886000/3861212
1363.65/1360.64	c cleaning 32001 clauses out of 64018 with flag 2918000/3893212
1376.36/1373.31	c cleaning 31999 clauses out of 64018 with flag 2950001/3925213
1388.68/1385.61	c cleaning 32002 clauses out of 64020 with flag 2982002/3957214
1400.69/1397.69	c cleaning 31999 clauses out of 64017 with flag 3014001/3989213
1412.10/1409.05	c cleaning 32001 clauses out of 64017 with flag 3046000/4021212
1423.62/1420.53	c cleaning 31999 clauses out of 64017 with flag 3078001/4053213
1434.43/1431.37	c cleaning 31997 clauses out of 64017 with flag 3110000/4085212
1445.65/1442.59	c cleaning 31998 clauses out of 64021 with flag 3142001/4117213
1456.56/1453.49	c cleaning 32001 clauses out of 64023 with flag 3174001/4149213
1467.47/1464.39	c cleaning 31998 clauses out of 64022 with flag 3206001/4181213
1478.88/1475.74	c cleaning 32004 clauses out of 64023 with flag 3238000/4213212
1490.08/1486.91	c cleaning 32005 clauses out of 64020 with flag 3270001/4245213
1501.89/1498.74	c cleaning 32002 clauses out of 64015 with flag 3302001/4277213
1513.10/1509.91	c cleaning 31992 clauses out of 64013 with flag 3334001/4309213
1524.91/1521.79	c cleaning 32000 clauses out of 64020 with flag 3366000/4341212
1537.01/1533.84	c cleaning 32002 clauses out of 64021 with flag 3398001/4373213
1548.62/1545.41	c cleaning 32001 clauses out of 64019 with flag 3430001/4405213
1560.33/1557.17	c cleaning 31999 clauses out of 64020 with flag 3462003/4437215
1572.24/1569.09	c cleaning 31997 clauses out of 64018 with flag 3494000/4469212
1583.15/1579.92	c cleaning 32007 clauses out of 64021 with flag 3526000/4501212
1593.55/1590.30	c cleaning 32000 clauses out of 64015 with flag 3558001/4533213
1605.67/1602.44	c cleaning 32002 clauses out of 64014 with flag 3590000/4565212
1616.78/1613.53	c cleaning 31998 clauses out of 64013 with flag 3622001/4597213
1627.50/1624.23	c cleaning 32002 clauses out of 64014 with flag 3654000/4629212
1638.61/1635.34	c cleaning 32001 clauses out of 64014 with flag 3686002/4661214
1649.13/1645.89	c cleaning 31999 clauses out of 64011 with flag 3718000/4693212
1660.24/1656.95	c cleaning 31996 clauses out of 64013 with flag 3750001/4725213
1672.75/1669.46	c cleaning 32001 clauses out of 64017 with flag 3782001/4757213
1684.97/1681.64	c cleaning 31996 clauses out of 64015 with flag 3814000/4789212
1695.48/1692.19	c cleaning 32000 clauses out of 64019 with flag 3846000/4821212
1706.50/1703.12	c cleaning 32003 clauses out of 64019 with flag 3878000/4853212
1717.22/1713.87	c cleaning 31998 clauses out of 64016 with flag 3910000/4885212
1728.43/1725.09	c cleaning 32001 clauses out of 64021 with flag 3942003/4917215
1738.84/1735.42	c cleaning 32003 clauses out of 64019 with flag 3974002/4949214
1750.15/1746.82	c cleaning 31994 clauses out of 64014 with flag 4006000/4981212
1761.86/1758.48	c cleaning 31995 clauses out of 64020 with flag 4038000/5013212
1774.37/1770.92	c cleaning 32005 clauses out of 64025 with flag 4070000/5045212
1787.09/1783.68	c cleaning 31997 clauses out of 64020 with flag 4102000/5077212
1799.49/1796.05	c cleaning 32002 clauses out of 64024 with flag 4134001/5109213
1800.01/1796.52	c starts		: 279
1800.01/1796.52	c conflicts		: 5110312
1800.01/1796.52	c decisions		: 7700448
1800.01/1796.52	c propagations		: 1052112520
1800.01/1796.52	c inspects		: 12793687614
1800.01/1796.52	c shortcuts		: 0
1800.01/1796.52	c learnt literals	: 0
1800.01/1796.52	c learnt binary clauses	: 0
1800.01/1796.52	c learnt ternary clauses	: 0
1800.01/1796.52	c learnt constraints	: 5110311
1800.01/1796.52	c ignored constraints	: 0
1800.01/1796.52	c root simplifications	: 0
1800.01/1796.52	c removed literals (reason simplification)	: 11944131
1800.01/1796.52	c reason swapping (by a shorter reason)	: 0
1800.01/1796.52	c Calls to reduceDB	: 183
1800.01/1796.52	c number of reductions to clauses (during analyze)	: 0
1800.01/1796.52	c number of learned constraints concerned by reduction	: 0
1800.01/1796.52	c number of learning phase by resolution	: 0
1800.01/1796.52	c number of learning phase by cutting planes	: 0
1800.01/1796.52	c speed (assignments/second)	: 716939.1607257483
1800.01/1796.52	c non guided choices	458
1800.01/1796.54	c learnt constraints type 
1800.01/1796.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 33160
1800.01/1796.54	c constraints type 
1800.01/1796.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16216
1800.01/1796.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.01/1796.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15716
1800.01/1796.54	s SATISFIABLE
1800.01/1796.54	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 x166 x167 -x168 x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 x196 x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
1800.01/1796.54	c objective function=40
1800.01/1796.54	c Total wall clock time (in seconds): 1796.435

Verifier Data 

OK	40

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458292-1307158557/watcher-3458292-1307158557 -o /tmp/evaluation-result-3458292-1307158557/solver-3458292-1307158557 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458292-1307158557.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.05 1.95 3/579 3147
/proc/meminfo: memFree=30031764/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 1629 0 1 0 0 0 0 0 25 0 2 0 827454405 13833195520 1331 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3377245 1345 906 9 0 3368401 0
[pid=3147/tid=3148] ppid=3145 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 9047 0 1 0 0 0 0 0 25 0 2 0 827454406 13850947584 9863 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.113067 s]
/proc/loadavg: 2.10 2.05 1.95 3/579 3147
/proc/meminfo: memFree=30031764/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13622380 CPUtime=0.12 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 15797 0 1 0 11 1 0 0 25 0 18 0 827454405 13949317120 15454 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3405595 15454 2125 9 0 3396329 0
[pid=3147/tid=3148] ppid=3145 vsize=13622380 CPUtime=0.1 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 13809 0 1 0 9 1 0 0 18 0 18 0 827454406 13949317120 15454 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 47741494958931 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13622380

[startup+0.201111 s]
/proc/loadavg: 2.10 2.05 1.95 3/579 3147
/proc/meminfo: memFree=30031764/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13623656 CPUtime=0.25 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 16709 0 1 0 24 1 0 0 25 0 18 0 827454405 13950623744 16366 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3405914 16366 2181 9 0 3396648 0
[pid=3147/tid=3148] ppid=3145 vsize=13623656 CPUtime=0.19 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 14353 0 1 0 18 1 0 0 18 0 18 0 827454406 13950623744 16366 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13623656

[startup+0.301095 s]
/proc/loadavg: 2.10 2.05 1.95 3/579 3147
/proc/meminfo: memFree=30031764/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13623924 CPUtime=0.48 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 18090 0 1 0 46 2 0 0 25 0 18 0 827454405 13950898176 17510 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3405981 17510 2217 9 0 3396715 0
[pid=3147/tid=3148] ppid=3145 vsize=13623924 CPUtime=0.29 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 15303 0 1 0 28 1 0 0 18 0 18 0 827454406 13950898176 17511 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 46912505559614 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623924

[startup+0.70097 s]
/proc/loadavg: 2.10 2.05 1.95 3/579 3147
/proc/meminfo: memFree=30031764/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13638476 CPUtime=1.68 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 35122 0 1 0 164 4 0 0 25 0 19 0 827454405 13965799424 30753 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3409619 30753 2238 9 0 3400353 0
[pid=3147/tid=3148] ppid=3145 vsize=13638476 CPUtime=0.68 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 23263 0 1 0 66 2 0 0 19 0 19 0 827454406 13965799424 30753 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 47741490480023 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 13638476

[startup+1.50089 s]
/proc/loadavg: 2.10 2.05 1.95 4/598 3167
/proc/meminfo: memFree=29911900/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13638476 CPUtime=2.84 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 37940 0 1 0 280 4 0 0 25 0 19 0 827454405 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3409619 32008 2245 9 0 3400353 0
[pid=3147/tid=3148] ppid=3145 vsize=13638476 CPUtime=1.48 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 24771 0 1 0 146 2 0 0 20 0 19 0 827454406 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 46912505932515 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454408 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454408 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454408 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454408 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454408 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3155] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3155/stat : 3155 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454408 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454408 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454408 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 31166 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 0 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827454409 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 31166 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827454409 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826063793 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=13638476 CPUtime=0.68 cores=0,2,4,6
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 31166 0 -1 4202560 6096 0 0 0 68 0 0 0 20 0 19 0 827454411 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=13638476 CPUtime=0.64 cores=0,2,4,6
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 31166 0 -1 4202560 5912 0 0 0 64 0 0 0 15 0 19 0 827454411 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 32008 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827454411 13965799424 32009 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827454469 13965799424 32009 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 13638476

[startup+3.10057 s]
/proc/loadavg: 2.10 2.05 1.95 3/598 3167
/proc/meminfo: memFree=29906940/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13638476 CPUtime=4.53 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 46396 0 1 0 448 5 0 0 25 0 19 0 827454405 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3409619 40457 2270 9 0 3400353 0
[pid=3147/tid=3148] ppid=3145 vsize=13638476 CPUtime=3.01 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 25721 0 1 0 298 3 0 0 25 0 19 0 827454406 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 46912506010840 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827454408 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827454408 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827454408 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 31166 0 -1 4202560 162 0 0 0 0 0 0 0 18 0 19 0 827454408 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=13638476 CPUtime=0.01 cores=0,2,4,6
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 31166 0 -1 4202560 919 0 0 0 1 0 0 0 18 0 19 0 827454408 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3155] ppid=3145 vsize=13638476 CPUtime=0.01 cores=0,2,4,6
/proc/3147/task/3155/stat : 3155 (java) S 3145 3147 31166 0 -1 4202560 849 0 0 0 1 0 0 0 18 0 19 0 827454408 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=13638476 CPUtime=0.01 cores=0,2,4,6
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 31166 0 -1 4202560 894 0 0 0 1 0 0 0 18 0 19 0 827454408 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=13638476 CPUtime=0.01 cores=0,2,4,6
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 31166 0 -1 4202560 930 0 0 0 1 0 0 0 18 0 19 0 827454408 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=13638476 CPUtime=0.05 cores=0,2,4,6
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 31166 0 -1 4202560 3748 0 0 0 5 0 0 0 17 0 19 0 827454409 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 0 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826063793 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=13638476 CPUtime=0.7 cores=0,2,4,6
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 31166 0 -1 4202560 6098 0 0 0 70 0 0 0 15 0 19 0 827454411 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=13638476 CPUtime=0.67 cores=0,2,4,6
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 31166 0 -1 4202560 5921 0 0 0 67 0 0 0 15 0 19 0 827454411 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827454411 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827454469 13965799424 40457 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 13638476

[startup+6.30103 s]
/proc/loadavg: 2.09 2.05 1.95 3/598 3167
/proc/meminfo: memFree=29871364/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13638476 CPUtime=7.76 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 47670 0 1 0 771 5 0 0 25 0 19 0 827454405 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3409619 41713 2270 9 0 3400353 0
[pid=3147/tid=3148] ppid=3145 vsize=13638476 CPUtime=6.16 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 25724 0 1 0 613 3 0 0 25 0 19 0 827454406 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 46912505931930 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 31166 0 -1 4202560 431 0 0 0 0 0 0 0 15 0 19 0 827454408 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 31166 0 -1 4202560 560 0 0 0 0 0 0 0 18 0 19 0 827454408 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827454408 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 31166 0 -1 4202560 162 0 0 0 0 0 0 0 17 0 19 0 827454408 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=13638476 CPUtime=0.01 cores=0,2,4,6
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 31166 0 -1 4202560 919 0 0 0 1 0 0 0 15 0 19 0 827454408 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3155] ppid=3145 vsize=13638476 CPUtime=0.01 cores=0,2,4,6
/proc/3147/task/3155/stat : 3155 (java) S 3145 3147 31166 0 -1 4202560 849 0 0 0 1 0 0 0 17 0 19 0 827454408 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=13638476 CPUtime=0.01 cores=0,2,4,6
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 31166 0 -1 4202560 894 0 0 0 1 0 0 0 18 0 19 0 827454408 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=13638476 CPUtime=0.01 cores=0,2,4,6
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 31166 0 -1 4202560 930 0 0 0 1 0 0 0 18 0 19 0 827454408 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=13638476 CPUtime=0.1 cores=0,2,4,6
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 31166 0 -1 4202560 4026 0 0 0 10 0 0 0 15 0 19 0 827454409 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 0 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826063793 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=13638476 CPUtime=0.72 cores=0,2,4,6
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 31166 0 -1 4202560 6099 0 0 0 72 0 0 0 15 0 19 0 827454411 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=13638476 CPUtime=0.69 cores=0,2,4,6
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 31166 0 -1 4202560 5924 0 0 0 69 0 0 0 15 0 19 0 827454411 13965799424 41713 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0

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

[pid=3147/tid=3155] ppid=3145 vsize=13638476 CPUtime=0.32 cores=0,2,4,6
/proc/3147/task/3155/stat : 3155 (java) S 3145 3147 31166 0 -1 4202560 2194 0 0 0 32 0 0 0 16 0 19 0 827454408 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=13638476 CPUtime=0.31 cores=0,2,4,6
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 31166 0 -1 4202560 1862 0 0 0 31 0 0 0 15 0 19 0 827454408 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=13638476 CPUtime=0.38 cores=0,2,4,6
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 31166 0 -1 4202560 2164 0 0 0 38 0 0 0 15 0 19 0 827454408 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=13638476 CPUtime=12.72 cores=0,2,4,6
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 31166 0 -1 4202560 13067 0 0 0 1268 4 0 0 15 0 19 0 827454409 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 0 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826063793 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=13638476 CPUtime=0.77 cores=0,2,4,6
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 31166 0 -1 4202560 6109 0 0 0 77 0 0 0 15 0 19 0 827454411 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=13638476 CPUtime=0.69 cores=0,2,4,6
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 31166 0 -1 4202560 5927 0 0 0 69 0 0 0 15 0 19 0 827454411 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 31166 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 827454411 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827454469 13965799424 58129 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.65
Current children cumulated vsize (KiB) 13638476

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/598 3234
/proc/meminfo: memFree=29794140/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13638476 CPUtime=1725.73 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 64536 0 1 0 172560 13 0 0 25 0 19 0 827454405 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3409619 58206 2271 9 0 3400353 0
[pid=3147/tid=3148] ppid=3145 vsize=13638476 CPUtime=1708.18 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 25899 0 1 0 170813 5 0 0 25 0 19 0 827454406 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 46912506083800 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=13638476 CPUtime=0.41 cores=0,2,4,6
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 31166 0 -1 4202560 596 0 0 0 41 0 0 0 16 0 19 0 827454408 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=13638476 CPUtime=0.35 cores=0,2,4,6
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 31166 0 -1 4202560 1160 0 0 0 35 0 0 0 15 0 19 0 827454408 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=13638476 CPUtime=0.31 cores=0,2,4,6
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 31166 0 -1 4202560 1482 0 0 0 31 0 0 0 16 0 19 0 827454408 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=13638476 CPUtime=0.38 cores=0,2,4,6
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 31166 0 -1 4202560 668 0 0 0 38 0 0 0 15 0 19 0 827454408 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=13638476 CPUtime=0.34 cores=0,2,4,6
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 31166 0 -1 4202560 2094 0 0 0 34 0 0 0 16 0 19 0 827454408 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3155] ppid=3145 vsize=13638476 CPUtime=0.33 cores=0,2,4,6
/proc/3147/task/3155/stat : 3155 (java) S 3145 3147 31166 0 -1 4202560 2194 0 0 0 33 0 0 0 16 0 19 0 827454408 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=13638476 CPUtime=0.31 cores=0,2,4,6
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 31166 0 -1 4202560 1862 0 0 0 31 0 0 0 15 0 19 0 827454408 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=13638476 CPUtime=0.4 cores=0,2,4,6
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 31166 0 -1 4202560 2167 0 0 0 40 0 0 0 16 0 19 0 827454408 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=13638476 CPUtime=13.15 cores=0,2,4,6
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 31166 0 -1 4202560 13129 0 0 0 1311 4 0 0 15 0 19 0 827454409 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 0 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826063793 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=13638476 CPUtime=0.77 cores=0,2,4,6
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 31166 0 -1 4202560 6109 0 0 0 77 0 0 0 15 0 19 0 827454411 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=13638476 CPUtime=0.69 cores=0,2,4,6
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 31166 0 -1 4202560 5927 0 0 0 69 0 0 0 15 0 19 0 827454411 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 31166 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827454411 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827454469 13965799424 58206 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.73
Current children cumulated vsize (KiB) 13638476

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/598 3236
/proc/meminfo: memFree=29793300/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13638476 CPUtime=1785.79 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 64553 0 1 0 178565 14 0 0 25 0 19 0 827454405 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3409619 58212 2271 9 0 3400353 0
[pid=3147/tid=3148] ppid=3145 vsize=13638476 CPUtime=1767.75 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 25904 0 1 0 176770 5 0 0 25 0 19 0 827454406 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 46912505801727 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=13638476 CPUtime=0.41 cores=0,2,4,6
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 31166 0 -1 4202560 596 0 0 0 41 0 0 0 15 0 19 0 827454408 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=13638476 CPUtime=0.36 cores=0,2,4,6
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 31166 0 -1 4202560 1160 0 0 0 36 0 0 0 16 0 19 0 827454408 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=13638476 CPUtime=0.33 cores=0,2,4,6
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 31166 0 -1 4202560 1485 0 0 0 33 0 0 0 15 0 19 0 827454408 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=13638476 CPUtime=0.39 cores=0,2,4,6
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 31166 0 -1 4202560 668 0 0 0 39 0 0 0 15 0 19 0 827454408 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=13638476 CPUtime=0.35 cores=0,2,4,6
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 31166 0 -1 4202560 2094 0 0 0 35 0 0 0 15 0 19 0 827454408 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3155] ppid=3145 vsize=13638476 CPUtime=0.34 cores=0,2,4,6
/proc/3147/task/3155/stat : 3155 (java) S 3145 3147 31166 0 -1 4202560 2197 0 0 0 34 0 0 0 15 0 19 0 827454408 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=13638476 CPUtime=0.32 cores=0,2,4,6
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 31166 0 -1 4202560 1862 0 0 0 32 0 0 0 15 0 19 0 827454408 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=13638476 CPUtime=0.41 cores=0,2,4,6
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 31166 0 -1 4202560 2167 0 0 0 41 0 0 0 15 0 19 0 827454408 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=13638476 CPUtime=13.56 cores=0,2,4,6
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 31166 0 -1 4202560 13131 0 0 0 1352 4 0 0 15 0 19 0 827454409 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 0 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826063793 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=13638476 CPUtime=0.77 cores=0,2,4,6
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 31166 0 -1 4202560 6109 0 0 0 77 0 0 0 15 0 19 0 827454411 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=13638476 CPUtime=0.69 cores=0,2,4,6
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 31166 0 -1 4202560 5927 0 0 0 69 0 0 0 15 0 19 0 827454411 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 31166 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827454411 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827454469 13965799424 58212 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.79
Current children cumulated vsize (KiB) 13638476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 1.93 1.99 1.99 3/598 3332
/proc/meminfo: memFree=29810700/32950928 swapFree=41528364/67111528
[pid=3147] ppid=3145 vsize=13638476 CPUtime=1800.01 cores=0,2,4,6
/proc/3147/stat : 3147 (java) S 3145 3147 31166 0 -1 4202496 64576 0 1 0 179986 15 0 0 25 0 19 0 827454405 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3147/statm: 3409619 58231 2271 9 0 3400353 0
[pid=3147/tid=3148] ppid=3145 vsize=13638476 CPUtime=1781.81 cores=0,2,4,6
/proc/3147/task/3148/stat : 3148 (java) R 3145 3147 31166 0 -1 4202560 25906 0 1 0 178174 7 0 0 25 0 19 0 827454406 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 46912506023994 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3147/tid=3150] ppid=3145 vsize=13638476 CPUtime=0.41 cores=0,2,4,6
/proc/3147/task/3150/stat : 3150 (java) S 3145 3147 31166 0 -1 4202560 596 0 0 0 41 0 0 0 15 0 19 0 827454408 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3151] ppid=3145 vsize=13638476 CPUtime=0.37 cores=0,2,4,6
/proc/3147/task/3151/stat : 3151 (java) S 3145 3147 31166 0 -1 4202560 1160 0 0 0 37 0 0 0 16 0 19 0 827454408 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3152] ppid=3145 vsize=13638476 CPUtime=0.33 cores=0,2,4,6
/proc/3147/task/3152/stat : 3152 (java) S 3145 3147 31166 0 -1 4202560 1496 0 0 0 33 0 0 0 16 0 19 0 827454408 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3153] ppid=3145 vsize=13638476 CPUtime=0.39 cores=0,2,4,6
/proc/3147/task/3153/stat : 3153 (java) S 3145 3147 31166 0 -1 4202560 668 0 0 0 39 0 0 0 15 0 19 0 827454408 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3154] ppid=3145 vsize=13638476 CPUtime=0.35 cores=0,2,4,6
/proc/3147/task/3154/stat : 3154 (java) S 3145 3147 31166 0 -1 4202560 2095 0 0 0 35 0 0 0 16 0 19 0 827454408 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3155] ppid=3145 vsize=13638476 CPUtime=0.35 cores=0,2,4,6
/proc/3147/task/3155/stat : 3155 (java) S 3145 3147 31166 0 -1 4202560 2198 0 0 0 35 0 0 0 16 0 19 0 827454408 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3156] ppid=3145 vsize=13638476 CPUtime=0.33 cores=0,2,4,6
/proc/3147/task/3156/stat : 3156 (java) S 3145 3147 31166 0 -1 4202560 1868 0 0 0 33 0 0 0 15 0 19 0 827454408 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
[pid=3147/tid=3157] ppid=3145 vsize=13638476 CPUtime=0.41 cores=0,2,4,6
/proc/3147/task/3157/stat : 3157 (java) S 3145 3147 31166 0 -1 4202560 2167 0 0 0 41 0 0 0 16 0 19 0 827454408 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3158] ppid=3145 vsize=13638476 CPUtime=13.71 cores=0,2,4,6
/proc/3147/task/3158/stat : 3158 (java) S 3145 3147 31166 0 -1 4202560 13133 0 0 0 1367 4 0 0 16 0 19 0 827454409 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 0 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3160] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3160/stat : 3160 (java) S 3145 3147 31166 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3161] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3161/stat : 3161 (java) S 3145 3147 31166 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827454409 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3162] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3162/stat : 3162 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826063793 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3163] ppid=3145 vsize=13638476 CPUtime=0.77 cores=0,2,4,6
/proc/3147/task/3163/stat : 3163 (java) S 3145 3147 31166 0 -1 4202560 6109 0 0 0 77 0 0 0 15 0 19 0 827454411 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3164] ppid=3145 vsize=13638476 CPUtime=0.69 cores=0,2,4,6
/proc/3147/task/3164/stat : 3164 (java) S 3145 3147 31166 0 -1 4202560 5927 0 0 0 69 0 0 0 15 0 19 0 827454411 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 2 0 0 0
[pid=3147/tid=3165] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3165/stat : 3165 (java) S 3145 3147 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827454411 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056089 0 4 0 16800975 18446604451686304832 0 0 -1 4 0 0 0
[pid=3147/tid=3166] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3166/stat : 3166 (java) S 3145 3147 31166 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827454411 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 0 0 0 0
[pid=3147/tid=3167] ppid=3145 vsize=13638476 CPUtime=0 cores=0,2,4,6
/proc/3147/task/3167/stat : 3167 (java) S 3145 3147 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827454469 13965799424 58231 33554432000 1073741824 1073778376 140735700526896 18446744073709551615 251826056704 0 4 0 16800975 18446604451686304832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13638476

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

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

Child status: 143
Real time (s): 1796.57
CPU time (s): 1800.1
CPU user time (s): 1799.94
CPU system time (s): 0.166974
CPU usage (%): 100.197
Max. virtual memory (cumulated for all children) (KiB): 13638476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64625
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42100
involuntary context switches= 7428

runsolver used 11.0783 second user time and 22.5176 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-04 05:35:57
IDJOB=3458292
IDBENCH=48112
IDSOLVER=1952
FILE ID=node126/3458292-1307158557
RUNJOBID= node126-1307156675-2345
PBS_JOBID= 13508790
Free space on /tmp= 73800 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_1.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458292-1307158557/watcher-3458292-1307158557 -o /tmp/evaluation-result-3458292-1307158557/solver-3458292-1307158557 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458292-1307158557.opb

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

MD5SUM BENCH= 93a95f0846e71f0984a2317cf811edef
RANDOM SEED=288242762

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30031920 kB
Buffers:        301460 kB
Cached:         451892 kB
SwapCached:      15388 kB
Active:        2180820 kB
Inactive:       418968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30031920 kB
SwapTotal:    67111528 kB
SwapFree:     41528364 kB
Dirty:            1056 kB
Writeback:           8 kB
AnonPages:     1843900 kB
Mapped:          31948 kB
Slab:           147900 kB
PageTables:     100216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 189821644 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73796 MiB
End job on node126 at 2011-06-04 06:05:56