Trace number 3710723

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)304 1800.09 1794.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUMdcfce19ac0444148b26b7675e35c76bc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark304
Best CPU time to get the best result obtained on this benchmark0.010997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 304
Optimality of the best value was proved YES
Number of variables257
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Number of terms in the objective function 173
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 8448
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 8448
Number of bits of the biggest sum of numbers14
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710723-1338146611.opb
0.09/0.12	c reading problem ... 
0.09/0.17	c ... done. Wall clock time 0.048s.
0.09/0.17	c declared #vars     257
0.09/0.17	c #constraints  181
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 44
0.09/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 56
0.09/0.17	c ignored satisfied constraints => 1
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80
0.09/0.17	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.09/0.17	c 182 constraints processed.
0.24/0.21	c SATISFIABLE
0.24/0.21	c OPTIMIZING...
0.24/0.21	c Got one! Elapsed wall clock time (in seconds):0.089
0.24/0.21	o 2726
0.24/0.22	c Got one! Elapsed wall clock time (in seconds):0.094
0.24/0.22	o 2225
0.24/0.22	c Got one! Elapsed wall clock time (in seconds):0.103
0.24/0.22	o 2224
0.24/0.23	c Got one! Elapsed wall clock time (in seconds):0.108
0.24/0.23	o 2021
0.24/0.23	c Got one! Elapsed wall clock time (in seconds):0.112
0.24/0.23	o 1716
0.24/0.24	c Got one! Elapsed wall clock time (in seconds):0.119
0.24/0.24	o 1618
0.24/0.24	c Got one! Elapsed wall clock time (in seconds):0.123
0.24/0.24	o 1117
0.24/0.25	c Got one! Elapsed wall clock time (in seconds):0.127
0.24/0.25	o 1116
0.24/0.25	c Got one! Elapsed wall clock time (in seconds):0.13
0.24/0.25	o 1016
0.24/0.25	c Got one! Elapsed wall clock time (in seconds):0.133
0.24/0.25	o 1015
0.24/0.26	c Got one! Elapsed wall clock time (in seconds):0.137
0.24/0.26	o 915
0.24/0.26	c Got one! Elapsed wall clock time (in seconds):0.139
0.24/0.26	o 910
0.24/0.26	c Got one! Elapsed wall clock time (in seconds):0.141
0.24/0.26	o 809
0.24/0.26	c Got one! Elapsed wall clock time (in seconds):0.144
0.24/0.26	o 708
0.50/0.32	c Got one! Elapsed wall clock time (in seconds):0.196
0.50/0.32	o 610
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.229
0.50/0.35	o 608
0.50/0.37	c Got one! Elapsed wall clock time (in seconds):0.248
0.50/0.37	o 607
0.50/0.38	c Got one! Elapsed wall clock time (in seconds):0.257
0.50/0.38	o 508
0.81/0.40	c Got one! Elapsed wall clock time (in seconds):0.28
0.81/0.40	o 507
1.01/0.53	c Got one! Elapsed wall clock time (in seconds):0.41
1.01/0.53	o 407
1.01/0.59	c cleaning 3663 clauses out of 7338 with flag 1000/7338
1.27/0.76	c cleaning 4837 clauses out of 9677 with flag 7002/13340
1.27/0.79	c Got one! Elapsed wall clock time (in seconds):0.672
1.27/0.79	o 406
1.48/0.95	c cleaning 5318 clauses out of 10642 with flag 5000/19142
1.60/1.02	c Got one! Elapsed wall clock time (in seconds):0.897
1.60/1.02	o 405
1.60/1.09	c Got one! Elapsed wall clock time (in seconds):0.972
1.60/1.09	o 309
1.71/1.14	c cleaning 5822 clauses out of 11644 with flag 1000/25462
1.71/1.16	c Got one! Elapsed wall clock time (in seconds):1.036
1.71/1.16	o 308
1.71/1.16	c Got one! Elapsed wall clock time (in seconds):1.039
1.71/1.16	o 307
1.82/1.23	c Got one! Elapsed wall clock time (in seconds):1.113
1.82/1.23	o 306
1.92/1.32	c cleaning 5813 clauses out of 11628 with flag 3000/31268
1.92/1.35	c Got one! Elapsed wall clock time (in seconds):1.232
1.92/1.35	o 305
1.92/1.36	c Got one! Elapsed wall clock time (in seconds):1.243
1.92/1.36	o 304
2.12/1.53	c cleaning 5920 clauses out of 11849 with flag 5000/37302
2.32/1.71	c cleaning 5965 clauses out of 11929 with flag 11000/43302
2.53/1.94	c cleaning 6479 clauses out of 12964 with flag 18000/50302
2.74/2.18	c cleaning 7241 clauses out of 14487 with flag 26002/58304
3.03/2.46	c cleaning 8117 clauses out of 16244 with flag 35000/67302
3.45/2.81	c cleaning 9064 clauses out of 18127 with flag 45000/77302
3.77/3.15	c cleaning 10030 clauses out of 20065 with flag 56002/88304
4.17/3.52	c cleaning 11017 clauses out of 22034 with flag 68001/100303
4.58/3.94	c cleaning 12005 clauses out of 24017 with flag 81001/113303
5.10/4.44	c cleaning 13006 clauses out of 26011 with flag 95000/127302
5.62/4.93	c cleaning 14000 clauses out of 28006 with flag 110001/142303
6.15/5.47	c cleaning 14996 clauses out of 30005 with flag 126000/158302
6.87/6.12	c cleaning 16002 clauses out of 32009 with flag 143000/175302
7.50/6.72	c cleaning 17004 clauses out of 34008 with flag 161001/193303
8.10/7.36	c cleaning 17997 clauses out of 36004 with flag 180001/212303
8.71/7.97	c cleaning 18999 clauses out of 38006 with flag 200000/232302
9.63/8.82	c cleaning 20003 clauses out of 40007 with flag 221000/253302
10.45/9.69	c cleaning 20998 clauses out of 42004 with flag 243000/275302
11.36/10.56	c cleaning 21997 clauses out of 44007 with flag 266001/298303
12.38/11.50	c cleaning 23000 clauses out of 46009 with flag 290000/322302
13.38/12.52	c cleaning 23996 clauses out of 48009 with flag 315000/347302
14.29/13.49	c cleaning 25004 clauses out of 50013 with flag 341000/373302
15.61/14.76	c cleaning 26004 clauses out of 52009 with flag 368000/400302
16.81/15.95	c cleaning 27000 clauses out of 54005 with flag 396000/428302
18.23/17.39	c cleaning 28005 clauses out of 56010 with flag 425005/457307
19.54/18.68	c cleaning 28996 clauses out of 58000 with flag 455000/487302
20.86/19.95	c cleaning 29996 clauses out of 60004 with flag 486000/518302
22.46/21.53	c cleaning 30997 clauses out of 62009 with flag 518001/550303
24.07/23.11	c cleaning 31997 clauses out of 64011 with flag 551000/583302
25.88/24.90	c cleaning 33000 clauses out of 66014 with flag 585000/617302
27.31/26.32	c cleaning 34006 clauses out of 68014 with flag 620000/652302
28.52/27.57	c cleaning 35004 clauses out of 70008 with flag 656000/688302
30.51/29.52	c cleaning 36001 clauses out of 72004 with flag 693000/725302
32.43/31.49	c cleaning 37001 clauses out of 74003 with flag 731000/763302
34.37/33.38	c cleaning 38000 clauses out of 76003 with flag 770001/802303
36.97/35.97	c cleaning 38992 clauses out of 78002 with flag 810000/842302
39.68/38.61	c cleaning 40001 clauses out of 80010 with flag 851000/883302
42.39/41.30	c cleaning 40998 clauses out of 82009 with flag 893000/925302
44.42/43.32	c cleaning 42003 clauses out of 84011 with flag 936000/968302
46.84/45.74	c cleaning 43003 clauses out of 86008 with flag 980000/1012302
48.97/47.89	c cleaning 44002 clauses out of 88005 with flag 1025000/1057302
51.57/50.43	c cleaning 44998 clauses out of 90003 with flag 1071000/1103302
54.69/53.54	c cleaning 46002 clauses out of 92005 with flag 1118000/1150302
57.51/56.34	c cleaning 46998 clauses out of 94004 with flag 1166001/1198303
59.71/58.56	c cleaning 48002 clauses out of 96006 with flag 1215001/1247303
62.42/61.21	c cleaning 48997 clauses out of 98004 with flag 1265001/1297303
65.33/64.11	c cleaning 50003 clauses out of 100006 with flag 1316000/1348302
67.36/66.15	c cleaning 50996 clauses out of 102004 with flag 1368001/1400303
69.69/68.48	c cleaning 52004 clauses out of 104007 with flag 1421000/1453302
71.81/70.50	c cleaning 52998 clauses out of 106004 with flag 1475001/1507303
74.44/73.15	c cleaning 53993 clauses out of 108006 with flag 1530001/1562303
77.64/76.32	c cleaning 55001 clauses out of 110012 with flag 1586000/1618302
81.37/80.00	c cleaning 56000 clauses out of 112011 with flag 1643000/1675302
83.98/82.65	c cleaning 56996 clauses out of 114011 with flag 1701000/1733302
86.40/85.10	c cleaning 57998 clauses out of 116015 with flag 1760000/1792302
89.02/87.60	c cleaning 59005 clauses out of 118018 with flag 1820001/1852303
92.03/90.60	c cleaning 60000 clauses out of 120012 with flag 1881000/1913302
95.56/94.11	c cleaning 60999 clauses out of 122014 with flag 1943002/1975304
99.46/98.00	c cleaning 61997 clauses out of 124013 with flag 2006000/2038302
102.62/101.15	c cleaning 63001 clauses out of 126017 with flag 2070001/2102303
105.55/104.08	c cleaning 64002 clauses out of 128015 with flag 2135000/2167302
108.07/106.54	c cleaning 65005 clauses out of 130013 with flag 2201000/2233302
110.78/109.27	c cleaning 65996 clauses out of 132008 with flag 2268000/2300302
113.70/112.10	c cleaning 66996 clauses out of 134013 with flag 2336001/2368303
117.22/115.63	c cleaning 68002 clauses out of 136017 with flag 2405001/2437303
120.54/118.91	c cleaning 69000 clauses out of 138014 with flag 2475000/2507302
124.06/122.44	c cleaning 70004 clauses out of 140014 with flag 2546000/2578302
128.08/126.46	c cleaning 70998 clauses out of 142010 with flag 2618000/2650302
132.51/130.87	c cleaning 71995 clauses out of 144012 with flag 2691000/2723302
137.34/135.66	c cleaning 73001 clauses out of 146018 with flag 2765001/2797303
142.96/141.28	c cleaning 73999 clauses out of 148016 with flag 2840000/2872302
148.47/146.78	c cleaning 75000 clauses out of 150017 with flag 2916000/2948302
155.11/153.37	c cleaning 76000 clauses out of 152017 with flag 2993000/3025302
161.93/160.17	c cleaning 77005 clauses out of 154017 with flag 3071000/3103302
167.74/165.96	c cleaning 78001 clauses out of 156012 with flag 3150000/3182302
176.18/174.31	c cleaning 79004 clauses out of 158011 with flag 3230000/3262302
181.51/179.68	c cleaning 80000 clauses out of 160007 with flag 3311000/3343302
185.62/183.79	c cleaning 81004 clauses out of 162007 with flag 3393000/3425302
189.63/187.80	c cleaning 81997 clauses out of 164004 with flag 3476001/3508303
193.85/191.90	c cleaning 82996 clauses out of 166006 with flag 3560000/3592302
197.46/195.55	c cleaning 84002 clauses out of 168011 with flag 3645001/3677303
201.36/199.40	c cleaning 84996 clauses out of 170008 with flag 3731000/3763302
206.07/204.11	c cleaning 85996 clauses out of 172012 with flag 3818000/3850302
210.28/208.32	c cleaning 86998 clauses out of 174016 with flag 3906000/3938302
214.39/212.41	c cleaning 88008 clauses out of 176019 with flag 3995001/4027303
218.40/216.42	c cleaning 89005 clauses out of 178011 with flag 4085001/4117303
224.11/222.16	c cleaning 89998 clauses out of 180006 with flag 4176001/4208303
230.55/228.59	c cleaning 91000 clauses out of 182008 with flag 4268001/4300303
236.88/234.87	c cleaning 91998 clauses out of 184007 with flag 4361000/4393302
244.89/242.83	c cleaning 92994 clauses out of 186009 with flag 4455000/4487302
252.73/250.66	c cleaning 94001 clauses out of 188016 with flag 4550001/4582303
258.35/256.25	c cleaning 95000 clauses out of 190014 with flag 4646000/4678302
264.15/262.03	c cleaning 96001 clauses out of 192014 with flag 4743000/4775302
269.27/267.17	c cleaning 96998 clauses out of 194014 with flag 4841001/4873303
273.58/271.49	c cleaning 98008 clauses out of 196015 with flag 4940000/4972302
280.12/277.91	c cleaning 98991 clauses out of 198008 with flag 5040001/5072303
287.89/285.61	c cleaning 100001 clauses out of 200017 with flag 5141001/5173303
292.92/290.64	c cleaning 101005 clauses out of 202016 with flag 5243001/5275303
298.53/296.20	c cleaning 102005 clauses out of 204010 with flag 5346000/5378302
304.55/302.25	c cleaning 102998 clauses out of 206006 with flag 5450001/5482303
308.96/306.67	c cleaning 103999 clauses out of 208007 with flag 5555000/5587302
314.78/312.43	c cleaning 105005 clauses out of 210009 with flag 5661001/5693303
321.70/319.36	c cleaning 105999 clauses out of 212004 with flag 5768001/5800303
330.07/327.61	c cleaning 106996 clauses out of 214005 with flag 5876001/5908303
336.44/333.96	c cleaning 107992 clauses out of 216009 with flag 5985001/6017303
344.18/341.64	c cleaning 108997 clauses out of 218016 with flag 6095000/6127302
351.94/349.30	c cleaning 109997 clauses out of 220019 with flag 6206000/6238302
359.18/356.50	c cleaning 111000 clauses out of 222023 with flag 6318001/6350303
365.50/362.89	c cleaning 112004 clauses out of 224022 with flag 6431000/6463302
373.14/370.48	c cleaning 113001 clauses out of 226018 with flag 6545000/6577302
382.05/379.34	c cleaning 113998 clauses out of 228017 with flag 6660000/6692302
389.79/387.04	c cleaning 115000 clauses out of 230019 with flag 6776000/6808302
395.52/392.71	c cleaning 116000 clauses out of 232020 with flag 6893001/6925303
403.83/401.08	c cleaning 117006 clauses out of 234019 with flag 7011000/7043302
410.05/407.28	c cleaning 118001 clauses out of 236014 with flag 7130001/7162303
417.28/414.42	c cleaning 119002 clauses out of 238012 with flag 7250000/7282302
424.89/422.07	c cleaning 119997 clauses out of 240010 with flag 7371000/7403302
437.00/434.11	c cleaning 120999 clauses out of 242014 with flag 7493001/7525303
449.82/446.99	c cleaning 122003 clauses out of 244014 with flag 7616000/7648302
458.77/455.86	c cleaning 122999 clauses out of 246011 with flag 7740000/7772302
465.89/462.92	c cleaning 124003 clauses out of 248012 with flag 7865000/7897302
473.21/470.21	c cleaning 124998 clauses out of 250010 with flag 7991001/8023303
479.81/476.82	c cleaning 125997 clauses out of 252011 with flag 8118000/8150302
487.03/484.07	c cleaning 127004 clauses out of 254014 with flag 8246000/8278302
496.25/493.25	c cleaning 127995 clauses out of 256011 with flag 8375001/8407303
504.57/501.53	c cleaning 129000 clauses out of 258015 with flag 8505000/8537302
513.82/510.72	c cleaning 130001 clauses out of 260016 with flag 8636001/8668303
522.53/519.44	c cleaning 130997 clauses out of 262014 with flag 8768000/8800302
539.35/536.21	c cleaning 132002 clauses out of 264017 with flag 8901000/8933302
545.90/542.76	c cleaning 133007 clauses out of 266015 with flag 9035000/9067302
554.73/551.54	c cleaning 133998 clauses out of 268009 with flag 9170001/9202303
563.27/560.08	c cleaning 134997 clauses out of 270011 with flag 9306001/9338303
573.90/570.65	c cleaning 136001 clauses out of 272014 with flag 9443001/9475303
583.72/580.47	c cleaning 137000 clauses out of 274013 with flag 9581001/9613303
594.34/591.03	c cleaning 138000 clauses out of 276012 with flag 9720000/9752302
605.68/602.38	c cleaning 139003 clauses out of 278013 with flag 9860001/9892303
615.33/611.98	c cleaning 140003 clauses out of 280009 with flag 10001000/10033302
631.78/628.39	c cleaning 140996 clauses out of 282006 with flag 10143000/10175302
645.38/641.95	c cleaning 141999 clauses out of 284010 with flag 10286000/10318302
653.99/650.55	c cleaning 143004 clauses out of 286012 with flag 10430001/10462303
663.81/660.31	c cleaning 143991 clauses out of 288008 with flag 10575001/10607303
674.55/671.01	c cleaning 145002 clauses out of 290017 with flag 10721001/10753303
683.19/679.65	c cleaning 146002 clauses out of 292015 with flag 10868001/10900303
695.21/691.65	c cleaning 146999 clauses out of 294012 with flag 11016000/11048302
704.61/701.07	c cleaning 147995 clauses out of 296014 with flag 11165001/11197303
715.52/711.94	c cleaning 149007 clauses out of 298018 with flag 11315000/11347302
728.54/724.94	c cleaning 150001 clauses out of 300012 with flag 11466001/11498303
739.01/735.39	c cleaning 151002 clauses out of 302011 with flag 11618001/11650303
750.55/746.88	c cleaning 151991 clauses out of 304008 with flag 11771000/11803302
762.96/759.24	c cleaning 153002 clauses out of 306017 with flag 11925000/11957302
780.88/777.17	c cleaning 154002 clauses out of 308016 with flag 12080001/12112303
797.00/793.25	c cleaning 155005 clauses out of 310014 with flag 12236001/12268303
816.36/812.58	c cleaning 155997 clauses out of 312008 with flag 12393000/12425302
833.09/829.30	c cleaning 156998 clauses out of 314011 with flag 12551000/12583302
850.65/846.73	c cleaning 158001 clauses out of 316014 with flag 12710001/12742303
867.12/863.10	c cleaning 158999 clauses out of 318012 with flag 12870000/12902302
883.87/879.83	c cleaning 159999 clauses out of 320013 with flag 13031000/13063302
901.12/897.02	c cleaning 160997 clauses out of 322014 with flag 13193000/13225302
920.09/915.93	c cleaning 162005 clauses out of 324017 with flag 13356000/13388302
930.73/926.53	c cleaning 163002 clauses out of 326012 with flag 13520000/13552302
943.65/939.50	c cleaning 163996 clauses out of 328010 with flag 13685000/13717302
955.74/951.42	c cleaning 165002 clauses out of 330015 with flag 13851001/13883303
966.17/961.85	c cleaning 166003 clauses out of 332013 with flag 14018001/14050303
978.77/974.44	c cleaning 166995 clauses out of 334010 with flag 14186001/14218303
989.49/985.12	c cleaning 167999 clauses out of 336014 with flag 14355000/14387302
1000.30/995.91	c cleaning 169000 clauses out of 338015 with flag 14525000/14557302
1013.62/1009.27	c cleaning 169997 clauses out of 340015 with flag 14696000/14728302
1024.64/1020.20	c cleaning 171000 clauses out of 342019 with flag 14868001/14900303
1036.36/1031.93	c cleaning 171999 clauses out of 344018 with flag 15041000/15073302
1065.89/1061.50	c cleaning 172997 clauses out of 346019 with flag 15215000/15247302
1079.00/1074.60	c cleaning 174001 clauses out of 348022 with flag 15390000/15422302
1092.54/1088.07	c cleaning 175002 clauses out of 350021 with flag 15566000/15598302
1105.75/1101.21	c cleaning 175999 clauses out of 352020 with flag 15743001/15775303
1117.07/1112.51	c cleaning 177001 clauses out of 354021 with flag 15921001/15953303
1132.89/1128.33	c cleaning 177998 clauses out of 356019 with flag 16100000/16132302
1144.71/1140.17	c cleaning 179005 clauses out of 358021 with flag 16280000/16312302
1157.62/1153.04	c cleaning 179998 clauses out of 360017 with flag 16461001/16493303
1183.65/1179.07	c cleaning 181009 clauses out of 362018 with flag 16643000/16675302
1200.49/1195.88	c cleaning 181994 clauses out of 364010 with flag 16826001/16858303
1230.62/1225.95	c cleaning 182999 clauses out of 366016 with flag 17010001/17042303
1268.09/1263.39	c cleaning 184005 clauses out of 368018 with flag 17195002/17227304
1296.05/1291.22	c cleaning 184999 clauses out of 370011 with flag 17381000/17413302
1311.78/1306.82	c cleaning 186002 clauses out of 372012 with flag 17568000/17600302
1324.90/1319.92	c cleaning 186989 clauses out of 374010 with flag 17756000/17788302
1339.33/1334.34	c cleaning 188004 clauses out of 376021 with flag 17945000/17977302
1353.17/1348.16	c cleaning 189002 clauses out of 378018 with flag 18135001/18167303
1369.59/1364.51	c cleaning 189999 clauses out of 380015 with flag 18326000/18358302
1386.00/1380.97	c cleaning 191007 clauses out of 382016 with flag 18518000/18550302
1410.92/1405.90	c cleaning 191995 clauses out of 384009 with flag 18711000/18743302
1435.11/1429.95	c cleaning 192999 clauses out of 386014 with flag 18905000/18937302
1454.75/1449.50	c cleaning 193995 clauses out of 388015 with flag 19100000/19132302
1473.97/1468.71	c cleaning 195003 clauses out of 390020 with flag 19296000/19328302
1492.39/1487.15	c cleaning 196001 clauses out of 392017 with flag 19493000/19525302
1511.22/1505.95	c cleaning 196998 clauses out of 394016 with flag 19691000/19723302
1527.17/1521.73	c cleaning 198003 clauses out of 396019 with flag 19890001/19922303
1558.89/1553.47	c cleaning 199003 clauses out of 398015 with flag 20090000/20122302
1574.94/1569.48	c cleaning 200004 clauses out of 400012 with flag 20291000/20323302
1599.98/1594.41	c cleaning 200998 clauses out of 402009 with flag 20493001/20525303
1622.96/1617.40	c cleaning 201993 clauses out of 404011 with flag 20696001/20728303
1640.73/1635.00	c cleaning 203003 clauses out of 406017 with flag 20900000/20932302
1659.15/1653.44	c cleaning 204003 clauses out of 408014 with flag 21105000/21137302
1679.00/1673.23	c cleaning 204999 clauses out of 410011 with flag 21311000/21343302
1697.62/1691.85	c cleaning 205998 clauses out of 412012 with flag 21518000/21550302
1718.15/1712.32	c cleaning 206999 clauses out of 414014 with flag 21726000/21758302
1735.68/1729.81	c cleaning 207996 clauses out of 416015 with flag 21935000/21967302
1750.63/1744.75	c cleaning 209001 clauses out of 418019 with flag 22145000/22177302
1769.26/1763.34	c cleaning 210004 clauses out of 420018 with flag 22356000/22388302
1788.17/1782.20	c cleaning 210996 clauses out of 422015 with flag 22568001/22600303
1800.09/1794.12	c starts		: 391
1800.09/1794.12	c conflicts		: 22738991
1800.09/1794.12	c decisions		: 29779281
1800.09/1794.12	c propagations		: 717961194
1800.09/1794.12	c inspects		: 13960475895
1800.09/1794.12	c shortcuts		: 0
1800.09/1794.12	c learnt literals	: 0
1800.09/1794.12	c learnt binary clauses	: 0
1800.09/1794.12	c learnt ternary clauses	: 0
1800.09/1794.12	c learnt constraints	: 22738992
1800.09/1794.12	c ignored constraints	: 0
1800.09/1794.12	c root simplifications	: 391
1800.09/1794.12	c removed literals (reason simplification)	: 38099779
1800.09/1794.12	c reason swapping (by a shorter reason)	: 0
1800.09/1794.12	c Calls to reduceDB	: 213
1800.09/1794.12	c number of reductions to clauses (during analyze)	: 0
1800.09/1794.12	c number of learned constraints concerned by reduction	: 0
1800.09/1794.12	c number of learning phase by resolution	: 0
1800.09/1794.12	c number of learning phase by cutting planes	: 0
1800.09/1794.12	c speed (assignments/second)	: 400214.06310010963
1800.09/1794.12	c non guided choices	3583
1800.09/1794.15	c learnt constraints type 
1800.09/1794.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 349789
1800.09/1794.15	c constraints type 
1800.09/1794.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 44
1800.09/1794.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 56
1800.09/1794.15	c ignored satisfied constraints => 1
1800.09/1794.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80
1800.09/1794.15	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.09/1794.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.09/1794.15	c 183 constraints processed.
1800.09/1794.15	s SATISFIABLE
1800.09/1794.15	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 
1800.09/1794.15	c objective function=304
1800.09/1794.15	c Total wall clock time (in seconds): 1794.029

Verifier Data 

OK	304

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 1.87 3/194 4978
/proc/meminfo: memFree=31607764/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4978/stat : 4978 (java) D 4976 4978 31461 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 280786587 9515008 182 33554432000 1073741824 1073778376 140733294108272 140733294099304 260190322357 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2323 182 140 9 0 71 0

[startup+0.036882 s]
/proc/loadavg: 2.02 2.01 1.87 3/194 4978
/proc/meminfo: memFree=31607764/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/4978/stat : 4978 (java) S 4976 4978 31461 0 -1 4202496 2929 0 1 0 1 0 0 0 20 0 11 0 280786587 9310650368 3627 33554432000 1073741824 1073778376 140735491862704 140735491853840 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2273108 3627 1651 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100267 s]
/proc/loadavg: 2.02 2.01 1.87 3/194 4978
/proc/meminfo: memFree=31607764/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/4978/stat : 4978 (java) S 4976 4978 31461 0 -1 4202496 4275 0 1 0 8 1 0 0 20 0 18 0 280786587 9787842560 5474 33554432000 1073741824 1073778376 140735491862704 140735491853840 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2389610 5477 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300222 s]
/proc/loadavg: 2.02 2.01 1.87 3/194 4978
/proc/meminfo: memFree=31607764/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/4978/stat : 4978 (java) S 4976 4978 31461 0 -1 4202496 8801 0 1 0 48 2 0 0 20 0 19 0 280786587 9856004096 9692 33554432000 1073741824 1073778376 140735491862704 140735491853840 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2406251 9692 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625004

[startup+0.700231 s]
/proc/loadavg: 2.02 2.01 1.87 3/194 4978
/proc/meminfo: memFree=31607764/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9625004 CPUtime=1.27 cores=0,2,4,6
/proc/4978/stat : 4978 (java) S 4976 4978 31461 0 -1 4202496 11572 0 1 0 124 3 0 0 20 0 19 0 280786587 9856004096 13095 33554432000 1073741824 1073778376 140735491862704 140735491853840 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2406251 13095 2273 9 0 2396937 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9625004

[startup+1.50069 s]
/proc/loadavg: 1.93 2.00 1.86 4/213 4997
/proc/meminfo: memFree=31559948/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9625004 CPUtime=2.12 cores=0,2,4,6
/proc/4978/stat : 4978 (java) S 4976 4978 31461 0 -1 4202496 11604 0 1 0 209 3 0 0 20 0 19 0 280786587 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 140735491853840 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2406251 14142 2275 9 0 2396937 0
[pid=4978/tid=4980] ppid=4976 vsize=9625004 CPUtime=1.41 cores=0,2,4,6
/proc/4978/task/4980/stat : 4980 (java) R 4976 4978 31461 0 -1 4202560 2509 0 1 0 139 2 0 0 20 0 19 0 280786588 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139773438497216 139773285408416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4981] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4981/stat : 4981 (java) S 4976 4978 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139773410958120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4982] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4982/stat : 4982 (java) S 4976 4978 31461 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139773409905320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4983] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4983/stat : 4983 (java) S 4976 4978 31461 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139773408853032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4984] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4984/stat : 4984 (java) S 4976 4978 31461 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139773407800232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4985] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (java) S 4976 4978 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139773406746920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4986] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4986/stat : 4986 (java) S 4976 4978 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139773405694120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4987] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4987/stat : 4987 (java) S 4976 4978 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139773404641832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4988] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4988/stat : 4988 (java) S 4976 4978 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139773403589032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4989] ppid=4976 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/4978/task/4989/stat : 4989 (java) S 4976 4978 31461 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 19 0 280786590 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139772792113896 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4990] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4990/stat : 4990 (java) S 4976 4978 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139772791059960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (java) S 4976 4978 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139772790007560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4992] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4992/stat : 4992 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139772788956048 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4993] ppid=4976 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/4978/task/4993/stat : 4993 (java) S 4976 4978 31461 0 -1 4202560 2964 0 0 0 31 0 0 0 20 0 19 0 280786593 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139772787902648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4994] ppid=4976 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/4978/task/4994/stat : 4994 (java) S 4976 4978 31461 0 -1 4202560 4864 0 0 0 29 1 0 0 20 0 19 0 280786593 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139772786849848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4995] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4995/stat : 4995 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139772785797752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4996] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4996/stat : 4996 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139772784745160 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4997] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4997/stat : 4997 (java) S 4976 4978 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280786604 9856004096 14142 33554432000 1073741824 1073778376 140735491862704 139772783691176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9625004

[startup+3.10056 s]
/proc/loadavg: 1.93 2.00 1.86 3/213 4997
/proc/meminfo: memFree=31557404/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9625004 CPUtime=3.77 cores=0,2,4,6
/proc/4978/stat : 4978 (java) S 4976 4978 31461 0 -1 4202496 11628 0 1 0 374 3 0 0 20 0 19 0 280786587 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 140735491853840 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2406251 14671 2275 9 0 2396937 0
[pid=4978/tid=4980] ppid=4976 vsize=9625004 CPUtime=2.93 cores=0,2,4,6
/proc/4978/task/4980/stat : 4980 (java) R 4976 4978 31461 0 -1 4202560 2515 0 1 0 291 2 0 0 20 0 19 0 280786588 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139773438505264 139773285424133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4981] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4981/stat : 4981 (java) S 4976 4978 31461 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139773410958120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4982] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4982/stat : 4982 (java) S 4976 4978 31461 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139773409905320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4983] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4983/stat : 4983 (java) S 4976 4978 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139773408853032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4984] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4984/stat : 4984 (java) S 4976 4978 31461 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139773407800232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4985] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (java) S 4976 4978 31461 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139773406746920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4986] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4986/stat : 4986 (java) S 4976 4978 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139773405694120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4987] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4987/stat : 4987 (java) S 4976 4978 31461 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139773404641832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4988] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4988/stat : 4988 (java) S 4976 4978 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280786589 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139773403589032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4989] ppid=4976 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/4978/task/4989/stat : 4989 (java) S 4976 4978 31461 0 -1 4202560 36 0 0 0 9 0 0 0 20 0 19 0 280786590 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139772792113896 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4990] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4990/stat : 4990 (java) S 4976 4978 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139772791059960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (java) S 4976 4978 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139772790007560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4992] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4992/stat : 4992 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139772788956048 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4993] ppid=4976 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/4978/task/4993/stat : 4993 (java) S 4976 4978 31461 0 -1 4202560 2964 0 0 0 31 0 0 0 20 0 19 0 280786593 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139772787902648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4994] ppid=4976 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/4978/task/4994/stat : 4994 (java) S 4976 4978 31461 0 -1 4202560 4864 0 0 0 29 1 0 0 20 0 19 0 280786593 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139772786849848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4995] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4995/stat : 4995 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139772785797752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4996] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4996/stat : 4996 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139772784745160 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4997] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4997/stat : 4997 (java) S 4976 4978 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280786604 9856004096 14671 33554432000 1073741824 1073778376 140735491862704 139772783691176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 1.93 2.00 1.86 2/193 5000
/proc/meminfo: memFree=31665388/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9625004 CPUtime=7.1 cores=0,2,4,6
/proc/4978/stat : 4978 (java) S 4976 4978 31461 0 -1 4202496 11668 0 1 0 706 4 0 0 20 0 19 0 280786587 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 140735491853840 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2406251 15021 2275 9 0 2396937 0
[pid=4978/tid=4980] ppid=4976 vsize=9625004 CPUtime=5.99 cores=0,2,4,6
/proc/4978/task/4980/stat : 4980 (java) R 4976 4978 31461 0 -1 4202560 2523 0 1 0 597 2 0 0 20 0 19 0 280786588 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139773438505432 139773285488688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4981] ppid=4976 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/4978/task/4981/stat : 4981 (java) S 4976 4978 31461 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 280786589 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139773410958120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4982] ppid=4976 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/4978/task/4982/stat : 4982 (java) S 4976 4978 31461 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 280786589 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139773409905320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4983] ppid=4976 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/4978/task/4983/stat : 4983 (java) S 4976 4978 31461 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 280786589 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139773408853032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4984] ppid=4976 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/4978/task/4984/stat : 4984 (java) S 4976 4978 31461 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 280786589 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139773407800232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4985] ppid=4976 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (java) S 4976 4978 31461 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 280786589 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139773406746920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4986] ppid=4976 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/4978/task/4986/stat : 4986 (java) S 4976 4978 31461 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 280786589 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139773405694120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4987] ppid=4976 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/4978/task/4987/stat : 4987 (java) S 4976 4978 31461 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 280786589 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139773404641832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4988] ppid=4976 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/4978/task/4988/stat : 4988 (java) S 4976 4978 31461 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 280786589 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139773403589032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4989] ppid=4976 vsize=9625004 CPUtime=0.17 cores=0,2,4,6
/proc/4978/task/4989/stat : 4989 (java) S 4976 4978 31461 0 -1 4202560 37 0 0 0 17 0 0 0 20 0 19 0 280786590 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139772792113896 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4990] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4990/stat : 4990 (java) S 4976 4978 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139772791059960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (java) S 4976 4978 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139772790007560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4992] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4992/stat : 4992 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139772788956048 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4993] ppid=4976 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/4978/task/4993/stat : 4993 (java) S 4976 4978 31461 0 -1 4202560 2964 0 0 0 31 0 0 0 20 0 19 0 280786593 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139772787902648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4994] ppid=4976 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/4978/task/4994/stat : 4994 (java) S 4976 4978 31461 0 -1 4202560 4864 0 0 0 29 1 0 0 20 0 19 0 280786593 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139772786849848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4995] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4995/stat : 4995 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139772785797752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4996] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4996/stat : 4996 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139772784745160 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4997] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4997/stat : 4997 (java) S 4976 4978 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280786604 9856004096 15021 33554432000 1073741824 1073778376 140735491862704 139772783691176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=4978/tid=4993] ppid=4976 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/4978/task/4993/stat : 4993 (java) S 4976 4978 31461 0 -1 4202560 2973 0 0 0 34 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772787902648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4994] ppid=4976 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/4978/task/4994/stat : 4994 (java) S 4976 4978 31461 0 -1 4202560 4864 0 0 0 29 1 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772786849848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4995] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4995/stat : 4995 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772785797752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4996] ppid=4976 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/4978/task/4996/stat : 4996 (java) S 4976 4978 31461 0 -1 4202560 98 0 0 0 18 23 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772784745160 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4997] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4997/stat : 4997 (java) S 4976 4978 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280786604 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772783691176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1728.18
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/213 5073
/proc/meminfo: memFree=30689268/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9625004 CPUtime=1788.28 cores=0,2,4,6
/proc/4978/stat : 4978 (java) S 4976 4978 31461 0 -1 4202496 14401 0 1 0 178786 42 0 0 20 0 19 0 280786587 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 140735491853840 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2406251 54870 2276 9 0 2396937 0
[pid=4978/tid=4980] ppid=4976 vsize=9625004 CPUtime=1766.08 cores=0,2,4,6
/proc/4978/task/4980/stat : 4980 (java) R 4976 4978 31461 0 -1 4202560 2739 0 1 0 176580 28 0 0 20 0 19 0 280786588 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773438505384 139773285441616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4981] ppid=4976 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/4978/task/4981/stat : 4981 (java) S 4976 4978 31461 0 -1 4202560 376 0 0 0 89 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773410958120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4982] ppid=4976 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/4978/task/4982/stat : 4982 (java) S 4976 4978 31461 0 -1 4202560 274 0 0 0 96 1 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773409905320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4983] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4983/stat : 4983 (java) S 4976 4978 31461 0 -1 4202560 271 0 0 0 83 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773408853032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4984] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4984/stat : 4984 (java) S 4976 4978 31461 0 -1 4202560 216 0 0 0 83 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773407800232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4985] ppid=4976 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (java) S 4976 4978 31461 0 -1 4202560 347 0 0 0 91 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773406746920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4986] ppid=4976 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/4978/task/4986/stat : 4986 (java) S 4976 4978 31461 0 -1 4202560 311 0 0 0 89 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773405694120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4987] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4987/stat : 4987 (java) S 4976 4978 31461 0 -1 4202560 263 0 0 0 85 0 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773404641832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4988] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4988/stat : 4988 (java) S 4976 4978 31461 0 -1 4202560 315 0 0 0 83 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773403589032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4989] ppid=4976 vsize=9625004 CPUtime=9.45 cores=0,2,4,6
/proc/4978/task/4989/stat : 4989 (java) S 4976 4978 31461 0 -1 4202560 168 0 0 0 943 2 0 0 20 0 19 0 280786590 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772792113896 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4990] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4990/stat : 4990 (java) S 4976 4978 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772791059960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (java) S 4976 4978 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772790007560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4992] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4992/stat : 4992 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772788956048 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4993] ppid=4976 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/4978/task/4993/stat : 4993 (java) S 4976 4978 31461 0 -1 4202560 2973 0 0 0 34 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772787902648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4994] ppid=4976 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/4978/task/4994/stat : 4994 (java) S 4976 4978 31461 0 -1 4202560 4864 0 0 0 29 1 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772786849848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4995] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4995/stat : 4995 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772785797752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4996] ppid=4976 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/4978/task/4996/stat : 4996 (java) S 4976 4978 31461 0 -1 4202560 102 0 0 0 19 24 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772784745160 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4997] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4997/stat : 4997 (java) S 4976 4978 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280786604 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772783691176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1788.28
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.11 s]
/proc/loadavg: 2.00 2.02 1.96 2/193 5076
/proc/meminfo: memFree=31499492/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/4978/stat : 4978 (java) S 4976 4978 31461 0 -1 4202496 14401 0 1 0 179967 42 0 0 20 0 19 0 280786587 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 140735491853840 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2406251 54870 2276 9 0 2396937 0
[pid=4978/tid=4980] ppid=4976 vsize=9625004 CPUtime=1777.86 cores=0,2,4,6
/proc/4978/task/4980/stat : 4980 (java) R 4976 4978 31461 0 -1 4202560 2739 0 1 0 177757 29 0 0 20 0 19 0 280786588 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773438505264 139773285409136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4981] ppid=4976 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/4978/task/4981/stat : 4981 (java) S 4976 4978 31461 0 -1 4202560 376 0 0 0 89 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773410958120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4982] ppid=4976 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/4978/task/4982/stat : 4982 (java) S 4976 4978 31461 0 -1 4202560 274 0 0 0 96 1 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773409905320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4983] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4983/stat : 4983 (java) S 4976 4978 31461 0 -1 4202560 271 0 0 0 83 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773408853032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4984] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4984/stat : 4984 (java) S 4976 4978 31461 0 -1 4202560 216 0 0 0 83 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773407800232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4985] ppid=4976 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (java) S 4976 4978 31461 0 -1 4202560 347 0 0 0 91 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773406746920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4986] ppid=4976 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/4978/task/4986/stat : 4986 (java) S 4976 4978 31461 0 -1 4202560 311 0 0 0 89 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773405694120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4987] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4987/stat : 4987 (java) S 4976 4978 31461 0 -1 4202560 263 0 0 0 85 0 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773404641832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4988] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4988/stat : 4988 (java) S 4976 4978 31461 0 -1 4202560 315 0 0 0 83 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773403589032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4989] ppid=4976 vsize=9625004 CPUtime=9.45 cores=0,2,4,6
/proc/4978/task/4989/stat : 4989 (java) S 4976 4978 31461 0 -1 4202560 168 0 0 0 943 2 0 0 20 0 19 0 280786590 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772792113896 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4990] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4990/stat : 4990 (java) S 4976 4978 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772791059960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (java) S 4976 4978 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772790007560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4992] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4992/stat : 4992 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772788956048 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4993] ppid=4976 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/4978/task/4993/stat : 4993 (java) S 4976 4978 31461 0 -1 4202560 2973 0 0 0 34 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772787902648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4994] ppid=4976 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/4978/task/4994/stat : 4994 (java) S 4976 4978 31461 0 -1 4202560 4864 0 0 0 29 1 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772786849848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4995] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4995/stat : 4995 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772785797752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4996] ppid=4976 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/4978/task/4996/stat : 4996 (java) S 4976 4978 31461 0 -1 4202560 102 0 0 0 19 24 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772784745160 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4997] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4997/stat : 4997 (java) S 4976 4978 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280786604 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772783691176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 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+1794.11 s]
/proc/loadavg: 2.00 2.02 1.96 2/193 5076
/proc/meminfo: memFree=31499492/32873648 swapFree=7116/7116
[pid=4978] ppid=4976 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/4978/stat : 4978 (java) S 4976 4978 31461 0 -1 4202496 14401 0 1 0 179967 42 0 0 20 0 19 0 280786587 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 140735491853840 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4978/statm: 2406251 54870 2276 9 0 2396937 0
[pid=4978/tid=4980] ppid=4976 vsize=9625004 CPUtime=1777.86 cores=0,2,4,6
/proc/4978/task/4980/stat : 4980 (java) R 4976 4978 31461 0 -1 4202560 2739 0 1 0 177757 29 0 0 20 0 19 0 280786588 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773438505264 139773285409136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4981] ppid=4976 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/4978/task/4981/stat : 4981 (java) S 4976 4978 31461 0 -1 4202560 376 0 0 0 89 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773410958120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4982] ppid=4976 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/4978/task/4982/stat : 4982 (java) S 4976 4978 31461 0 -1 4202560 274 0 0 0 96 1 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773409905320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4983] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4983/stat : 4983 (java) S 4976 4978 31461 0 -1 4202560 271 0 0 0 83 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773408853032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4984] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4984/stat : 4984 (java) S 4976 4978 31461 0 -1 4202560 216 0 0 0 83 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773407800232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4978/tid=4985] ppid=4976 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/4978/task/4985/stat : 4985 (java) S 4976 4978 31461 0 -1 4202560 347 0 0 0 91 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773406746920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4986] ppid=4976 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/4978/task/4986/stat : 4986 (java) S 4976 4978 31461 0 -1 4202560 311 0 0 0 89 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773405694120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4987] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4987/stat : 4987 (java) S 4976 4978 31461 0 -1 4202560 263 0 0 0 85 0 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773404641832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4988] ppid=4976 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/4978/task/4988/stat : 4988 (java) S 4976 4978 31461 0 -1 4202560 315 0 0 0 83 2 0 0 20 0 19 0 280786589 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139773403589032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4989] ppid=4976 vsize=9625004 CPUtime=9.45 cores=0,2,4,6
/proc/4978/task/4989/stat : 4989 (java) S 4976 4978 31461 0 -1 4202560 168 0 0 0 943 2 0 0 20 0 19 0 280786590 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772792113896 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4990] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4990/stat : 4990 (java) S 4976 4978 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772791059960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4991] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4991/stat : 4991 (java) S 4976 4978 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280786590 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772790007560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4992] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4992/stat : 4992 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772788956048 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4978/tid=4993] ppid=4976 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/4978/task/4993/stat : 4993 (java) S 4976 4978 31461 0 -1 4202560 2973 0 0 0 34 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772787902648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4994] ppid=4976 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/4978/task/4994/stat : 4994 (java) S 4976 4978 31461 0 -1 4202560 4864 0 0 0 29 1 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772786849848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4995] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4995/stat : 4995 (java) S 4976 4978 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772785797752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4978/tid=4996] ppid=4976 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/4978/task/4996/stat : 4996 (java) S 4976 4978 31461 0 -1 4202560 102 0 0 0 19 24 0 0 20 0 19 0 280786593 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772784745160 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4978/tid=4997] ppid=4976 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4978/task/4997/stat : 4997 (java) S 4976 4978 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280786604 9856004096 54870 33554432000 1073741824 1073778376 140735491862704 139772783691176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4978 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=39112
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=830873
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.16
CPU time (s): 1800.09
CPU user time (s): 1799.67
CPU system time (s): 0.42
CPU usage (%): 100.331
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.04
system time used= 0.830873
maximum resident set size= 219648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14446
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= 43865
involuntary context switches= 14722

runsolver used 6.01009 second user time and 14.4848 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-27 21:23:31
IDJOB=3710723
IDBENCH=2232
IDSOLVER=2289
FILE ID=node123/3710723-1338146611
RUNJOBID= node123-1338144817-4664
PBS_JOBID= 14624505
Free space on /tmp= 71684 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.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-3710723-1338146611/watcher-3710723-1338146611 -o /tmp/evaluation-result-3710723-1338146611/solver-3710723-1338146611 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710723-1338146611.opb

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

MD5SUM BENCH= dcfce19ac0444148b26b7675e35c76bc
RANDOM SEED=1846512211

node123.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.217
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.43
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.217
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.217
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		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
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.217
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.217
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.217
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:        31608036 kB
Buffers:          152940 kB
Cached:           206876 kB
SwapCached:          956 kB
Active:           288908 kB
Inactive:         187888 kB
Active(anon):     109820 kB
Inactive(anon):     9080 kB
Active(file):     179088 kB
Inactive(file):   178808 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67102956 kB
Dirty:               916 kB
Writeback:             0 kB
AnonPages:        123436 kB
Mapped:            18552 kB
Shmem:                 0 kB
Slab:             651868 kB
SReclaimable:      96184 kB
SUnreclaim:       555684 kB
KernelStack:        1608 kB
PageTables:         4424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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= 71680 MiB
End job on node123 at 2012-05-27 21:53:27