Trace number 3710565

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)29 1800.66 1791.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
MD5SUM931342e76f648ae82c047d164917a326
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.159975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables466
Total number of constraints694
Number of constraints which are clauses694
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint78
Number of terms in the objective function 466
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 466
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 466
Number of bits of the biggest sum of numbers9
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.08/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.12	c configuring ORDERS
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=true
0.08/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3710565-1338144294.opb
0.08/0.12	c reading problem ... 
0.53/0.30	c ... done. Wall clock time 0.185s.
0.53/0.30	c declared #vars     466
0.53/0.30	c #constraints  694
0.53/0.30	c constraints type 
0.53/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 663
0.53/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 31
0.53/0.30	c 694 constraints processed.
0.53/0.31	c SATISFIABLE
0.53/0.31	c OPTIMIZING...
0.53/0.31	c Got one! Elapsed wall clock time (in seconds):0.196
0.53/0.31	o 30
0.53/0.33	c Got one! Elapsed wall clock time (in seconds):0.209
0.53/0.33	o 29
1.20/0.63	c cleaning 2498 clauses out of 5009 with flag 5000/5009
1.45/0.84	c cleaning 4240 clauses out of 8513 with flag 11002/11011
1.69/1.08	c cleaning 5614 clauses out of 11271 with flag 18000/18009
2.01/1.35	c cleaning 6823 clauses out of 13657 with flag 26000/26009
2.35/1.66	c cleaning 7889 clauses out of 15834 with flag 35000/35009
2.75/2.02	c cleaning 8967 clauses out of 17947 with flag 45002/45011
3.15/2.41	c cleaning 9965 clauses out of 19978 with flag 56000/56009
3.56/2.86	c cleaning 11004 clauses out of 22016 with flag 68003/68012
4.07/3.33	c cleaning 11984 clauses out of 24009 with flag 81000/81009
4.57/3.85	c cleaning 12998 clauses out of 26026 with flag 95001/95010
5.21/4.43	c cleaning 13984 clauses out of 28027 with flag 110000/110009
5.81/5.00	c cleaning 15015 clauses out of 30043 with flag 126000/126009
6.42/5.63	c cleaning 15995 clauses out of 32028 with flag 143000/143009
7.14/6.32	c cleaning 17004 clauses out of 34037 with flag 161004/161013
7.84/7.06	c cleaning 18005 clauses out of 36029 with flag 180000/180009
8.64/7.80	c cleaning 18997 clauses out of 38027 with flag 200003/200012
9.45/8.60	c cleaning 19996 clauses out of 40028 with flag 221001/221010
10.25/9.44	c cleaning 21006 clauses out of 42031 with flag 243000/243009
11.26/10.43	c cleaning 22008 clauses out of 44025 with flag 266000/266009
12.16/11.32	c cleaning 22990 clauses out of 46017 with flag 290000/290009
13.07/12.29	c cleaning 23995 clauses out of 48027 with flag 315000/315009
14.18/13.35	c cleaning 25003 clauses out of 50033 with flag 341001/341010
15.29/14.45	c cleaning 25992 clauses out of 52030 with flag 368001/368010
16.70/15.83	c cleaning 27004 clauses out of 54037 with flag 396000/396009
17.81/16.99	c cleaning 28004 clauses out of 56033 with flag 425000/425009
19.12/18.21	c cleaning 28994 clauses out of 58031 with flag 455002/455011
20.43/19.52	c cleaning 30011 clauses out of 60038 with flag 486003/486012
21.84/20.97	c cleaning 30988 clauses out of 62026 with flag 518002/518011
23.34/22.43	c cleaning 31996 clauses out of 64041 with flag 551005/551014
24.96/24.04	c cleaning 33003 clauses out of 66040 with flag 585000/585009
26.37/25.45	c cleaning 34003 clauses out of 68037 with flag 620000/620009
27.89/26.94	c cleaning 35006 clauses out of 70034 with flag 656000/656009
29.41/28.44	c cleaning 35992 clauses out of 72028 with flag 693000/693009
31.02/30.03	c cleaning 37007 clauses out of 74037 with flag 731001/731010
32.75/31.78	c cleaning 37979 clauses out of 76029 with flag 770000/770009
34.46/33.44	c cleaning 38977 clauses out of 78050 with flag 810000/810009
36.20/35.12	c cleaning 40010 clauses out of 80075 with flag 851002/851011
38.19/37.14	c cleaning 41026 clauses out of 82068 with flag 893005/893014
39.92/38.84	c cleaning 41992 clauses out of 84037 with flag 936000/936009
41.75/40.67	c cleaning 43010 clauses out of 86047 with flag 980002/980011
43.86/42.73	c cleaning 44012 clauses out of 88035 with flag 1025000/1025009
46.33/45.16	c cleaning 44994 clauses out of 90023 with flag 1071000/1071009
48.44/47.25	c cleaning 46000 clauses out of 92031 with flag 1118002/1118011
51.05/49.86	c cleaning 46964 clauses out of 94031 with flag 1166002/1166011
53.37/52.15	c cleaning 48018 clauses out of 96065 with flag 1215000/1215009
55.88/54.64	c cleaning 48989 clauses out of 98047 with flag 1265000/1265009
58.80/57.53	c cleaning 50012 clauses out of 100058 with flag 1316000/1316009
61.13/59.83	c cleaning 51009 clauses out of 102048 with flag 1368002/1368011
63.48/62.13	c cleaning 52003 clauses out of 104037 with flag 1421000/1421009
65.89/64.52	c cleaning 52987 clauses out of 106037 with flag 1475003/1475012
68.42/67.01	c cleaning 53992 clauses out of 108047 with flag 1530000/1530009
71.04/69.61	c cleaning 55000 clauses out of 110055 with flag 1586000/1586009
73.67/72.26	c cleaning 56015 clauses out of 112055 with flag 1643000/1643009
76.80/75.37	c cleaning 56977 clauses out of 114043 with flag 1701003/1701012
80.52/79.05	c cleaning 58025 clauses out of 116064 with flag 1760001/1760010
83.35/81.87	c cleaning 58989 clauses out of 118038 with flag 1820000/1820009
87.58/86.06	c cleaning 60010 clauses out of 120049 with flag 1881000/1881009
91.81/90.29	c cleaning 60998 clauses out of 122039 with flag 1943000/1943009
95.63/94.09	c cleaning 62004 clauses out of 124041 with flag 2006000/2006009
98.55/96.97	c cleaning 63001 clauses out of 126037 with flag 2070000/2070009
101.58/99.99	c cleaning 64001 clauses out of 128036 with flag 2135000/2135009
104.90/103.25	c cleaning 65007 clauses out of 130037 with flag 2201002/2201011
108.61/106.95	c cleaning 65953 clauses out of 132028 with flag 2268000/2268009
112.14/110.41	c cleaning 67001 clauses out of 134077 with flag 2336002/2336011
116.08/114.32	c cleaning 67994 clauses out of 136075 with flag 2405001/2405010
119.40/117.66	c cleaning 69020 clauses out of 138080 with flag 2475000/2475009
123.31/121.56	c cleaning 69996 clauses out of 140063 with flag 2546003/2546012
127.15/125.38	c cleaning 70990 clauses out of 142064 with flag 2618000/2618009
130.67/128.83	c cleaning 72002 clauses out of 144074 with flag 2691000/2691009
135.19/133.34	c cleaning 73016 clauses out of 146074 with flag 2765002/2765011
140.03/138.15	c cleaning 74005 clauses out of 148057 with flag 2840001/2840010
144.25/142.35	c cleaning 74991 clauses out of 150051 with flag 2916000/2916009
148.46/146.53	c cleaning 76018 clauses out of 152060 with flag 2993000/2993009
152.20/150.28	c cleaning 77016 clauses out of 154042 with flag 3071000/3071009
156.03/154.08	c cleaning 78002 clauses out of 156030 with flag 3150004/3150013
160.25/158.24	c cleaning 78980 clauses out of 158024 with flag 3230000/3230009
164.37/162.31	c cleaning 80009 clauses out of 160045 with flag 3311001/3311010
168.80/166.70	c cleaning 80962 clauses out of 162035 with flag 3393000/3393009
173.23/171.19	c cleaning 81996 clauses out of 164073 with flag 3476000/3476009
179.05/176.92	c cleaning 83014 clauses out of 166080 with flag 3560003/3560012
185.79/183.63	c cleaning 84009 clauses out of 168063 with flag 3645000/3645009
190.63/188.43	c cleaning 84997 clauses out of 170054 with flag 3731000/3731009
197.34/195.15	c cleaning 86011 clauses out of 172058 with flag 3818001/3818010
203.28/201.04	c cleaning 86968 clauses out of 174046 with flag 3906000/3906009
208.11/205.87	c cleaning 88027 clauses out of 176078 with flag 3995000/3995009
216.33/214.07	c cleaning 88993 clauses out of 178051 with flag 4085000/4085009
222.27/219.96	c cleaning 89997 clauses out of 180058 with flag 4176000/4176009
229.69/227.30	c cleaning 91015 clauses out of 182061 with flag 4268000/4268009
235.02/232.67	c cleaning 91958 clauses out of 184046 with flag 4361000/4361009
241.46/239.07	c cleaning 93010 clauses out of 186093 with flag 4455005/4455014
246.90/244.40	c cleaning 94021 clauses out of 188078 with flag 4550000/4550009
251.62/249.18	c cleaning 95018 clauses out of 190057 with flag 4646000/4646009
257.25/254.72	c cleaning 95998 clauses out of 192039 with flag 4743000/4743009
262.47/259.97	c cleaning 97001 clauses out of 194043 with flag 4841002/4841011
267.49/264.91	c cleaning 98009 clauses out of 196040 with flag 4940000/4940009
273.82/271.23	c cleaning 98984 clauses out of 198031 with flag 5040000/5040009
282.81/280.12	c cleaning 100008 clauses out of 200047 with flag 5141000/5141009
288.84/286.16	c cleaning 100999 clauses out of 202040 with flag 5243001/5243010
295.67/292.99	c cleaning 101987 clauses out of 204040 with flag 5346000/5346009
302.38/299.65	c cleaning 102998 clauses out of 206053 with flag 5450000/5450009
308.51/305.79	c cleaning 103986 clauses out of 208061 with flag 5555006/5555015
316.02/313.28	c cleaning 104976 clauses out of 210070 with flag 5661001/5661010
324.44/321.64	c cleaning 106022 clauses out of 212093 with flag 5768000/5768009
333.06/330.29	c cleaning 107015 clauses out of 214071 with flag 5876000/5876009
339.91/337.09	c cleaning 108019 clauses out of 216056 with flag 5985000/5985009
346.83/343.90	c cleaning 109002 clauses out of 218041 with flag 6095004/6095013
353.47/350.52	c cleaning 109973 clauses out of 220036 with flag 6206001/6206010
362.40/359.45	c cleaning 111026 clauses out of 222069 with flag 6318007/6318016
369.34/366.33	c cleaning 111974 clauses out of 224036 with flag 6431000/6431009
379.97/376.92	c cleaning 113020 clauses out of 226065 with flag 6545003/6545012
388.01/384.98	c cleaning 113968 clauses out of 228042 with flag 6660000/6660009
395.36/392.29	c cleaning 115024 clauses out of 230080 with flag 6776006/6776015
401.68/398.51	c cleaning 115994 clauses out of 232050 with flag 6893000/6893009
409.71/406.55	c cleaning 116971 clauses out of 234056 with flag 7011000/7011009
418.95/415.74	c cleaning 118023 clauses out of 236085 with flag 7130000/7130009
426.28/423.08	c cleaning 118986 clauses out of 238062 with flag 7250000/7250009
434.60/431.36	c cleaning 120035 clauses out of 240076 with flag 7371000/7371009
442.44/439.16	c cleaning 120996 clauses out of 242041 with flag 7493000/7493009
451.89/448.55	c cleaning 122007 clauses out of 244045 with flag 7616000/7616009
459.96/456.55	c cleaning 122999 clauses out of 246038 with flag 7740000/7740009
468.89/465.46	c cleaning 123974 clauses out of 248039 with flag 7865000/7865009
477.45/473.93	c cleaning 124999 clauses out of 250065 with flag 7991000/7991009
488.17/484.60	c cleaning 126003 clauses out of 252066 with flag 8118000/8118009
495.61/492.09	c cleaning 127014 clauses out of 254063 with flag 8246000/8246009
506.94/503.33	c cleaning 128004 clauses out of 256049 with flag 8375000/8375009
517.19/513.54	c cleaning 128995 clauses out of 258045 with flag 8505000/8505009
526.72/523.00	c cleaning 129947 clauses out of 260052 with flag 8636002/8636011
535.35/531.65	c cleaning 131027 clauses out of 262103 with flag 8768000/8768009
545.51/541.70	c cleaning 131979 clauses out of 264077 with flag 8901001/8901010
552.76/548.99	c cleaning 133029 clauses out of 266097 with flag 9035000/9035009
563.19/559.33	c cleaning 134006 clauses out of 268068 with flag 9170000/9170009
572.83/568.96	c cleaning 135005 clauses out of 270062 with flag 9306000/9306009
585.08/581.16	c cleaning 136009 clauses out of 272057 with flag 9443000/9443009
596.52/592.52	c cleaning 136985 clauses out of 274048 with flag 9581000/9581009
605.46/601.47	c cleaning 137965 clauses out of 276063 with flag 9720000/9720009
616.19/612.16	c cleaning 139013 clauses out of 278099 with flag 9860001/9860010
629.52/625.43	c cleaning 140017 clauses out of 280085 with flag 10001000/10001009
639.29/635.18	c cleaning 141023 clauses out of 282069 with flag 10143001/10143010
648.24/644.08	c cleaning 142005 clauses out of 284045 with flag 10286000/10286009
656.70/652.48	c cleaning 142962 clauses out of 286040 with flag 10430000/10430009
665.54/661.26	c cleaning 144029 clauses out of 288078 with flag 10575000/10575009
678.79/674.44	c cleaning 145008 clauses out of 290049 with flag 10721000/10721009
688.36/683.92	c cleaning 145974 clauses out of 292041 with flag 10868000/10868009
700.83/696.32	c cleaning 147007 clauses out of 294067 with flag 11016000/11016009
711.15/706.62	c cleaning 147999 clauses out of 296060 with flag 11165000/11165009
721.21/716.66	c cleaning 149020 clauses out of 298061 with flag 11315000/11315009
733.88/729.21	c cleaning 149987 clauses out of 300042 with flag 11466001/11466010
744.11/739.41	c cleaning 150994 clauses out of 302054 with flag 11618000/11618009
758.16/753.45	c cleaning 151988 clauses out of 304060 with flag 11771000/11771009
772.80/768.06	c cleaning 153010 clauses out of 306074 with flag 11925002/11925011
784.86/780.06	c cleaning 153975 clauses out of 308064 with flag 12080002/12080011
797.79/792.97	c cleaning 155005 clauses out of 310087 with flag 12236000/12236009
808.15/803.24	c cleaning 156021 clauses out of 312084 with flag 12393002/12393011
822.12/817.11	c cleaning 157013 clauses out of 314061 with flag 12551000/12551009
835.15/830.12	c cleaning 158018 clauses out of 316048 with flag 12710000/12710009
848.51/843.42	c cleaning 158984 clauses out of 318030 with flag 12870000/12870009
862.54/857.46	c cleaning 159989 clauses out of 320046 with flag 13031000/13031009
875.23/870.07	c cleaning 160969 clauses out of 322057 with flag 13193000/13193009
888.66/883.46	c cleaning 162016 clauses out of 324090 with flag 13356002/13356011
899.01/893.76	c cleaning 162996 clauses out of 326072 with flag 13520000/13520009
913.07/907.77	c cleaning 163978 clauses out of 328076 with flag 13685000/13685009
928.51/923.13	c cleaning 165029 clauses out of 330098 with flag 13851000/13851009
942.34/936.96	c cleaning 165995 clauses out of 332072 with flag 14018003/14018012
957.38/951.99	c cleaning 167009 clauses out of 334074 with flag 14186000/14186009
973.24/967.74	c cleaning 168009 clauses out of 336067 with flag 14355002/14355011
988.47/982.98	c cleaning 168978 clauses out of 338059 with flag 14525003/14525012
1003.63/998.01	c cleaning 170012 clauses out of 340078 with flag 14696000/14696009
1020.39/1014.76	c cleaning 171010 clauses out of 342066 with flag 14868000/14868009
1037.69/1031.90	c cleaning 171986 clauses out of 344056 with flag 15041000/15041009
1050.62/1044.81	c cleaning 173019 clauses out of 346070 with flag 15215000/15215009
1061.17/1055.39	c cleaning 174014 clauses out of 348053 with flag 15390002/15390011
1072.60/1066.78	c cleaning 175000 clauses out of 350037 with flag 15566000/15566009
1085.73/1079.89	c cleaning 175993 clauses out of 352040 with flag 15743003/15743012
1097.56/1091.62	c cleaning 176989 clauses out of 354044 with flag 15921000/15921009
1113.90/1107.91	c cleaning 177963 clauses out of 356055 with flag 16100000/16100009
1127.47/1121.45	c cleaning 179026 clauses out of 358096 with flag 16280004/16280013
1145.09/1139.07	c cleaning 180019 clauses out of 360067 with flag 16461001/16461010
1157.36/1151.25	c cleaning 181006 clauses out of 362047 with flag 16643000/16643009
1173.49/1167.36	c cleaning 181976 clauses out of 364041 with flag 16826000/16826009
1190.45/1184.22	c cleaning 182998 clauses out of 366066 with flag 17010001/17010010
1209.86/1203.51	c cleaning 184006 clauses out of 368067 with flag 17195000/17195009
1227.65/1221.22	c cleaning 185017 clauses out of 370067 with flag 17381006/17381015
1248.95/1242.45	c cleaning 185996 clauses out of 372044 with flag 17568000/17568009
1266.66/1260.09	c cleaning 186975 clauses out of 374048 with flag 17756000/17756009
1282.41/1275.71	c cleaning 187969 clauses out of 376073 with flag 17945000/17945009
1298.74/1292.06	c cleaning 189000 clauses out of 378104 with flag 18135000/18135009
1316.72/1309.99	c cleaning 190026 clauses out of 380104 with flag 18326000/18326009
1331.77/1324.94	c cleaning 191036 clauses out of 382080 with flag 18518002/18518011
1348.34/1341.48	c cleaning 191997 clauses out of 384046 with flag 18711004/18711013
1367.63/1360.60	c cleaning 192995 clauses out of 386045 with flag 18905000/18905009
1381.89/1374.81	c cleaning 194001 clauses out of 388050 with flag 19100000/19100009
1399.93/1392.85	c cleaning 194994 clauses out of 390049 with flag 19296000/19296009
1419.36/1412.22	c cleaning 196002 clauses out of 392062 with flag 19493007/19493016
1438.85/1431.63	c cleaning 196987 clauses out of 394053 with flag 19691000/19691009
1459.03/1451.68	c cleaning 198001 clauses out of 396066 with flag 19890000/19890009
1477.37/1469.95	c cleaning 198947 clauses out of 398066 with flag 20090001/20090010
1493.87/1486.39	c cleaning 200029 clauses out of 400118 with flag 20291000/20291009
1517.02/1509.48	c cleaning 201032 clauses out of 402090 with flag 20493001/20493010
1537.48/1529.82	c cleaning 202000 clauses out of 404057 with flag 20696000/20696009
1555.73/1548.03	c cleaning 202990 clauses out of 406057 with flag 20900000/20900009
1574.49/1566.78	c cleaning 203986 clauses out of 408067 with flag 21105000/21105009
1594.75/1586.96	c cleaning 205011 clauses out of 410085 with flag 21311004/21311013
1613.30/1605.46	c cleaning 205993 clauses out of 412070 with flag 21518000/21518009
1631.68/1623.71	c cleaning 207003 clauses out of 414077 with flag 21726000/21726009
1649.94/1641.92	c cleaning 208004 clauses out of 416078 with flag 21935004/21935013
1668.80/1660.76	c cleaning 208964 clauses out of 418070 with flag 22145000/22145009
1687.84/1679.78	c cleaning 210011 clauses out of 420106 with flag 22356000/22356009
1706.12/1697.98	c cleaning 211010 clauses out of 422095 with flag 22568000/22568009
1722.66/1714.43	c cleaning 212035 clauses out of 424087 with flag 22781002/22781011
1737.85/1729.55	c cleaning 212984 clauses out of 426050 with flag 22995000/22995009
1751.50/1743.10	c cleaning 213982 clauses out of 428066 with flag 23210000/23210009
1766.66/1758.26	c cleaning 215012 clauses out of 430084 with flag 23426000/23426009
1790.84/1782.31	c cleaning 216016 clauses out of 432072 with flag 23643000/23643009
1800.09/1791.51	c starts		: 375
1800.09/1791.51	c conflicts		: 23788398
1800.09/1791.51	c decisions		: 77428465
1800.09/1791.51	c propagations		: 741169095
1800.09/1791.51	c inspects		: 7376894445
1800.09/1791.51	c shortcuts		: 0
1800.09/1791.51	c learnt literals	: 0
1800.09/1791.51	c learnt binary clauses	: 0
1800.09/1791.51	c learnt ternary clauses	: 0
1800.09/1791.51	c learnt constraints	: 23788398
1800.09/1791.51	c ignored constraints	: 0
1800.09/1791.51	c root simplifications	: 375
1800.09/1791.51	c removed literals (reason simplification)	: 50246406
1800.09/1791.51	c reason swapping (by a shorter reason)	: 0
1800.09/1791.51	c Calls to reduceDB	: 213
1800.09/1791.51	c number of reductions to clauses (during analyze)	: 0
1800.09/1791.51	c number of learned constraints concerned by reduction	: 0
1800.09/1791.51	c number of learning phase by resolution	: 0
1800.09/1791.51	c number of learning phase by cutting planes	: 0
1800.09/1791.51	c speed (assignments/second)	: 413782.90009563405
1800.09/1791.51	c non guided choices	860
1800.09/1791.55	c learnt constraints type 
1800.09/1791.55	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 361868
1800.09/1791.55	c constraints type 
1800.09/1791.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 663
1800.09/1791.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.09/1791.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 31
1800.09/1791.55	c 695 constraints processed.
1800.09/1791.55	s SATISFIABLE
1800.09/1791.55	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 
1800.09/1791.55	c objective function=29
1800.09/1791.55	c Total wall clock time (in seconds): 1791.431

Verifier Data 

OK	29

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 3801
/proc/meminfo: memFree=28966672/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3801/stat : 3801 (java) D 3799 3801 32120 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 280554874 9515008 183 33554432000 1073741824 1073778376 140736222850576 140736222841608 270707539637 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3801/statm: 2323 183 140 9 0 71 0

[startup+0.044932 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 3801
/proc/meminfo: memFree=28966672/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/3801/stat : 3801 (java) S 3799 3801 32120 0 -1 4202496 3026 0 1 0 2 0 0 0 20 0 13 0 280554874 9446973440 3722 33554432000 1073741824 1073778376 140735107530768 140735107521904 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3801/statm: 2306390 3722 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100198 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 3801
/proc/meminfo: memFree=28966672/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/3801/stat : 3801 (java) S 3799 3801 32120 0 -1 4202496 4289 0 1 0 8 0 0 0 20 0 18 0 280554874 9787842560 6006 33554432000 1073741824 1073778376 140735107530768 140735107521904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3801/statm: 2389610 6006 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300173 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 3801
/proc/meminfo: memFree=28966672/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9558440 CPUtime=0.53 cores=1,3,5,7
/proc/3801/stat : 3801 (java) S 3799 3801 32120 0 -1 4202496 7698 0 1 0 52 1 0 0 20 0 18 0 280554874 9787842560 10240 33554432000 1073741824 1073778376 140735107530768 140735107521904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3801/statm: 2389610 10240 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558440

[startup+0.700217 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 3801
/proc/meminfo: memFree=28966672/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/3801/stat : 3801 (java) S 3799 3801 32120 0 -1 4202496 9297 0 1 0 134 1 0 0 20 0 19 0 280554874 9856004096 12935 33554432000 1073741824 1073778376 140735107530768 140735107521904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3801/statm: 2406251 12935 2286 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625004

[startup+1.50073 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3820
/proc/meminfo: memFree=28921524/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9625004 CPUtime=2.25 cores=1,3,5,7
/proc/3801/stat : 3801 (java) S 3799 3801 32120 0 -1 4202496 9319 0 1 0 223 2 0 0 20 0 19 0 280554874 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 140735107521904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3801/statm: 2406251 13973 2286 9 0 2396937 0
[pid=3801/tid=3803] ppid=3799 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/3801/task/3803/stat : 3803 (java) R 3799 3801 32120 0 -1 4202560 2516 0 1 0 141 0 0 0 20 0 19 0 280554875 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139947449504168 139947298935638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3804] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3804/stat : 3804 (java) S 3799 3801 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139947421957032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3805] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3805/stat : 3805 (java) S 3799 3801 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139947420904488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3806] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3806/stat : 3806 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139947419851432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3807] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3807/stat : 3807 (java) S 3799 3801 32120 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139947418798888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3808] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3808/stat : 3808 (java) S 3799 3801 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139947417745832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3809] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3809/stat : 3809 (java) S 3799 3801 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139947287292456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3810] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3810/stat : 3810 (java) S 3799 3801 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139947286239400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3811] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3811/stat : 3811 (java) S 3799 3801 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139947285186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3812] ppid=3799 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/3801/task/3812/stat : 3812 (java) S 3799 3801 32120 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 280554877 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139946802240360 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3813] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3813/stat : 3813 (java) S 3799 3801 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139946801186680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3814] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3814/stat : 3814 (java) S 3799 3801 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139946800133512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3815] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3815/stat : 3815 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139946799082256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3816] ppid=3799 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3801/task/3816/stat : 3816 (java) S 3799 3801 32120 0 -1 4202560 3216 0 0 0 42 0 0 0 20 0 19 0 280554880 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139946798029112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3817] ppid=3799 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/3801/task/3817/stat : 3817 (java) S 3799 3801 32120 0 -1 4202560 2324 0 0 0 31 0 0 0 20 0 19 0 280554880 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139946796976568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3818] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3818/stat : 3818 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139946795923704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3819] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3819/stat : 3819 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139946794871368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3820] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3820/stat : 3820 (java) S 3799 3801 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280554905 9856004096 13973 33554432000 1073741824 1073778376 140735107530768 139946793817640 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9625004

[startup+3.10053 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3820
/proc/meminfo: memFree=28919352/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9625004 CPUtime=3.86 cores=1,3,5,7
/proc/3801/stat : 3801 (java) S 3799 3801 32120 0 -1 4202496 9336 0 1 0 384 2 0 0 20 0 19 0 280554874 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 140735107521904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3801/statm: 2406251 14497 2286 9 0 2396937 0
[pid=3801/tid=3803] ppid=3799 vsize=9625004 CPUtime=2.96 cores=1,3,5,7
/proc/3801/task/3803/stat : 3803 (java) R 3799 3801 32120 0 -1 4202560 2520 0 1 0 296 0 0 0 20 0 19 0 280554875 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139947449504048 139947298881063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3804] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3804/stat : 3804 (java) S 3799 3801 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139947421957032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3805] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3805/stat : 3805 (java) S 3799 3801 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139947420904488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3806] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3806/stat : 3806 (java) S 3799 3801 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139947419851432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3807] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3807/stat : 3807 (java) S 3799 3801 32120 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139947418798888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3808] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3808/stat : 3808 (java) S 3799 3801 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139947417745832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3809] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3809/stat : 3809 (java) S 3799 3801 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139947287292456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3810] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3810/stat : 3810 (java) S 3799 3801 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139947286239400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3811] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3811/stat : 3811 (java) S 3799 3801 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139947285186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3812] ppid=3799 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/3801/task/3812/stat : 3812 (java) S 3799 3801 32120 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 280554877 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139946802240360 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3813] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3813/stat : 3813 (java) S 3799 3801 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139946801186680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3814] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3814/stat : 3814 (java) S 3799 3801 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139946800133512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3815] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3815/stat : 3815 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139946799082256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3816] ppid=3799 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3801/task/3816/stat : 3816 (java) S 3799 3801 32120 0 -1 4202560 3216 0 0 0 42 0 0 0 20 0 19 0 280554880 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139946798029112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3817] ppid=3799 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/3801/task/3817/stat : 3817 (java) S 3799 3801 32120 0 -1 4202560 2324 0 0 0 31 0 0 0 20 0 19 0 280554880 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139946796976568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3818] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3818/stat : 3818 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139946795923704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3819] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3819/stat : 3819 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139946794871368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3820] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3820/stat : 3820 (java) S 3799 3801 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280554905 9856004096 14497 33554432000 1073741824 1073778376 140735107530768 139946793817640 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625004

[startup+6.30057 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 3820
/proc/meminfo: memFree=28913292/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9625004 CPUtime=7.14 cores=1,3,5,7
/proc/3801/stat : 3801 (java) S 3799 3801 32120 0 -1 4202496 9371 0 1 0 711 3 0 0 20 0 19 0 280554874 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 140735107521904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3801/statm: 2406251 15429 2286 9 0 2396937 0
[pid=3801/tid=3803] ppid=3799 vsize=9625004 CPUtime=6.07 cores=1,3,5,7
/proc/3801/task/3803/stat : 3803 (java) R 3799 3801 32120 0 -1 4202560 2526 0 1 0 607 0 0 0 20 0 19 0 280554875 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139947449504048 139947299032803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3804] ppid=3799 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3801/task/3804/stat : 3804 (java) S 3799 3801 32120 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 280554876 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139947421957032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3805] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3805/stat : 3805 (java) S 3799 3801 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139947420904488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3806] ppid=3799 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3801/task/3806/stat : 3806 (java) S 3799 3801 32120 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 280554876 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139947419851432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3807] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3807/stat : 3807 (java) S 3799 3801 32120 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139947418798888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3808] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3808/stat : 3808 (java) S 3799 3801 32120 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139947417745832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3809] ppid=3799 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3801/task/3809/stat : 3809 (java) S 3799 3801 32120 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 280554876 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139947287292456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3810] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3810/stat : 3810 (java) S 3799 3801 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280554876 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139947286239400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3811] ppid=3799 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3801/task/3811/stat : 3811 (java) S 3799 3801 32120 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 280554876 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139947285186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3812] ppid=3799 vsize=9625004 CPUtime=0.13 cores=1,3,5,7
/proc/3801/task/3812/stat : 3812 (java) S 3799 3801 32120 0 -1 4202560 32 0 0 0 13 0 0 0 20 0 19 0 280554877 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139946802240360 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3813] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3813/stat : 3813 (java) S 3799 3801 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139946801186680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3814] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3814/stat : 3814 (java) S 3799 3801 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139946800133512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3815] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3815/stat : 3815 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139946799082256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3816] ppid=3799 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/3801/task/3816/stat : 3816 (java) S 3799 3801 32120 0 -1 4202560 3216 0 0 0 42 0 0 0 20 0 19 0 280554880 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139946798029112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3817] ppid=3799 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/3801/task/3817/stat : 3817 (java) S 3799 3801 32120 0 -1 4202560 2324 0 0 0 31 0 0 0 20 0 19 0 280554880 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139946796976568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3818] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3818/stat : 3818 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139946795923704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3819] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3819/stat : 3819 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139946794871368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3820] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3820/stat : 3820 (java) S 3799 3801 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280554905 9856004096 15429 33554432000 1073741824 1073778376 140735107530768 139946793817640 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=3801/tid=3809] ppid=3799 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/3801/task/3809/stat : 3809 (java) S 3799 3801 32120 0 -1 4202560 209 0 0 0 126 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947287292456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3810] ppid=3799 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/3801/task/3810/stat : 3810 (java) S 3799 3801 32120 0 -1 4202560 392 0 0 0 131 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947286239400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3811] ppid=3799 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/3801/task/3811/stat : 3811 (java) S 3799 3801 32120 0 -1 4202560 292 0 0 0 130 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947285186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3812] ppid=3799 vsize=9625004 CPUtime=11.22 cores=1,3,5,7
/proc/3801/task/3812/stat : 3812 (java) S 3799 3801 32120 0 -1 4202560 163 0 0 0 1119 3 0 0 20 0 19 0 280554877 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946802240360 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3813] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3813/stat : 3813 (java) S 3799 3801 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946801186680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3814] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3814/stat : 3814 (java) S 3799 3801 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946800133512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3815] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3815/stat : 3815 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946799082256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3816] ppid=3799 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/3801/task/3816/stat : 3816 (java) S 3799 3801 32120 0 -1 4202560 3223 0 0 0 44 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946798029112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3817] ppid=3799 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/3801/task/3817/stat : 3817 (java) S 3799 3801 32120 0 -1 4202560 2324 0 0 0 31 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946796976568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3818] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3818/stat : 3818 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946795923704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3819] ppid=3799 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/3801/task/3819/stat : 3819 (java) S 3799 3801 32120 0 -1 4202560 99 0 0 0 21 26 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946794871368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3820] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3820/stat : 3820 (java) S 3799 3801 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280554905 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946793817640 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1730.64
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/213 4144
/proc/meminfo: memFree=28758956/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9625004 CPUtime=1790.84 cores=1,3,5,7
/proc/3801/stat : 3801 (java) S 3799 3801 32120 0 -1 4202496 12253 0 1 0 179035 49 0 0 20 0 19 0 280554874 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 140735107521904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3801/statm: 2406251 71986 2287 9 0 2396937 0
[pid=3801/tid=3803] ppid=3799 vsize=9625004 CPUtime=1767.86 cores=1,3,5,7
/proc/3801/task/3803/stat : 3803 (java) R 3799 3801 32120 0 -1 4202560 2750 0 1 0 176758 28 0 0 20 0 19 0 280554875 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947449504048 139947299065215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3804] ppid=3799 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/3801/task/3804/stat : 3804 (java) S 3799 3801 32120 0 -1 4202560 248 0 0 0 125 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947421957032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3805] ppid=3799 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/3801/task/3805/stat : 3805 (java) S 3799 3801 32120 0 -1 4202560 416 0 0 0 124 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947420904488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3806] ppid=3799 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/3801/task/3806/stat : 3806 (java) S 3799 3801 32120 0 -1 4202560 379 0 0 0 127 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947419851432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3807] ppid=3799 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/3801/task/3807/stat : 3807 (java) S 3799 3801 32120 0 -1 4202560 287 0 0 0 125 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947418798888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3808] ppid=3799 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/3801/task/3808/stat : 3808 (java) S 3799 3801 32120 0 -1 4202560 279 0 0 0 126 1 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947417745832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3809] ppid=3799 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/3801/task/3809/stat : 3809 (java) S 3799 3801 32120 0 -1 4202560 209 0 0 0 129 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947287292456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3810] ppid=3799 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/3801/task/3810/stat : 3810 (java) S 3799 3801 32120 0 -1 4202560 392 0 0 0 133 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947286239400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3811] ppid=3799 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/3801/task/3811/stat : 3811 (java) S 3799 3801 32120 0 -1 4202560 292 0 0 0 132 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947285186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3812] ppid=3799 vsize=9625004 CPUtime=11.54 cores=1,3,5,7
/proc/3801/task/3812/stat : 3812 (java) S 3799 3801 32120 0 -1 4202560 165 0 0 0 1151 3 0 0 20 0 19 0 280554877 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946802240360 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3813] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3813/stat : 3813 (java) S 3799 3801 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946801186680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3814] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3814/stat : 3814 (java) S 3799 3801 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946800133512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3815] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3815/stat : 3815 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946799082256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3816] ppid=3799 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/3801/task/3816/stat : 3816 (java) S 3799 3801 32120 0 -1 4202560 3223 0 0 0 44 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946798029112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3817] ppid=3799 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/3801/task/3817/stat : 3817 (java) S 3799 3801 32120 0 -1 4202560 2324 0 0 0 31 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946796976568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3818] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3818/stat : 3818 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946795923704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3819] ppid=3799 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/3801/task/3819/stat : 3819 (java) S 3799 3801 32120 0 -1 4202560 103 0 0 0 22 28 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946794871368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3820] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3820/stat : 3820 (java) S 3799 3801 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280554905 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946793817640 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1790.84
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.5 s]
/proc/loadavg: 2.02 2.00 2.00 3/213 4144
/proc/meminfo: memFree=28759080/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/3801/stat : 3801 (java) S 3799 3801 32120 0 -1 4202496 12256 0 1 0 179960 49 0 0 20 0 19 0 280554874 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 140735107521904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3801/statm: 2406251 71986 2287 9 0 2396937 0
[pid=3801/tid=3803] ppid=3799 vsize=9625004 CPUtime=1776.95 cores=1,3,5,7
/proc/3801/task/3803/stat : 3803 (java) R 3799 3801 32120 0 -1 4202560 2751 0 1 0 177666 29 0 0 20 0 19 0 280554875 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947449504048 139947298855623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3804] ppid=3799 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/3801/task/3804/stat : 3804 (java) S 3799 3801 32120 0 -1 4202560 248 0 0 0 127 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947421957032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3805] ppid=3799 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/3801/task/3805/stat : 3805 (java) S 3799 3801 32120 0 -1 4202560 416 0 0 0 124 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947420904488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3806] ppid=3799 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/3801/task/3806/stat : 3806 (java) S 3799 3801 32120 0 -1 4202560 379 0 0 0 127 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947419851432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3807] ppid=3799 vsize=9625004 CPUtime=1.28 cores=1,3,5,7
/proc/3801/task/3807/stat : 3807 (java) S 3799 3801 32120 0 -1 4202560 287 0 0 0 126 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947418798888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3808] ppid=3799 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/3801/task/3808/stat : 3808 (java) S 3799 3801 32120 0 -1 4202560 279 0 0 0 126 1 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947417745832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3809] ppid=3799 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/3801/task/3809/stat : 3809 (java) S 3799 3801 32120 0 -1 4202560 209 0 0 0 130 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947287292456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3810] ppid=3799 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/3801/task/3810/stat : 3810 (java) S 3799 3801 32120 0 -1 4202560 392 0 0 0 133 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947286239400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3811] ppid=3799 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/3801/task/3811/stat : 3811 (java) S 3799 3801 32120 0 -1 4202560 292 0 0 0 133 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947285186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3812] ppid=3799 vsize=9625004 CPUtime=11.64 cores=1,3,5,7
/proc/3801/task/3812/stat : 3812 (java) S 3799 3801 32120 0 -1 4202560 167 0 0 0 1161 3 0 0 20 0 19 0 280554877 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946802240360 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3813] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3813/stat : 3813 (java) S 3799 3801 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946801186680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3814] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3814/stat : 3814 (java) S 3799 3801 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946800133512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3815] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3815/stat : 3815 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946799082256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3816] ppid=3799 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/3801/task/3816/stat : 3816 (java) S 3799 3801 32120 0 -1 4202560 3223 0 0 0 44 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946798029112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3817] ppid=3799 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/3801/task/3817/stat : 3817 (java) S 3799 3801 32120 0 -1 4202560 2324 0 0 0 31 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946796976568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3818] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3818/stat : 3818 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946795923704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3819] ppid=3799 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/3801/task/3819/stat : 3819 (java) S 3799 3801 32120 0 -1 4202560 103 0 0 0 22 28 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946794871368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3820] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3820/stat : 3820 (java) S 3799 3801 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280554905 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946793817640 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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+1791.5 s]
/proc/loadavg: 2.02 2.00 2.00 3/213 4144
/proc/meminfo: memFree=28759080/32873648 swapFree=6864/6864
[pid=3801] ppid=3799 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/3801/stat : 3801 (java) S 3799 3801 32120 0 -1 4202496 12256 0 1 0 179960 49 0 0 20 0 19 0 280554874 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 140735107521904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3801/statm: 2406251 71986 2287 9 0 2396937 0
[pid=3801/tid=3803] ppid=3799 vsize=9625004 CPUtime=1776.95 cores=1,3,5,7
/proc/3801/task/3803/stat : 3803 (java) R 3799 3801 32120 0 -1 4202560 2751 0 1 0 177666 29 0 0 20 0 19 0 280554875 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947449504048 139947298855623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3804] ppid=3799 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/3801/task/3804/stat : 3804 (java) S 3799 3801 32120 0 -1 4202560 248 0 0 0 127 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947421957032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3805] ppid=3799 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/3801/task/3805/stat : 3805 (java) S 3799 3801 32120 0 -1 4202560 416 0 0 0 124 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947420904488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3806] ppid=3799 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/3801/task/3806/stat : 3806 (java) S 3799 3801 32120 0 -1 4202560 379 0 0 0 127 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947419851432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3807] ppid=3799 vsize=9625004 CPUtime=1.28 cores=1,3,5,7
/proc/3801/task/3807/stat : 3807 (java) S 3799 3801 32120 0 -1 4202560 287 0 0 0 126 2 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947418798888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3801/tid=3808] ppid=3799 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/3801/task/3808/stat : 3808 (java) S 3799 3801 32120 0 -1 4202560 279 0 0 0 126 1 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947417745832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3809] ppid=3799 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/3801/task/3809/stat : 3809 (java) S 3799 3801 32120 0 -1 4202560 209 0 0 0 130 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947287292456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3810] ppid=3799 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/3801/task/3810/stat : 3810 (java) S 3799 3801 32120 0 -1 4202560 392 0 0 0 133 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947286239400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3811] ppid=3799 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/3801/task/3811/stat : 3811 (java) S 3799 3801 32120 0 -1 4202560 292 0 0 0 133 3 0 0 20 0 19 0 280554876 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139947285186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3812] ppid=3799 vsize=9625004 CPUtime=11.64 cores=1,3,5,7
/proc/3801/task/3812/stat : 3812 (java) S 3799 3801 32120 0 -1 4202560 167 0 0 0 1161 3 0 0 20 0 19 0 280554877 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946802240360 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3813] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3813/stat : 3813 (java) S 3799 3801 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946801186680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3814] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3814/stat : 3814 (java) S 3799 3801 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280554878 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946800133512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3815] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3815/stat : 3815 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946799082256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3816] ppid=3799 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/3801/task/3816/stat : 3816 (java) S 3799 3801 32120 0 -1 4202560 3223 0 0 0 44 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946798029112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3801/tid=3817] ppid=3799 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/3801/task/3817/stat : 3817 (java) S 3799 3801 32120 0 -1 4202560 2324 0 0 0 31 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946796976568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3801/tid=3818] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3818/stat : 3818 (java) S 3799 3801 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946795923704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3819] ppid=3799 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/3801/task/3819/stat : 3819 (java) S 3799 3801 32120 0 -1 4202560 103 0 0 0 22 28 0 0 20 0 19 0 280554880 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946794871368 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3801/tid=3820] ppid=3799 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3801/task/3820/stat : 3820 (java) S 3799 3801 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280554905 9856004096 71986 33554432000 1073741824 1073778376 140735107530768 139946793817640 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1791.56
CPU time (s): 1800.66
CPU user time (s): 1799.74
CPU system time (s): 0.91986
CPU usage (%): 100.508
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.91986
maximum resident set size= 288076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12292
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= 43766
involuntary context switches= 17497

runsolver used 6.49001 second user time and 14.2928 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-27 20:44:55
IDJOB=3710565
IDBENCH=2049
IDSOLVER=2289
FILE ID=node125/3710565-1338144294
RUNJOBID= node125-1338125514-32137
PBS_JOBID= 14624515
Free space on /tmp= 71260 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-count.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-3710565-1338144294/watcher-3710565-1338144294 -o /tmp/evaluation-result-3710565-1338144294/solver-3710565-1338144294 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710565-1338144294.opb

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

MD5SUM BENCH= 931342e76f648ae82c047d164917a326
RANDOM SEED=509267123

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28967044 kB
Buffers:          452396 kB
Cached:          2434656 kB
SwapCached:         2304 kB
Active:          1560388 kB
Inactive:        1500344 kB
Active(anon):     165420 kB
Inactive(anon):     9556 kB
Active(file):    1394968 kB
Inactive(file):  1490788 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102616 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:        181716 kB
Mapped:            22484 kB
Shmem:               104 kB
Slab:             703580 kB
SReclaimable:     147196 kB
SUnreclaim:       556384 kB
KernelStack:        1576 kB
PageTables:         4504 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     700728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71256 MiB
End job on node125 at 2012-05-27 21:14:48