Trace number 3688678

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)-110 1800.6 995.152

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_3.opb
MD5SUM0247ef4de041bbff376811a7e6bf0408
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-115
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -110
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 constraint10
Maximum length of a constraint22
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)6316
Sum of products size (including duplicates)12632
Number of different products3158
Sum of products size6316

Quality of the solution as a function of time


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

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
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 c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
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 phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3688678-1337878958.opb
0.10/0.11	c reading problem ... 
0.71/0.45	c ... done. Wall clock time 0.343s.
0.71/0.45	c declared #vars     500
0.71/0.45	c internal #vars     3658
0.71/0.45	c #constraints  6816
0.71/0.45	c constraints type 
0.71/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3158
0.71/0.45	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
0.71/0.45	c ignored satisfied constraints => 500
0.71/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3158
0.71/0.45	c 7316 constraints processed.
0.71/0.45	c constraints type 
0.71/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3158
0.71/0.45	c ignored satisfied constraints => 500
0.71/0.45	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
0.71/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3158
0.71/0.45	c 7316 constraints processed.
0.71/0.45	c objective function length is 500 literals
1.05/0.50	c  And the winner is solver0
1.33/0.95	c SATISFIABLE
1.33/0.95	c OPTIMIZING...
1.33/0.95	c Got one! Elapsed wall clock time (in seconds):0.845
1.33/0.95	o -94
1.33/0.99	c  And the winner is solver0
1.60/1.46	c Got one! Elapsed wall clock time (in seconds):1.347
1.60/1.46	o -95
1.60/1.47	c  And the winner is solver0
1.75/1.96	c Got one! Elapsed wall clock time (in seconds):1.85
1.75/1.96	o -96
1.90/2.01	c  And the winner is solver1
2.16/2.46	c Got one! Elapsed wall clock time (in seconds):2.351
2.16/2.46	o -97
2.26/2.51	c  And the winner is solver1
2.41/2.96	c Got one! Elapsed wall clock time (in seconds):2.853
2.41/2.96	o -98
2.41/2.99	c  And the winner is solver1
2.52/3.46	c Got one! Elapsed wall clock time (in seconds):3.354
2.52/3.46	o -99
2.93/3.62	c  And the winner is solver1
2.99/3.96	c Got one! Elapsed wall clock time (in seconds):3.855
2.99/3.96	o -100
3.82/4.31	c  And the winner is solver1
3.84/4.46	c Got one! Elapsed wall clock time (in seconds):4.357
3.84/4.46	o -101
4.14/4.61	c cleaning 3272 clauses out of 6544 with flag 1002/6544
4.74/4.93	c  And the winner is solver1
4.74/4.97	c Got one! Elapsed wall clock time (in seconds):4.858
4.74/4.97	o -102
5.54/5.38	c  And the winner is solver1
5.72/5.47	c Got one! Elapsed wall clock time (in seconds):5.359
5.72/5.47	o -103
5.79/5.58	c cleaning 4943 clauses out of 9885 with flag 1000/13157
7.36/6.30	c  And the winner is solver1
7.39/6.47	c Got one! Elapsed wall clock time (in seconds):6.36
7.39/6.47	o -104
8.56/7.09	c cleaning 7943 clauses out of 15886 with flag 5000/24101
10.34/7.97	c cleaning 6972 clauses out of 13943 with flag 11000/30101
12.21/8.90	c  And the winner is solver1
12.21/8.97	c Got one! Elapsed wall clock time (in seconds):8.861
12.21/8.97	o -105
13.69/9.72	c cleaning 9062 clauses out of 18123 with flag 5000/41253
15.58/10.70	c cleaning 7531 clauses out of 15061 with flag 11000/47253
17.22/11.65	c cleaning 7265 clauses out of 14530 with flag 18000/54253
17.62/11.95	c  And the winner is solver1
17.62/11.97	c Got one! Elapsed wall clock time (in seconds):11.862
17.62/11.97	o -106
18.82/12.56	c cleaning 6520 clauses out of 13040 with flag 5001/60028
20.56/13.54	c cleaning 6259 clauses out of 12520 with flag 11001/66028
22.60/14.66	c cleaning 6629 clauses out of 13260 with flag 18000/73027
24.59/15.76	c cleaning 7310 clauses out of 14631 with flag 26000/81027
26.78/16.98	c cleaning 8154 clauses out of 16321 with flag 35000/90027
30.05/18.71	c cleaning 9081 clauses out of 18168 with flag 45001/100028
33.01/20.35	c cleaning 10042 clauses out of 20087 with flag 56001/111028
34.16/21.08	c  And the winner is solver1
34.34/21.15	c Got one! Elapsed wall clock time (in seconds):21.043
34.34/21.15	o -107
34.63/21.37	c cleaning 7643 clauses out of 15293 with flag 2000/116276
35.97/22.19	c cleaning 6820 clauses out of 13650 with flag 8000/122276
37.75/23.25	c cleaning 6913 clauses out of 13830 with flag 15000/129276
39.71/24.31	c cleaning 7455 clauses out of 14918 with flag 23001/137277
41.82/25.60	c cleaning 8229 clauses out of 16462 with flag 32000/146276
44.36/26.99	c cleaning 9110 clauses out of 18234 with flag 42001/156277
47.89/28.95	c cleaning 10058 clauses out of 20123 with flag 53000/167276
51.39/30.84	c cleaning 11033 clauses out of 22065 with flag 65000/179276
55.26/32.98	c cleaning 12008 clauses out of 24032 with flag 78000/192276
59.60/35.25	c cleaning 13007 clauses out of 26026 with flag 92002/206278
63.84/37.65	c cleaning 14009 clauses out of 28017 with flag 107000/221276
68.48/40.15	c cleaning 14997 clauses out of 30009 with flag 123001/237277
74.12/43.19	c cleaning 16003 clauses out of 32012 with flag 140001/254277
77.76/45.11	c  And the winner is solver1
77.76/45.15	c Got one! Elapsed wall clock time (in seconds):45.046
77.76/45.15	o -108
79.70/46.13	c cleaning 15493 clauses out of 31000 with flag 5000/269268
81.82/47.58	c cleaning 10747 clauses out of 21507 with flag 11000/275268
84.02/48.82	c cleaning 8880 clauses out of 17760 with flag 18000/282268
86.19/50.19	c cleaning 8437 clauses out of 16880 with flag 26000/290268
89.16/51.81	c cleaning 8718 clauses out of 17443 with flag 35000/299268
92.46/53.85	c cleaning 9363 clauses out of 18726 with flag 45001/309269
95.80/55.79	c cleaning 10182 clauses out of 20363 with flag 56001/320269
99.56/57.82	c cleaning 11084 clauses out of 22181 with flag 68001/332269
103.49/60.04	c cleaning 12046 clauses out of 24098 with flag 81002/345270
108.75/63.06	c cleaning 13020 clauses out of 26050 with flag 95000/359268
115.06/66.44	c cleaning 14017 clauses out of 28033 with flag 110003/374271
121.57/70.00	c cleaning 15007 clauses out of 30014 with flag 126001/390269
126.85/72.81	c cleaning 15999 clauses out of 32007 with flag 143001/407269
133.20/76.45	c cleaning 16997 clauses out of 34007 with flag 161000/425268
139.90/80.04	c cleaning 18000 clauses out of 36011 with flag 180001/444269
146.74/83.79	c cleaning 18997 clauses out of 38011 with flag 200001/464269
157.92/90.27	c cleaning 20007 clauses out of 40013 with flag 221000/485268
167.12/95.01	c cleaning 21000 clauses out of 42008 with flag 243002/507270
176.67/100.07	c cleaning 21999 clauses out of 44007 with flag 266001/530269
187.50/105.73	c cleaning 23004 clauses out of 46008 with flag 290001/554269
197.27/111.19	c cleaning 24002 clauses out of 48004 with flag 315001/579269
208.07/116.88	c cleaning 24996 clauses out of 50002 with flag 341001/605269
218.42/122.35	c cleaning 26002 clauses out of 52006 with flag 368001/632269
228.76/127.80	c cleaning 27000 clauses out of 54005 with flag 396002/660270
240.05/134.08	c cleaning 28000 clauses out of 56003 with flag 425000/689268
253.62/141.19	c cleaning 28996 clauses out of 58005 with flag 455002/719270
266.95/148.14	c cleaning 30000 clauses out of 60007 with flag 486000/750268
280.49/155.21	c cleaning 31001 clauses out of 62008 with flag 518001/782269
296.75/163.98	c cleaning 32001 clauses out of 64006 with flag 551000/815268
310.64/171.21	c cleaning 33002 clauses out of 66006 with flag 585001/849269
324.14/178.31	c cleaning 34002 clauses out of 68003 with flag 620000/884268
329.55/181.44	c  And the winner is solver1
329.67/181.70	c Got one! Elapsed wall clock time (in seconds):181.597
329.67/181.70	o -109
331.25/182.58	c cleaning 28328 clauses out of 56669 with flag 5000/906936
334.33/184.79	c cleaning 17165 clauses out of 34341 with flag 11000/912936
336.68/186.35	c cleaning 12082 clauses out of 24177 with flag 18001/919937
339.06/187.99	c cleaning 10040 clauses out of 20094 with flag 26000/927936
341.63/189.67	c cleaning 9516 clauses out of 19054 with flag 35000/936936
345.05/192.00	c cleaning 9768 clauses out of 19538 with flag 45000/946936
347.81/193.87	c cleaning 10382 clauses out of 20770 with flag 56000/957936
351.00/195.89	c cleaning 11193 clauses out of 22388 with flag 68000/969936
354.74/198.14	c cleaning 12097 clauses out of 24196 with flag 81001/982937
359.15/201.04	c cleaning 13049 clauses out of 26098 with flag 95000/996936
363.33/203.52	c cleaning 14025 clauses out of 28050 with flag 110001/1011937
368.08/206.35	c cleaning 15013 clauses out of 30025 with flag 126001/1027937
372.82/209.10	c cleaning 16001 clauses out of 32011 with flag 143000/1044936
378.39/212.64	c cleaning 17000 clauses out of 34010 with flag 161000/1062936
383.92/215.80	c cleaning 17998 clauses out of 36011 with flag 180001/1081937
388.68/218.67	c cleaning 19000 clauses out of 38013 with flag 200001/1101937
394.00/221.73	c cleaning 20003 clauses out of 40013 with flag 221001/1122937
400.18/225.56	c cleaning 21005 clauses out of 42009 with flag 243000/1144936
406.07/228.94	c cleaning 21999 clauses out of 44005 with flag 266001/1167937
413.18/232.90	c cleaning 23003 clauses out of 46005 with flag 290000/1191936
419.88/236.71	c cleaning 23994 clauses out of 48002 with flag 315000/1216936
427.96/241.59	c cleaning 25002 clauses out of 50008 with flag 341000/1242936
435.65/245.81	c cleaning 26003 clauses out of 52007 with flag 368001/1269937
443.53/250.29	c cleaning 26998 clauses out of 54005 with flag 396002/1297938
452.78/255.33	c cleaning 27997 clauses out of 56006 with flag 425001/1326937
460.45/259.92	c cleaning 0 clauses out of 7980 with flag 0/7980
463.73/261.84	c cleaning 28995 clauses out of 58008 with flag 455000/1356936
472.67/266.82	c cleaning 30004 clauses out of 60014 with flag 486001/1387937
482.83/272.57	c cleaning 31000 clauses out of 62010 with flag 518001/1419937
493.68/278.97	c cleaning 31998 clauses out of 64010 with flag 551001/1452937
504.88/285.04	c cleaning 33001 clauses out of 66011 with flag 585000/1486936
515.90/291.03	c cleaning 34002 clauses out of 68012 with flag 620002/1521938
528.35/297.91	c cleaning 34998 clauses out of 70008 with flag 656000/1557936
542.70/306.13	c cleaning 36006 clauses out of 72011 with flag 693001/1594937
552.88/311.94	c  And the winner is solver1
553.00/312.04	c Got one! Elapsed wall clock time (in seconds):311.937
553.00/312.04	o -110
554.50/312.89	c cleaning 36172 clauses out of 72356 with flag 5002/1631288
557.51/315.03	c cleaning 21081 clauses out of 42182 with flag 11000/1637286
560.03/316.83	c cleaning 14043 clauses out of 28102 with flag 18001/1644287
563.25/319.38	c cleaning 11022 clauses out of 22060 with flag 26002/1652288
566.23/321.30	c cleaning 10015 clauses out of 20037 with flag 35001/1661287
569.24/323.34	c cleaning 10009 clauses out of 20023 with flag 45002/1671288
572.41/325.45	c cleaning 10505 clauses out of 21013 with flag 56001/1682287
576.79/328.54	c cleaning 11249 clauses out of 22509 with flag 68002/1694288
580.77/331.07	c cleaning 12124 clauses out of 24260 with flag 81002/1707288
584.98/333.77	c cleaning 13068 clauses out of 26136 with flag 95002/1721288
590.21/336.94	c cleaning 14031 clauses out of 28066 with flag 110000/1736286
595.53/340.51	c cleaning 15014 clauses out of 30036 with flag 126001/1752287
599.76/343.27	c cleaning 16005 clauses out of 32021 with flag 143000/1769286
604.98/346.41	c cleaning 17004 clauses out of 34016 with flag 161000/1787286
610.56/349.86	c cleaning 18002 clauses out of 36012 with flag 180000/1806286
618.21/354.65	c cleaning 19006 clauses out of 38011 with flag 200001/1826287
624.75/358.59	c cleaning 19995 clauses out of 40006 with flag 221002/1847288
631.65/362.63	c cleaning 20999 clauses out of 42009 with flag 243000/1869286
638.96/366.95	c cleaning 22001 clauses out of 44010 with flag 266000/1892286
647.33/372.18	c cleaning 23005 clauses out of 46009 with flag 290000/1916286
655.21/376.77	c cleaning 23998 clauses out of 48005 with flag 315001/1941287
663.69/381.65	c cleaning 25004 clauses out of 50007 with flag 341001/1967287
673.11/387.06	c cleaning 25996 clauses out of 52003 with flag 368001/1994287
684.79/393.99	c cleaning 26999 clauses out of 54009 with flag 396003/2022289
695.94/400.23	c cleaning 28004 clauses out of 56007 with flag 425000/2051286
708.09/407.02	c cleaning 28997 clauses out of 58003 with flag 455000/2081286
718.97/413.24	c cleaning 30000 clauses out of 60007 with flag 486001/2112287
730.15/419.92	c cleaning 30999 clauses out of 62006 with flag 518000/2144286
741.49/426.37	c cleaning 32003 clauses out of 64007 with flag 551000/2177286
753.20/432.90	c cleaning 33003 clauses out of 66005 with flag 585001/2211287
765.48/439.89	c cleaning 34001 clauses out of 68002 with flag 620001/2246287
782.99/450.56	c cleaning 34996 clauses out of 70001 with flag 656001/2282287
797.72/458.36	c cleaning 35997 clauses out of 72005 with flag 693001/2319287
810.95/465.59	c cleaning 37001 clauses out of 74007 with flag 731000/2357286
824.54/473.36	c cleaning 37995 clauses out of 76006 with flag 770000/2396286
837.34/480.37	c cleaning 39002 clauses out of 78011 with flag 810000/2436286
851.54/488.01	c cleaning 40002 clauses out of 80012 with flag 851003/2477289
864.90/495.39	c cleaning 41001 clauses out of 82008 with flag 893001/2519287
879.85/503.85	c cleaning 42004 clauses out of 84008 with flag 936002/2562288
893.41/511.24	c cleaning 42995 clauses out of 86002 with flag 980000/2606286
908.55/519.31	c cleaning 44000 clauses out of 88007 with flag 1025000/2651286
924.17/527.74	c cleaning 44998 clauses out of 90008 with flag 1071001/2697287
940.95/537.19	c cleaning 46001 clauses out of 92011 with flag 1118002/2744288
956.96/545.73	c cleaning 47000 clauses out of 94008 with flag 1166000/2792286
974.13/554.91	c cleaning 48003 clauses out of 96010 with flag 1215002/2841288
991.87/564.47	c cleaning 48995 clauses out of 98005 with flag 1265000/2891286
1013.77/576.47	c cleaning 50006 clauses out of 100011 with flag 1316001/2942287
1033.13/586.73	c cleaning 50992 clauses out of 102004 with flag 1368000/2994286
1049.30/595.41	c cleaning 51997 clauses out of 104013 with flag 1421001/3047287
1065.63/604.23	c cleaning 53006 clauses out of 106015 with flag 1475000/3101286
1084.65/614.82	c cleaning 54000 clauses out of 108009 with flag 1530000/3156286
1102.74/624.56	c cleaning 54993 clauses out of 110009 with flag 1586000/3212286
1121.63/634.66	c cleaning 56003 clauses out of 112017 with flag 1643001/3269287
1139.94/644.46	c cleaning 57006 clauses out of 114013 with flag 1701000/3327286
1159.89/655.57	c cleaning 58003 clauses out of 116007 with flag 1760000/3386286
1181.94/667.25	c cleaning 59000 clauses out of 118004 with flag 1820000/3446286
1204.78/679.30	c cleaning 59995 clauses out of 120004 with flag 1881000/3507286
1228.22/691.79	c cleaning 60999 clauses out of 122009 with flag 1943000/3569286
1254.85/706.29	c cleaning 61999 clauses out of 124011 with flag 2006001/3632287
1282.62/720.82	c cleaning 63006 clauses out of 126011 with flag 2070000/3696286
1307.46/733.97	c cleaning 63997 clauses out of 128005 with flag 2135000/3761286
1331.06/746.43	c cleaning 65001 clauses out of 130010 with flag 2201002/3827288
1357.39/760.82	c cleaning 65999 clauses out of 132008 with flag 2268001/3894287
1380.55/773.20	c cleaning 66998 clauses out of 134010 with flag 2336002/3962288
1406.10/786.65	c cleaning 68004 clauses out of 136011 with flag 2405001/4031287
1432.84/800.72	c cleaning 69000 clauses out of 138007 with flag 2475001/4101287
1465.20/818.15	c cleaning 70004 clauses out of 140008 with flag 2546002/4172288
1497.64/835.09	c cleaning 71000 clauses out of 142003 with flag 2618001/4244287
1533.00/853.42	c cleaning 71995 clauses out of 144002 with flag 2691000/4317286
1566.00/870.62	c cleaning 73002 clauses out of 146007 with flag 2765000/4391286
1574.44/876.28	c cleaning 0 clauses out of 13628 with flag 0/13628
1604.29/891.96	c cleaning 73997 clauses out of 148005 with flag 2840000/4466286
1644.04/912.51	c cleaning 74999 clauses out of 150008 with flag 2916000/4542286
1684.59/935.18	c cleaning 75997 clauses out of 152010 with flag 2993001/4619287
1721.75/954.45	c cleaning 76998 clauses out of 154012 with flag 3071000/4697286
1763.05/975.83	c cleaning 78008 clauses out of 156015 with flag 3150001/4776287
1800.12/995.11	c starts		: 58
1800.12/995.11	c conflicts		: 14571
1800.12/995.11	c decisions		: 32263
1800.12/995.11	c propagations		: 309522
1800.12/995.11	c inspects		: 732160784
1800.12/995.11	c shortcuts		: 0
1800.12/995.11	c learnt literals	: 0
1800.12/995.11	c learnt binary clauses	: 0
1800.12/995.11	c learnt ternary clauses	: 0
1800.12/995.11	c learnt constraints	: 14571
1800.12/995.11	c ignored constraints	: 0
1800.12/995.11	c root simplifications	: 0
1800.12/995.11	c removed literals (reason simplification)	: 0
1800.12/995.11	c reason swapping (by a shorter reason)	: 0
1800.12/995.11	c Calls to reduceDB	: 2
1800.12/995.11	c number of reductions to clauses (during analyze)	: 0
1800.12/995.11	c number of learned constraints concerned by reduction	: 0
1800.12/995.11	c number of learning phase by resolution	: 0
1800.12/995.11	c number of learning phase by cutting planes	: 0
1800.12/995.11	c speed (assignments/second)	: 311.6565356124094
1800.12/995.11	c non guided choices	0
1800.12/995.12	c learnt constraints type 
1800.12/995.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 826
1800.12/995.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13745
1800.12/995.12	c constraints type 
1800.12/995.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3158
1800.12/995.12	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1800.12/995.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.12/995.12	c ignored satisfied constraints => 500
1800.12/995.12	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3158
1800.12/995.12	c 7317 constraints processed.
1800.12/995.12	c constraints type 
1800.12/995.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3158
1800.12/995.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.12/995.12	c ignored satisfied constraints => 500
1800.12/995.12	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1800.12/995.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3158
1800.12/995.12	c 7317 constraints processed.
1800.12/995.12	s SATISFIABLE
1800.12/995.12	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.12/995.12	c objective function=-110
1800.12/995.12	c Total wall clock time (in seconds): 995.015

Verifier Data 

OK	-110

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688678-1337878958/watcher-3688678-1337878958 -o /tmp/evaluation-result-3688678-1337878958/solver-3688678-1337878958 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688678-1337878958.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: 3.78 3.90 3.82 3/197 28204
/proc/meminfo: memFree=28742424/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 254021244 94019584 917 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 22954 917 697 9 0 16769 0
[pid=28204/tid=28205] ppid=28202 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) D 28202 28204 24583 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 254021244 94019584 917 33554432000 1073741824 1073778376 140736418818544 140178336341544 270698376487 0 0 4096 0 18446744072100609316 0 0 -1 2 0 0 0 0 0

[startup+0.039806 s]
/proc/loadavg: 3.78 3.90 3.82 3/197 28204
/proc/meminfo: memFree=28742424/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 3083 0 1 0 2 0 0 0 20 0 13 0 254021244 9446973440 3269 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 2306390 3269 1701 9 0 2297091 0
[pid=28204/tid=28205] ppid=28202 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) R 28202 28204 24583 0 -1 4202560 1901 0 1 0 1 0 0 0 20 0 13 0 254021244 9446973440 3269 33554432000 1073741824 1073778376 140736418818544 140178336342256 270710924557 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100312 s]
/proc/loadavg: 3.78 3.90 3.82 3/197 28204
/proc/meminfo: memFree=28742424/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 4452 0 1 0 9 1 0 0 20 0 18 0 254021244 9787813888 5646 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 2389603 5646 2124 9 0 2380296 0
[pid=28204/tid=28205] ppid=28202 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) R 28202 28204 24583 0 -1 4202560 2487 0 1 0 6 1 0 0 20 0 18 0 254021244 9787813888 5646 33554432000 1073741824 1073778376 140736418818544 140178336345832 140178339186088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300258 s]
/proc/loadavg: 3.78 3.90 3.82 3/197 28204
/proc/meminfo: memFree=28742424/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=9558412 CPUtime=0.5 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 6398 0 1 0 48 2 0 0 20 0 18 0 254021244 9787813888 8684 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 2389603 8684 2228 9 0 2380296 0
[pid=28204/tid=28205] ppid=28202 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) R 28202 28204 24583 0 -1 4202560 2501 0 1 0 26 1 0 0 20 0 18 0 254021244 9787813888 8684 33554432000 1073741824 1073778376 140736418818544 140178336344584 140178276266540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412

[startup+0.700311 s]
/proc/loadavg: 3.78 3.90 3.82 3/197 28204
/proc/meminfo: memFree=28742424/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=9759132 CPUtime=1.33 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 15983 0 1 0 128 5 0 0 20 0 19 0 254021244 9993351168 18847 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 2439783 18847 2252 9 0 2430476 0
[pid=28204/tid=28205] ppid=28202 vsize=9759132 CPUtime=0.43 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) S 28202 28204 24583 0 -1 4202560 2519 0 1 0 41 2 0 0 20 0 19 0 254021244 9993351168 18847 33554432000 1073741824 1073778376 140736418818544 140178336347128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9759132

[startup+1.50057 s]
/proc/loadavg: 3.80 3.91 3.82 6/217 28229
/proc/meminfo: memFree=28668920/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=9824668 CPUtime=1.72 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 16868 0 1 0 162 10 0 0 20 0 19 0 254021244 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 2456167 21649 2257 9 0 2446860 0
[pid=28204/tid=28205] ppid=28202 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) S 28202 28204 24583 0 -1 4202560 2519 0 1 0 41 2 0 0 20 0 19 0 254021244 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178336347128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28207] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28207/stat : 28207 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178275076648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28208] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28208/stat : 28208 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178274023848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28209] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28209/stat : 28209 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178272971048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28210] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28210/stat : 28210 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178271918248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28211] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28211/stat : 28211 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178175507496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28212] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28212/stat : 28212 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178174454696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28213] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28213/stat : 28213 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178173401896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28214] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28214/stat : 28214 (java) S 28202 28204 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178172349096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28215] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28215/stat : 28215 (java) S 28202 28204 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254021246 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178160151016 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28216] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28216/stat : 28216 (java) S 28202 28204 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254021247 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178159097080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28217] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28217/stat : 28217 (java) S 28202 28204 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254021247 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178158044168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28218] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28218/stat : 28218 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021249 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178156992656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28219] ppid=28202 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/28204/task/28219/stat : 28219 (java) R 28202 28204 24583 0 -1 4202560 5914 0 0 0 53 0 0 0 20 0 19 0 254021249 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178155918040 140178343320893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28220] ppid=28202 vsize=9824668 CPUtime=0.5 cores=0,2,4,6
/proc/28204/task/28220/stat : 28220 (java) R 28202 28204 24583 0 -1 4202560 7116 0 0 0 50 0 0 0 20 0 19 0 254021249 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178154887992 140178338843444 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28221] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28221/stat : 28221 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021249 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178153835384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28222] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28222/stat : 28222 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021249 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178152782792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28225] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28225/stat : 28225 (java) S 28202 28204 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254021292 10060460032 21649 33554432000 1073741824 1073778376 140736418818544 140178149622696 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 9824668

[startup+3.10078 s]
/proc/loadavg: 3.80 3.91 3.82 4/216 28235
/proc/meminfo: memFree=28653408/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=9824668 CPUtime=2.52 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 19612 0 1 0 236 16 0 0 20 0 19 0 254021244 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 2456167 28358 2258 9 0 2446860 0
[pid=28204/tid=28205] ppid=28202 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) S 28202 28204 24583 0 -1 4202560 2519 0 1 0 42 2 0 0 20 0 19 0 254021244 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178336347128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28207] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28207/stat : 28207 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178275076648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28208] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28208/stat : 28208 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178274023848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28209] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28209/stat : 28209 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178272971048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28210] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28210/stat : 28210 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178271918248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28211] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28211/stat : 28211 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178175507496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28212] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28212/stat : 28212 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178174454696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28213] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28213/stat : 28213 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178173401896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28214] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28214/stat : 28214 (java) S 28202 28204 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254021245 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178172349096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28215] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28215/stat : 28215 (java) S 28202 28204 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254021246 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178160151016 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28216] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28216/stat : 28216 (java) S 28202 28204 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254021247 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178159097080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28217] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28217/stat : 28217 (java) S 28202 28204 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254021247 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178158044168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28218] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28218/stat : 28218 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021249 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178156992656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28219] ppid=28202 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/28204/task/28219/stat : 28219 (java) S 28202 28204 24583 0 -1 4202560 5917 0 0 0 75 0 0 0 20 0 19 0 254021249 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178155940792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28220] ppid=28202 vsize=9824668 CPUtime=0.81 cores=0,2,4,6
/proc/28204/task/28220/stat : 28220 (java) S 28202 28204 24583 0 -1 4202560 9824 0 0 0 79 2 0 0 20 0 19 0 254021249 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178154887992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28221] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28221/stat : 28221 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021249 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178153835384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28222] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28222/stat : 28222 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254021249 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178152782792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28235] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28235/stat : 28235 (java) S 28202 28204 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254021440 10060460032 28358 33554432000 1073741824 1073778376 140736418818544 140178151728808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 9824668

[startup+6.30078 s]
/proc/loadavg: 3.80 3.91 3.82 3/216 28253
/proc/meminfo: memFree=28499932/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=9824668 CPUtime=7.36 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 21244 0 1 0 703 33 0 0 20 0 22 0 254021244 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 2456167 74211 2288 9 0 2446860 0
[pid=28204/tid=28205] ppid=28202 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) S 28202 28204 24583 0 -1 4202560 2520 0 1 0 42 2 0 0 20 0 22 0 254021244 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178336347128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28207] ppid=28202 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/28204/task/28207/stat : 28207 (java) S 28202 28204 24583 0 -1 4202560 67 0 0 0 2 0 0 0 20 0 22 0 254021245 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178275076648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28208] ppid=28202 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/28204/task/28208/stat : 28208 (java) S 28202 28204 24583 0 -1 4202560 157 0 0 0 3 0 0 0 20 0 22 0 254021245 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178274023848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28209] ppid=28202 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/28204/task/28209/stat : 28209 (java) S 28202 28204 24583 0 -1 4202560 228 0 0 0 3 1 0 0 20 0 22 0 254021245 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178272971048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28210] ppid=28202 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/28204/task/28210/stat : 28210 (java) S 28202 28204 24583 0 -1 4202560 88 0 0 0 3 1 0 0 20 0 22 0 254021245 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178271918248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28211] ppid=28202 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/28204/task/28211/stat : 28211 (java) S 28202 28204 24583 0 -1 4202560 54 0 0 0 3 0 0 0 20 0 22 0 254021245 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178175507496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28212] ppid=28202 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/28204/task/28212/stat : 28212 (java) S 28202 28204 24583 0 -1 4202560 80 0 0 0 3 0 0 0 20 0 22 0 254021245 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178174454696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28213] ppid=28202 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/28204/task/28213/stat : 28213 (java) S 28202 28204 24583 0 -1 4202560 148 0 0 0 2 2 0 0 20 0 22 0 254021245 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178173401896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28214] ppid=28202 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/28204/task/28214/stat : 28214 (java) S 28202 28204 24583 0 -1 4202560 148 0 0 0 2 0 0 0 20 0 22 0 254021245 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178172349096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28215] ppid=28202 vsize=9824668 CPUtime=0.16 cores=0,2,4,6
/proc/28204/task/28215/stat : 28215 (java) S 28202 28204 24583 0 -1 4202560 114 0 0 0 16 0 0 0 20 0 22 0 254021246 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178160151016 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28216] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28216/stat : 28216 (java) S 28202 28204 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254021247 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178159097080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28217] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28217/stat : 28217 (java) S 28202 28204 24583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254021247 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178158044168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28218] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28218/stat : 28218 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254021249 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178156992656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28219] ppid=28202 vsize=9824668 CPUtime=1 cores=0,2,4,6
/proc/28204/task/28219/stat : 28219 (java) S 28202 28204 24583 0 -1 4202560 6366 0 0 0 100 0 0 0 20 0 22 0 254021249 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178155940792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28220] ppid=28202 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/28204/task/28220/stat : 28220 (java) S 28202 28204 24583 0 -1 4202560 9845 0 0 0 94 2 0 0 20 0 22 0 254021249 10060460032 74211 33554432000 1073741824 1073778376 140736418818544 140178154887992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=28204/tid=28434] ppid=28202 vsize=9824668 CPUtime=451.62 cores=0,2,4,6
/proc/28204/task/28434/stat : 28434 (java) R 28202 28204 24583 0 -1 4202560 17 0 0 0 45156 6 0 0 20 0 22 0 254052449 10060460032 726327 33554432000 1073741824 1073778376 140736418818544 140178148568240 140178276868139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28435] ppid=28202 vsize=9824668 CPUtime=451.59 cores=0,2,4,6
/proc/28204/task/28435/stat : 28435 (java) R 28202 28204 24583 0 -1 4202560 64 0 0 0 45153 6 0 0 20 0 22 0 254052449 10060460032 726327 33554432000 1073741824 1073778376 140736418818544 140178150675280 140178276963071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28436] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28436/stat : 28436 (java) S 28202 28204 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254052449 10060460032 726327 33554432000 1073741824 1073778376 140736418818544 140178149623208 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1584.99
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 4.24 3.93 3.79 5/219 28447
/proc/meminfo: memFree=23537664/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=9824668 CPUtime=1697.31 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 37894 0 1 0 169530 201 0 0 20 0 22 0 254021244 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 2456167 747613 2289 9 0 2446860 0
[pid=28204/tid=28205] ppid=28202 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) S 28202 28204 24583 0 -1 4202560 2582 0 1 0 45 3 0 0 20 0 22 0 254021244 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178336347128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28207] ppid=28202 vsize=9824668 CPUtime=3.09 cores=0,2,4,6
/proc/28204/task/28207/stat : 28207 (java) S 28202 28204 24583 0 -1 4202560 750 0 0 0 296 13 0 0 20 0 22 0 254021245 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178275076648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28208] ppid=28202 vsize=9824668 CPUtime=3.04 cores=0,2,4,6
/proc/28204/task/28208/stat : 28208 (java) S 28202 28204 24583 0 -1 4202560 1736 0 0 0 294 10 0 0 20 0 22 0 254021245 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178274023848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28209] ppid=28202 vsize=9824668 CPUtime=3.19 cores=0,2,4,6
/proc/28204/task/28209/stat : 28209 (java) S 28202 28204 24583 0 -1 4202560 933 0 0 0 308 11 0 0 20 0 22 0 254021245 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178272971048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28210] ppid=28202 vsize=9824668 CPUtime=3.45 cores=0,2,4,6
/proc/28204/task/28210/stat : 28210 (java) S 28202 28204 24583 0 -1 4202560 1393 0 0 0 329 16 0 0 20 0 22 0 254021245 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178271918248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28211] ppid=28202 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/28204/task/28211/stat : 28211 (java) S 28202 28204 24583 0 -1 4202560 1000 0 0 0 295 13 0 0 20 0 22 0 254021245 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178175507496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28212] ppid=28202 vsize=9824668 CPUtime=2.97 cores=0,2,4,6
/proc/28204/task/28212/stat : 28212 (java) S 28202 28204 24583 0 -1 4202560 1124 0 0 0 285 12 0 0 20 0 22 0 254021245 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178174454696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28213] ppid=28202 vsize=9824668 CPUtime=3.22 cores=0,2,4,6
/proc/28204/task/28213/stat : 28213 (java) S 28202 28204 24583 0 -1 4202560 1166 0 0 0 307 15 0 0 20 0 22 0 254021245 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178173401896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28214] ppid=28202 vsize=9824668 CPUtime=3.17 cores=0,2,4,6
/proc/28204/task/28214/stat : 28214 (java) S 28202 28204 24583 0 -1 4202560 1052 0 0 0 305 12 0 0 20 0 22 0 254021245 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178172349096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28215] ppid=28202 vsize=9824668 CPUtime=193.1 cores=0,2,4,6
/proc/28204/task/28215/stat : 28215 (java) S 28202 28204 24583 0 -1 4202560 5654 0 0 0 19283 27 0 0 20 0 22 0 254021246 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178160151016 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28216] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28216/stat : 28216 (java) S 28202 28204 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254021247 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178159097080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28217] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28217/stat : 28217 (java) S 28202 28204 24583 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254021247 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178158044168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28218] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28218/stat : 28218 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254021249 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178156992656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28219] ppid=28202 vsize=9824668 CPUtime=1.12 cores=0,2,4,6
/proc/28204/task/28219/stat : 28219 (java) S 28202 28204 24583 0 -1 4202560 6376 0 0 0 112 0 0 0 20 0 22 0 254021249 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178155940792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28220] ppid=28202 vsize=9824668 CPUtime=1.69 cores=0,2,4,6
/proc/28204/task/28220/stat : 28220 (java) S 28202 28204 24583 0 -1 4202560 11357 0 0 0 167 2 0 0 20 0 22 0 254021249 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178154887992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28221] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28221/stat : 28221 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254021249 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178153835384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28222] ppid=28202 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/28204/task/28222/stat : 28222 (java) S 28202 28204 24583 0 -1 4202560 56 0 0 0 15 17 0 0 20 0 22 0 254021249 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178152782792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28235] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28235/stat : 28235 (java) S 28202 28204 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254021440 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178151728808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28434] ppid=28202 vsize=9824668 CPUtime=502.43 cores=0,2,4,6
/proc/28204/task/28434/stat : 28434 (java) R 28202 28204 24583 0 -1 4202560 19 0 0 0 50236 7 0 0 20 0 22 0 254052449 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178148570064 140178276832652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28435] ppid=28202 vsize=9824668 CPUtime=502.4 cores=0,2,4,6
/proc/28204/task/28435/stat : 28435 (java) R 28202 28204 24583 0 -1 4202560 69 0 0 0 50233 7 0 0 20 0 22 0 254052449 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178150675408 140178276972517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28436] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28436/stat : 28436 (java) S 28202 28204 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254052449 10060460032 747613 33554432000 1073741824 1073778376 140736418818544 140178149623208 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1697.31
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+995.101 s]
/proc/loadavg: 4.11 3.94 3.80 5/219 28447
/proc/meminfo: memFree=23482172/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=9824668 CPUtime=1800.12 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 38083 0 1 0 179806 206 0 0 20 0 22 0 254021244 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 2456167 763523 2289 9 0 2446860 0
[pid=28204/tid=28205] ppid=28202 vsize=9824668 CPUtime=0.49 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) S 28202 28204 24583 0 -1 4202560 2583 0 1 0 46 3 0 0 20 0 22 0 254021244 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178336347128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28207] ppid=28202 vsize=9824668 CPUtime=3.29 cores=0,2,4,6
/proc/28204/task/28207/stat : 28207 (java) S 28202 28204 24583 0 -1 4202560 764 0 0 0 315 14 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178275076648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28208] ppid=28202 vsize=9824668 CPUtime=3.42 cores=0,2,4,6
/proc/28204/task/28208/stat : 28208 (java) S 28202 28204 24583 0 -1 4202560 1750 0 0 0 330 12 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178274023848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28209] ppid=28202 vsize=9824668 CPUtime=3.35 cores=0,2,4,6
/proc/28204/task/28209/stat : 28209 (java) S 28202 28204 24583 0 -1 4202560 941 0 0 0 323 12 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178272971048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28210] ppid=28202 vsize=9824668 CPUtime=3.59 cores=0,2,4,6
/proc/28204/task/28210/stat : 28210 (java) S 28202 28204 24583 0 -1 4202560 1412 0 0 0 343 16 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178271918248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28211] ppid=28202 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/28204/task/28211/stat : 28211 (java) S 28202 28204 24583 0 -1 4202560 1001 0 0 0 314 13 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178175507496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28212] ppid=28202 vsize=9824668 CPUtime=3.23 cores=0,2,4,6
/proc/28204/task/28212/stat : 28212 (java) S 28202 28204 24583 0 -1 4202560 1125 0 0 0 311 12 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178174454696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28213] ppid=28202 vsize=9824668 CPUtime=3.49 cores=0,2,4,6
/proc/28204/task/28213/stat : 28213 (java) S 28202 28204 24583 0 -1 4202560 1166 0 0 0 334 15 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178173401896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28214] ppid=28202 vsize=9824668 CPUtime=3.36 cores=0,2,4,6
/proc/28204/task/28214/stat : 28214 (java) S 28202 28204 24583 0 -1 4202560 1052 0 0 0 324 12 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178172349096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28215] ppid=28202 vsize=9824668 CPUtime=196.75 cores=0,2,4,6
/proc/28204/task/28215/stat : 28215 (java) S 28202 28204 24583 0 -1 4202560 5776 0 0 0 19647 28 0 0 20 0 22 0 254021246 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178160151016 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28216] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28216/stat : 28216 (java) S 28202 28204 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254021247 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178159097080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28217] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28217/stat : 28217 (java) S 28202 28204 24583 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254021247 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178158044168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28218] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28218/stat : 28218 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254021249 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178156992656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28219] ppid=28202 vsize=9824668 CPUtime=1.12 cores=0,2,4,6
/proc/28204/task/28219/stat : 28219 (java) S 28202 28204 24583 0 -1 4202560 6376 0 0 0 112 0 0 0 20 0 22 0 254021249 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178155940792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28220] ppid=28202 vsize=9824668 CPUtime=1.69 cores=0,2,4,6
/proc/28204/task/28220/stat : 28220 (java) S 28202 28204 24583 0 -1 4202560 11357 0 0 0 167 2 0 0 20 0 22 0 254021249 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178154887992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28221] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28221/stat : 28221 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254021249 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178153835384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28222] ppid=28202 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/28204/task/28222/stat : 28222 (java) S 28202 28204 24583 0 -1 4202560 58 0 0 0 16 18 0 0 20 0 22 0 254021249 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178152782792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28235] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28235/stat : 28235 (java) S 28202 28204 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254021440 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178151728808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28434] ppid=28202 vsize=9824668 CPUtime=551.13 cores=0,2,4,6
/proc/28204/task/28434/stat : 28434 (java) R 28202 28204 24583 0 -1 4202560 21 0 0 0 55103 10 0 0 20 0 22 0 254052449 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178148569120 140178276991053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28435] ppid=28202 vsize=9824668 CPUtime=551.09 cores=0,2,4,6
/proc/28204/task/28435/stat : 28435 (java) R 28202 28204 24583 0 -1 4202560 74 0 0 0 55101 8 0 0 20 0 22 0 254052449 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178150673296 140178276972025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28436] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28436/stat : 28436 (java) S 28202 28204 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254052449 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178149623208 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824668

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

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

[startup+995.101 s]
/proc/loadavg: 4.11 3.94 3.80 5/219 28447
/proc/meminfo: memFree=23482172/32873648 swapFree=6856/6856
[pid=28204] ppid=28202 vsize=9824668 CPUtime=1800.12 cores=0,2,4,6
/proc/28204/stat : 28204 (java) S 28202 28204 24583 0 -1 4202496 38083 0 1 0 179806 206 0 0 20 0 22 0 254021244 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140736418809680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28204/statm: 2456167 763523 2289 9 0 2446860 0
[pid=28204/tid=28205] ppid=28202 vsize=9824668 CPUtime=0.49 cores=0,2,4,6
/proc/28204/task/28205/stat : 28205 (java) S 28202 28204 24583 0 -1 4202560 2583 0 1 0 46 3 0 0 20 0 22 0 254021244 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178336347128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28207] ppid=28202 vsize=9824668 CPUtime=3.29 cores=0,2,4,6
/proc/28204/task/28207/stat : 28207 (java) S 28202 28204 24583 0 -1 4202560 764 0 0 0 315 14 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178275076648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28208] ppid=28202 vsize=9824668 CPUtime=3.42 cores=0,2,4,6
/proc/28204/task/28208/stat : 28208 (java) S 28202 28204 24583 0 -1 4202560 1750 0 0 0 330 12 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178274023848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28209] ppid=28202 vsize=9824668 CPUtime=3.35 cores=0,2,4,6
/proc/28204/task/28209/stat : 28209 (java) S 28202 28204 24583 0 -1 4202560 941 0 0 0 323 12 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178272971048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28210] ppid=28202 vsize=9824668 CPUtime=3.59 cores=0,2,4,6
/proc/28204/task/28210/stat : 28210 (java) S 28202 28204 24583 0 -1 4202560 1412 0 0 0 343 16 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178271918248 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28211] ppid=28202 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/28204/task/28211/stat : 28211 (java) S 28202 28204 24583 0 -1 4202560 1001 0 0 0 314 13 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178175507496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28212] ppid=28202 vsize=9824668 CPUtime=3.23 cores=0,2,4,6
/proc/28204/task/28212/stat : 28212 (java) S 28202 28204 24583 0 -1 4202560 1125 0 0 0 311 12 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178174454696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28204/tid=28213] ppid=28202 vsize=9824668 CPUtime=3.49 cores=0,2,4,6
/proc/28204/task/28213/stat : 28213 (java) S 28202 28204 24583 0 -1 4202560 1166 0 0 0 334 15 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178173401896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28214] ppid=28202 vsize=9824668 CPUtime=3.36 cores=0,2,4,6
/proc/28204/task/28214/stat : 28214 (java) S 28202 28204 24583 0 -1 4202560 1052 0 0 0 324 12 0 0 20 0 22 0 254021245 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178172349096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28215] ppid=28202 vsize=9824668 CPUtime=196.75 cores=0,2,4,6
/proc/28204/task/28215/stat : 28215 (java) S 28202 28204 24583 0 -1 4202560 5776 0 0 0 19647 28 0 0 20 0 22 0 254021246 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178160151016 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28216] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28216/stat : 28216 (java) S 28202 28204 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254021247 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178159097080 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28217] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28217/stat : 28217 (java) S 28202 28204 24583 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254021247 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178158044168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28218] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28218/stat : 28218 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254021249 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178156992656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28219] ppid=28202 vsize=9824668 CPUtime=1.12 cores=0,2,4,6
/proc/28204/task/28219/stat : 28219 (java) S 28202 28204 24583 0 -1 4202560 6376 0 0 0 112 0 0 0 20 0 22 0 254021249 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178155940792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28220] ppid=28202 vsize=9824668 CPUtime=1.69 cores=0,2,4,6
/proc/28204/task/28220/stat : 28220 (java) S 28202 28204 24583 0 -1 4202560 11357 0 0 0 167 2 0 0 20 0 22 0 254021249 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178154887992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28221] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28221/stat : 28221 (java) S 28202 28204 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254021249 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178153835384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28222] ppid=28202 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/28204/task/28222/stat : 28222 (java) S 28202 28204 24583 0 -1 4202560 58 0 0 0 16 18 0 0 20 0 22 0 254021249 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178152782792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28235] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28235/stat : 28235 (java) S 28202 28204 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254021440 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178151728808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28204/tid=28434] ppid=28202 vsize=9824668 CPUtime=551.13 cores=0,2,4,6
/proc/28204/task/28434/stat : 28434 (java) R 28202 28204 24583 0 -1 4202560 21 0 0 0 55103 10 0 0 20 0 22 0 254052449 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178148569120 140178276991053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28204/tid=28435] ppid=28202 vsize=9824668 CPUtime=551.09 cores=0,2,4,6
/proc/28204/task/28435/stat : 28435 (java) R 28202 28204 24583 0 -1 4202560 74 0 0 0 55101 8 0 0 20 0 22 0 254052449 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178150673296 140178276972025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28204/tid=28436] ppid=28202 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28204/task/28436/stat : 28436 (java) S 28202 28204 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254052449 10060460032 763523 33554432000 1073741824 1073778376 140736418818544 140178149623208 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 995.152
CPU time (s): 1800.6
CPU user time (s): 1798.16
CPU system time (s): 2.44163
CPU usage (%): 180.937
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 2.44163
maximum resident set size= 3054208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38115
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29475
involuntary context switches= 44391

runsolver used 5.21121 second user time and 7.71383 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-24 19:02:38
IDJOB=3688678
IDBENCH=48187
IDSOLVER=2268
FILE ID=node125/3688678-1337878958
RUNJOBID= node125-1337871881-24599
PBS_JOBID= 14620079
Free space on /tmp= 71684 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688678-1337878958/watcher-3688678-1337878958 -o /tmp/evaluation-result-3688678-1337878958/solver-3688678-1337878958 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688678-1337878958.opb

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

MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408
RANDOM SEED=1139212100

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28742580 kB
Buffers:          205828 kB
Cached:          2213176 kB
SwapCached:            0 kB
Active:          1562372 kB
Inactive:        1803320 kB
Active(anon):     949132 kB
Inactive(anon):        0 kB
Active(file):     613240 kB
Inactive(file):  1803320 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               284 kB
Writeback:             0 kB
AnonPages:        898228 kB
Mapped:            22616 kB
Shmem:               200 kB
Slab:             627244 kB
SReclaimable:      71312 kB
SUnreclaim:       555932 kB
KernelStack:        1808 kB
PageTables:         6004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1724424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    827392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node125 at 2012-05-24 19:19:15