Trace number 3710781

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)89 1800.07 1789.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.b.opb
MD5SUMd95d18eb9f9494c32273975c1bc570ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark0.272958
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved YES
Number of variables756
Total number of constraints1853
Number of constraints which are clauses1853
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 constraint80
Number of terms in the objective function 756
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 756
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 756
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.09	c version 2.3.2.v20120418
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		501472288
0.04/0.09	c Max memory 		7480803328
0.04/0.09	c Total memory 		504102912
0.04/0.09	c Number of processors 	8
0.09/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.13	c configuring ORDERS
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=true
0.09/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3710781-1338153300.opb
0.09/0.13	c reading problem ... 
0.49/0.32	c ... done. Wall clock time 0.191s.
0.49/0.32	c declared #vars     756
0.49/0.32	c #constraints  1536
0.49/0.32	c constraints type 
0.49/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1510
0.49/0.32	c ignored satisfied constraints => 317
0.49/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11
0.49/0.32	c org.sat4j.minisat.constraints.cnf.UnitClause => 15
0.49/0.32	c 1853 constraints processed.
0.49/0.34	c SATISFIABLE
0.49/0.34	c OPTIMIZING...
0.49/0.34	c Got one! Elapsed wall clock time (in seconds):0.208
0.49/0.34	o 89
1.36/0.72	c cleaning 2486 clauses out of 5001 with flag 5000/5001
1.60/0.97	c cleaning 4254 clauses out of 8515 with flag 11000/11001
1.93/1.24	c cleaning 5623 clauses out of 11261 with flag 18000/18001
2.23/1.57	c cleaning 6816 clauses out of 13639 with flag 26001/26002
2.68/1.93	c cleaning 7909 clauses out of 15823 with flag 35001/35002
3.09/2.34	c cleaning 8947 clauses out of 17913 with flag 45000/45001
3.59/2.81	c cleaning 9976 clauses out of 19966 with flag 56000/56001
4.11/3.32	c cleaning 10991 clauses out of 21993 with flag 68003/68004
4.61/3.88	c cleaning 11997 clauses out of 24001 with flag 81002/81003
5.22/4.48	c cleaning 12994 clauses out of 26003 with flag 95001/95002
5.91/5.13	c cleaning 13998 clauses out of 28011 with flag 110003/110004
6.62/5.80	c cleaning 14998 clauses out of 30011 with flag 126001/126002
7.34/6.52	c cleaning 16000 clauses out of 32012 with flag 143000/143001
8.05/7.30	c cleaning 16992 clauses out of 34012 with flag 161000/161001
9.07/8.22	c cleaning 18000 clauses out of 36020 with flag 180000/180001
9.97/9.10	c cleaning 19006 clauses out of 38021 with flag 200001/200002
10.89/10.02	c cleaning 19995 clauses out of 40014 with flag 221000/221001
11.83/10.99	c cleaning 21000 clauses out of 42022 with flag 243003/243004
12.94/12.10	c cleaning 22007 clauses out of 44020 with flag 266001/266002
14.04/13.17	c cleaning 22998 clauses out of 46012 with flag 290000/290001
15.15/14.29	c cleaning 24004 clauses out of 48017 with flag 315003/315004
16.36/15.47	c cleaning 24987 clauses out of 50010 with flag 341000/341001
17.69/16.71	c cleaning 25997 clauses out of 52023 with flag 368000/368001
19.11/18.14	c cleaning 27003 clauses out of 54026 with flag 396000/396001
20.43/19.43	c cleaning 28004 clauses out of 56024 with flag 425001/425002
21.74/20.78	c cleaning 29002 clauses out of 58019 with flag 455000/455001
23.15/22.17	c cleaning 29995 clauses out of 60017 with flag 486000/486001
24.68/23.68	c cleaning 31002 clauses out of 62022 with flag 518000/518001
26.40/25.32	c cleaning 31999 clauses out of 64020 with flag 551000/551001
28.11/27.09	c cleaning 33004 clauses out of 66021 with flag 585000/585001
29.92/28.81	c cleaning 33997 clauses out of 68017 with flag 620000/620001
31.55/30.47	c cleaning 35000 clauses out of 70021 with flag 656001/656002
33.35/32.21	c cleaning 36004 clauses out of 72021 with flag 693001/693002
35.18/34.04	c cleaning 36999 clauses out of 74016 with flag 731000/731001
37.20/36.06	c cleaning 37997 clauses out of 76018 with flag 770001/770002
39.20/38.01	c cleaning 39000 clauses out of 78020 with flag 810000/810001
41.41/40.21	c cleaning 39998 clauses out of 80020 with flag 851000/851001
43.63/42.41	c cleaning 41003 clauses out of 82022 with flag 893000/893001
45.65/44.44	c cleaning 42001 clauses out of 84019 with flag 936000/936001
47.78/46.53	c cleaning 42999 clauses out of 86019 with flag 980001/980002
50.00/48.77	c cleaning 44002 clauses out of 88019 with flag 1025000/1025001
52.82/51.56	c cleaning 44997 clauses out of 90017 with flag 1071000/1071001
55.16/53.81	c cleaning 46004 clauses out of 92021 with flag 1118001/1118002
57.56/56.28	c cleaning 46999 clauses out of 94016 with flag 1166000/1166001
59.98/58.68	c cleaning 47993 clauses out of 96017 with flag 1215000/1215001
62.78/61.40	c cleaning 49005 clauses out of 98030 with flag 1265006/1265007
65.80/64.43	c cleaning 50000 clauses out of 100019 with flag 1316000/1316001
68.56/67.19	c cleaning 51003 clauses out of 102019 with flag 1368000/1368001
71.38/69.97	c cleaning 51998 clauses out of 104016 with flag 1421000/1421001
74.12/72.68	c cleaning 52999 clauses out of 106019 with flag 1475001/1475002
77.04/75.55	c cleaning 54004 clauses out of 108020 with flag 1530001/1530002
80.34/78.85	c cleaning 54999 clauses out of 110017 with flag 1586002/1586003
83.27/81.76	c cleaning 55999 clauses out of 112016 with flag 1643000/1643001
86.58/85.08	c cleaning 57000 clauses out of 114017 with flag 1701000/1701001
90.02/88.42	c cleaning 57992 clauses out of 116017 with flag 1760000/1760001
93.14/91.52	c cleaning 59006 clauses out of 118025 with flag 1820000/1820001
96.56/94.99	c cleaning 60002 clauses out of 120019 with flag 1881000/1881001
100.10/98.46	c cleaning 60999 clauses out of 122019 with flag 1943002/1943003
104.04/102.31	c cleaning 61997 clauses out of 124019 with flag 2006001/2006002
107.18/105.41	c cleaning 62998 clauses out of 126022 with flag 2070001/2070002
110.50/108.75	c cleaning 64011 clauses out of 128027 with flag 2135004/2135005
114.15/112.38	c cleaning 64998 clauses out of 130012 with flag 2201000/2201001
118.08/116.29	c cleaning 65998 clauses out of 132015 with flag 2268001/2268002
121.80/119.93	c cleaning 66998 clauses out of 134017 with flag 2336001/2336002
126.02/124.14	c cleaning 67997 clauses out of 136021 with flag 2405003/2405004
129.76/127.83	c cleaning 69004 clauses out of 138022 with flag 2475001/2475002
134.38/132.41	c cleaning 69999 clauses out of 140017 with flag 2546000/2546001
139.00/137.04	c cleaning 70996 clauses out of 142019 with flag 2618001/2618002
143.04/141.00	c cleaning 71999 clauses out of 144022 with flag 2691000/2691001
147.15/145.14	c cleaning 73002 clauses out of 146023 with flag 2765000/2765001
151.18/149.17	c cleaning 73984 clauses out of 148021 with flag 2840000/2840001
155.78/153.78	c cleaning 75004 clauses out of 150038 with flag 2916001/2916002
160.85/158.78	c cleaning 76015 clauses out of 152033 with flag 2993000/2993001
164.86/162.72	c cleaning 76991 clauses out of 154018 with flag 3071000/3071001
168.99/166.81	c cleaning 78002 clauses out of 156031 with flag 3150004/3150005
173.22/171.01	c cleaning 78996 clauses out of 158025 with flag 3230000/3230001
177.36/175.18	c cleaning 80003 clauses out of 160029 with flag 3311000/3311001
182.40/180.11	c cleaning 81001 clauses out of 162027 with flag 3393001/3393002
186.72/184.49	c cleaning 81999 clauses out of 164025 with flag 3476000/3476001
192.03/189.72	c cleaning 82995 clauses out of 166026 with flag 3560000/3560001
197.17/194.84	c cleaning 84005 clauses out of 168032 with flag 3645001/3645002
202.02/199.67	c cleaning 84997 clauses out of 170026 with flag 3731000/3731001
207.93/205.60	c cleaning 86001 clauses out of 172029 with flag 3818000/3818001
213.97/211.52	c cleaning 86996 clauses out of 174029 with flag 3906001/3906002
219.40/216.97	c cleaning 88010 clauses out of 176032 with flag 3995000/3995001
224.92/222.45	c cleaning 88997 clauses out of 178025 with flag 4085003/4085004
231.05/228.55	c cleaning 89986 clauses out of 180026 with flag 4176001/4176002
237.00/234.43	c cleaning 91000 clauses out of 182039 with flag 4268000/4268001
243.32/240.76	c cleaning 91992 clauses out of 184039 with flag 4361000/4361001
250.44/247.83	c cleaning 93010 clauses out of 186049 with flag 4455002/4455003
256.09/253.42	c cleaning 94010 clauses out of 188037 with flag 4550000/4550001
261.01/258.39	c cleaning 94981 clauses out of 190027 with flag 4646000/4646001
266.44/263.76	c cleaning 96013 clauses out of 192047 with flag 4743001/4743002
271.87/269.18	c cleaning 96996 clauses out of 194033 with flag 4841000/4841001
277.80/275.08	c cleaning 98011 clauses out of 196040 with flag 4940003/4940004
284.54/281.76	c cleaning 99003 clauses out of 198027 with flag 5040001/5040002
291.07/288.18	c cleaning 100006 clauses out of 200026 with flag 5141003/5141004
297.32/294.38	c cleaning 100992 clauses out of 202019 with flag 5243002/5243003
304.15/301.14	c cleaning 102001 clauses out of 204027 with flag 5346002/5346003
311.19/308.16	c cleaning 102989 clauses out of 206024 with flag 5450000/5450001
317.52/314.44	c cleaning 104011 clauses out of 208035 with flag 5555000/5555001
326.16/323.08	c cleaning 104997 clauses out of 210024 with flag 5661000/5661001
333.60/330.44	c cleaning 106003 clauses out of 212028 with flag 5768001/5768002
341.64/338.47	c cleaning 106996 clauses out of 214024 with flag 5876000/5876001
349.09/345.86	c cleaning 108004 clauses out of 216028 with flag 5985000/5985001
356.82/353.54	c cleaning 109005 clauses out of 218026 with flag 6095002/6095003
364.00/360.66	c cleaning 109998 clauses out of 220019 with flag 6206000/6206001
372.72/369.37	c cleaning 111003 clauses out of 222022 with flag 6318001/6318002
380.89/377.40	c cleaning 111996 clauses out of 224020 with flag 6431002/6431003
389.82/386.38	c cleaning 112992 clauses out of 226022 with flag 6545000/6545001
398.51/394.90	c cleaning 114001 clauses out of 228030 with flag 6660000/6660001
406.33/402.76	c cleaning 115012 clauses out of 230029 with flag 6776000/6776001
412.67/409.10	c cleaning 116001 clauses out of 232018 with flag 6893001/6893002
420.41/416.70	c cleaning 116995 clauses out of 234016 with flag 7011000/7011001
428.46/424.71	c cleaning 118002 clauses out of 236024 with flag 7130003/7130004
435.31/431.57	c cleaning 119001 clauses out of 238019 with flag 7250000/7250001
443.24/439.48	c cleaning 120000 clauses out of 240018 with flag 7371000/7371001
450.69/446.87	c cleaning 120998 clauses out of 242018 with flag 7493000/7493001
460.42/456.56	c cleaning 121998 clauses out of 244023 with flag 7616003/7616004
468.39/464.43	c cleaning 123006 clauses out of 246022 with flag 7740000/7740001
476.34/472.36	c cleaning 123996 clauses out of 248016 with flag 7865000/7865001
487.01/482.97	c cleaning 124995 clauses out of 250020 with flag 7991000/7991001
496.57/492.41	c cleaning 126000 clauses out of 252026 with flag 8118001/8118002
505.42/501.23	c cleaning 127010 clauses out of 254028 with flag 8246003/8246004
515.48/511.22	c cleaning 127994 clauses out of 256015 with flag 8375000/8375001
525.13/520.88	c cleaning 128995 clauses out of 258023 with flag 8505002/8505003
535.19/530.85	c cleaning 130006 clauses out of 260029 with flag 8636003/8636004
544.04/539.68	c cleaning 131001 clauses out of 262021 with flag 8768001/8768002
553.47/549.03	c cleaning 131992 clauses out of 264019 with flag 8901000/8901001
561.74/557.21	c cleaning 132996 clauses out of 266027 with flag 9035000/9035001
572.27/567.76	c cleaning 134008 clauses out of 268032 with flag 9170001/9170002
583.40/578.79	c cleaning 135002 clauses out of 270023 with flag 9306000/9306001
594.73/590.05	c cleaning 135983 clauses out of 272021 with flag 9443000/9443001
605.99/601.23	c cleaning 137003 clauses out of 274038 with flag 9581000/9581001
617.34/612.53	c cleaning 137995 clauses out of 276035 with flag 9720000/9720001
628.20/623.31	c cleaning 139003 clauses out of 278041 with flag 9860001/9860002
639.06/634.14	c cleaning 139994 clauses out of 280037 with flag 10001000/10001001
649.11/644.12	c cleaning 140997 clauses out of 282043 with flag 10143000/10143001
657.05/652.02	c cleaning 142008 clauses out of 284046 with flag 10286000/10286001
665.42/660.38	c cleaning 143015 clauses out of 286039 with flag 10430001/10430002
676.08/670.96	c cleaning 144000 clauses out of 288024 with flag 10575001/10575002
685.53/680.40	c cleaning 144999 clauses out of 290023 with flag 10721000/10721001
694.27/689.02	c cleaning 146005 clauses out of 292024 with flag 10868000/10868001
706.32/701.02	c cleaning 147003 clauses out of 294020 with flag 11016001/11016002
715.62/710.25	c cleaning 147998 clauses out of 296017 with flag 11165001/11165002
728.85/723.47	c cleaning 148991 clauses out of 298018 with flag 11315000/11315001
743.35/737.85	c cleaning 150004 clauses out of 300031 with flag 11466004/11466005
754.32/748.74	c cleaning 151003 clauses out of 302023 with flag 11618000/11618001
768.48/762.88	c cleaning 152003 clauses out of 304021 with flag 11771001/11771002
782.21/776.44	c cleaning 152997 clauses out of 306017 with flag 11925000/11925001
796.26/790.42	c cleaning 153997 clauses out of 308020 with flag 12080000/12080001
809.39/803.51	c cleaning 154994 clauses out of 310023 with flag 12236000/12236001
819.34/813.48	c cleaning 156005 clauses out of 312029 with flag 12393000/12393001
832.86/826.98	c cleaning 157001 clauses out of 314029 with flag 12551005/12551006
848.03/842.08	c cleaning 157999 clauses out of 316023 with flag 12710000/12710001
861.71/855.60	c cleaning 159005 clauses out of 318026 with flag 12870002/12870003
873.80/867.68	c cleaning 159999 clauses out of 320019 with flag 13031000/13031001
891.08/884.85	c cleaning 161001 clauses out of 322024 with flag 13193004/13193005
905.62/899.31	c cleaning 162001 clauses out of 324019 with flag 13356000/13356001
917.88/911.56	c cleaning 163001 clauses out of 326018 with flag 13520000/13520001
930.13/923.71	c cleaning 163990 clauses out of 328017 with flag 13685000/13685001
942.97/936.55	c cleaning 164994 clauses out of 330027 with flag 13851000/13851001
956.05/949.56	c cleaning 166004 clauses out of 332033 with flag 14018000/14018001
971.54/964.99	c cleaning 167002 clauses out of 334029 with flag 14186000/14186001
989.37/982.69	c cleaning 168003 clauses out of 336027 with flag 14355000/14355001
1004.61/997.86	c cleaning 168997 clauses out of 338028 with flag 14525004/14525005
1019.25/1012.49	c cleaning 169999 clauses out of 340029 with flag 14696002/14696003
1036.67/1029.70	c cleaning 170995 clauses out of 342028 with flag 14868000/14868001
1054.87/1047.83	c cleaning 171996 clauses out of 344034 with flag 15041001/15041002
1067.78/1060.62	c cleaning 172998 clauses out of 346037 with flag 15215000/15215001
1077.42/1070.25	c cleaning 174014 clauses out of 348040 with flag 15390001/15390002
1089.24/1082.05	c cleaning 175002 clauses out of 350025 with flag 15566000/15566001
1103.95/1096.65	c cleaning 175993 clauses out of 352023 with flag 15743000/15743001
1117.02/1109.63	c cleaning 177003 clauses out of 354030 with flag 15921000/15921001
1134.01/1126.52	c cleaning 177990 clauses out of 356028 with flag 16100001/16100002
1146.74/1139.24	c cleaning 179007 clauses out of 358037 with flag 16280000/16280001
1163.90/1156.32	c cleaning 179993 clauses out of 360030 with flag 16461000/16461001
1178.66/1171.01	c cleaning 181013 clauses out of 362039 with flag 16643002/16643003
1193.71/1186.00	c cleaning 181993 clauses out of 364024 with flag 16826000/16826001
1212.17/1204.44	c cleaning 183002 clauses out of 366031 with flag 17010000/17010001
1226.32/1218.43	c cleaning 184003 clauses out of 368029 with flag 17195000/17195001
1246.67/1238.71	c cleaning 184996 clauses out of 370027 with flag 17381001/17381002
1260.86/1252.86	c cleaning 186002 clauses out of 372030 with flag 17568000/17568001
1276.00/1267.98	c cleaning 187007 clauses out of 374030 with flag 17756002/17756003
1295.14/1287.01	c cleaning 187995 clauses out of 376021 with flag 17945000/17945001
1311.54/1303.30	c cleaning 189001 clauses out of 378026 with flag 18135000/18135001
1329.21/1320.95	c cleaning 190001 clauses out of 380026 with flag 18326001/18326002
1349.08/1340.73	c cleaning 191006 clauses out of 382030 with flag 18518006/18518007
1365.33/1356.97	c cleaning 191992 clauses out of 384018 with flag 18711000/18711001
1384.32/1375.80	c cleaning 192994 clauses out of 386026 with flag 18905000/18905001
1404.02/1395.46	c cleaning 193979 clauses out of 388032 with flag 19100000/19100001
1425.51/1416.88	c cleaning 195006 clauses out of 390054 with flag 19296001/19296002
1445.82/1437.03	c cleaning 196008 clauses out of 392047 with flag 19493000/19493001
1461.82/1452.95	c cleaning 197003 clauses out of 394039 with flag 19691000/19691001
1481.32/1472.28	c cleaning 198009 clauses out of 396036 with flag 19890000/19890001
1500.11/1490.97	c cleaning 198995 clauses out of 398027 with flag 20090000/20090001
1513.41/1504.17	c cleaning 200003 clauses out of 400032 with flag 20291000/20291001
1529.45/1520.13	c cleaning 201006 clauses out of 402032 with flag 20493003/20493004
1551.31/1541.94	c cleaning 202000 clauses out of 404023 with flag 20696000/20696001
1572.32/1562.80	c cleaning 202991 clauses out of 406023 with flag 20900000/20900001
1592.73/1583.19	c cleaning 203991 clauses out of 408032 with flag 21105000/21105001
1612.96/1603.38	c cleaning 205006 clauses out of 410044 with flag 21311003/21311004
1631.32/1621.64	c cleaning 206000 clauses out of 412035 with flag 21518000/21518001
1651.10/1641.34	c cleaning 207006 clauses out of 414035 with flag 21726000/21726001
1670.44/1660.63	c cleaning 208002 clauses out of 416031 with flag 21935002/21935003
1688.70/1678.85	c cleaning 209002 clauses out of 418028 with flag 22145001/22145002
1707.03/1697.11	c cleaning 209998 clauses out of 420025 with flag 22356000/22356001
1728.57/1718.60	c cleaning 211004 clauses out of 422029 with flag 22568002/22568003
1748.20/1738.23	c cleaning 212002 clauses out of 424024 with flag 22781001/22781002
1761.44/1751.43	c cleaning 212998 clauses out of 426021 with flag 22995000/22995001
1775.28/1765.20	c cleaning 214006 clauses out of 428023 with flag 23210000/23210001
1790.18/1780.01	c cleaning 214990 clauses out of 430017 with flag 23426000/23426001
1800.07/1789.81	c starts		: 373
1800.07/1789.81	c conflicts		: 23594750
1800.07/1789.81	c decisions		: 54558883
1800.07/1789.81	c propagations		: 1189737727
1800.07/1789.81	c inspects		: 7869412112
1800.07/1789.81	c shortcuts		: 0
1800.07/1789.81	c learnt literals	: 0
1800.07/1789.81	c learnt binary clauses	: 0
1800.07/1789.81	c learnt ternary clauses	: 6
1800.07/1789.81	c learnt constraints	: 23594750
1800.07/1789.81	c ignored constraints	: 0
1800.07/1789.81	c root simplifications	: 373
1800.07/1789.81	c removed literals (reason simplification)	: 16512594
1800.07/1789.81	c reason swapping (by a shorter reason)	: 0
1800.07/1789.81	c Calls to reduceDB	: 212
1800.07/1789.81	c number of reductions to clauses (during analyze)	: 0
1800.07/1789.81	c number of learned constraints concerned by reduction	: 0
1800.07/1789.81	c number of learning phase by resolution	: 0
1800.07/1789.81	c number of learning phase by cutting planes	: 0
1800.07/1789.81	c speed (assignments/second)	: 664849.6365432717
1800.07/1789.81	c non guided choices	8103
1800.07/1789.85	c learnt constraints type 
1800.07/1789.85	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 384063
1800.07/1789.85	c constraints type 
1800.07/1789.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1510
1800.07/1789.85	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1789.85	c ignored satisfied constraints => 317
1800.07/1789.85	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11
1800.07/1789.85	c org.sat4j.minisat.constraints.cnf.UnitClause => 15
1800.07/1789.85	c 1854 constraints processed.
1800.07/1789.85	s SATISFIABLE
1800.07/1789.85	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 
1800.07/1789.85	c objective function=89
1800.07/1789.85	c Total wall clock time (in seconds): 1789.723

Verifier Data

OK	89

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 26614
/proc/meminfo: memFree=31301248/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (java) D 26612 26614 22966 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 281458536 9515008 185 33554432000 1073741824 1073778376 140736967803456 140736967794680 270118055351 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/26614/statm: 2323 185 142 9 0 71 0

[startup+0.0703671 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 26614
/proc/meminfo: memFree=31301248/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 3263 0 1 0 4 0 0 0 20 0 18 0 281458536 9787842560 3960 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2389610 3960 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.100569 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 26614
/proc/meminfo: memFree=31301248/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 4181 0 1 0 8 1 0 0 20 0 18 0 281458536 9787842560 4877 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2389610 4877 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300182 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 26614
/proc/meminfo: memFree=31301248/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9558440 CPUtime=0.49 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 6091 0 1 0 47 2 0 0 20 0 18 0 281458536 9787842560 8078 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2389610 8078 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440

[startup+0.700192 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 26614
/proc/meminfo: memFree=31301248/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 9756 0 1 0 133 3 0 0 20 0 19 0 281458536 9856004096 12079 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 12079 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 1.92 2.01 1.99 3/213 26633
/proc/meminfo: memFree=31250200/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=2.23 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 9842 0 1 0 219 4 0 0 20 0 19 0 281458536 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 15218 2283 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2583 0 1 0 140 1 0 0 20 0 19 0 281458537 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667438510632 139667378839436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 281458539 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2928 0 0 0 33 1 0 0 20 0 19 0 281458543 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625004

[startup+3.10066 s]
/proc/loadavg: 1.92 2.01 1.99 3/213 26633
/proc/meminfo: memFree=31245732/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=3.9 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 9883 0 1 0 386 4 0 0 20 0 19 0 281458536 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 15766 2283 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=2.94 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2586 0 1 0 293 1 0 0 20 0 19 0 281458537 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667438510384 139667378808319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 281458539 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2953 0 0 0 38 1 0 0 20 0 19 0 281458543 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625004

[startup+6.30067 s]
/proc/loadavg: 1.93 2.01 1.99 3/213 26633
/proc/meminfo: memFree=31237236/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=7.13 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 9918 0 1 0 709 4 0 0 20 0 19 0 281458536 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 16646 2283 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=6.02 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2592 0 1 0 601 1 0 0 20 0 19 0 281458537 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667438510488 139667378765986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 33 0 0 0 16 0 0 0 20 0 19 0 281458539 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2953 0 0 0 38 1 0 0 20 0 19 0 281458543 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9625004

[startup+12.7009 s]

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

[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2959 0 0 0 41 1 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 94 0 0 0 32 19 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1672.19
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26648
/proc/meminfo: memFree=30820040/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=1732.3 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 13065 0 1 0 173159 71 0 0 20 0 19 0 281458536 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 96034 2284 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=1698.21 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2827 0 1 0 169793 28 0 0 20 0 19 0 281458537 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667438510384 139667378468236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=1.57 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 311 0 0 0 152 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=1.52 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 345 0 0 0 146 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 427 0 0 0 154 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 374 0 0 0 144 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=1.57 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 349 0 0 0 153 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 329 0 0 0 147 3 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=1.54 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 247 0 0 0 149 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=1.59 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 388 0 0 0 154 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=15.87 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 155 0 0 0 1584 3 0 0 20 0 19 0 281458539 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2959 0 0 0 41 1 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 98 0 0 0 33 19 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1732.3
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26648
/proc/meminfo: memFree=30819356/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=1792.57 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 13077 0 1 0 179185 72 0 0 20 0 19 0 281458536 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 96034 2284 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=1757.36 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2831 0 1 0 175707 29 0 0 20 0 19 0 281458537 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667438510384 139667378765231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 311 0 0 0 156 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 345 0 0 0 150 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 427 0 0 0 158 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=1.54 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 374 0 0 0 148 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 349 0 0 0 158 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 329 0 0 0 150 3 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 247 0 0 0 156 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 388 0 0 0 160 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=16.46 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 159 0 0 0 1643 3 0 0 20 0 19 0 281458539 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2959 0 0 0 41 1 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 102 0 0 0 34 20 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.8 s]
/proc/loadavg: 2.16 2.03 2.01 3/213 26707
/proc/meminfo: memFree=30914552/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 13077 0 1 0 179935 72 0 0 20 0 19 0 281458536 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 96034 2284 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=1764.84 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2831 0 1 0 176455 29 0 0 20 0 19 0 281458537 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667438510384 139667378765577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 311 0 0 0 156 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 345 0 0 0 150 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 427 0 0 0 158 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=1.54 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 374 0 0 0 148 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 349 0 0 0 158 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 329 0 0 0 150 3 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 247 0 0 0 156 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 388 0 0 0 160 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=16.46 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 159 0 0 0 1643 3 0 0 20 0 19 0 281458539 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2959 0 0 0 41 1 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 102 0 0 0 34 20 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26614 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=689165
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=51840
# CPU time returned by wait4() is 1795.74
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1789.86
CPU time (s): 1800.07
CPU user time (s): 1799.35
CPU system time (s): 0.72
CPU usage (%): 100.57
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.69
system time used= 1.05184
maximum resident set size= 384268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13113
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43676
involuntary context switches= 28753

runsolver used 6.02008 second user time and 15.2237 second system time

The end

Launcher Data

Begin job on node106 at 2012-05-27 23:15:01
IDJOB=3710781
IDBENCH=2880
IDSOLVER=2289
FILE ID=node106/3710781-1338153300
RUNJOBID= node106-1338138950-25295
PBS_JOBID= 14624504
Free space on /tmp= 71336 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.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-3710781-1338153300/watcher-3710781-1338153300 -o /tmp/evaluation-result-3710781-1338153300/solver-3710781-1338153300 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710781-1338153300.opb

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

MD5SUM BENCH= d95d18eb9f9494c32273975c1bc570ba
RANDOM SEED=1453198931

node106.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.065
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.13
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.065
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.065
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.065
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.92
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.065
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.065
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.065
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		: 2667.065
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:        31303460 kB
Buffers:          171540 kB
Cached:           508196 kB
SwapCached:            0 kB
Active:           642808 kB
Inactive:          88900 kB
Active(anon):      42752 kB
Inactive(anon):    12004 kB
Active(file):     600056 kB
Inactive(file):    76896 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1840 kB
Writeback:             0 kB
AnonPages:         58960 kB
Mapped:            18708 kB
Shmem:               200 kB
Slab:             697120 kB
SReclaimable:     138992 kB
SUnreclaim:       558128 kB
KernelStack:        1608 kB
PageTables:         3952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 71332 MiB
End job on node106 at 2012-05-27 23:44:52