Trace number 3710573

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)158 1800.04 1792.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
MD5SUM82ceb454755e01aa6cecb68eb859eaa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark1.12483
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 116
Optimality of the best value was proved NO
Number of variables1451
Total number of constraints2932
Number of constraints which are clauses2932
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 constraint1
Maximum length of a constraint81
Number of terms in the objective function 1451
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 1451
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1451
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.11/0.11	c configuring ORDERS
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.11/0.12	c Expensive reason simplification
0.11/0.12	c Armin Biere (Picosat) restarts strategy
0.11/0.12	c Glucose learned constraints deletion strategy
0.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=true
0.11/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c solving HOME/instance-3710573-1338144551.opb
0.11/0.12	c reading problem ... 
0.53/0.35	c ... done. Wall clock time 0.236s.
0.53/0.35	c declared #vars     1451
0.53/0.35	c #constraints  2745
0.53/0.35	c constraints type 
0.53/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2673
0.53/0.35	c ignored satisfied constraints => 187
0.53/0.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 49
0.53/0.35	c org.sat4j.minisat.constraints.cnf.UnitClause => 23
0.53/0.35	c 2932 constraints processed.
0.53/0.39	c SATISFIABLE
0.53/0.39	c OPTIMIZING...
0.53/0.39	c Got one! Elapsed wall clock time (in seconds):0.27
0.53/0.39	o 214
1.03/0.54	c Got one! Elapsed wall clock time (in seconds):0.418
1.03/0.54	o 203
1.03/0.58	c Got one! Elapsed wall clock time (in seconds):0.467
1.03/0.58	o 173
1.21/0.69	c Got one! Elapsed wall clock time (in seconds):0.568
1.21/0.69	o 171
1.65/1.09	c cleaning 2947 clauses out of 5899 with flag 4000/5900
2.44/1.70	c cleaning 4474 clauses out of 8952 with flag 10000/11900
3.05/2.38	c cleaning 5736 clauses out of 11478 with flag 17000/18900
3.87/3.17	c cleaning 6866 clauses out of 13742 with flag 25000/26900
4.92/4.12	c cleaning 7930 clauses out of 15876 with flag 34000/35900
5.83/5.08	c cleaning 8968 clauses out of 17946 with flag 44000/45900
7.03/6.25	c cleaning 9975 clauses out of 19978 with flag 55000/56900
8.25/7.48	c cleaning 10992 clauses out of 22003 with flag 67000/68900
9.66/8.81	c cleaning 11993 clauses out of 24011 with flag 80000/81900
11.21/10.32	c cleaning 13003 clauses out of 26020 with flag 94002/95902
12.73/11.88	c cleaning 13998 clauses out of 28015 with flag 109000/110900
14.34/13.48	c cleaning 15003 clauses out of 30017 with flag 125000/126900
16.16/15.27	c cleaning 16004 clauses out of 32014 with flag 142000/143900
18.17/17.29	c cleaning 16994 clauses out of 34013 with flag 160003/161903
20.19/19.26	c cleaning 18001 clauses out of 36016 with flag 179000/180900
22.31/21.37	c cleaning 19004 clauses out of 38016 with flag 199001/200901
24.53/23.58	c cleaning 20000 clauses out of 40012 with flag 220001/221901
26.85/25.82	c cleaning 21000 clauses out of 42012 with flag 242001/243901
29.17/28.17	c cleaning 21999 clauses out of 44011 with flag 265000/266900
31.79/30.71	c cleaning 23000 clauses out of 46012 with flag 289000/290900
34.32/33.22	c cleaning 24002 clauses out of 48014 with flag 314002/315902
37.33/36.23	c cleaning 24998 clauses out of 50011 with flag 340001/341901
40.17/39.08	c cleaning 25995 clauses out of 52012 with flag 367000/368900
43.27/42.16	c cleaning 27004 clauses out of 54017 with flag 395000/396900
46.52/45.36	c cleaning 28003 clauses out of 56013 with flag 424000/425900
50.05/48.81	c cleaning 28990 clauses out of 58012 with flag 454002/455902
53.36/52.14	c cleaning 29996 clauses out of 60021 with flag 485001/486901
57.07/55.88	c cleaning 31005 clauses out of 62024 with flag 517000/518900
60.58/59.32	c cleaning 32002 clauses out of 64020 with flag 550001/551901
64.20/62.95	c cleaning 33000 clauses out of 66019 with flag 584002/585902
67.92/66.61	c cleaning 34001 clauses out of 68017 with flag 619000/620900
71.83/70.52	c cleaning 34997 clauses out of 70017 with flag 655001/656901
75.54/74.24	c cleaning 35998 clauses out of 72019 with flag 692000/693900
79.57/78.27	c cleaning 37003 clauses out of 74023 with flag 730002/731902
84.58/83.27	c cleaning 37994 clauses out of 76021 with flag 769003/770903
88.90/87.50	c cleaning 38998 clauses out of 78025 with flag 809001/810901
93.04/91.64	c cleaning 40002 clauses out of 80026 with flag 850000/851900
97.46/96.09	c cleaning 41001 clauses out of 82024 with flag 892000/893900
102.08/100.68	c cleaning 42003 clauses out of 84023 with flag 935000/936900
107.01/105.55	c cleaning 43004 clauses out of 86020 with flag 979000/980900
111.83/110.39	c cleaning 44000 clauses out of 88016 with flag 1024000/1025900
117.87/116.34	c cleaning 44989 clauses out of 90016 with flag 1070000/1071900
123.49/121.94	c cleaning 45999 clauses out of 92027 with flag 1117000/1118900
129.42/127.89	c cleaning 47004 clauses out of 94030 with flag 1165002/1166902
135.05/133.42	c cleaning 48004 clauses out of 96024 with flag 1214000/1215900
141.09/139.47	c cleaning 49001 clauses out of 98020 with flag 1264000/1265900
147.83/146.17	c cleaning 50002 clauses out of 100019 with flag 1315000/1316900
149.20/147.46	c Got one! Elapsed wall clock time (in seconds):147.338
149.20/147.46	o 158
149.83/148.08	c cleaning 32378 clauses out of 64761 with flag 5002/1331644
150.54/148.77	c cleaning 19190 clauses out of 38386 with flag 11005/1337647
151.36/149.51	c cleaning 13092 clauses out of 26191 with flag 18000/1344642
152.28/150.40	c cleaning 10542 clauses out of 21101 with flag 26002/1352644
153.22/151.30	c cleaning 9763 clauses out of 19558 with flag 35001/1361643
154.22/152.35	c cleaning 9893 clauses out of 19796 with flag 45002/1371644
155.45/153.56	c cleaning 10443 clauses out of 20902 with flag 56001/1382643
156.55/154.69	c cleaning 11224 clauses out of 22461 with flag 68003/1394645
157.85/155.93	c cleaning 12108 clauses out of 24237 with flag 81003/1407645
159.36/157.43	c cleaning 13048 clauses out of 26126 with flag 95000/1421642
161.28/159.31	c cleaning 14033 clauses out of 28080 with flag 110002/1436644
163.29/161.30	c cleaning 15008 clauses out of 30045 with flag 126000/1452642
165.09/163.12	c cleaning 16009 clauses out of 32037 with flag 143000/1469642
167.01/165.04	c cleaning 17007 clauses out of 34032 with flag 161004/1487646
169.01/167.09	c cleaning 18000 clauses out of 36021 with flag 180000/1506642
171.21/169.29	c cleaning 19007 clauses out of 38021 with flag 200000/1526642
173.92/171.90	c cleaning 19997 clauses out of 40014 with flag 221000/1547642
176.63/174.69	c cleaning 21002 clauses out of 42017 with flag 243000/1569642
179.75/177.76	c cleaning 22001 clauses out of 44016 with flag 266001/1592643
182.96/180.91	c cleaning 22997 clauses out of 46014 with flag 290000/1616642
185.78/183.72	c cleaning 23999 clauses out of 48019 with flag 315002/1641644
188.88/186.80	c cleaning 24995 clauses out of 50018 with flag 341000/1667642
192.00/189.99	c cleaning 25996 clauses out of 52024 with flag 368001/1694643
195.55/193.43	c cleaning 26996 clauses out of 54027 with flag 396000/1722642
198.97/196.80	c cleaning 28002 clauses out of 56032 with flag 425001/1751643
202.38/200.29	c cleaning 28999 clauses out of 58029 with flag 455000/1781642
206.19/204.01	c cleaning 30000 clauses out of 60030 with flag 486000/1812642
209.99/207.90	c cleaning 31006 clauses out of 62030 with flag 518000/1844642
214.31/212.11	c cleaning 32004 clauses out of 64024 with flag 551000/1877642
218.72/216.50	c cleaning 33001 clauses out of 66020 with flag 585000/1911642
223.24/221.10	c cleaning 34005 clauses out of 68019 with flag 620000/1946642
228.15/225.91	c cleaning 34996 clauses out of 70014 with flag 656000/1982642
232.66/230.40	c cleaning 35989 clauses out of 72018 with flag 693000/2019642
237.29/235.00	c cleaning 37007 clauses out of 74030 with flag 731001/2057643
242.20/239.94	c cleaning 38007 clauses out of 76024 with flag 770002/2096644
247.51/245.24	c cleaning 38996 clauses out of 78015 with flag 810000/2136642
253.02/250.78	c cleaning 39989 clauses out of 80019 with flag 851000/2177642
258.46/256.13	c cleaning 41008 clauses out of 82030 with flag 893000/2219642
264.07/261.75	c cleaning 42005 clauses out of 84022 with flag 936000/2262642
269.48/267.16	c cleaning 42996 clauses out of 86018 with flag 980001/2306643
274.71/272.34	c cleaning 44001 clauses out of 88022 with flag 1025001/2351643
280.13/277.70	c cleaning 44996 clauses out of 90020 with flag 1071000/2397642
285.67/283.24	c cleaning 46007 clauses out of 92025 with flag 1118001/2444643
292.09/289.60	c cleaning 47003 clauses out of 94017 with flag 1166000/2492642
298.90/296.50	c cleaning 47998 clauses out of 96014 with flag 1215000/2541642
305.63/303.14	c cleaning 48996 clauses out of 98016 with flag 1265000/2591642
313.05/310.56	c cleaning 49997 clauses out of 100022 with flag 1316002/2642644
319.38/316.85	c cleaning 50994 clauses out of 102023 with flag 1368000/2694642
325.70/323.14	c cleaning 52005 clauses out of 104029 with flag 1421000/2747642
332.62/330.06	c cleaning 53005 clauses out of 106024 with flag 1475000/2801642
339.54/336.91	c cleaning 53985 clauses out of 108019 with flag 1530000/2856642
346.54/343.95	c cleaning 55009 clauses out of 110034 with flag 1586000/2912642
353.48/350.90	c cleaning 55996 clauses out of 112025 with flag 1643000/2969642
360.64/357.99	c cleaning 57011 clauses out of 114029 with flag 1701000/3027642
367.75/365.05	c cleaning 57992 clauses out of 116018 with flag 1760000/3086642
375.08/372.31	c cleaning 59003 clauses out of 118026 with flag 1820000/3146642
382.32/379.59	c cleaning 60002 clauses out of 120024 with flag 1881001/3207643
389.44/386.68	c cleaning 61004 clauses out of 122023 with flag 1943002/3269644
397.39/394.59	c cleaning 61999 clauses out of 124019 with flag 2006002/3332644
406.22/403.35	c cleaning 63001 clauses out of 126019 with flag 2070001/3396643
414.26/411.35	c cleaning 63998 clauses out of 128017 with flag 2135000/3461642
421.79/418.86	c cleaning 64997 clauses out of 130019 with flag 2201000/3527642
429.33/426.34	c cleaning 66006 clauses out of 132026 with flag 2268004/3594646
437.07/434.08	c cleaning 67005 clauses out of 134017 with flag 2336001/3662643
445.81/442.72	c cleaning 68001 clauses out of 136014 with flag 2405003/3731645
455.54/452.46	c cleaning 68995 clauses out of 138010 with flag 2475000/3801642
465.31/462.15	c cleaning 70000 clauses out of 140016 with flag 2546001/3872643
475.26/472.05	c cleaning 71000 clauses out of 142017 with flag 2618002/3944644
484.88/481.63	c cleaning 71991 clauses out of 144015 with flag 2691000/4017642
494.81/491.54	c cleaning 72993 clauses out of 146024 with flag 2765000/4091642
505.13/501.88	c cleaning 73970 clauses out of 148031 with flag 2840000/4166642
517.07/513.76	c cleaning 75015 clauses out of 150061 with flag 2916000/4242642
529.71/526.33	c cleaning 76006 clauses out of 152047 with flag 2993001/4319643
542.04/538.61	c cleaning 76987 clauses out of 154040 with flag 3071000/4397642
554.09/550.68	c cleaning 77997 clauses out of 156053 with flag 3150000/4476642
564.04/560.53	c cleaning 79018 clauses out of 158060 with flag 3230004/4556646
574.06/570.56	c cleaning 80011 clauses out of 160039 with flag 3311001/4637643
584.60/581.01	c cleaning 81003 clauses out of 162027 with flag 3393000/4719642
594.62/591.08	c cleaning 82005 clauses out of 164025 with flag 3476001/4802643
604.54/600.90	c cleaning 83001 clauses out of 166019 with flag 3560000/4886642
614.69/611.05	c cleaning 84004 clauses out of 168018 with flag 3645000/4971642
626.93/623.23	c cleaning 84999 clauses out of 170015 with flag 3731001/5057643
639.38/635.69	c cleaning 86000 clauses out of 172017 with flag 3818002/5144644
650.81/647.01	c cleaning 87000 clauses out of 174015 with flag 3906000/5232642
662.17/658.38	c cleaning 87975 clauses out of 176015 with flag 3995000/5321642
673.70/669.82	c cleaning 89009 clauses out of 178042 with flag 4085002/5411644
685.36/681.48	c cleaning 90007 clauses out of 180031 with flag 4176000/5502642
697.60/693.68	c cleaning 90998 clauses out of 182027 with flag 4268003/5594645
709.93/705.96	c cleaning 92003 clauses out of 184026 with flag 4361000/5687642
723.70/719.65	c cleaning 93005 clauses out of 186025 with flag 4455002/5781644
737.14/733.04	c cleaning 93996 clauses out of 188019 with flag 4550001/5876643
751.38/747.26	c cleaning 94998 clauses out of 190023 with flag 4646001/5972643
764.62/760.48	c cleaning 95998 clauses out of 192024 with flag 4743000/6069642
778.87/774.63	c cleaning 96991 clauses out of 194026 with flag 4841000/6167642
794.02/789.73	c cleaning 98009 clauses out of 196035 with flag 4940000/6266642
807.90/803.56	c cleaning 99000 clauses out of 198028 with flag 5040002/6366644
822.70/818.21	c cleaning 100006 clauses out of 200027 with flag 5141001/6467643
837.96/833.49	c cleaning 101000 clauses out of 202020 with flag 5243000/6569642
854.91/850.36	c cleaning 102000 clauses out of 204020 with flag 5346000/6672642
869.75/865.12	c cleaning 103007 clauses out of 206023 with flag 5450003/6776645
882.28/877.69	c cleaning 104000 clauses out of 208016 with flag 5555003/6881645
895.32/890.70	c cleaning 104994 clauses out of 210013 with flag 5661000/6987642
909.36/904.69	c cleaning 105993 clauses out of 212019 with flag 5768000/7094642
923.44/918.62	c cleaning 107002 clauses out of 214029 with flag 5876003/7202645
937.69/932.84	c cleaning 107979 clauses out of 216024 with flag 5985000/7311642
951.43/946.51	c cleaning 108999 clauses out of 218045 with flag 6095000/7421642
965.79/960.87	c cleaning 110014 clauses out of 220046 with flag 6206000/7532642
981.54/976.53	c cleaning 111006 clauses out of 222032 with flag 6318000/7644642
995.86/990.82	c cleaning 112003 clauses out of 224026 with flag 6431000/7757642
1011.30/1006.29	c cleaning 113002 clauses out of 226023 with flag 6545000/7871642
1026.96/1021.81	c cleaning 113997 clauses out of 228022 with flag 6660001/7986643
1042.63/1037.42	c cleaning 114995 clauses out of 230025 with flag 6776001/8102643
1058.86/1053.69	c cleaning 116000 clauses out of 232029 with flag 6893000/8219642
1074.63/1069.37	c cleaning 117003 clauses out of 234029 with flag 7011000/8337642
1091.78/1086.44	c cleaning 117997 clauses out of 236026 with flag 7130000/8456642
1109.27/1103.88	c cleaning 119003 clauses out of 238030 with flag 7250001/8576643
1127.52/1122.07	c cleaning 119983 clauses out of 240026 with flag 7371000/8697642
1147.07/1141.55	c cleaning 121011 clauses out of 242043 with flag 7493000/8819642
1163.42/1157.89	c cleaning 122000 clauses out of 244032 with flag 7616000/8942642
1180.38/1174.71	c cleaning 122993 clauses out of 246032 with flag 7740000/9066642
1198.73/1193.05	c cleaning 123999 clauses out of 248042 with flag 7865003/9191645
1218.46/1212.79	c cleaning 124997 clauses out of 250040 with flag 7991000/9317642
1239.83/1234.02	c cleaning 126001 clauses out of 252043 with flag 8118000/9444642
1262.21/1256.38	c cleaning 126988 clauses out of 254042 with flag 8246000/9572642
1285.71/1279.76	c cleaning 128004 clauses out of 256054 with flag 8375000/9701642
1307.48/1301.49	c cleaning 128995 clauses out of 258050 with flag 8505000/9831642
1329.54/1323.43	c cleaning 130011 clauses out of 260055 with flag 8636000/9962642
1353.00/1346.82	c cleaning 131004 clauses out of 262044 with flag 8768000/10094642
1369.16/1362.92	c cleaning 132017 clauses out of 264041 with flag 8901001/10227643
1385.91/1379.67	c cleaning 133002 clauses out of 266023 with flag 9035000/10361642
1402.87/1396.53	c cleaning 134000 clauses out of 268022 with flag 9170001/10496643
1420.16/1413.75	c cleaning 135001 clauses out of 270021 with flag 9306000/10632642
1439.21/1432.78	c cleaning 136004 clauses out of 272020 with flag 9443000/10769642
1458.48/1451.91	c cleaning 136986 clauses out of 274016 with flag 9581000/10907642
1477.35/1470.75	c cleaning 137999 clauses out of 276030 with flag 9720000/11046642
1495.52/1488.86	c cleaning 139009 clauses out of 278031 with flag 9860000/11186642
1515.35/1508.65	c cleaning 139993 clauses out of 280022 with flag 10001000/11327642
1537.03/1530.21	c cleaning 141007 clauses out of 282029 with flag 10143000/11469642
1556.89/1550.10	c cleaning 142002 clauses out of 284024 with flag 10286002/11612644
1575.78/1568.87	c cleaning 142999 clauses out of 286020 with flag 10430000/11756642
1598.34/1591.31	c cleaning 144002 clauses out of 288022 with flag 10575001/11901643
1618.30/1611.23	c cleaning 145004 clauses out of 290020 with flag 10721001/12047643
1640.09/1632.97	c cleaning 145998 clauses out of 292019 with flag 10868004/12194646
1661.61/1654.44	c cleaning 147002 clauses out of 294019 with flag 11016002/12342644
1682.38/1675.11	c cleaning 147996 clauses out of 296017 with flag 11165002/12491644
1705.91/1698.62	c cleaning 149001 clauses out of 298020 with flag 11315001/12641643
1729.55/1722.28	c cleaning 149996 clauses out of 300020 with flag 11466002/12792644
1752.22/1744.84	c cleaning 150992 clauses out of 302022 with flag 11618000/12944642
1777.89/1770.40	c cleaning 151976 clauses out of 304030 with flag 11771000/13097642
1800.04/1792.41	c starts		: 329
1800.04/1792.41	c conflicts		: 13251642
1800.04/1792.41	c decisions		: 35398271
1800.04/1792.41	c propagations		: 1149906511
1800.04/1792.41	c inspects		: 2744753116
1800.04/1792.41	c shortcuts		: 0
1800.04/1792.41	c learnt literals	: 1
1800.04/1792.41	c learnt binary clauses	: 2
1800.04/1792.41	c learnt ternary clauses	: 1
1800.04/1792.41	c learnt constraints	: 13251641
1800.04/1792.41	c ignored constraints	: 0
1800.04/1792.41	c root simplifications	: 330
1800.04/1792.41	c removed literals (reason simplification)	: 7024273
1800.04/1792.41	c reason swapping (by a shorter reason)	: 0
1800.04/1792.41	c Calls to reduceDB	: 197
1800.04/1792.41	c number of reductions to clauses (during analyze)	: 0
1800.04/1792.41	c number of learned constraints concerned by reduction	: 0
1800.04/1792.41	c number of learning phase by resolution	: 0
1800.04/1792.41	c number of learning phase by cutting planes	: 0
1800.04/1792.41	c speed (assignments/second)	: 641670.6393958654
1800.04/1792.41	c non guided choices	51319
1800.04/1792.44	c learnt constraints type 
1800.04/1792.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2
1800.04/1792.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 306052
1800.04/1792.44	c constraints type 
1800.04/1792.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2673
1800.04/1792.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1792.44	c ignored satisfied constraints => 187
1800.04/1792.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 49
1800.04/1792.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 23
1800.04/1792.44	c 2933 constraints processed.
1800.04/1792.44	s SATISFIABLE
1800.04/1792.45	v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 x763 -x764 -x765 -x766 x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 x1081 -x1082 -x1083 x1084 -x1085 -x1086 x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 x1257 -x1258 x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 x1389 x1390 -x1391 x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 x1451 
1800.04/1792.45	c objective function=158
1800.04/1792.45	c Total wall clock time (in seconds): 1792.33

Verifier Data 

OK	158

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-3710573-1338144551/watcher-3710573-1338144551 -o /tmp/evaluation-result-3710573-1338144551/solver-3710573-1338144551 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710573-1338144551.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.02 2.00 3/194 17438
/proc/meminfo: memFree=29100168/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 1175 0 0 0 0 0 0 0 20 0 2 0 280580165 91889664 893 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 22434 893 678 9 0 16769 0
[pid=17438/tid=17439] ppid=17436 vsize=91880 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 2 0 280580165 94085120 905 33554432000 1073741824 1073778376 140734951935776 140734951924840 227132094313 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.10396 s]
/proc/loadavg: 2.09 2.02 2.00 3/194 17438
/proc/meminfo: memFree=29100168/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=9558440 CPUtime=0.11 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 4273 0 1 0 10 1 0 0 20 0 18 0 280580165 9787842560 5990 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 2389610 5990 2116 9 0 2380296 0
[pid=17438/tid=17439] ppid=17436 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 2419 0 1 0 8 0 0 0 20 0 18 0 280580165 9787842560 5990 33554432000 1073741824 1073778376 140734951935776 139717053927952 227144688909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558440

[startup+0.200352 s]
/proc/loadavg: 2.09 2.02 2.00 3/194 17438
/proc/meminfo: memFree=29100168/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=9558440 CPUtime=0.28 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 4920 0 1 0 27 1 0 0 20 0 18 0 280580165 9787842560 7019 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 2389610 7019 2208 9 0 2380296 0
[pid=17438/tid=17439] ppid=17436 vsize=9558440 CPUtime=0.17 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 2499 0 1 0 17 0 0 0 20 0 18 0 280580165 9787842560 7019 33554432000 1073741824 1073778376 140734951935776 139717053927952 139716913638675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558440

[startup+0.300249 s]
/proc/loadavg: 2.09 2.02 2.00 3/194 17438
/proc/meminfo: memFree=29100168/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=9558440 CPUtime=0.53 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 7260 0 1 0 51 2 0 0 20 0 18 0 280580165 9787842560 10470 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 2389610 10470 2224 9 0 2380296 0
[pid=17438/tid=17439] ppid=17436 vsize=9558440 CPUtime=0.27 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 2503 0 1 0 26 1 0 0 20 0 18 0 280580165 9787842560 10470 33554432000 1073741824 1073778376 140734951935776 139717053927952 139716913552034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558440

[startup+0.700305 s]
/proc/loadavg: 2.09 2.02 2.00 3/194 17438
/proc/meminfo: memFree=29100168/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 9026 0 1 0 132 3 0 0 20 0 19 0 280580165 9856004096 14437 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 2406251 14437 2259 9 0 2396937 0
[pid=17438/tid=17439] ppid=17436 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 2524 0 1 0 66 1 0 0 20 0 19 0 280580165 9856004096 14437 33554432000 1073741824 1073778376 140734951935776 139717053919608 139716914170991 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625004

[startup+1.5007 s]
/proc/loadavg: 2.09 2.02 2.00 3/213 17457
/proc/meminfo: memFree=29040924/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=9625004 CPUtime=2.2 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 9426 0 1 0 216 4 0 0 20 0 19 0 280580165 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 2406251 18065 2284 9 0 2396937 0
[pid=17438/tid=17439] ppid=17436 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 2528 0 1 0 145 1 0 0 20 0 19 0 280580165 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139717053927848 139716914163402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17441] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17441/stat : 17441 (java) S 17436 17438 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139717032028456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17442] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17442/stat : 17442 (java) S 17436 17438 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716829636776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17443] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17443/stat : 17443 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716828584488 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17444] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17444/stat : 17444 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716827531688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17445] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17445/stat : 17445 (java) S 17436 17438 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716826479400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17446] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17446/stat : 17446 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716825426600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17447] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17447/stat : 17447 (java) S 17436 17438 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716824374312 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17448] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17448/stat : 17448 (java) S 17436 17438 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716823321512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17449] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17449/stat : 17449 (java) S 17436 17438 14200 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716810909928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17450] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17450/stat : 17450 (java) S 17436 17438 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716809855992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17451] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17451/stat : 17451 (java) S 17436 17438 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716808803592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17452] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17452/stat : 17452 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716807752080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17453] ppid=17436 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/17438/task/17453/stat : 17453 (java) S 17436 17438 14200 0 -1 4202560 2685 0 0 0 30 0 0 0 20 0 19 0 280580170 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716806699704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17454] ppid=17436 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/17438/task/17454/stat : 17454 (java) S 17436 17438 14200 0 -1 4202560 2966 0 0 0 36 2 0 0 20 0 19 0 280580170 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716805646904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17455] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17455/stat : 17455 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716804594808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17456] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17456/stat : 17456 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716803542216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17457] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17457/stat : 17457 (java) S 17436 17438 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280580201 9856004096 18065 33554432000 1073741824 1073778376 140734951935776 139716802425768 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 2.09 2.02 2.00 3/213 17457
/proc/meminfo: memFree=29030436/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=9625004 CPUtime=3.87 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 9447 0 1 0 382 5 0 0 20 0 19 0 280580165 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 2406251 20122 2284 9 0 2396937 0
[pid=17438/tid=17439] ppid=17436 vsize=9625004 CPUtime=3.02 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 2529 0 1 0 301 1 0 0 20 0 19 0 280580165 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139717053927960 139716914171198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17441] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17441/stat : 17441 (java) S 17436 17438 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139717032028456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17442] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17442/stat : 17442 (java) S 17436 17438 14200 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716829636776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17443] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17443/stat : 17443 (java) S 17436 17438 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716828584488 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17444] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17444/stat : 17444 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716827531688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17445] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17445/stat : 17445 (java) S 17436 17438 14200 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716826479400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17446] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17446/stat : 17446 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716825426600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17447] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17447/stat : 17447 (java) S 17436 17438 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716824374312 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17448] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17448/stat : 17448 (java) S 17436 17438 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716823321512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17449] ppid=17436 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/17438/task/17449/stat : 17449 (java) S 17436 17438 14200 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 280580167 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716810909928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17450] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17450/stat : 17450 (java) S 17436 17438 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716809855992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17451] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17451/stat : 17451 (java) S 17436 17438 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716808803592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17452] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17452/stat : 17452 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716807752080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17453] ppid=17436 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/17438/task/17453/stat : 17453 (java) S 17436 17438 14200 0 -1 4202560 2686 0 0 0 33 0 0 0 20 0 19 0 280580170 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716806699704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17454] ppid=17436 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/17438/task/17454/stat : 17454 (java) S 17436 17438 14200 0 -1 4202560 2966 0 0 0 38 2 0 0 20 0 19 0 280580170 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716805646904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17455] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17455/stat : 17455 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716804594808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17456] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17456/stat : 17456 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716803542216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17457] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17457/stat : 17457 (java) S 17436 17438 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280580201 9856004096 20122 33554432000 1073741824 1073778376 140734951935776 139716802425768 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9625004

[startup+6.30071 s]
/proc/loadavg: 2.08 2.02 2.00 3/213 17457
/proc/meminfo: memFree=29021872/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=9625004 CPUtime=7.15 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 9640 0 1 0 710 5 0 0 20 0 19 0 280580165 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 2406251 21540 2284 9 0 2396937 0
[pid=17438/tid=17439] ppid=17436 vsize=9625004 CPUtime=6.14 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 2533 0 1 0 613 1 0 0 20 0 19 0 280580165 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139717053927848 139716914061648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17441] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17441/stat : 17441 (java) S 17436 17438 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139717032028456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17442] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17442/stat : 17442 (java) S 17436 17438 14200 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716829636776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17443] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17443/stat : 17443 (java) S 17436 17438 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716828584488 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17444] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17444/stat : 17444 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716827531688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17445] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17445/stat : 17445 (java) S 17436 17438 14200 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716826479400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17446] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17446/stat : 17446 (java) S 17436 17438 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716825426600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17447] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17447/stat : 17447 (java) S 17436 17438 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716824374312 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17448] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17448/stat : 17448 (java) S 17436 17438 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280580166 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716823321512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17449] ppid=17436 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/17438/task/17449/stat : 17449 (java) S 17436 17438 14200 0 -1 4202560 37 0 0 0 8 0 0 0 20 0 19 0 280580167 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716810909928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17450] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17450/stat : 17450 (java) S 17436 17438 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716809855992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17451] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17451/stat : 17451 (java) S 17436 17438 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716808803592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17452] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17452/stat : 17452 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716807752080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17453] ppid=17436 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/17438/task/17453/stat : 17453 (java) S 17436 17438 14200 0 -1 4202560 2863 0 0 0 38 0 0 0 20 0 19 0 280580170 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716806699704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17454] ppid=17436 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/17438/task/17454/stat : 17454 (java) S 17436 17438 14200 0 -1 4202560 2966 0 0 0 38 2 0 0 20 0 19 0 280580170 9856004096 21540 33554432000 1073741824 1073778376 140734951935776 139716805646904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=17438/tid=17453] ppid=17436 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/17438/task/17453/stat : 17453 (java) S 17436 17438 14200 0 -1 4202560 2873 0 0 0 42 0 0 0 20 0 19 0 280580170 9856004096 92754 33554432000 1073741824 1073778376 140734951935776 139716806699704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17454] ppid=17436 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/17438/task/17454/stat : 17454 (java) S 17436 17438 14200 0 -1 4202560 2966 0 0 0 39 2 0 0 20 0 19 0 280580170 9856004096 92754 33554432000 1073741824 1073778376 140734951935776 139716805646904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17455] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17455/stat : 17455 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 92754 33554432000 1073741824 1073778376 140734951935776 139716804594808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17456] ppid=17436 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/17438/task/17456/stat : 17456 (java) S 17436 17438 14200 0 -1 4202560 97 0 0 0 16 16 0 0 20 0 19 0 280580170 9856004096 92754 33554432000 1073741824 1073778376 140734951935776 139716803542216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17457] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17457/stat : 17457 (java) S 17436 17438 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280580201 9856004096 92754 33554432000 1073741824 1073778376 140734951935776 139716802425768 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1729.73
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/213 17553
/proc/meminfo: memFree=28608032/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=9625004 CPUtime=1789.93 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 12335 0 1 0 178940 53 0 0 20 0 19 0 280580165 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 2406251 99410 2285 9 0 2396937 0
[pid=17438/tid=17439] ppid=17436 vsize=9625004 CPUtime=1765.45 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 2757 0 1 0 176516 29 0 0 20 0 19 0 280580165 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139717053927728 139716913594406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17441] ppid=17436 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/17438/task/17441/stat : 17441 (java) S 17436 17438 14200 0 -1 4202560 350 0 0 0 113 3 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139717032028456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17442] ppid=17436 vsize=9625004 CPUtime=1.03 cores=0,2,4,6
/proc/17438/task/17442/stat : 17442 (java) S 17436 17438 14200 0 -1 4202560 291 0 0 0 101 2 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716829636776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17443] ppid=17436 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/17438/task/17443/stat : 17443 (java) S 17436 17438 14200 0 -1 4202560 439 0 0 0 118 5 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716828584488 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17444] ppid=17436 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/17438/task/17444/stat : 17444 (java) S 17436 17438 14200 0 -1 4202560 281 0 0 0 112 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716827531688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17445] ppid=17436 vsize=9625004 CPUtime=1.22 cores=0,2,4,6
/proc/17438/task/17445/stat : 17445 (java) S 17436 17438 14200 0 -1 4202560 240 0 0 0 118 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716826479400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17446] ppid=17436 vsize=9625004 CPUtime=1.15 cores=0,2,4,6
/proc/17438/task/17446/stat : 17446 (java) S 17436 17438 14200 0 -1 4202560 267 0 0 0 112 3 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716825426600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17447] ppid=17436 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/17438/task/17447/stat : 17447 (java) S 17436 17438 14200 0 -1 4202560 213 0 0 0 121 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716824374312 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17448] ppid=17436 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/17438/task/17448/stat : 17448 (java) S 17436 17438 14200 0 -1 4202560 217 0 0 0 119 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716823321512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17449] ppid=17436 vsize=9625004 CPUtime=9.29 cores=0,2,4,6
/proc/17438/task/17449/stat : 17449 (java) S 17436 17438 14200 0 -1 4202560 159 0 0 0 927 2 0 0 20 0 19 0 280580167 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716810909928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17450] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17450/stat : 17450 (java) S 17436 17438 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716809855992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17451] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17451/stat : 17451 (java) S 17436 17438 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716808803592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17452] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17452/stat : 17452 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716807752080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17453] ppid=17436 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/17438/task/17453/stat : 17453 (java) S 17436 17438 14200 0 -1 4202560 2873 0 0 0 42 0 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716806699704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17454] ppid=17436 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/17438/task/17454/stat : 17454 (java) S 17436 17438 14200 0 -1 4202560 2966 0 0 0 39 2 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716805646904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17455] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17455/stat : 17455 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716804594808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17456] ppid=17436 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/17438/task/17456/stat : 17456 (java) S 17436 17438 14200 0 -1 4202560 101 0 0 0 17 16 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716803542216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17457] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17457/stat : 17457 (java) S 17436 17438 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280580201 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716802425768 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1789.93
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.4 s]
/proc/loadavg: 2.19 2.05 2.01 3/213 17553
/proc/meminfo: memFree=28593820/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 12335 0 1 0 179951 53 0 0 20 0 19 0 280580165 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 2406251 99410 2285 9 0 2396937 0
[pid=17438/tid=17439] ppid=17436 vsize=9625004 CPUtime=1775.53 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 2757 0 1 0 177524 29 0 0 20 0 19 0 280580165 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139717053927728 139716914364224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17441] ppid=17436 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/17438/task/17441/stat : 17441 (java) S 17436 17438 14200 0 -1 4202560 350 0 0 0 113 3 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139717032028456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17442] ppid=17436 vsize=9625004 CPUtime=1.03 cores=0,2,4,6
/proc/17438/task/17442/stat : 17442 (java) S 17436 17438 14200 0 -1 4202560 291 0 0 0 101 2 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716829636776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17443] ppid=17436 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/17438/task/17443/stat : 17443 (java) S 17436 17438 14200 0 -1 4202560 439 0 0 0 118 5 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716828584488 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17444] ppid=17436 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/17438/task/17444/stat : 17444 (java) S 17436 17438 14200 0 -1 4202560 281 0 0 0 112 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716827531688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17445] ppid=17436 vsize=9625004 CPUtime=1.22 cores=0,2,4,6
/proc/17438/task/17445/stat : 17445 (java) S 17436 17438 14200 0 -1 4202560 240 0 0 0 118 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716826479400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17446] ppid=17436 vsize=9625004 CPUtime=1.15 cores=0,2,4,6
/proc/17438/task/17446/stat : 17446 (java) S 17436 17438 14200 0 -1 4202560 267 0 0 0 112 3 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716825426600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17447] ppid=17436 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/17438/task/17447/stat : 17447 (java) S 17436 17438 14200 0 -1 4202560 213 0 0 0 121 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716824374312 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17448] ppid=17436 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/17438/task/17448/stat : 17448 (java) S 17436 17438 14200 0 -1 4202560 217 0 0 0 119 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716823321512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17449] ppid=17436 vsize=9625004 CPUtime=9.29 cores=0,2,4,6
/proc/17438/task/17449/stat : 17449 (java) S 17436 17438 14200 0 -1 4202560 159 0 0 0 927 2 0 0 20 0 19 0 280580167 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716810909928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17450] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17450/stat : 17450 (java) S 17436 17438 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716809855992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17451] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17451/stat : 17451 (java) S 17436 17438 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716808803592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17452] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17452/stat : 17452 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716807752080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17453] ppid=17436 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/17438/task/17453/stat : 17453 (java) S 17436 17438 14200 0 -1 4202560 2873 0 0 0 42 0 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716806699704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17454] ppid=17436 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/17438/task/17454/stat : 17454 (java) S 17436 17438 14200 0 -1 4202560 2966 0 0 0 39 2 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716805646904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17455] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17455/stat : 17455 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716804594808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17456] ppid=17436 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/17438/task/17456/stat : 17456 (java) S 17436 17438 14200 0 -1 4202560 101 0 0 0 17 16 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716803542216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17457] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17457/stat : 17457 (java) S 17436 17438 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280580201 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716802425768 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1792.4 s]
/proc/loadavg: 2.19 2.05 2.01 3/213 17553
/proc/meminfo: memFree=28593820/32873844 swapFree=7116/7116
[pid=17438] ppid=17436 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17436 17438 14200 0 -1 4202496 12335 0 1 0 179951 53 0 0 20 0 19 0 280580165 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 140734951926912 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17438/statm: 2406251 99410 2285 9 0 2396937 0
[pid=17438/tid=17439] ppid=17436 vsize=9625004 CPUtime=1775.53 cores=0,2,4,6
/proc/17438/task/17439/stat : 17439 (java) R 17436 17438 14200 0 -1 4202560 2757 0 1 0 177524 29 0 0 20 0 19 0 280580165 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139717053927728 139716914364224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17441] ppid=17436 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/17438/task/17441/stat : 17441 (java) S 17436 17438 14200 0 -1 4202560 350 0 0 0 113 3 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139717032028456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17442] ppid=17436 vsize=9625004 CPUtime=1.03 cores=0,2,4,6
/proc/17438/task/17442/stat : 17442 (java) S 17436 17438 14200 0 -1 4202560 291 0 0 0 101 2 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716829636776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17443] ppid=17436 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/17438/task/17443/stat : 17443 (java) S 17436 17438 14200 0 -1 4202560 439 0 0 0 118 5 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716828584488 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17444] ppid=17436 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/17438/task/17444/stat : 17444 (java) S 17436 17438 14200 0 -1 4202560 281 0 0 0 112 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716827531688 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17445] ppid=17436 vsize=9625004 CPUtime=1.22 cores=0,2,4,6
/proc/17438/task/17445/stat : 17445 (java) S 17436 17438 14200 0 -1 4202560 240 0 0 0 118 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716826479400 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17446] ppid=17436 vsize=9625004 CPUtime=1.15 cores=0,2,4,6
/proc/17438/task/17446/stat : 17446 (java) S 17436 17438 14200 0 -1 4202560 267 0 0 0 112 3 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716825426600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17447] ppid=17436 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/17438/task/17447/stat : 17447 (java) S 17436 17438 14200 0 -1 4202560 213 0 0 0 121 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716824374312 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17448] ppid=17436 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/17438/task/17448/stat : 17448 (java) S 17436 17438 14200 0 -1 4202560 217 0 0 0 119 4 0 0 20 0 19 0 280580166 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716823321512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17449] ppid=17436 vsize=9625004 CPUtime=9.29 cores=0,2,4,6
/proc/17438/task/17449/stat : 17449 (java) S 17436 17438 14200 0 -1 4202560 159 0 0 0 927 2 0 0 20 0 19 0 280580167 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716810909928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17450] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17450/stat : 17450 (java) S 17436 17438 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716809855992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17451] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17451/stat : 17451 (java) S 17436 17438 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280580167 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716808803592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17452] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17452/stat : 17452 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716807752080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17438/tid=17453] ppid=17436 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/17438/task/17453/stat : 17453 (java) S 17436 17438 14200 0 -1 4202560 2873 0 0 0 42 0 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716806699704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17438/tid=17454] ppid=17436 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/17438/task/17454/stat : 17454 (java) S 17436 17438 14200 0 -1 4202560 2966 0 0 0 39 2 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716805646904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17455] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17455/stat : 17455 (java) S 17436 17438 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716804594808 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17438/tid=17456] ppid=17436 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/17438/task/17456/stat : 17456 (java) S 17436 17438 14200 0 -1 4202560 101 0 0 0 17 16 0 0 20 0 19 0 280580170 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716803542216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17438/tid=17457] ppid=17436 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17457/stat : 17457 (java) S 17436 17438 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280580201 9856004096 99410 33554432000 1073741824 1073778376 140734951935776 139716802425768 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17438 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=838143
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=922859
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.45
CPU time (s): 1800.04
CPU user time (s): 1799.51
CPU system time (s): 0.53
CPU usage (%): 100.423
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 0.922859
maximum resident set size= 401864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12370
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43341
involuntary context switches= 32602

runsolver used 5.78412 second user time and 14.1608 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-27 20:49:11
IDJOB=3710573
IDBENCH=2055
IDSOLVER=2289
FILE ID=node138/3710573-1338144551
RUNJOBID= node138-1338139170-16910
PBS_JOBID= 14624507
Free space on /tmp= 71496 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710573-1338144551/watcher-3710573-1338144551 -o /tmp/evaluation-result-3710573-1338144551/solver-3710573-1338144551 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710573-1338144551.opb

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

MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6
RANDOM SEED=848482152

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29100804 kB
Buffers:          428532 kB
Cached:          2393324 kB
SwapCached:          212 kB
Active:           965604 kB
Inactive:        1930692 kB
Active(anon):      65804 kB
Inactive(anon):    11368 kB
Active(file):     899800 kB
Inactive(file):  1919324 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108644 kB
Dirty:              2128 kB
Writeback:             0 kB
AnonPages:        120072 kB
Mapped:            22656 kB
Shmem:               200 kB
Slab:             732836 kB
SReclaimable:     174800 kB
SUnreclaim:       558036 kB
KernelStack:        1760 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node138 at 2012-05-27 21:19:05