Trace number 3458763

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)-38 1800.25 1790.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-41
Best CPU time to get the best result obtained on this benchmark1797.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58624
Number of constraints which are clauses58624
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
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.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@3e34a1fc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458763-1307148580.opb
0.10/0.11	c reading problem ... 
1.00/0.59	c ... done. Wall clock time 0.474s.
1.00/0.59	c #vars     945
1.00/0.59	c #constraints  58624
1.00/0.59	c constraints type 
1.00/0.59	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58624
1.12/0.61	c SATISFIABLE
1.12/0.61	c OPTIMIZING...
1.12/0.61	c Got one! Elapsed wall clock time (in seconds):0.494
1.12/0.61	o -27
1.12/0.63	c Got one! Elapsed wall clock time (in seconds):0.52
1.12/0.63	o -28
1.12/0.68	c Got one! Elapsed wall clock time (in seconds):0.565
1.12/0.68	o -29
1.37/0.70	c Got one! Elapsed wall clock time (in seconds):0.587
1.37/0.70	o -30
1.37/0.72	c Got one! Elapsed wall clock time (in seconds):0.605
1.37/0.72	o -31
1.37/0.77	c Got one! Elapsed wall clock time (in seconds):0.663
1.37/0.77	o -32
1.61/0.89	c Got one! Elapsed wall clock time (in seconds):0.776
1.61/0.89	o -33
1.72/0.98	c Got one! Elapsed wall clock time (in seconds):0.87
1.72/0.98	o -34
2.67/1.87	c cleaning 3238 clauses out of 6478 with flag 5000/6478
3.74/2.86	c cleaning 4616 clauses out of 9240 with flag 11000/12478
4.95/4.06	c cleaning 5812 clauses out of 11624 with flag 18000/19478
6.27/5.41	c cleaning 6904 clauses out of 13812 with flag 26000/27478
7.83/6.84	c Got one! Elapsed wall clock time (in seconds):6.732
7.83/6.84	o -35
8.75/7.72	c cleaning 9926 clauses out of 19853 with flag 5000/40423
9.77/8.79	c cleaning 7961 clauses out of 15927 with flag 11000/46423
11.06/10.05	c cleaning 7483 clauses out of 14966 with flag 18000/53423
12.47/11.47	c cleaning 7741 clauses out of 15484 with flag 26001/61424
14.19/13.20	c cleaning 8363 clauses out of 16742 with flag 35000/70423
16.09/15.04	c cleaning 9178 clauses out of 18379 with flag 45000/80423
16.52/15.45	c Got one! Elapsed wall clock time (in seconds):15.339
16.52/15.45	o -36
17.00/15.97	c cleaning 7188 clauses out of 14384 with flag 3000/85606
18.11/17.07	c cleaning 6594 clauses out of 13196 with flag 9000/91606
19.42/18.37	c cleaning 6795 clauses out of 13602 with flag 16000/98606
20.94/19.86	c cleaning 7395 clauses out of 14807 with flag 24000/106606
22.63/21.59	c cleaning 8202 clauses out of 16412 with flag 33000/115606
24.45/23.36	c cleaning 9095 clauses out of 18210 with flag 43000/125606
26.56/25.42	c cleaning 10058 clauses out of 20115 with flag 54000/136606
28.98/27.84	c cleaning 11026 clauses out of 22057 with flag 66000/148606
31.60/30.45	c cleaning 12002 clauses out of 24031 with flag 79000/161606
34.72/33.53	c cleaning 13006 clauses out of 26029 with flag 93000/175606
37.58/36.35	c cleaning 14010 clauses out of 28023 with flag 108000/190606
40.90/39.63	c cleaning 15002 clauses out of 30013 with flag 124000/206606
44.61/43.37	c cleaning 16006 clauses out of 32012 with flag 141001/223607
48.56/47.31	c cleaning 16996 clauses out of 34005 with flag 159000/241606
53.37/52.07	c cleaning 18002 clauses out of 36010 with flag 178001/260607
57.22/55.86	c cleaning 19000 clauses out of 38007 with flag 198000/280606
62.05/60.65	c cleaning 19996 clauses out of 40009 with flag 219002/301608
67.19/65.78	c cleaning 21006 clauses out of 42012 with flag 241001/323607
73.06/71.57	c cleaning 22003 clauses out of 44005 with flag 264000/346606
79.17/77.68	c cleaning 23002 clauses out of 46004 with flag 288002/370608
85.83/84.23	c cleaning 23993 clauses out of 48001 with flag 313001/395607
90.99/89.37	c cleaning 25001 clauses out of 50009 with flag 339002/421608
94.63/92.90	c Got one! Elapsed wall clock time (in seconds):92.789
94.63/92.90	o -37
95.75/94.09	c cleaning 23124 clauses out of 46264 with flag 5000/442864
97.18/95.44	c cleaning 14566 clauses out of 29140 with flag 11000/448864
98.69/96.91	c cleaning 10774 clauses out of 21574 with flag 18000/455864
100.19/98.43	c cleaning 9389 clauses out of 18800 with flag 26000/463864
102.00/100.29	c cleaning 9200 clauses out of 18411 with flag 35000/472864
104.21/102.45	c cleaning 9602 clauses out of 19212 with flag 45001/482865
106.42/104.62	c cleaning 10298 clauses out of 20609 with flag 56000/493864
109.04/107.25	c cleaning 11150 clauses out of 22311 with flag 68000/505864
112.25/110.40	c cleaning 12075 clauses out of 24161 with flag 81000/518864
115.19/113.35	c cleaning 13037 clauses out of 26086 with flag 95000/532864
118.59/116.71	c cleaning 14018 clauses out of 28049 with flag 110000/547864
122.10/120.22	c cleaning 15012 clauses out of 30031 with flag 126000/563864
126.24/124.37	c cleaning 16006 clauses out of 32021 with flag 143002/580866
130.45/128.50	c cleaning 17001 clauses out of 34013 with flag 161000/598864
134.09/132.11	c cleaning 18004 clauses out of 36012 with flag 180000/617864
138.44/136.48	c cleaning 18997 clauses out of 38008 with flag 200000/637864
143.24/141.24	c cleaning 20000 clauses out of 40012 with flag 221001/658865
148.78/146.72	c cleaning 21000 clauses out of 42011 with flag 243000/680864
154.12/152.08	c cleaning 22001 clauses out of 44011 with flag 266000/703864
160.24/158.17	c cleaning 22993 clauses out of 46010 with flag 290000/727864
166.58/164.46	c cleaning 24007 clauses out of 48017 with flag 315000/752864
173.33/171.15	c cleaning 24999 clauses out of 50010 with flag 341000/778864
180.18/177.94	c cleaning 26005 clauses out of 52011 with flag 368000/805864
188.63/186.32	c cleaning 27002 clauses out of 54006 with flag 396000/833864
197.36/195.03	c cleaning 27999 clauses out of 56005 with flag 425001/862865
206.59/204.21	c cleaning 28995 clauses out of 58005 with flag 455000/892864
212.87/210.47	c cleaning 29998 clauses out of 60011 with flag 486001/923865
220.05/217.59	c cleaning 31004 clauses out of 62012 with flag 518000/955864
228.21/225.63	c cleaning 31991 clauses out of 64008 with flag 551000/988864
237.66/235.02	c cleaning 32998 clauses out of 66018 with flag 585001/1022865
248.53/245.86	c cleaning 34003 clauses out of 68020 with flag 620001/1057865
259.80/257.07	c cleaning 35006 clauses out of 70016 with flag 656000/1093864
270.65/267.84	c cleaning 36001 clauses out of 72011 with flag 693001/1130865
281.61/278.70	c cleaning 36997 clauses out of 74009 with flag 731000/1168864
291.88/288.92	c cleaning 37999 clauses out of 76013 with flag 770001/1207865
304.24/301.29	c cleaning 39003 clauses out of 78013 with flag 810000/1247864
317.11/314.09	c cleaning 39999 clauses out of 80010 with flag 851000/1288864
332.28/329.14	c cleaning 41002 clauses out of 82011 with flag 893000/1330864
342.07/338.87	c cleaning 42005 clauses out of 84009 with flag 936000/1373864
353.12/349.84	c cleaning 42997 clauses out of 86004 with flag 980000/1417864
366.88/363.54	c cleaning 43997 clauses out of 88007 with flag 1025000/1462864
381.44/378.03	c cleaning 45002 clauses out of 90010 with flag 1071000/1508864
394.00/390.59	c cleaning 45999 clauses out of 92008 with flag 1118000/1555864
409.35/405.85	c cleaning 46994 clauses out of 94009 with flag 1166000/1603864
423.86/420.24	c cleaning 47988 clauses out of 96015 with flag 1215000/1652864
440.03/436.37	c cleaning 49014 clauses out of 98027 with flag 1265000/1702864
458.41/454.60	c cleaning 50000 clauses out of 100013 with flag 1316000/1753864
472.73/468.81	c cleaning 51003 clauses out of 102013 with flag 1368000/1805864
490.42/486.40	c cleaning 51995 clauses out of 104010 with flag 1421000/1858864
508.80/504.81	c cleaning 53006 clauses out of 106015 with flag 1475000/1912864
529.05/524.96	c cleaning 53993 clauses out of 108010 with flag 1530001/1967865
545.23/541.07	c cleaning 54996 clauses out of 110016 with flag 1586000/2023864
559.44/555.10	c cleaning 56010 clauses out of 112021 with flag 1643001/2080865
576.51/572.18	c cleaning 56999 clauses out of 114010 with flag 1701000/2138864
598.03/593.53	c cleaning 58000 clauses out of 116011 with flag 1760000/2197864
618.76/614.19	c cleaning 58500 clauses out of 117012 with flag 1819001/2256865
636.87/632.15	c cleaning 58739 clauses out of 117512 with flag 1878001/2315865
658.18/653.39	c cleaning 58872 clauses out of 117772 with flag 1937000/2374864
679.16/674.31	c cleaning 58940 clauses out of 117900 with flag 1996000/2433864
696.74/691.78	c cleaning 58968 clauses out of 117960 with flag 2055000/2492864
718.84/713.76	c cleaning 58996 clauses out of 117993 with flag 2114001/2551865
740.33/735.19	c cleaning 58994 clauses out of 117996 with flag 2173000/2610864
760.32/755.02	c cleaning 58991 clauses out of 118002 with flag 2232000/2669864
780.22/774.84	c cleaning 58992 clauses out of 118012 with flag 2291001/2728865
801.10/795.61	c cleaning 58998 clauses out of 118019 with flag 2350000/2787864
821.06/815.52	c cleaning 59003 clauses out of 118021 with flag 2409000/2846864
844.55/838.92	c cleaning 59002 clauses out of 118018 with flag 2468000/2905864
869.02/863.35	c cleaning 59000 clauses out of 118017 with flag 2527001/2964865
884.70/878.93	c cleaning 59001 clauses out of 118016 with flag 2586000/3023864
900.09/894.26	c cleaning 59005 clauses out of 118015 with flag 2645000/3082864
917.47/911.52	c cleaning 59002 clauses out of 118010 with flag 2704000/3141864
936.28/930.21	c cleaning 58997 clauses out of 118009 with flag 2763001/3200865
957.30/951.19	c cleaning 58998 clauses out of 118011 with flag 2822000/3259864
974.51/968.25	c cleaning 58986 clauses out of 118013 with flag 2881000/3318864
995.33/988.95	c cleaning 59012 clauses out of 118028 with flag 2940001/3377865
1017.02/1010.54	c cleaning 59001 clauses out of 118016 with flag 2999001/3436865
1036.89/1030.32	c cleaning 58993 clauses out of 118014 with flag 3058000/3495864
1058.88/1052.25	c cleaning 59002 clauses out of 118022 with flag 3117001/3554865
1077.67/1070.97	c cleaning 59004 clauses out of 118019 with flag 3176000/3613864
1095.54/1088.76	c cleaning 58995 clauses out of 118015 with flag 3235000/3672864
1116.53/1109.69	c cleaning 58997 clauses out of 118020 with flag 3294000/3731864
1138.30/1131.30	c cleaning 58996 clauses out of 118023 with flag 3353000/3790864
1147.49/1140.42	c Got one! Elapsed wall clock time (in seconds):1140.309
1147.49/1140.42	o -38
1149.03/1141.96	c cleaning 47780 clauses out of 95566 with flag 5000/3827403
1150.48/1143.34	c cleaning 26889 clauses out of 53786 with flag 11000/3833403
1151.99/1144.86	c cleaning 16945 clauses out of 33897 with flag 18000/3840403
1153.70/1146.53	c cleaning 12462 clauses out of 24953 with flag 26001/3848404
1155.70/1148.55	c cleaning 10735 clauses out of 21492 with flag 35002/3857405
1157.91/1150.71	c cleaning 10370 clauses out of 20755 with flag 45000/3867403
1160.41/1153.23	c cleaning 10685 clauses out of 21385 with flag 56000/3878403
1163.33/1156.15	c cleaning 11346 clauses out of 22700 with flag 68000/3890403
1166.41/1159.22	c cleaning 12170 clauses out of 24354 with flag 81000/3903403
1169.95/1162.73	c cleaning 13085 clauses out of 26185 with flag 95001/3917404
1173.64/1166.42	c cleaning 14042 clauses out of 28099 with flag 110000/3932403
1177.74/1170.58	c cleaning 15023 clauses out of 30057 with flag 126000/3948403
1182.45/1175.28	c cleaning 16010 clauses out of 32034 with flag 143000/3965403
1186.67/1179.40	c cleaning 17000 clauses out of 34024 with flag 161000/3983403
1191.57/1184.32	c cleaning 18007 clauses out of 36024 with flag 180000/4002403
1196.99/1189.75	c cleaning 19008 clauses out of 38018 with flag 200001/4022404
1202.81/1195.59	c cleaning 20001 clauses out of 40009 with flag 221000/4043403
1208.43/1201.13	c cleaning 20995 clauses out of 42008 with flag 243000/4065403
1214.93/1207.64	c cleaning 22004 clauses out of 44013 with flag 266000/4088403
1221.84/1214.52	c cleaning 22995 clauses out of 46009 with flag 290000/4112403
1229.05/1221.79	c cleaning 24006 clauses out of 48014 with flag 315000/4137403
1235.56/1228.26	c cleaning 24998 clauses out of 50008 with flag 341000/4163403
1242.37/1235.08	c cleaning 25997 clauses out of 52010 with flag 368000/4190403
1249.59/1242.24	c cleaning 27001 clauses out of 54013 with flag 396000/4218403
1257.12/1249.72	c cleaning 27998 clauses out of 56013 with flag 425001/4247404
1265.55/1258.18	c cleaning 29004 clauses out of 58014 with flag 455000/4277403
1274.48/1267.08	c cleaning 30006 clauses out of 60011 with flag 486001/4308404
1284.20/1276.77	c cleaning 30995 clauses out of 62005 with flag 518001/4340404
1293.34/1285.85	c cleaning 32001 clauses out of 64009 with flag 551000/4373403
1303.25/1295.76	c cleaning 32993 clauses out of 66008 with flag 585000/4407403
1314.96/1307.43	c cleaning 34003 clauses out of 68016 with flag 620001/4442404
1325.57/1318.06	c cleaning 35003 clauses out of 70012 with flag 656000/4478403
1337.69/1330.12	c cleaning 36001 clauses out of 72009 with flag 693000/4515403
1349.84/1342.26	c cleaning 37001 clauses out of 74008 with flag 731000/4553403
1362.90/1355.23	c cleaning 38001 clauses out of 76009 with flag 770002/4592405
1376.12/1368.47	c cleaning 38983 clauses out of 78006 with flag 810000/4632403
1387.07/1379.39	c cleaning 40008 clauses out of 80023 with flag 851000/4673403
1396.75/1388.91	c cleaning 40989 clauses out of 82015 with flag 893000/4715403
1407.63/1399.79	c cleaning 42009 clauses out of 84026 with flag 936000/4758403
1418.57/1410.62	c cleaning 43000 clauses out of 86017 with flag 980000/4802403
1431.70/1423.73	c cleaning 44000 clauses out of 88017 with flag 1025000/4847403
1444.44/1436.51	c cleaning 45006 clauses out of 90017 with flag 1071000/4893403
1460.03/1452.01	c cleaning 45987 clauses out of 92011 with flag 1118000/4940403
1474.89/1466.71	c cleaning 47005 clauses out of 94024 with flag 1166000/4988403
1493.36/1485.10	c cleaning 48009 clauses out of 96019 with flag 1215000/5037403
1508.93/1500.64	c cleaning 49004 clauses out of 98010 with flag 1265000/5087403
1524.37/1516.03	c cleaning 49984 clauses out of 100006 with flag 1316000/5138403
1541.25/1532.80	c cleaning 51006 clauses out of 102022 with flag 1368000/5190403
1560.50/1552.02	c cleaning 52006 clauses out of 104016 with flag 1421000/5243403
1577.86/1569.35	c cleaning 52997 clauses out of 106010 with flag 1475000/5297403
1593.53/1584.99	c cleaning 53999 clauses out of 108013 with flag 1530000/5352403
1614.45/1605.73	c cleaning 55004 clauses out of 110014 with flag 1586000/5408403
1632.88/1624.11	c cleaning 55999 clauses out of 112011 with flag 1643001/5465404
1652.75/1643.95	c cleaning 56994 clauses out of 114011 with flag 1701000/5523403
1673.75/1664.83	c cleaning 58001 clauses out of 116017 with flag 1760000/5582403
1695.37/1686.43	c cleaning 58497 clauses out of 117016 with flag 1819000/5641403
1713.06/1704.02	c cleaning 58755 clauses out of 117519 with flag 1878000/5700403
1734.34/1725.27	c cleaning 58866 clauses out of 117764 with flag 1937000/5759403
1755.68/1746.58	c cleaning 58943 clauses out of 117898 with flag 1996000/5818403
1774.05/1764.88	c cleaning 58971 clauses out of 117955 with flag 2055000/5877403
1795.49/1786.25	c cleaning 58980 clauses out of 117984 with flag 2114000/5936403
1800.12/1790.74	c starts		: 287
1800.12/1790.74	c conflicts		: 5953603
1800.12/1790.74	c decisions		: 6371258
1800.12/1790.74	c propagations		: 35865825
1800.12/1790.74	c inspects		: 8907197755
1800.12/1790.74	c shortcuts		: 0
1800.12/1790.74	c learnt literals	: 0
1800.12/1790.74	c learnt binary clauses	: 0
1800.12/1790.74	c learnt ternary clauses	: 0
1800.12/1790.74	c learnt constraints	: 5953603
1800.12/1790.74	c ignored constraints	: 0
1800.12/1790.74	c root simplifications	: 0
1800.12/1790.74	c removed literals (reason simplification)	: 86295913
1800.12/1790.74	c reason swapping (by a shorter reason)	: 0
1800.12/1790.74	c Calls to reduceDB	: 175
1800.12/1790.74	c number of reductions to clauses (during analyze)	: 0
1800.12/1790.74	c number of learned constraints concerned by reduction	: 0
1800.12/1790.74	c number of learning phase by resolution	: 0
1800.12/1790.74	c number of learning phase by cutting planes	: 0
1800.12/1790.74	c speed (assignments/second)	: 55151.041025956445
1800.12/1790.74	c non guided choices	0
1800.12/1790.77	c learnt constraints type 
1800.12/1790.77	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 76267
1800.12/1790.77	c constraints type 
1800.12/1790.77	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.12/1790.77	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58624
1800.12/1790.77	s SATISFIABLE
1800.12/1790.77	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 
1800.12/1790.77	c objective function=-38
1800.12/1790.77	c Total wall clock time (in seconds): 1790.66

Verifier Data 

OK	-38

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-3458763-1307148580/watcher-3458763-1307148580 -o /tmp/evaluation-result-3458763-1307148580/solver-3458763-1307148580 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458763-1307148580.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.11 2.07 1.99 2/539 28123
/proc/meminfo: memFree=20958984/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 6112 0 1 0 0 1 0 0 25 0 2 0 807273441 13850947584 5814 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3381579 5825 917 9 0 3372735 0
[pid=28123/tid=28124] ppid=28121 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 5374 0 1 0 0 0 0 0 25 0 2 0 807273442 13850947584 6190 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0625669 s]
/proc/loadavg: 2.11 2.07 1.99 2/539 28123
/proc/meminfo: memFree=20958984/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13549616 CPUtime=0.05 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 14008 0 1 0 3 2 0 0 25 0 13 0 807273441 13874806784 13705 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3387404 13707 1685 9 0 3378152 0
[pid=28123/tid=28124] ppid=28121 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 12865 0 1 0 3 1 0 0 25 0 13 0 807273442 13874806784 13709 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 47170506020376 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13549616

[startup+0.100504 s]
/proc/loadavg: 2.11 2.07 1.99 2/539 28123
/proc/meminfo: memFree=20958984/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13622156 CPUtime=0.1 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 15481 0 1 0 8 2 0 0 25 0 18 0 807273441 13949087744 15177 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3405539 15177 2093 9 0 3396273 0
[pid=28123/tid=28124] ppid=28121 vsize=13622156 CPUtime=0.08 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 13537 0 1 0 6 2 0 0 25 0 18 0 807273442 13949087744 15178 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107277771 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622156

[startup+0.300469 s]
/proc/loadavg: 2.11 2.07 1.99 2/539 28123
/proc/meminfo: memFree=20958984/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13623544 CPUtime=0.46 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 18461 0 1 0 43 3 0 0 25 0 18 0 807273441 13950509056 17749 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3405886 17749 2201 9 0 3396620 0
[pid=28123/tid=28124] ppid=28121 vsize=13623544 CPUtime=0.28 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 15370 0 1 0 26 2 0 0 25 0 18 0 807273442 13950509056 17750 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623544

[startup+0.700398 s]
/proc/loadavg: 2.11 2.07 1.99 2/539 28123
/proc/meminfo: memFree=20958984/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13631016 CPUtime=1.37 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 44829 0 1 0 131 6 0 0 25 0 19 0 807273441 13958160384 42917 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3407754 42917 2230 9 0 3398488 0
[pid=28123/tid=28124] ppid=28121 vsize=13631016 CPUtime=0.68 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 38142 0 1 0 63 5 0 0 25 0 19 0 807273442 13958160384 42917 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 46912505228577 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 13631016

[startup+1.50128 s]
/proc/loadavg: 2.11 2.07 1.99 3/558 28142
/proc/meminfo: memFree=20787908/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13631016 CPUtime=2.35 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 49343 0 1 0 228 7 0 0 25 0 19 0 807273441 13958160384 47430 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3407754 47430 2235 9 0 3398488 0
[pid=28123/tid=28124] ppid=28121 vsize=13631016 CPUtime=1.48 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 42628 0 1 0 142 6 0 0 25 0 19 0 807273442 13958160384 47431 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 47170507455315 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28123/tid=28126] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273444 13958160384 47431 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28127] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273444 13958160384 47431 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28128] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273444 13958160384 47431 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28129] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273444 13958160384 47431 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28130] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273444 13958160384 47431 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28131] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273444 13958160384 47431 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28132] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28132/stat : 28132 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273444 13958160384 47431 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28133] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28133/stat : 28133 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273444 13958160384 47431 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28134] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28134/stat : 28134 (java) S 28121 28123 25640 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 47432 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 0 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28135] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28135/stat : 28135 (java) S 28121 28123 25640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807273445 13958160384 47432 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28136] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28136/stat : 28136 (java) S 28121 28123 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807273445 13958160384 47432 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28137] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28137/stat : 28137 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 47432 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107274673 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28138] ppid=28121 vsize=13631016 CPUtime=0.45 cores=1,3,5,7
/proc/28123/task/28138/stat : 28138 (java) S 28121 28123 25640 0 -1 4202560 3455 0 0 0 45 0 0 0 15 0 19 0 807273448 13958160384 47432 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28139] ppid=28121 vsize=13631016 CPUtime=0.39 cores=1,3,5,7
/proc/28123/task/28139/stat : 28139 (java) S 28121 28123 25640 0 -1 4202560 2101 0 0 0 39 0 0 0 25 0 19 0 807273448 13958160384 47432 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28140] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28140/stat : 28140 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 47432 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28141] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28141/stat : 28141 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807273448 13958160384 47432 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28142] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28142/stat : 28142 (java) S 28121 28123 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807273501 13958160384 47433 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 13631016

[startup+3.10099 s]
/proc/loadavg: 2.10 2.07 1.99 3/558 28142
/proc/meminfo: memFree=20733688/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13631016 CPUtime=4.05 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 66955 0 1 0 395 10 0 0 25 0 19 0 807273441 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3407754 65030 2263 9 0 3398488 0
[pid=28123/tid=28124] ppid=28121 vsize=13631016 CPUtime=3.01 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 44635 0 1 0 294 7 0 0 18 0 19 0 807273442 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 46912505891012 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28123/tid=28126] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 25640 0 -1 4202560 1671 0 0 0 0 0 0 0 16 0 19 0 807273444 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28127] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 25640 0 -1 4202560 1731 0 0 0 0 0 0 0 15 0 19 0 807273444 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28128] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 25640 0 -1 4202560 1370 0 0 0 0 0 0 0 16 0 19 0 807273444 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28129] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807273444 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28130] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 807273444 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28131] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 25640 0 -1 4202560 2172 0 0 0 0 0 0 0 16 0 19 0 807273444 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28132] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28132/stat : 28132 (java) S 28121 28123 25640 0 -1 4202560 531 0 0 0 0 0 0 0 15 0 19 0 807273444 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28133] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28133/stat : 28133 (java) S 28121 28123 25640 0 -1 4202560 1561 0 0 0 0 0 0 0 16 0 19 0 807273444 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28134] ppid=28121 vsize=13631016 CPUtime=0.05 cores=1,3,5,7
/proc/28123/task/28134/stat : 28134 (java) S 28121 28123 25640 0 -1 4202560 6550 0 0 0 4 1 0 0 16 0 19 0 807273445 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 0 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28135] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28135/stat : 28135 (java) S 28121 28123 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28136] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28136/stat : 28136 (java) S 28121 28123 25640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28137] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28137/stat : 28137 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107274673 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28138] ppid=28121 vsize=13631016 CPUtime=0.5 cores=1,3,5,7
/proc/28123/task/28138/stat : 28138 (java) S 28121 28123 25640 0 -1 4202560 3472 0 0 0 50 0 0 0 15 0 19 0 807273448 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28139] ppid=28121 vsize=13631016 CPUtime=0.42 cores=1,3,5,7
/proc/28123/task/28139/stat : 28139 (java) S 28121 28123 25640 0 -1 4202560 2109 0 0 0 42 0 0 0 15 0 19 0 807273448 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28140] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28140/stat : 28140 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28141] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28141/stat : 28141 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807273448 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28142] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28142/stat : 28142 (java) S 28121 28123 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807273501 13958160384 65030 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 13631016

[startup+6.30141 s]
/proc/loadavg: 2.10 2.07 1.99 4/558 28142
/proc/meminfo: memFree=20685956/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13631016 CPUtime=7.33 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 74111 0 1 0 722 11 0 0 25 0 19 0 807273441 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3407754 72173 2263 9 0 3398488 0
[pid=28123/tid=28124] ppid=28121 vsize=13631016 CPUtime=6.14 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 44638 0 1 0 607 7 0 0 25 0 19 0 807273442 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 46912505871446 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28123/tid=28126] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 25640 0 -1 4202560 2843 0 0 0 0 0 0 0 16 0 19 0 807273444 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28127] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 25640 0 -1 4202560 2634 0 0 0 0 0 0 0 16 0 19 0 807273444 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28128] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 25640 0 -1 4202560 1370 0 0 0 0 0 0 0 15 0 19 0 807273444 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28129] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 25640 0 -1 4202560 247 0 0 0 0 0 0 0 15 0 19 0 807273444 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28130] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 25640 0 -1 4202560 353 0 0 0 0 0 0 0 15 0 19 0 807273444 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28131] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 25640 0 -1 4202560 2172 0 0 0 0 0 0 0 15 0 19 0 807273444 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28132] ppid=28121 vsize=13631016 CPUtime=0.01 cores=1,3,5,7
/proc/28123/task/28132/stat : 28132 (java) S 28121 28123 25640 0 -1 4202560 1298 0 0 0 1 0 0 0 15 0 19 0 807273444 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28133] ppid=28121 vsize=13631016 CPUtime=0.01 cores=1,3,5,7
/proc/28123/task/28133/stat : 28133 (java) S 28121 28123 25640 0 -1 4202560 2816 0 0 0 1 0 0 0 15 0 19 0 807273444 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28134] ppid=28121 vsize=13631016 CPUtime=0.11 cores=1,3,5,7
/proc/28123/task/28134/stat : 28134 (java) S 28121 28123 25640 0 -1 4202560 8998 0 0 0 10 1 0 0 16 0 19 0 807273445 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 0 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28135] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28135/stat : 28135 (java) S 28121 28123 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28136] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28136/stat : 28136 (java) S 28121 28123 25640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28137] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28137/stat : 28137 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107274673 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28138] ppid=28121 vsize=13631016 CPUtime=0.56 cores=1,3,5,7
/proc/28123/task/28138/stat : 28138 (java) S 28121 28123 25640 0 -1 4202560 3482 0 0 0 56 0 0 0 15 0 19 0 807273448 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28139] ppid=28121 vsize=13631016 CPUtime=0.42 cores=1,3,5,7
/proc/28123/task/28139/stat : 28139 (java) S 28121 28123 25640 0 -1 4202560 2109 0 0 0 42 0 0 0 15 0 19 0 807273448 13958160384 72173 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0

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

[pid=28123/tid=28131] ppid=28121 vsize=13631016 CPUtime=1.47 cores=1,3,5,7
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 25640 0 -1 4202560 13398 0 0 0 146 1 0 0 15 0 19 0 807273444 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28132] ppid=28121 vsize=13631016 CPUtime=1.43 cores=1,3,5,7
/proc/28123/task/28132/stat : 28132 (java) S 28121 28123 25640 0 -1 4202560 10308 0 0 0 142 1 0 0 15 0 19 0 807273444 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28133] ppid=28121 vsize=13631016 CPUtime=1.38 cores=1,3,5,7
/proc/28123/task/28133/stat : 28133 (java) S 28121 28123 25640 0 -1 4202560 8667 0 0 0 137 1 0 0 16 0 19 0 807273444 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28134] ppid=28121 vsize=13631016 CPUtime=12.01 cores=1,3,5,7
/proc/28123/task/28134/stat : 28134 (java) S 28121 28123 25640 0 -1 4202560 77767 0 0 0 1192 9 0 0 15 0 19 0 807273445 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 0 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28135] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28135/stat : 28135 (java) S 28121 28123 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28136] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28136/stat : 28136 (java) S 28121 28123 25640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28137] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28137/stat : 28137 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107274673 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28138] ppid=28121 vsize=13631016 CPUtime=0.61 cores=1,3,5,7
/proc/28123/task/28138/stat : 28138 (java) S 28121 28123 25640 0 -1 4202560 3489 0 0 0 61 0 0 0 15 0 19 0 807273448 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28139] ppid=28121 vsize=13631016 CPUtime=0.44 cores=1,3,5,7
/proc/28123/task/28139/stat : 28139 (java) S 28121 28123 25640 0 -1 4202560 2111 0 0 0 44 0 0 0 15 0 19 0 807273448 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28140] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28140/stat : 28140 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28141] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28141/stat : 28141 (java) S 28121 28123 25640 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 807273448 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28142] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28142/stat : 28142 (java) S 28121 28123 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807273501 13958160384 245856 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1731.44
Current children cumulated vsize (KiB) 13631016

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 2.02 3/558 28247
/proc/meminfo: memFree=20477728/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13631016 CPUtime=1791.59 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 248318 0 1 0 179121 38 0 0 25 0 19 0 807273441 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3407754 245877 2264 9 0 3398488 0
[pid=28123/tid=28124] ppid=28121 vsize=13631016 CPUtime=1766.68 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 67594 0 1 0 176658 10 0 0 25 0 19 0 807273442 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 46912505894324 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28123/tid=28126] ppid=28121 vsize=13631016 CPUtime=1.49 cores=1,3,5,7
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 25640 0 -1 4202560 12258 0 0 0 148 1 0 0 15 0 19 0 807273444 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28127] ppid=28121 vsize=13631016 CPUtime=1.54 cores=1,3,5,7
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 25640 0 -1 4202560 11829 0 0 0 152 2 0 0 16 0 19 0 807273444 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28128] ppid=28121 vsize=13631016 CPUtime=1.35 cores=1,3,5,7
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 25640 0 -1 4202560 13796 0 0 0 133 2 0 0 15 0 19 0 807273444 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28129] ppid=28121 vsize=13631016 CPUtime=1.29 cores=1,3,5,7
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 25640 0 -1 4202560 12975 0 0 0 127 2 0 0 15 0 19 0 807273444 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28130] ppid=28121 vsize=13631016 CPUtime=1.35 cores=1,3,5,7
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 25640 0 -1 4202560 12864 0 0 0 133 2 0 0 16 0 19 0 807273444 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28131] ppid=28121 vsize=13631016 CPUtime=1.5 cores=1,3,5,7
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 25640 0 -1 4202560 13398 0 0 0 149 1 0 0 16 0 19 0 807273444 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28132] ppid=28121 vsize=13631016 CPUtime=1.44 cores=1,3,5,7
/proc/28123/task/28132/stat : 28132 (java) S 28121 28123 25640 0 -1 4202560 10308 0 0 0 143 1 0 0 16 0 19 0 807273444 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28133] ppid=28121 vsize=13631016 CPUtime=1.42 cores=1,3,5,7
/proc/28123/task/28133/stat : 28133 (java) S 28121 28123 25640 0 -1 4202560 8672 0 0 0 141 1 0 0 16 0 19 0 807273444 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28134] ppid=28121 vsize=13631016 CPUtime=12.34 cores=1,3,5,7
/proc/28123/task/28134/stat : 28134 (java) S 28121 28123 25640 0 -1 4202560 77771 0 0 0 1225 9 0 0 15 0 19 0 807273445 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 0 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28135] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28135/stat : 28135 (java) S 28121 28123 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28136] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28136/stat : 28136 (java) S 28121 28123 25640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28137] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28137/stat : 28137 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107274673 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28138] ppid=28121 vsize=13631016 CPUtime=0.61 cores=1,3,5,7
/proc/28123/task/28138/stat : 28138 (java) S 28121 28123 25640 0 -1 4202560 3489 0 0 0 61 0 0 0 15 0 19 0 807273448 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28139] ppid=28121 vsize=13631016 CPUtime=0.44 cores=1,3,5,7
/proc/28123/task/28139/stat : 28139 (java) S 28121 28123 25640 0 -1 4202560 2111 0 0 0 44 0 0 0 15 0 19 0 807273448 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28140] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28140/stat : 28140 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28141] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28141/stat : 28141 (java) S 28121 28123 25640 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807273448 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28142] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28142/stat : 28142 (java) S 28121 28123 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807273501 13958160384 245877 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 13631016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.7 s]
/proc/loadavg: 2.10 2.06 2.02 3/558 28247
/proc/meminfo: memFree=20476972/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13631016 CPUtime=1800.12 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 248367 0 1 0 179974 38 0 0 25 0 19 0 807273441 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3407754 245923 2264 9 0 3398488 0
[pid=28123/tid=28124] ppid=28121 vsize=13631016 CPUtime=1775 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 67595 0 1 0 177490 10 0 0 25 0 19 0 807273442 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 46912505882382 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28123/tid=28126] ppid=28121 vsize=13631016 CPUtime=1.5 cores=1,3,5,7
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 25640 0 -1 4202560 12258 0 0 0 149 1 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28127] ppid=28121 vsize=13631016 CPUtime=1.54 cores=1,3,5,7
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 25640 0 -1 4202560 11829 0 0 0 152 2 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28128] ppid=28121 vsize=13631016 CPUtime=1.35 cores=1,3,5,7
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 25640 0 -1 4202560 13796 0 0 0 133 2 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28129] ppid=28121 vsize=13631016 CPUtime=1.32 cores=1,3,5,7
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 25640 0 -1 4202560 12975 0 0 0 130 2 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28130] ppid=28121 vsize=13631016 CPUtime=1.35 cores=1,3,5,7
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 25640 0 -1 4202560 12864 0 0 0 133 2 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28131] ppid=28121 vsize=13631016 CPUtime=1.52 cores=1,3,5,7
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 25640 0 -1 4202560 13412 0 0 0 151 1 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28132] ppid=28121 vsize=13631016 CPUtime=1.46 cores=1,3,5,7
/proc/28123/task/28132/stat : 28132 (java) S 28121 28123 25640 0 -1 4202560 10308 0 0 0 145 1 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28133] ppid=28121 vsize=13631016 CPUtime=1.45 cores=1,3,5,7
/proc/28123/task/28133/stat : 28133 (java) S 28121 28123 25640 0 -1 4202560 8704 0 0 0 144 1 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28134] ppid=28121 vsize=13631016 CPUtime=12.43 cores=1,3,5,7
/proc/28123/task/28134/stat : 28134 (java) S 28121 28123 25640 0 -1 4202560 77773 0 0 0 1234 9 0 0 15 0 19 0 807273445 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 0 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28135] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28135/stat : 28135 (java) S 28121 28123 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28136] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28136/stat : 28136 (java) S 28121 28123 25640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28137] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28137/stat : 28137 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107274673 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28138] ppid=28121 vsize=13631016 CPUtime=0.61 cores=1,3,5,7
/proc/28123/task/28138/stat : 28138 (java) S 28121 28123 25640 0 -1 4202560 3489 0 0 0 61 0 0 0 15 0 19 0 807273448 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28139] ppid=28121 vsize=13631016 CPUtime=0.44 cores=1,3,5,7
/proc/28123/task/28139/stat : 28139 (java) S 28121 28123 25640 0 -1 4202560 2111 0 0 0 44 0 0 0 15 0 19 0 807273448 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28140] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28140/stat : 28140 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28141] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28141/stat : 28141 (java) S 28121 28123 25640 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807273448 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28142] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28142/stat : 28142 (java) S 28121 28123 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807273501 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 13631016

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

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

[startup+1790.7 s]
/proc/loadavg: 2.10 2.06 2.02 3/558 28247
/proc/meminfo: memFree=20476972/32951124 swapFree=58800704/67111528
[pid=28123] ppid=28121 vsize=13631016 CPUtime=1800.12 cores=1,3,5,7
/proc/28123/stat : 28123 (java) S 28121 28123 25640 0 -1 4202496 248367 0 1 0 179974 38 0 0 25 0 19 0 807273441 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28123/statm: 3407754 245923 2264 9 0 3398488 0
[pid=28123/tid=28124] ppid=28121 vsize=13631016 CPUtime=1775 cores=1,3,5,7
/proc/28123/task/28124/stat : 28124 (java) R 28121 28123 25640 0 -1 4202560 67595 0 1 0 177490 10 0 0 25 0 19 0 807273442 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 46912505882382 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28123/tid=28126] ppid=28121 vsize=13631016 CPUtime=1.5 cores=1,3,5,7
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 25640 0 -1 4202560 12258 0 0 0 149 1 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28127] ppid=28121 vsize=13631016 CPUtime=1.54 cores=1,3,5,7
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 25640 0 -1 4202560 11829 0 0 0 152 2 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28128] ppid=28121 vsize=13631016 CPUtime=1.35 cores=1,3,5,7
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 25640 0 -1 4202560 13796 0 0 0 133 2 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28129] ppid=28121 vsize=13631016 CPUtime=1.32 cores=1,3,5,7
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 25640 0 -1 4202560 12975 0 0 0 130 2 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28130] ppid=28121 vsize=13631016 CPUtime=1.35 cores=1,3,5,7
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 25640 0 -1 4202560 12864 0 0 0 133 2 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28131] ppid=28121 vsize=13631016 CPUtime=1.52 cores=1,3,5,7
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 25640 0 -1 4202560 13412 0 0 0 151 1 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28132] ppid=28121 vsize=13631016 CPUtime=1.46 cores=1,3,5,7
/proc/28123/task/28132/stat : 28132 (java) S 28121 28123 25640 0 -1 4202560 10308 0 0 0 145 1 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28133] ppid=28121 vsize=13631016 CPUtime=1.45 cores=1,3,5,7
/proc/28123/task/28133/stat : 28133 (java) S 28121 28123 25640 0 -1 4202560 8704 0 0 0 144 1 0 0 16 0 19 0 807273444 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28134] ppid=28121 vsize=13631016 CPUtime=12.43 cores=1,3,5,7
/proc/28123/task/28134/stat : 28134 (java) S 28121 28123 25640 0 -1 4202560 77773 0 0 0 1234 9 0 0 15 0 19 0 807273445 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 0 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28135] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28135/stat : 28135 (java) S 28121 28123 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28136] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28136/stat : 28136 (java) S 28121 28123 25640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807273445 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28137] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28137/stat : 28137 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107274673 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28138] ppid=28121 vsize=13631016 CPUtime=0.61 cores=1,3,5,7
/proc/28123/task/28138/stat : 28138 (java) S 28121 28123 25640 0 -1 4202560 3489 0 0 0 61 0 0 0 15 0 19 0 807273448 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 3 0 0 0
[pid=28123/tid=28139] ppid=28121 vsize=13631016 CPUtime=0.44 cores=1,3,5,7
/proc/28123/task/28139/stat : 28139 (java) S 28121 28123 25640 0 -1 4202560 2111 0 0 0 44 0 0 0 15 0 19 0 807273448 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
[pid=28123/tid=28140] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28140/stat : 28140 (java) S 28121 28123 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807273448 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107266969 0 4 0 16800975 18446604460096168000 0 0 -1 1 0 0 0
[pid=28123/tid=28141] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28141/stat : 28141 (java) S 28121 28123 25640 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807273448 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 5 0 0 0
[pid=28123/tid=28142] ppid=28121 vsize=13631016 CPUtime=0 cores=1,3,5,7
/proc/28123/task/28142/stat : 28142 (java) S 28121 28123 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807273501 13958160384 245923 33554432000 1073741824 1073778376 140733302226752 18446744073709551615 228107267584 0 4 0 16800975 18446604460096168000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 13631016

Child status: 143
Real time (s): 1790.82
CPU time (s): 1800.25
CPU user time (s): 1799.83
CPU system time (s): 0.426935
CPU usage (%): 100.527
Max. virtual memory (cumulated for all children) (KiB): 13631016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248400
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= 41997
involuntary context switches= 8996

runsolver used 8.99963 second user time and 22.2246 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-04 02:49:40
IDJOB=3458763
IDBENCH=2251
IDSOLVER=1952
FILE ID=node142/3458763-1307148580
RUNJOBID= node142-1307146673-27700
PBS_JOBID= 13508774
Free space on /tmp= 73920 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458763-1307148580/watcher-3458763-1307148580 -o /tmp/evaluation-result-3458763-1307148580/solver-3458763-1307148580 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458763-1307148580.opb

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

MD5SUM BENCH= aabc023158e10c9511062af8ac97c515
RANDOM SEED=1589344966

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.846
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20959264 kB
Buffers:        257496 kB
Cached:         424412 kB
SwapCached:      11452 kB
Active:        9942792 kB
Inactive:      1787116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20959264 kB
SwapTotal:    67111528 kB
SwapFree:     58800704 kB
Dirty:            1652 kB
Writeback:           0 kB
AnonPages:    11045388 kB
Mapped:          39932 kB
Slab:           116252 kB
PageTables:      76500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 158820708 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= 73920 MiB
End job on node142 at 2011-06-04 03:19:32