Trace number 3687685

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)1556 1800.08 1792.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-c8.opb
MD5SUMc919b2e3620f35e89404416810e81e0b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1194
Best CPU time to get the best result obtained on this benchmark0.033994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1194
Optimality of the best value was proved YES
Number of variables239
Total number of constraints524
Number of constraints which are clauses520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4
Minimum length of a constraint1
Maximum length of a constraint36
Number of terms in the objective function 239
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 10012
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 10012
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.2.v20120418
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		501472288
0.04/0.09	c Max memory 		7480803328
0.04/0.09	c Total memory 		504102912
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3687685-1337875479.opb
0.10/0.11	c reading problem ... 
0.10/0.19	c ... done. Wall clock time 0.081s.
0.10/0.19	c declared #vars     239
0.10/0.19	c #constraints  520
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 368
0.10/0.19	c ignored satisfied constraints => 4
0.10/0.19	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 151
0.10/0.19	c 524 constraints processed.
0.10/0.19	c objective function length is 239 literals
0.27/0.20	c SATISFIABLE
0.27/0.20	c OPTIMIZING...
0.27/0.20	c Got one! Elapsed wall clock time (in seconds):0.091
0.27/0.20	o 1662
0.27/0.21	c Got one! Elapsed wall clock time (in seconds):0.101
0.27/0.21	o 1641
0.27/0.22	c Got one! Elapsed wall clock time (in seconds):0.107
0.27/0.22	o 1639
0.27/0.23	c Got one! Elapsed wall clock time (in seconds):0.114
0.27/0.23	o 1618
0.27/0.23	c Got one! Elapsed wall clock time (in seconds):0.122
0.27/0.23	o 1616
0.27/0.24	c Got one! Elapsed wall clock time (in seconds):0.13
0.27/0.24	o 1593
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.148
0.27/0.26	o 1579
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.152
0.27/0.26	o 1570
0.50/0.37	c Got one! Elapsed wall clock time (in seconds):0.262
0.50/0.37	o 1556
0.86/0.56	c cleaning 2692 clauses out of 5383 with flag 4001/5383
1.09/0.76	c cleaning 4345 clauses out of 8690 with flag 10001/11383
1.32/0.99	c cleaning 5673 clauses out of 11345 with flag 17001/18383
1.63/1.28	c cleaning 6836 clauses out of 13671 with flag 25000/26382
2.06/1.61	c cleaning 7912 clauses out of 15835 with flag 34000/35382
2.38/1.96	c cleaning 8958 clauses out of 17924 with flag 44001/45383
2.80/2.36	c cleaning 9977 clauses out of 19966 with flag 55001/56383
3.32/2.81	c cleaning 10989 clauses out of 21988 with flag 67000/68382
3.84/3.32	c cleaning 11999 clauses out of 23999 with flag 80000/81382
4.34/3.80	c cleaning 12999 clauses out of 26000 with flag 94000/95382
4.86/4.38	c cleaning 13998 clauses out of 28001 with flag 109000/110382
5.60/5.04	c cleaning 15002 clauses out of 30003 with flag 125000/126382
6.31/5.77	c cleaning 15997 clauses out of 32001 with flag 142000/143382
7.01/6.46	c cleaning 16992 clauses out of 34004 with flag 160000/161382
7.82/7.21	c cleaning 18002 clauses out of 36012 with flag 179000/180382
8.55/7.97	c cleaning 18998 clauses out of 38011 with flag 199001/200383
9.40/8.75	c cleaning 20003 clauses out of 40012 with flag 220000/221382
10.20/9.53	c cleaning 20998 clauses out of 42010 with flag 242001/243383
11.02/10.38	c cleaning 22002 clauses out of 44012 with flag 265001/266383
11.93/11.24	c cleaning 23004 clauses out of 46010 with flag 289001/290383
12.74/12.10	c cleaning 24001 clauses out of 48007 with flag 314002/315384
13.73/13.09	c cleaning 25001 clauses out of 50004 with flag 340000/341382
14.85/14.13	c cleaning 25994 clauses out of 52003 with flag 367000/368382
15.95/15.22	c cleaning 27004 clauses out of 54010 with flag 395002/396384
16.97/16.25	c cleaning 27998 clauses out of 56005 with flag 424001/425383
18.17/17.43	c cleaning 28997 clauses out of 58006 with flag 454000/455382
19.40/18.62	c cleaning 30004 clauses out of 60010 with flag 485001/486383
20.61/19.84	c cleaning 31001 clauses out of 62008 with flag 517003/518385
21.94/21.12	c cleaning 32002 clauses out of 64006 with flag 550002/551384
23.25/22.48	c cleaning 32993 clauses out of 66002 with flag 584000/585382
24.83/23.88	c cleaning 33997 clauses out of 68010 with flag 619001/620383
26.68/25.52	c cleaning 35003 clauses out of 70013 with flag 655001/656383
28.39/27.21	c cleaning 36005 clauses out of 72010 with flag 692001/693383
30.69/29.15	c cleaning 37001 clauses out of 74004 with flag 730000/731382
32.63/31.03	c cleaning 38002 clauses out of 76004 with flag 769001/770383
34.36/32.78	c cleaning 39002 clauses out of 78003 with flag 809002/810384
36.28/34.62	c cleaning 39998 clauses out of 79999 with flag 850000/851382
38.11/36.45	c cleaning 40997 clauses out of 82001 with flag 892000/893382
39.82/38.16	c cleaning 42001 clauses out of 84006 with flag 935002/936384
41.62/39.98	c cleaning 42998 clauses out of 86004 with flag 979001/980383
43.64/41.92	c cleaning 43999 clauses out of 88005 with flag 1024000/1025382
45.55/43.89	c cleaning 44993 clauses out of 90006 with flag 1070000/1071382
47.80/46.07	c cleaning 46001 clauses out of 92014 with flag 1117001/1118383
50.11/48.32	c cleaning 47003 clauses out of 94012 with flag 1165000/1166382
52.23/50.48	c cleaning 48001 clauses out of 96012 with flag 1214003/1215385
54.54/52.75	c cleaning 49001 clauses out of 98010 with flag 1264002/1265384
56.75/54.93	c cleaning 49997 clauses out of 100007 with flag 1315000/1316382
58.77/56.95	c cleaning 51004 clauses out of 102010 with flag 1367000/1368382
61.20/59.34	c cleaning 52002 clauses out of 104007 with flag 1420001/1421383
63.41/61.56	c cleaning 52996 clauses out of 106004 with flag 1474000/1475382
65.82/63.92	c cleaning 54001 clauses out of 108008 with flag 1529000/1530382
68.54/66.64	c cleaning 54997 clauses out of 110008 with flag 1585001/1586383
70.96/69.05	c cleaning 55991 clauses out of 112010 with flag 1642000/1643382
73.77/71.80	c cleaning 57003 clauses out of 114020 with flag 1700001/1701383
76.59/74.62	c cleaning 57996 clauses out of 116016 with flag 1759000/1760382
79.25/77.28	c cleaning 59003 clauses out of 118021 with flag 1819001/1820383
81.89/79.88	c cleaning 60008 clauses out of 120017 with flag 1880000/1881382
84.71/82.63	c cleaning 60999 clauses out of 122009 with flag 1942000/1943382
87.42/85.39	c cleaning 61998 clauses out of 124011 with flag 2005001/2006383
90.63/88.51	c cleaning 63005 clauses out of 126013 with flag 2069001/2070383
93.56/91.46	c cleaning 64004 clauses out of 128009 with flag 2134002/2135384
96.68/94.51	c cleaning 64996 clauses out of 130003 with flag 2200000/2201382
100.28/98.10	c cleaning 65995 clauses out of 132008 with flag 2267001/2268383
103.60/101.49	c cleaning 67001 clauses out of 134013 with flag 2335001/2336383
107.22/105.07	c cleaning 68003 clauses out of 136012 with flag 2404001/2405383
110.84/108.64	c cleaning 69002 clauses out of 138008 with flag 2474000/2475382
114.45/112.22	c cleaning 70000 clauses out of 140006 with flag 2545000/2546382
118.16/115.90	c cleaning 70994 clauses out of 142006 with flag 2617000/2618382
121.67/119.43	c cleaning 72003 clauses out of 144012 with flag 2690000/2691382
125.88/123.60	c cleaning 73001 clauses out of 146009 with flag 2764000/2765382
129.71/127.45	c cleaning 74004 clauses out of 148008 with flag 2839000/2840382
134.24/131.99	c cleaning 74999 clauses out of 150006 with flag 2915002/2916384
138.77/136.48	c cleaning 76000 clauses out of 152005 with flag 2992000/2993382
142.47/140.19	c cleaning 76992 clauses out of 154005 with flag 3070000/3071382
146.68/144.32	c cleaning 77998 clauses out of 156013 with flag 3149000/3150382
150.62/148.29	c cleaning 79007 clauses out of 158017 with flag 3229002/3230384
154.56/152.13	c cleaning 79999 clauses out of 160009 with flag 3310001/3311383
159.18/156.73	c cleaning 81000 clauses out of 162010 with flag 3392001/3393383
163.83/161.36	c cleaning 81990 clauses out of 164009 with flag 3475000/3476382
168.05/165.58	c cleaning 83002 clauses out of 166019 with flag 3559000/3560382
172.26/169.74	c cleaning 84004 clauses out of 168018 with flag 3644001/3645383
177.01/174.42	c cleaning 85003 clauses out of 170016 with flag 3730003/3731385
181.43/178.88	c cleaning 86007 clauses out of 172014 with flag 3817004/3818386
185.83/183.24	c cleaning 87000 clauses out of 174005 with flag 3905002/3906384
190.25/187.62	c cleaning 87988 clauses out of 176003 with flag 3994000/3995382
195.22/192.54	c cleaning 89008 clauses out of 178015 with flag 4084000/4085382
199.64/196.93	c cleaning 89991 clauses out of 180007 with flag 4175000/4176382
204.35/201.63	c cleaning 90998 clauses out of 182016 with flag 4267000/4268382
209.49/206.75	c cleaning 92005 clauses out of 184021 with flag 4360003/4361385
215.20/212.47	c cleaning 93004 clauses out of 186013 with flag 4454000/4455382
219.31/216.58	c cleaning 93998 clauses out of 188009 with flag 4549000/4550382
224.12/221.37	c cleaning 95001 clauses out of 190011 with flag 4645000/4646382
229.25/226.48	c cleaning 96006 clauses out of 192011 with flag 4742001/4743383
234.49/231.63	c cleaning 97002 clauses out of 194006 with flag 4840002/4841384
240.21/237.39	c cleaning 97991 clauses out of 196002 with flag 4939000/4940382
246.43/243.57	c cleaning 99005 clauses out of 198013 with flag 5039002/5040384
252.01/249.03	c cleaning 99995 clauses out of 200006 with flag 5140000/5141382
257.95/254.94	c cleaning 100997 clauses out of 202012 with flag 5242001/5243383
266.08/263.07	c cleaning 102005 clauses out of 204014 with flag 5345000/5346382
273.91/270.87	c cleaning 103003 clauses out of 206010 with flag 5449001/5450383
281.34/278.26	c cleaning 103991 clauses out of 208006 with flag 5554000/5555382
288.88/285.70	c cleaning 105002 clauses out of 210016 with flag 5660001/5661383
295.61/292.47	c cleaning 105998 clauses out of 212013 with flag 5767000/5768382
302.43/299.26	c cleaning 107001 clauses out of 214015 with flag 5875000/5876382
309.56/306.36	c cleaning 108001 clauses out of 216015 with flag 5984001/5985383
318.47/315.20	c cleaning 108997 clauses out of 218014 with flag 6094001/6095383
327.01/323.79	c cleaning 110004 clauses out of 220019 with flag 6205003/6206385
336.23/333.00	c cleaning 111007 clauses out of 222013 with flag 6317001/6318383
346.16/342.80	c cleaning 112002 clauses out of 224006 with flag 6430001/6431383
354.97/351.60	c cleaning 113001 clauses out of 226003 with flag 6544000/6545382
364.98/361.66	c cleaning 114000 clauses out of 228002 with flag 6659000/6660382
373.32/369.93	c cleaning 114994 clauses out of 230003 with flag 6775001/6776383
379.94/376.53	c cleaning 116001 clauses out of 232011 with flag 6892003/6893385
386.87/383.42	c cleaning 117000 clauses out of 234007 with flag 7010000/7011382
394.19/390.74	c cleaning 117996 clauses out of 236008 with flag 7129001/7130383
401.91/398.41	c cleaning 118994 clauses out of 238011 with flag 7249000/7250382
409.33/405.90	c cleaning 120001 clauses out of 240017 with flag 7370000/7371382
416.44/412.92	c cleaning 121008 clauses out of 242016 with flag 7492000/7493382
425.15/421.66	c cleaning 122004 clauses out of 244009 with flag 7615001/7616383
434.59/431.05	c cleaning 122998 clauses out of 246006 with flag 7739002/7740384
443.81/440.25	c cleaning 123995 clauses out of 248007 with flag 7864001/7865383
452.82/449.29	c cleaning 124997 clauses out of 250011 with flag 7990000/7991382
461.36/457.79	c cleaning 126007 clauses out of 252015 with flag 8117001/8118383
470.17/466.58	c cleaning 127000 clauses out of 254009 with flag 8245002/8246384
479.11/475.46	c cleaning 128001 clauses out of 256007 with flag 8374000/8375382
489.13/485.44	c cleaning 128993 clauses out of 258007 with flag 8504001/8505383
498.27/494.57	c cleaning 130002 clauses out of 260015 with flag 8635002/8636384
506.78/503.02	c cleaning 130996 clauses out of 262011 with flag 8767000/8768382
516.01/512.27	c cleaning 132006 clauses out of 264015 with flag 8900000/8901382
524.24/520.41	c cleaning 133001 clauses out of 266010 with flag 9034001/9035383
533.27/529.45	c cleaning 134000 clauses out of 268008 with flag 9169000/9170382
541.90/538.08	c cleaning 135004 clauses out of 270011 with flag 9305003/9306385
551.54/547.68	c cleaning 136002 clauses out of 272006 with flag 9442002/9443384
560.49/556.54	c cleaning 136992 clauses out of 274004 with flag 9580002/9581384
568.51/564.53	c cleaning 137998 clauses out of 276011 with flag 9719001/9720383
578.05/574.10	c cleaning 139000 clauses out of 278012 with flag 9859000/9860382
588.26/584.23	c cleaning 140000 clauses out of 280014 with flag 10000002/10001384
596.38/592.31	c cleaning 141000 clauses out of 282012 with flag 10142000/10143382
604.81/600.73	c cleaning 141999 clauses out of 284012 with flag 10285000/10286382
613.85/609.77	c cleaning 143002 clauses out of 286013 with flag 10429000/10430382
623.60/619.41	c cleaning 143998 clauses out of 288011 with flag 10574000/10575382
633.24/629.08	c cleaning 144996 clauses out of 290014 with flag 10720001/10721383
643.16/638.93	c cleaning 146000 clauses out of 292017 with flag 10867000/10868382
652.98/648.78	c cleaning 146994 clauses out of 294017 with flag 11015000/11016382
663.04/658.73	c cleaning 148005 clauses out of 296024 with flag 11164001/11165383
672.97/668.64	c cleaning 149004 clauses out of 298018 with flag 11314000/11315382
684.58/680.23	c cleaning 150001 clauses out of 300014 with flag 11465000/11466382
696.84/692.49	c cleaning 150999 clauses out of 302014 with flag 11617001/11618383
708.30/703.85	c cleaning 151995 clauses out of 304014 with flag 11770001/11771383
720.43/715.91	c cleaning 152999 clauses out of 306019 with flag 11924001/11925383
732.69/728.16	c cleaning 154007 clauses out of 308019 with flag 12079000/12080382
742.94/738.37	c cleaning 155001 clauses out of 310014 with flag 12235002/12236384
753.98/749.33	c cleaning 156000 clauses out of 312011 with flag 12392000/12393382
765.35/760.61	c cleaning 157000 clauses out of 314012 with flag 12550001/12551383
776.00/771.20	c cleaning 158005 clauses out of 316012 with flag 12709001/12710383
787.22/782.47	c cleaning 158995 clauses out of 318007 with flag 12869001/12870383
799.35/794.58	c cleaning 160005 clauses out of 320011 with flag 13030000/13031382
811.18/806.31	c cleaning 161000 clauses out of 322006 with flag 13192000/13193382
823.03/818.16	c cleaning 161993 clauses out of 324007 with flag 13355001/13356383
834.46/829.56	c cleaning 162994 clauses out of 326013 with flag 13519000/13520382
846.82/841.88	c cleaning 164007 clauses out of 328020 with flag 13684001/13685383
860.25/855.29	c cleaning 164999 clauses out of 330012 with flag 13850000/13851382
871.90/866.89	c cleaning 165992 clauses out of 332013 with flag 14017000/14018382
883.73/878.62	c cleaning 167002 clauses out of 334022 with flag 14185001/14186383
896.94/891.89	c cleaning 168008 clauses out of 336019 with flag 14354000/14355382
909.30/904.20	c cleaning 168998 clauses out of 338011 with flag 14524000/14525382
921.72/916.53	c cleaning 170005 clauses out of 340013 with flag 14695000/14696382
935.86/930.66	c cleaning 170996 clauses out of 342010 with flag 14867002/14868384
949.40/944.13	c cleaning 172000 clauses out of 344012 with flag 15040000/15041382
961.93/956.67	c cleaning 172991 clauses out of 346012 with flag 15214000/15215382
975.66/970.32	c cleaning 174008 clauses out of 348025 with flag 15389004/15390386
989.62/984.24	c cleaning 175004 clauses out of 350013 with flag 15565000/15566382
1003.26/997.85	c cleaning 175998 clauses out of 352009 with flag 15742000/15743382
1017.39/1011.93	c cleaning 176997 clauses out of 354011 with flag 15920000/15921382
1032.00/1026.53	c cleaning 178002 clauses out of 356015 with flag 16099001/16100383
1045.14/1039.65	c cleaning 178992 clauses out of 358013 with flag 16279001/16280383
1062.27/1056.70	c cleaning 180004 clauses out of 360020 with flag 16460000/16461382
1077.10/1071.57	c cleaning 181005 clauses out of 362016 with flag 16642000/16643382
1090.56/1084.95	c cleaning 181998 clauses out of 364011 with flag 16825000/16826382
1105.08/1099.49	c cleaning 182997 clauses out of 366014 with flag 17009001/17010383
1121.32/1115.65	c cleaning 184006 clauses out of 368017 with flag 17194001/17195383
1134.08/1128.32	c cleaning 184996 clauses out of 370010 with flag 17380000/17381382
1151.69/1145.93	c cleaning 186004 clauses out of 372014 with flag 17567000/17568382
1168.94/1163.19	c cleaning 186992 clauses out of 374011 with flag 17755001/17756383
1185.18/1179.37	c cleaning 188002 clauses out of 376018 with flag 17944000/17945382
1201.33/1195.49	c cleaning 188999 clauses out of 378017 with flag 18134001/18135383
1216.95/1211.05	c cleaning 189999 clauses out of 380017 with flag 18325000/18326382
1231.76/1225.89	c cleaning 191006 clauses out of 382018 with flag 18517000/18518382
1247.48/1241.53	c cleaning 191998 clauses out of 384012 with flag 18710000/18711382
1264.02/1258.02	c cleaning 193003 clauses out of 386015 with flag 18904001/18905383
1279.05/1273.02	c cleaning 194004 clauses out of 388011 with flag 19099000/19100382
1294.19/1288.19	c cleaning 195003 clauses out of 390007 with flag 19295000/19296382
1308.92/1302.87	c cleaning 195996 clauses out of 392005 with flag 19492001/19493383
1324.20/1318.07	c cleaning 196995 clauses out of 394009 with flag 19690001/19691383
1340.85/1334.58	c cleaning 197997 clauses out of 396014 with flag 19889001/19890383
1358.90/1352.58	c cleaning 199007 clauses out of 398017 with flag 20089001/20090383
1373.26/1366.81	c cleaning 199986 clauses out of 400009 with flag 20290000/20291382
1389.10/1382.61	c cleaning 201004 clauses out of 402023 with flag 20492000/20493382
1406.01/1399.59	c cleaning 202001 clauses out of 404019 with flag 20695000/20696382
1424.18/1417.69	c cleaning 202993 clauses out of 406019 with flag 20899001/20900383
1444.10/1437.51	c cleaning 204005 clauses out of 408027 with flag 21104002/21105384
1462.85/1456.26	c cleaning 204999 clauses out of 410020 with flag 21310000/21311382
1478.13/1471.45	c cleaning 206005 clauses out of 412021 with flag 21517000/21518382
1495.37/1488.67	c cleaning 207004 clauses out of 414016 with flag 21725000/21726382
1514.42/1507.64	c cleaning 207997 clauses out of 416012 with flag 21934000/21935382
1531.57/1524.72	c cleaning 208998 clauses out of 418016 with flag 22144001/22145383
1550.04/1543.14	c cleaning 210006 clauses out of 420018 with flag 22355001/22356383
1564.30/1557.39	c cleaning 211003 clauses out of 422011 with flag 22567000/22568382
1580.72/1573.78	c cleaning 211993 clauses out of 424008 with flag 22780000/22781382
1596.28/1589.24	c cleaning 213002 clauses out of 426015 with flag 22994000/22995382
1622.64/1615.50	c cleaning 214001 clauses out of 428013 with flag 23209000/23210382
1642.10/1634.92	c cleaning 214999 clauses out of 430012 with flag 23425000/23426382
1658.34/1651.12	c cleaning 215998 clauses out of 432013 with flag 23642000/23643382
1676.10/1668.83	c cleaning 216999 clauses out of 434017 with flag 23860002/23861384
1693.14/1685.85	c cleaning 218008 clauses out of 436018 with flag 24079002/24080384
1714.07/1706.70	c cleaning 218992 clauses out of 438009 with flag 24299001/24300383
1735.32/1728.00	c cleaning 220005 clauses out of 440018 with flag 24520002/24521384
1757.15/1749.76	c cleaning 220999 clauses out of 442011 with flag 24742000/24743382
1779.51/1772.02	c cleaning 222003 clauses out of 444014 with flag 24965002/24966384
1799.21/1791.70	c cleaning 223003 clauses out of 446009 with flag 25189000/25190382
1800.08/1792.51	c starts		: 384
1800.08/1792.51	c conflicts		: 25209038
1800.08/1792.51	c decisions		: 48763426
1800.08/1792.51	c propagations		: 818088692
1800.08/1792.51	c inspects		: 13528581915
1800.08/1792.51	c shortcuts		: 0
1800.08/1792.51	c learnt literals	: 3
1800.08/1792.51	c learnt binary clauses	: 2
1800.08/1792.51	c learnt ternary clauses	: 12
1800.08/1792.51	c learnt constraints	: 25209038
1800.08/1792.51	c ignored constraints	: 0
1800.08/1792.51	c root simplifications	: 0
1800.08/1792.51	c removed literals (reason simplification)	: 0
1800.08/1792.51	c reason swapping (by a shorter reason)	: 0
1800.08/1792.51	c Calls to reduceDB	: 220
1800.08/1792.51	c number of reductions to clauses (during analyze)	: 0
1800.08/1792.51	c number of learned constraints concerned by reduction	: 0
1800.08/1792.51	c number of learning phase by resolution	: 0
1800.08/1792.51	c number of learning phase by cutting planes	: 0
1800.08/1792.51	c speed (assignments/second)	: 456443.8043642004
1800.08/1792.51	c non guided choices	0
1800.08/1792.54	c learnt constraints type 
1800.08/1792.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2
1800.08/1792.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 242361
1800.08/1792.54	c constraints type 
1800.08/1792.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 368
1800.08/1792.54	c ignored satisfied constraints => 4
1800.08/1792.54	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.08/1792.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 151
1800.08/1792.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.08/1792.54	c 525 constraints processed.
1800.08/1792.54	s SATISFIABLE
1800.08/1792.54	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 
1800.08/1792.54	c objective function=1556
1800.08/1792.54	c Total wall clock time (in seconds): 1792.432

Verifier Data 

OK	1556

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-3687685-1337875479/watcher-3687685-1337875479 -o /tmp/evaluation-result-3687685-1337875479/solver-3687685-1337875479 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687685-1337875479.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.13 2.04 1.93 3/194 14933
/proc/meminfo: memFree=28915836/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/14933/stat : 14933 (java) R 14931 14933 14581 0 -1 4202496 521 0 0 0 0 0 0 0 20 0 1 0 253672783 23793664 249 33554432000 1073741824 1073778376 140734119725584 140734119714648 233211738689 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 5809 263 206 9 0 128 0

[startup+0.059986 s]
/proc/loadavg: 2.13 2.04 1.93 3/194 14933
/proc/meminfo: memFree=28915836/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14931 14933 14581 0 -1 4202496 3228 0 1 0 4 0 0 0 20 0 18 0 253672783 9787813888 3925 33554432000 1073741824 1073778376 140734119725584 140734119716720 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 2389603 3930 1756 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412

[startup+0.10035 s]
/proc/loadavg: 2.13 2.04 1.93 3/194 14933
/proc/meminfo: memFree=28915836/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14931 14933 14581 0 -1 4202496 4363 0 1 0 9 1 0 0 20 0 18 0 253672783 9787813888 5043 33554432000 1073741824 1073778376 140734119725584 140734119716720 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 2389603 5044 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.30018 s]
/proc/loadavg: 2.13 2.04 1.93 3/194 14933
/proc/meminfo: memFree=28915836/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14931 14933 14581 0 -1 4202496 6531 0 1 0 49 1 0 0 20 0 19 0 253672783 9855975424 7360 33554432000 1073741824 1073778376 140734119725584 140734119716720 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 2406244 7360 2234 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624976

[startup+0.700286 s]
/proc/loadavg: 2.13 2.04 1.93 3/194 14933
/proc/meminfo: memFree=28915836/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=9624976 CPUtime=1.09 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14931 14933 14581 0 -1 4202496 7613 0 1 0 107 2 0 0 20 0 19 0 253672783 9855975424 10012 33554432000 1073741824 1073778376 140734119725584 140734119716720 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 2406244 10012 2271 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9624976

[startup+1.50067 s]
/proc/loadavg: 2.13 2.04 1.93 5/213 14952
/proc/meminfo: memFree=28880060/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=9624976 CPUtime=1.96 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14931 14933 14581 0 -1 4202496 7645 0 1 0 194 2 0 0 20 0 19 0 253672783 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140734119716720 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 2406244 11061 2271 9 0 2396937 0
[pid=14933/tid=14935] ppid=14931 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14931 14933 14581 0 -1 4202560 2515 0 1 0 141 1 0 0 20 0 19 0 253672784 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155462992280 140155335122968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14936] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253672784 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155307030952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14937] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672784 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155305978408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14938] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14931 14933 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253672784 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155304925352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14939] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14931 14933 14581 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253672784 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155303872808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14940] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14931 14933 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253672785 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155302820776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14941] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672785 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155301768232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14942] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14931 14933 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253672785 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155300715176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14943] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253672785 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155299662632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14944] ppid=14931 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) S 14931 14933 14581 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 253672786 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155287251304 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14945] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14931 14933 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155286197624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14946] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155285144456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14947] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155284093200 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14948] ppid=14931 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14931 14933 14581 0 -1 4202560 2253 0 0 0 22 0 0 0 20 0 19 0 253672789 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155283041080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14949] ppid=14931 vsize=9624976 CPUtime=0.23 cores=0,2,4,6
/proc/14933/task/14949/stat : 14949 (java) S 14931 14933 14581 0 -1 4202560 1622 0 0 0 23 0 0 0 20 0 19 0 253672789 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155281988536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14950] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14950/stat : 14950 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155280935672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14951] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14951/stat : 14951 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155279883336 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14952] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14952/stat : 14952 (java) S 14931 14933 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253672803 9855975424 11061 33554432000 1073741824 1073778376 140734119725584 140155278828584 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9624976

[startup+3.10067 s]
/proc/loadavg: 2.13 2.04 1.93 3/213 14952
/proc/meminfo: memFree=28878012/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=9624976 CPUtime=3.64 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14931 14933 14581 0 -1 4202496 7666 0 1 0 362 2 0 0 20 0 19 0 253672783 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140734119716720 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 2406244 11589 2272 9 0 2396937 0
[pid=14933/tid=14935] ppid=14931 vsize=9624976 CPUtime=2.95 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14931 14933 14581 0 -1 4202560 2519 0 1 0 294 1 0 0 20 0 19 0 253672784 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155462992160 140155335149319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14936] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253672784 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155307030952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14937] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14931 14933 14581 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253672784 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155305978408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14938] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14931 14933 14581 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253672784 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155304925352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14939] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14931 14933 14581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253672784 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155303872808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14940] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14931 14933 14581 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253672785 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155302820776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14941] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672785 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155301768232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14942] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14931 14933 14581 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253672785 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155300715176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14943] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253672785 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155299662632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14944] ppid=14931 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) S 14931 14933 14581 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 253672786 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155287251304 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14945] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14931 14933 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155286197624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14946] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155285144456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14947] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155284093200 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14948] ppid=14931 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14931 14933 14581 0 -1 4202560 2253 0 0 0 22 0 0 0 20 0 19 0 253672789 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155283041080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14949] ppid=14931 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/14933/task/14949/stat : 14949 (java) S 14931 14933 14581 0 -1 4202560 1631 0 0 0 27 0 0 0 20 0 19 0 253672789 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155281988536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14950] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14950/stat : 14950 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155280935672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14951] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14951/stat : 14951 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155279883336 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14952] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14952/stat : 14952 (java) S 14931 14933 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253672803 9855975424 11589 33554432000 1073741824 1073778376 140734119725584 140155278828584 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 9624976

[startup+6.30068 s]
/proc/loadavg: 2.12 2.04 1.93 3/213 14952
/proc/meminfo: memFree=28859332/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=9624976 CPUtime=6.91 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14931 14933 14581 0 -1 4202496 7711 0 1 0 689 2 0 0 20 0 19 0 253672783 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140734119716720 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 2406244 12949 2272 9 0 2396937 0
[pid=14933/tid=14935] ppid=14931 vsize=9624976 CPUtime=6.04 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14931 14933 14581 0 -1 4202560 2525 0 1 0 603 1 0 0 20 0 19 0 253672784 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155462992160 140155335149614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14936] ppid=14931 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253672784 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155307030952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14937] ppid=14931 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14931 14933 14581 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 253672784 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155305978408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14938] ppid=14931 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14931 14933 14581 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253672784 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155304925352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14939] ppid=14931 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14931 14933 14581 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253672784 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155303872808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14940] ppid=14931 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253672785 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155302820776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14941] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672785 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155301768232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14942] ppid=14931 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14931 14933 14581 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 253672785 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155300715176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14943] ppid=14931 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14931 14933 14581 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253672785 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155299662632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14944] ppid=14931 vsize=9624976 CPUtime=0.12 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) S 14931 14933 14581 0 -1 4202560 33 0 0 0 12 0 0 0 20 0 19 0 253672786 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155287251304 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14945] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14931 14933 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155286197624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14946] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155285144456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14947] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155284093200 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14948] ppid=14931 vsize=9624976 CPUtime=0.22 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14931 14933 14581 0 -1 4202560 2253 0 0 0 22 0 0 0 20 0 19 0 253672789 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155283041080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14949] ppid=14931 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/14933/task/14949/stat : 14949 (java) S 14931 14933 14581 0 -1 4202560 1631 0 0 0 27 0 0 0 20 0 19 0 253672789 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155281988536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14950] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14950/stat : 14950 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155280935672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14951] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14951/stat : 14951 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155279883336 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14952] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14952/stat : 14952 (java) S 14931 14933 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253672803 9855975424 12949 33554432000 1073741824 1073778376 140734119725584 140155278828584 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=14933/tid=14948] ppid=14931 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14931 14933 14581 0 -1 4202560 2409 0 0 0 29 0 0 0 20 0 19 0 253672789 9855975424 62628 33554432000 1073741824 1073778376 140734119725584 140155283041080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14949] ppid=14931 vsize=9624976 CPUtime=0.97 cores=0,2,4,6
/proc/14933/task/14949/stat : 14949 (java) S 14931 14933 14581 0 -1 4202560 13580 0 0 0 94 3 0 0 20 0 19 0 253672789 9855975424 62628 33554432000 1073741824 1073778376 140734119725584 140155281988536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14950] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14950/stat : 14950 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 62628 33554432000 1073741824 1073778376 140734119725584 140155280935672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14951] ppid=14931 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/14933/task/14951/stat : 14951 (java) S 14931 14933 14581 0 -1 4202560 98 0 0 0 34 19 0 0 20 0 19 0 253672789 9855975424 62628 33554432000 1073741824 1073778376 140734119725584 140155279883336 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14952] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14952/stat : 14952 (java) S 14931 14933 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253672803 9855975424 62628 33554432000 1073741824 1073778376 140734119725584 140155278828584 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1729.72
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.97 2.01 1.97 3/213 14968
/proc/meminfo: memFree=28147620/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=9624976 CPUtime=1789.82 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14931 14933 14581 0 -1 4202496 22823 0 1 0 178945 37 0 0 20 0 19 0 253672783 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140734119716720 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 2406244 63140 2274 9 0 2396937 0
[pid=14933/tid=14935] ppid=14931 vsize=9624976 CPUtime=1763.76 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14931 14933 14581 0 -1 4202560 2759 0 1 0 176347 29 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155462992160 140155335091945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14936] ppid=14931 vsize=9624976 CPUtime=1.08 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14931 14933 14581 0 -1 4202560 395 0 0 0 106 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155307030952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14937] ppid=14931 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14931 14933 14581 0 -1 4202560 269 0 0 0 114 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155305978408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14938] ppid=14931 vsize=9624976 CPUtime=1.02 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14931 14933 14581 0 -1 4202560 271 0 0 0 100 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155304925352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14939] ppid=14931 vsize=9624976 CPUtime=1.14 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14931 14933 14581 0 -1 4202560 288 0 0 0 112 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155303872808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14940] ppid=14931 vsize=9624976 CPUtime=1.02 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14931 14933 14581 0 -1 4202560 386 0 0 0 102 0 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155302820776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14941] ppid=14931 vsize=9624976 CPUtime=1.11 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14931 14933 14581 0 -1 4202560 270 0 0 0 109 2 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155301768232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14942] ppid=14931 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14931 14933 14581 0 -1 4202560 327 0 0 0 102 2 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155300715176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14943] ppid=14931 vsize=9624976 CPUtime=1.12 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14931 14933 14581 0 -1 4202560 408 0 0 0 110 2 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155299662632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14944] ppid=14931 vsize=9624976 CPUtime=11.22 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) S 14931 14933 14581 0 -1 4202560 177 0 0 0 1120 2 0 0 20 0 19 0 253672786 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155287251304 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14945] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14931 14933 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155286197624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14946] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155285144456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14947] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155284093200 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14948] ppid=14931 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14931 14933 14581 0 -1 4202560 2409 0 0 0 29 0 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155283041080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14949] ppid=14931 vsize=9624976 CPUtime=0.97 cores=0,2,4,6
/proc/14933/task/14949/stat : 14949 (java) S 14931 14933 14581 0 -1 4202560 13580 0 0 0 94 3 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155281988536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14950] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14950/stat : 14950 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155280935672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14951] ppid=14931 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/14933/task/14951/stat : 14951 (java) S 14931 14933 14581 0 -1 4202560 102 0 0 0 35 20 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155279883336 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14952] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14952/stat : 14952 (java) S 14931 14933 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253672803 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155278828584 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1789.82
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.5 s]
/proc/loadavg: 1.90 1.99 1.96 3/213 15027
/proc/meminfo: memFree=28632616/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=9624976 CPUtime=1800.08 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14931 14933 14581 0 -1 4202496 22826 0 1 0 179970 38 0 0 20 0 19 0 253672783 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140734119716720 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 2406244 63140 2274 9 0 2396937 0
[pid=14933/tid=14935] ppid=14931 vsize=9624976 CPUtime=1773.79 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14931 14933 14581 0 -1 4202560 2760 0 1 0 177349 30 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155462992160 140155335121796 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14936] ppid=14931 vsize=9624976 CPUtime=1.09 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14931 14933 14581 0 -1 4202560 395 0 0 0 107 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155307030952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14937] ppid=14931 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14931 14933 14581 0 -1 4202560 269 0 0 0 114 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155305978408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14938] ppid=14931 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14931 14933 14581 0 -1 4202560 271 0 0 0 102 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155304925352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14939] ppid=14931 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14931 14933 14581 0 -1 4202560 288 0 0 0 114 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155303872808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14940] ppid=14931 vsize=9624976 CPUtime=1.02 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14931 14933 14581 0 -1 4202560 386 0 0 0 102 0 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155302820776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14941] ppid=14931 vsize=9624976 CPUtime=1.11 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14931 14933 14581 0 -1 4202560 270 0 0 0 109 2 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155301768232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14942] ppid=14931 vsize=9624976 CPUtime=1.05 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14931 14933 14581 0 -1 4202560 327 0 0 0 103 2 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155300715176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14943] ppid=14931 vsize=9624976 CPUtime=1.13 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14931 14933 14581 0 -1 4202560 408 0 0 0 111 2 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155299662632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14944] ppid=14931 vsize=9624976 CPUtime=11.35 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) S 14931 14933 14581 0 -1 4202560 179 0 0 0 1133 2 0 0 20 0 19 0 253672786 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155287251304 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14945] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14931 14933 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155286197624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14946] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155285144456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14947] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155284093200 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14948] ppid=14931 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14931 14933 14581 0 -1 4202560 2409 0 0 0 29 0 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155283041080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14949] ppid=14931 vsize=9624976 CPUtime=0.97 cores=0,2,4,6
/proc/14933/task/14949/stat : 14949 (java) S 14931 14933 14581 0 -1 4202560 13580 0 0 0 94 3 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155281988536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14950] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14950/stat : 14950 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155280935672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14951] ppid=14931 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/14933/task/14951/stat : 14951 (java) S 14931 14933 14581 0 -1 4202560 102 0 0 0 35 21 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155279883336 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14952] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14952/stat : 14952 (java) S 14931 14933 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253672803 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155278828584 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1792.5 s]
/proc/loadavg: 1.90 1.99 1.96 3/213 15027
/proc/meminfo: memFree=28632616/32873844 swapFree=7104/7104
[pid=14933] ppid=14931 vsize=9624976 CPUtime=1800.08 cores=0,2,4,6
/proc/14933/stat : 14933 (java) S 14931 14933 14581 0 -1 4202496 22826 0 1 0 179970 38 0 0 20 0 19 0 253672783 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140734119716720 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 2406244 63140 2274 9 0 2396937 0
[pid=14933/tid=14935] ppid=14931 vsize=9624976 CPUtime=1773.79 cores=0,2,4,6
/proc/14933/task/14935/stat : 14935 (java) R 14931 14933 14581 0 -1 4202560 2760 0 1 0 177349 30 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155462992160 140155335121796 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14936] ppid=14931 vsize=9624976 CPUtime=1.09 cores=0,2,4,6
/proc/14933/task/14936/stat : 14936 (java) S 14931 14933 14581 0 -1 4202560 395 0 0 0 107 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155307030952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14937] ppid=14931 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/14933/task/14937/stat : 14937 (java) S 14931 14933 14581 0 -1 4202560 269 0 0 0 114 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155305978408 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14938] ppid=14931 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/14933/task/14938/stat : 14938 (java) S 14931 14933 14581 0 -1 4202560 271 0 0 0 102 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155304925352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14939] ppid=14931 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/14933/task/14939/stat : 14939 (java) S 14931 14933 14581 0 -1 4202560 288 0 0 0 114 2 0 0 20 0 19 0 253672784 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155303872808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14940] ppid=14931 vsize=9624976 CPUtime=1.02 cores=0,2,4,6
/proc/14933/task/14940/stat : 14940 (java) S 14931 14933 14581 0 -1 4202560 386 0 0 0 102 0 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155302820776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14941] ppid=14931 vsize=9624976 CPUtime=1.11 cores=0,2,4,6
/proc/14933/task/14941/stat : 14941 (java) S 14931 14933 14581 0 -1 4202560 270 0 0 0 109 2 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155301768232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14942] ppid=14931 vsize=9624976 CPUtime=1.05 cores=0,2,4,6
/proc/14933/task/14942/stat : 14942 (java) S 14931 14933 14581 0 -1 4202560 327 0 0 0 103 2 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155300715176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14943] ppid=14931 vsize=9624976 CPUtime=1.13 cores=0,2,4,6
/proc/14933/task/14943/stat : 14943 (java) S 14931 14933 14581 0 -1 4202560 408 0 0 0 111 2 0 0 20 0 19 0 253672785 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155299662632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14933/tid=14944] ppid=14931 vsize=9624976 CPUtime=11.35 cores=0,2,4,6
/proc/14933/task/14944/stat : 14944 (java) S 14931 14933 14581 0 -1 4202560 179 0 0 0 1133 2 0 0 20 0 19 0 253672786 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155287251304 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14945] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14945/stat : 14945 (java) S 14931 14933 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155286197624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14946] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14946/stat : 14946 (java) S 14931 14933 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253672786 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155285144456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14947] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14947/stat : 14947 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155284093200 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14948] ppid=14931 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/14933/task/14948/stat : 14948 (java) S 14931 14933 14581 0 -1 4202560 2409 0 0 0 29 0 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155283041080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14933/tid=14949] ppid=14931 vsize=9624976 CPUtime=0.97 cores=0,2,4,6
/proc/14933/task/14949/stat : 14949 (java) S 14931 14933 14581 0 -1 4202560 13580 0 0 0 94 3 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155281988536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14950] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14950/stat : 14950 (java) S 14931 14933 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155280935672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14933/tid=14951] ppid=14931 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/14933/task/14951/stat : 14951 (java) S 14931 14933 14581 0 -1 4202560 102 0 0 0 35 21 0 0 20 0 19 0 253672789 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155279883336 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14933/tid=14952] ppid=14931 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/14933/task/14952/stat : 14952 (java) S 14931 14933 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253672803 9855975424 63140 33554432000 1073741824 1073778376 140734119725584 140155278828584 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1792.55
CPU time (s): 1800.08
CPU user time (s): 1799.7
CPU system time (s): 0.38
CPU usage (%): 100.42
Max. virtual memory (cumulated for all children) (KiB): 9626880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.23
system time used= 0.841872
maximum resident set size= 252708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22865
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= 44052
involuntary context switches= 23512

runsolver used 5.97109 second user time and 14.5718 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-24 18:04:39
IDJOB=3687685
IDBENCH=2021
IDSOLVER=2269
FILE ID=node142/3687685-1337875479
RUNJOBID= node142-1337871882-14597
PBS_JOBID= 14620062
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687685-1337875479/watcher-3687685-1337875479 -o /tmp/evaluation-result-3687685-1337875479/solver-3687685-1337875479 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687685-1337875479.opb

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

MD5SUM BENCH= c919b2e3620f35e89404416810e81e0b
RANDOM SEED=1226794198

node142.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.776
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	: 5333.55
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.776
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.776
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	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28916100 kB
Buffers:          217504 kB
Cached:          2884296 kB
SwapCached:            0 kB
Active:           542804 kB
Inactive:        2640380 kB
Active(anon):      83432 kB
Inactive(anon):        0 kB
Active(file):     459372 kB
Inactive(file):  2640380 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1152 kB
Writeback:             0 kB
AnonPages:         95828 kB
Mapped:            22548 kB
Shmem:               200 kB
Slab:             629744 kB
SReclaimable:      71864 kB
SUnreclaim:       557880 kB
KernelStack:        1600 kB
PageTables:         4432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node142 at 2012-05-24 18:34:34