Trace number 3687679

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)6956 1800.05 1787.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUMa8708c855e8ec8c2a31771025318bb9b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4822
Best CPU time to get the best result obtained on this benchmark0.235963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4822
Optimality of the best value was proved YES
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 771
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 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.11	c version 2.3.2.v20120418
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		501472288
0.06/0.11	c Max memory 		7480803328
0.06/0.11	c Total memory 		504102912
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization by upper bound
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3687679-1337875476.opb
0.06/0.13	c reading problem ... 
0.23/0.29	c ... done. Wall clock time 0.163s.
0.23/0.29	c declared #vars     771
0.23/0.29	c #constraints  1916
0.23/0.29	c constraints type 
0.23/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1520
0.23/0.30	c ignored satisfied constraints => 35
0.23/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 385
0.23/0.30	c org.sat4j.minisat.constraints.cnf.UnitClause => 11
0.23/0.30	c 1951 constraints processed.
0.23/0.30	c objective function length is 771 literals
0.46/0.32	c SATISFIABLE
0.46/0.32	c OPTIMIZING...
0.46/0.32	c Got one! Elapsed wall clock time (in seconds):0.187
0.46/0.32	o 7051
0.46/0.34	c Got one! Elapsed wall clock time (in seconds):0.21
0.46/0.34	o 7045
0.46/0.35	c Got one! Elapsed wall clock time (in seconds):0.222
0.46/0.35	o 6979
0.46/0.37	c Got one! Elapsed wall clock time (in seconds):0.234
0.46/0.37	o 6956
1.69/0.92	c cleaning 2503 clauses out of 5005 with flag 5000/5005
2.16/1.30	c cleaning 4251 clauses out of 8502 with flag 11000/11005
2.57/1.73	c cleaning 5626 clauses out of 11254 with flag 18003/18008
3.09/2.24	c cleaning 6812 clauses out of 13625 with flag 26000/26005
3.74/2.81	c cleaning 7907 clauses out of 15813 with flag 35000/35005
4.34/3.47	c cleaning 8949 clauses out of 17906 with flag 45000/45005
5.05/4.17	c cleaning 9977 clauses out of 19957 with flag 56000/56005
5.97/5.00	c cleaning 10988 clauses out of 21980 with flag 68000/68005
6.78/5.86	c cleaning 11994 clauses out of 23992 with flag 81000/81005
7.68/6.76	c cleaning 12995 clauses out of 25999 with flag 95001/95006
8.70/7.72	c cleaning 13999 clauses out of 28004 with flag 110001/110006
9.70/8.73	c cleaning 14993 clauses out of 30004 with flag 126000/126005
10.81/9.85	c cleaning 15997 clauses out of 32011 with flag 143000/143005
12.04/11.05	c cleaning 17007 clauses out of 34014 with flag 161000/161005
13.34/12.32	c cleaning 18002 clauses out of 36007 with flag 180000/180005
14.55/13.56	c cleaning 18997 clauses out of 38005 with flag 200000/200005
15.97/14.90	c cleaning 20003 clauses out of 40008 with flag 221000/221005
17.40/16.33	c cleaning 20993 clauses out of 42005 with flag 243000/243005
18.83/17.79	c cleaning 21995 clauses out of 44013 with flag 266001/266006
20.44/19.32	c cleaning 23004 clauses out of 46017 with flag 290000/290005
22.06/20.97	c cleaning 24005 clauses out of 48013 with flag 315000/315005
23.88/22.70	c cleaning 25002 clauses out of 50008 with flag 341000/341005
25.61/24.46	c cleaning 26003 clauses out of 52006 with flag 368000/368005
27.67/26.42	c cleaning 26998 clauses out of 54003 with flag 396000/396005
29.60/28.35	c cleaning 27994 clauses out of 56006 with flag 425001/425006
31.63/30.33	c cleaning 29005 clauses out of 58012 with flag 455001/455006
33.75/32.40	c cleaning 30001 clauses out of 60006 with flag 486000/486005
35.97/34.64	c cleaning 30994 clauses out of 62005 with flag 518000/518005
38.30/36.93	c cleaning 31995 clauses out of 64011 with flag 551000/551005
40.83/39.42	c cleaning 33009 clauses out of 66017 with flag 585001/585006
43.15/41.79	c cleaning 33997 clauses out of 68007 with flag 620000/620005
45.66/44.29	c cleaning 35004 clauses out of 70011 with flag 656001/656006
48.38/46.99	c cleaning 36000 clauses out of 72007 with flag 693001/693006
51.21/49.79	c cleaning 36995 clauses out of 74007 with flag 731001/731006
54.23/52.72	c cleaning 38002 clauses out of 76012 with flag 770001/770006
57.06/55.52	c cleaning 39005 clauses out of 78009 with flag 810000/810005
60.68/59.11	c cleaning 39999 clauses out of 80005 with flag 851001/851006
64.23/62.68	c cleaning 40998 clauses out of 82005 with flag 893000/893005
67.26/65.63	c cleaning 41990 clauses out of 84007 with flag 936000/936005
70.38/68.79	c cleaning 43007 clauses out of 86018 with flag 980001/980006
73.68/72.07	c cleaning 44000 clauses out of 88010 with flag 1025000/1025005
77.42/75.79	c cleaning 45006 clauses out of 90011 with flag 1071001/1071006
81.07/79.36	c cleaning 45990 clauses out of 92004 with flag 1118000/1118005
84.38/82.62	c cleaning 47003 clauses out of 94014 with flag 1166000/1166005
87.70/85.98	c cleaning 48005 clauses out of 96011 with flag 1215000/1215005
91.63/89.87	c cleaning 49004 clauses out of 98007 with flag 1265001/1265006
95.65/93.87	c cleaning 49998 clauses out of 100003 with flag 1316001/1316006
99.24/97.35	c cleaning 50992 clauses out of 102004 with flag 1368000/1368005
102.75/100.81	c cleaning 52003 clauses out of 104013 with flag 1421001/1421006
106.40/104.46	c cleaning 52996 clauses out of 106009 with flag 1475000/1475005
110.32/108.30	c cleaning 54007 clauses out of 108013 with flag 1530000/1530005
114.54/112.56	c cleaning 55000 clauses out of 110006 with flag 1586000/1586005
118.68/116.65	c cleaning 55986 clauses out of 112006 with flag 1643000/1643005
123.00/120.96	c cleaning 57010 clauses out of 114021 with flag 1701001/1701006
127.44/125.34	c cleaning 57997 clauses out of 116010 with flag 1760000/1760005
131.67/129.58	c cleaning 59007 clauses out of 118013 with flag 1820000/1820005
136.29/134.11	c cleaning 60000 clauses out of 120008 with flag 1881002/1881007
140.74/138.56	c cleaning 60996 clauses out of 122006 with flag 1943000/1943005
145.26/143.07	c cleaning 61993 clauses out of 124010 with flag 2006000/2006005
149.61/147.38	c cleaning 63000 clauses out of 126017 with flag 2070000/2070005
154.24/151.93	c cleaning 64002 clauses out of 128017 with flag 2135000/2135005
159.27/156.96	c cleaning 64999 clauses out of 130016 with flag 2201001/2201006
164.81/162.41	c cleaning 66002 clauses out of 132016 with flag 2268000/2268005
169.95/167.51	c cleaning 67005 clauses out of 134014 with flag 2336000/2336005
175.38/172.91	c cleaning 67999 clauses out of 136009 with flag 2405000/2405005
180.73/178.24	c cleaning 69005 clauses out of 138011 with flag 2475001/2475006
186.14/183.66	c cleaning 70001 clauses out of 140009 with flag 2546004/2546009
191.96/189.43	c cleaning 71001 clauses out of 142004 with flag 2618000/2618005
197.59/195.01	c cleaning 71996 clauses out of 144005 with flag 2691002/2691007
203.22/200.64	c cleaning 73000 clauses out of 146008 with flag 2765001/2765006
209.04/206.44	c cleaning 73996 clauses out of 148007 with flag 2840000/2840005
214.99/212.35	c cleaning 75004 clauses out of 150011 with flag 2916000/2916005
220.95/218.22	c cleaning 76002 clauses out of 152008 with flag 2993001/2993006
226.79/224.04	c cleaning 77003 clauses out of 154006 with flag 3071001/3071006
232.51/229.80	c cleaning 78001 clauses out of 156002 with flag 3150000/3150005
238.75/235.97	c cleaning 78999 clauses out of 158001 with flag 3230000/3230005
244.91/242.06	c cleaning 79998 clauses out of 160003 with flag 3311001/3311006
251.33/248.48	c cleaning 80999 clauses out of 162006 with flag 3393002/3393007
257.40/254.40	c cleaning 82003 clauses out of 164005 with flag 3476000/3476005
263.92/260.97	c cleaning 83000 clauses out of 166002 with flag 3560000/3560005
271.42/268.36	c cleaning 83999 clauses out of 168002 with flag 3645000/3645005
277.69/274.59	c cleaning 84998 clauses out of 170004 with flag 3731001/3731006
284.44/281.21	c cleaning 85999 clauses out of 172006 with flag 3818001/3818006
290.82/287.59	c cleaning 86998 clauses out of 174007 with flag 3906001/3906006
297.43/294.14	c cleaning 87994 clauses out of 176008 with flag 3995000/3995005
304.58/301.21	c cleaning 89002 clauses out of 178014 with flag 4085000/4085005
312.12/308.71	c cleaning 90001 clauses out of 180012 with flag 4176000/4176005
320.76/317.33	c cleaning 91000 clauses out of 182011 with flag 4268000/4268005
329.06/325.56	c cleaning 91998 clauses out of 184011 with flag 4361000/4361005
337.61/334.05	c cleaning 93003 clauses out of 186014 with flag 4455001/4455006
344.75/341.10	c cleaning 93995 clauses out of 188010 with flag 4550000/4550005
353.10/349.44	c cleaning 95001 clauses out of 190015 with flag 4646000/4646005
360.76/357.01	c cleaning 96004 clauses out of 192014 with flag 4743000/4743005
368.50/364.75	c cleaning 96993 clauses out of 194011 with flag 4841001/4841006
377.35/373.57	c cleaning 98010 clauses out of 196019 with flag 4940002/4940007
386.52/382.63	c cleaning 99003 clauses out of 198008 with flag 5040001/5040006
396.99/392.99	c cleaning 100001 clauses out of 200007 with flag 5141003/5141008
407.40/403.27	c cleaning 100992 clauses out of 202004 with flag 5243001/5243006
418.67/414.42	c cleaning 102004 clauses out of 204013 with flag 5346002/5346007
427.95/423.66	c cleaning 102994 clauses out of 206007 with flag 5450000/5450005
437.68/433.38	c cleaning 104003 clauses out of 208013 with flag 5555000/5555005
447.52/443.14	c cleaning 105006 clauses out of 210011 with flag 5661001/5661006
456.79/452.39	c cleaning 105997 clauses out of 212004 with flag 5768000/5768005
465.97/461.41	c cleaning 107000 clauses out of 214007 with flag 5876000/5876005
474.73/470.14	c cleaning 107984 clauses out of 216007 with flag 5985000/5985005
483.18/478.59	c cleaning 109002 clauses out of 218024 with flag 6095001/6095006
492.34/487.63	c cleaning 110008 clauses out of 220023 with flag 6206002/6206007
501.87/497.12	c cleaning 111001 clauses out of 222013 with flag 6318000/6318005
511.03/506.23	c cleaning 111998 clauses out of 224012 with flag 6431000/6431005
520.98/516.13	c cleaning 112996 clauses out of 226016 with flag 6545002/6545007
530.83/525.92	c cleaning 114005 clauses out of 228018 with flag 6660000/6660005
539.61/534.68	c cleaning 115007 clauses out of 230016 with flag 6776003/6776008
549.03/544.08	c cleaning 115998 clauses out of 232006 with flag 6893000/6893005
558.31/553.29	c cleaning 116999 clauses out of 234008 with flag 7011000/7011005
568.13/563.09	c cleaning 117999 clauses out of 236009 with flag 7130000/7130005
579.29/574.15	c cleaning 119001 clauses out of 238012 with flag 7250002/7250007
591.27/586.01	c cleaning 120003 clauses out of 240010 with flag 7371001/7371006
602.00/596.74	c cleaning 121000 clauses out of 242006 with flag 7493000/7493005
614.76/609.44	c cleaning 122004 clauses out of 244009 with flag 7616003/7616008
626.34/620.90	c cleaning 122994 clauses out of 246002 with flag 7740000/7740005
638.30/632.83	c cleaning 123992 clauses out of 248008 with flag 7865000/7865005
649.82/644.31	c cleaning 125007 clauses out of 250017 with flag 7991001/7991006
661.59/656.01	c cleaning 125999 clauses out of 252009 with flag 8118000/8118005
671.61/666.04	c cleaning 127005 clauses out of 254011 with flag 8246001/8246006
683.46/677.80	c cleaning 128001 clauses out of 256006 with flag 8375001/8375006
698.71/692.93	c cleaning 129000 clauses out of 258004 with flag 8505000/8505005
713.82/707.95	c cleaning 129995 clauses out of 260005 with flag 8636001/8636006
728.75/722.72	c cleaning 131001 clauses out of 262009 with flag 8768000/8768005
743.15/737.06	c cleaning 132002 clauses out of 264008 with flag 8901000/8901005
755.51/749.34	c cleaning 132992 clauses out of 266007 with flag 9035001/9035006
768.50/762.25	c cleaning 133996 clauses out of 268015 with flag 9170001/9170006
781.81/775.41	c cleaning 135006 clauses out of 270018 with flag 9306000/9306005
795.64/789.26	c cleaning 136001 clauses out of 272013 with flag 9443001/9443006
809.96/803.42	c cleaning 137002 clauses out of 274012 with flag 9581001/9581006
823.11/816.54	c cleaning 137996 clauses out of 276009 with flag 9720000/9720005
837.78/831.14	c cleaning 139004 clauses out of 278014 with flag 9860001/9860006
852.42/845.79	c cleaning 139993 clauses out of 280010 with flag 10001001/10001006
865.95/859.11	c cleaning 141008 clauses out of 282016 with flag 10143000/10143005
877.69/870.86	c cleaning 142001 clauses out of 284010 with flag 10286002/10286007
889.94/883.01	c cleaning 142995 clauses out of 286008 with flag 10430001/10430006
902.92/895.90	c cleaning 144002 clauses out of 288012 with flag 10575000/10575005
915.50/908.46	c cleaning 145002 clauses out of 290011 with flag 10721001/10721006
928.48/921.39	c cleaning 146000 clauses out of 292008 with flag 10868000/10868005
940.47/933.26	c cleaning 146999 clauses out of 294008 with flag 11016000/11016005
952.49/945.24	c cleaning 147992 clauses out of 296010 with flag 11165001/11165006
964.41/957.19	c cleaning 149003 clauses out of 298017 with flag 11315000/11315005
975.92/968.66	c cleaning 149991 clauses out of 300014 with flag 11466000/11466005
988.16/980.87	c cleaning 151008 clauses out of 302023 with flag 11618000/11618005
1000.24/992.85	c cleaning 152003 clauses out of 304015 with flag 11771000/11771005
1013.50/1006.04	c cleaning 153007 clauses out of 306014 with flag 11925002/11925007
1026.79/1019.23	c cleaning 153987 clauses out of 308005 with flag 12080000/12080005
1039.68/1032.04	c cleaning 155000 clauses out of 310018 with flag 12236000/12236005
1052.76/1045.10	c cleaning 155996 clauses out of 312018 with flag 12393000/12393005
1066.75/1058.96	c cleaning 157005 clauses out of 314023 with flag 12551001/12551006
1080.29/1072.49	c cleaning 158006 clauses out of 316017 with flag 12710000/12710005
1094.27/1086.31	c cleaning 158998 clauses out of 318011 with flag 12870000/12870005
1109.44/1101.44	c cleaning 160000 clauses out of 320013 with flag 13031000/13031005
1123.44/1115.35	c cleaning 160998 clauses out of 322015 with flag 13193002/13193007
1139.12/1130.67	c cleaning 161999 clauses out of 324016 with flag 13356001/13356006
1154.49/1145.85	c cleaning 163004 clauses out of 326018 with flag 13520002/13520007
1170.65/1161.96	c cleaning 163997 clauses out of 328012 with flag 13685000/13685005
1184.35/1175.58	c cleaning 165005 clauses out of 330015 with flag 13851000/13851005
1199.25/1190.35	c cleaning 166000 clauses out of 332011 with flag 14018001/14018006
1214.61/1205.64	c cleaning 166994 clauses out of 334010 with flag 14186000/14186005
1230.32/1221.28	c cleaning 167997 clauses out of 336016 with flag 14355000/14355005
1245.59/1236.45	c cleaning 169007 clauses out of 338019 with flag 14525000/14525005
1262.17/1252.90	c cleaning 170001 clauses out of 340012 with flag 14696000/14696005
1279.35/1270.06	c cleaning 171000 clauses out of 342011 with flag 14868000/14868005
1294.71/1285.38	c cleaning 172003 clauses out of 344011 with flag 15041000/15041005
1308.99/1299.51	c cleaning 172992 clauses out of 346008 with flag 15215000/15215005
1324.05/1314.57	c cleaning 174003 clauses out of 348016 with flag 15390000/15390005
1340.35/1330.75	c cleaning 175001 clauses out of 350014 with flag 15566001/15566006
1356.34/1346.61	c cleaning 175997 clauses out of 352012 with flag 15743000/15743005
1371.15/1361.32	c cleaning 176999 clauses out of 354015 with flag 15921000/15921005
1388.25/1378.36	c cleaning 177996 clauses out of 356016 with flag 16100000/16100005
1403.24/1393.22	c cleaning 179005 clauses out of 358020 with flag 16280000/16280005
1418.51/1408.44	c cleaning 180005 clauses out of 360015 with flag 16461000/16461005
1437.79/1427.63	c cleaning 180997 clauses out of 362010 with flag 16643000/16643005
1457.79/1447.50	c cleaning 182000 clauses out of 364014 with flag 16826001/16826006
1478.32/1467.98	c cleaning 182996 clauses out of 366015 with flag 17010002/17010007
1498.24/1487.74	c cleaning 184006 clauses out of 368018 with flag 17195001/17195006
1518.35/1507.86	c cleaning 184998 clauses out of 370011 with flag 17381000/17381005
1537.26/1526.70	c cleaning 186007 clauses out of 372013 with flag 17568000/17568005
1557.47/1546.79	c cleaning 186993 clauses out of 374006 with flag 17756000/17756005
1578.26/1567.42	c cleaning 188006 clauses out of 376016 with flag 17945003/17945008
1597.61/1586.70	c cleaning 188993 clauses out of 378007 with flag 18135000/18135005
1621.70/1610.77	c cleaning 189999 clauses out of 380014 with flag 18326000/18326005
1644.32/1633.23	c cleaning 190996 clauses out of 382016 with flag 18518001/18518006
1662.79/1651.67	c cleaning 192006 clauses out of 384019 with flag 18711000/18711005
1680.40/1669.13	c cleaning 193001 clauses out of 386013 with flag 18905000/18905005
1704.11/1692.79	c cleaning 194003 clauses out of 388016 with flag 19100004/19100009
1729.39/1717.86	c cleaning 195000 clauses out of 390010 with flag 19296001/19296006
1754.52/1742.84	c cleaning 195996 clauses out of 392009 with flag 19493000/19493005
1775.65/1763.81	c cleaning 197000 clauses out of 394015 with flag 19691002/19691007
1795.21/1783.12	c cleaning 198002 clauses out of 396014 with flag 19890001/19890006
1800.05/1787.91	c starts		: 354
1800.05/1787.91	c conflicts		: 19959791
1800.05/1787.91	c decisions		: 41282973
1800.05/1787.91	c propagations		: 2442291904
1800.05/1787.91	c inspects		: 7408337641
1800.05/1787.91	c shortcuts		: 0
1800.05/1787.91	c learnt literals	: 0
1800.05/1787.91	c learnt binary clauses	: 0
1800.05/1787.91	c learnt ternary clauses	: 30
1800.05/1787.91	c learnt constraints	: 19959793
1800.05/1787.91	c ignored constraints	: 0
1800.05/1787.91	c root simplifications	: 0
1800.05/1787.91	c removed literals (reason simplification)	: 0
1800.05/1787.91	c reason swapping (by a shorter reason)	: 0
1800.05/1787.91	c Calls to reduceDB	: 195
1800.05/1787.91	c number of reductions to clauses (during analyze)	: 0
1800.05/1787.91	c number of learned constraints concerned by reduction	: 0
1800.05/1787.91	c number of learning phase by resolution	: 0
1800.05/1787.91	c number of learning phase by cutting planes	: 0
1800.05/1787.91	c speed (assignments/second)	: 1366234.6269428197
1800.05/1787.91	c non guided choices	5
1800.05/1787.95	c learnt constraints type 
1800.05/1787.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 268151
1800.05/1787.95	c constraints type 
1800.05/1787.95	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1520
1800.05/1787.95	c ignored satisfied constraints => 35
1800.05/1787.95	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 385
1800.05/1787.95	c org.sat4j.minisat.constraints.cnf.UnitClause => 11
1800.05/1787.95	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.05/1787.95	c 1952 constraints processed.
1800.05/1787.95	s SATISFIABLE
1800.05/1787.95	v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 -x45 x46 -x47 x48 x49 -x50 x51 -x52 -x53 x54 x55 x56 x57 x58 -x59 -x60 -x61 x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 x101 -x102 x103 x104 x105 x106 -x107 x108 -x109 x110 -x111 x112 x113 -x114 -x115 x116 -x117 x118 x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 x148 x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 x165 x166 x167 x168 x169 -x170 -x171 -x172 -x173 x174 x175 -x176 -x177 x178 -x179 -x180 x181 -x182 -x183 x184 x185 -x186 -x187 -x188 x189 -x190 x191 -x192 x193 x194 x195 x196 -x197 x198 -x199 x200 x201 x202 x203 -x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 -x214 -x215 -x216 x217 x218 x219 -x220 x221 -x222 x223 -x224 x225 x226 x227 x228 -x229 x230 x231 x232 -x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 x242 -x243 x244 x245 -x246 -x247 x248 x249 -x250 -x251 x252 -x253 x254 x255 x256 -x257 -x258 -x259 x260 x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 x280 x281 x282 x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 x299 x300 -x301 -x302 x303 x304 x305 -x306 -x307 -x308 -x309 x310 x311 x312 -x313 x314 -x315 x316 x317 x318 x319 x320 -x321 x322 -x323 -x324 x325 x326 x327 x328 -x329 -x330 x331 x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 x341 x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 x350 x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 -x395 x396 x397 x398 -x399 x400 x401 x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 x412 x413 x414 -x415 -x416 x417 x418 x419 x420 x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 x429 x430 -x431 x432 x433 x434 -x435 x436 -x437 x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 
1800.05/1787.95	c objective function=6956
1800.05/1787.95	c Total wall clock time (in seconds): 1787.816

Verifier Data

OK	6956

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-3687679-1337875476/watcher-3687679-1337875476 -o /tmp/evaluation-result-3687679-1337875476/solver-3687679-1337875476 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687679-1337875476.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.06 1.94 2/194 14874
/proc/meminfo: memFree=28557164/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/14874/stat : 14874 (java) R 14872 14874 14581 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 253672446 2560000 47 33554432000 1073741824 1073778376 140735599226544 140735599223672 233211784487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14874/statm: 625 47 37 9 0 29 0

[startup+0.092072 s]
/proc/loadavg: 2.23 2.06 1.94 2/194 14874
/proc/meminfo: memFree=28557164/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/14874/stat : 14874 (java) S 14872 14874 14581 0 -1 4202496 3274 0 1 0 5 0 0 0 20 0 18 0 253672446 9787813888 4482 33554432000 1073741824 1073778376 140736560963264 140736560954400 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14874/statm: 2389603 4482 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412

[startup+0.100361 s]
/proc/loadavg: 2.23 2.06 1.94 2/194 14874
/proc/meminfo: memFree=28557164/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/14874/stat : 14874 (java) S 14872 14874 14581 0 -1 4202496 3353 0 1 0 6 0 0 0 20 0 18 0 253672446 9787813888 4561 33554432000 1073741824 1073778376 140736560963264 140736560954400 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14874/statm: 2389603 4561 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.300249 s]
/proc/loadavg: 2.23 2.06 1.94 2/194 14874
/proc/meminfo: memFree=28557164/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/14874/stat : 14874 (java) S 14872 14874 14581 0 -1 4202496 5624 0 1 0 45 1 0 0 20 0 18 0 253672446 9787813888 8386 33554432000 1073741824 1073778376 140736560963264 140736560954400 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14874/statm: 2389603 8386 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700357 s]
/proc/loadavg: 2.23 2.06 1.94 2/194 14874
/proc/meminfo: memFree=28557164/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/14874/stat : 14874 (java) S 14872 14874 14581 0 -1 4202496 12942 0 1 0 143 3 0 0 20 0 19 0 253672446 9855975424 14161 33554432000 1073741824 1073778376 140736560963264 140736560954400 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14874/statm: 2406244 14161 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9624976

[startup+1.5008 s]
/proc/loadavg: 2.23 2.06 1.94 3/213 14893
/proc/meminfo: memFree=28495020/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=9624976 CPUtime=2.37 cores=1,3,5,7
/proc/14874/stat : 14874 (java) S 14872 14874 14581 0 -1 4202496 13022 0 1 0 233 4 0 0 20 0 19 0 253672446 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 140736560954400 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14874/statm: 2406244 19341 2274 9 0 2396937 0
[pid=14874/tid=14876] ppid=14872 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/14874/task/14876/stat : 14876 (java) R 14872 14874 14581 0 -1 4202560 2463 0 1 0 141 1 0 0 20 0 19 0 253672448 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865298993560 139865157570458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14877] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14877/stat : 14877 (java) S 14872 14874 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865277094696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14878] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14878/stat : 14878 (java) S 14872 14874 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865276041896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14879] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14879/stat : 14879 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865073118248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14880] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14880/stat : 14880 (java) S 14872 14874 14581 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865072065448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14881] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14881/stat : 14881 (java) S 14872 14874 14581 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865071012136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14882] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14882/stat : 14882 (java) S 14872 14874 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865069959336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14883] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14883/stat : 14883 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865068907048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14884] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14884/stat : 14884 (java) S 14872 14874 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865067854248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14885] ppid=14872 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/14874/task/14885/stat : 14885 (java) S 14872 14874 14581 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 253672451 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865055656680 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14886] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14886/stat : 14886 (java) S 14872 14874 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865054602744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14887] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14887/stat : 14887 (java) S 14872 14874 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865053550344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14888] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14888/stat : 14888 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865052498832 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14889] ppid=14872 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/14874/task/14889/stat : 14889 (java) S 14872 14874 14581 0 -1 4202560 4240 0 0 0 47 0 0 0 20 0 19 0 253672454 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865051445432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14890] ppid=14872 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/14874/task/14890/stat : 14890 (java) S 14872 14874 14581 0 -1 4202560 5060 0 0 0 37 1 0 0 20 0 19 0 253672454 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865050392632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14891] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14891/stat : 14891 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865049340536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14892] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14892/stat : 14892 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865048287944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14893] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14893/stat : 14893 (java) S 14872 14874 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253672477 9855975424 19341 33554432000 1073741824 1073778376 140736560963264 139865047233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 9624976

[startup+3.10066 s]
/proc/loadavg: 2.23 2.06 1.94 2/193 14896
/proc/meminfo: memFree=28918056/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=9624976 CPUtime=4.04 cores=1,3,5,7
/proc/14874/stat : 14874 (java) S 14872 14874 14581 0 -1 4202496 13051 0 1 0 400 4 0 0 20 0 19 0 253672446 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 140736560954400 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14874/statm: 2406244 21408 2274 9 0 2396937 0
[pid=14874/tid=14876] ppid=14872 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/14874/task/14876/stat : 14876 (java) R 14872 14874 14581 0 -1 4202560 2464 0 1 0 294 1 0 0 20 0 19 0 253672448 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865298993440 139865157717577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14877] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14877/stat : 14877 (java) S 14872 14874 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865277094696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14878] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14878/stat : 14878 (java) S 14872 14874 14581 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865276041896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14879] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14879/stat : 14879 (java) S 14872 14874 14581 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865073118248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14880] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14880/stat : 14880 (java) S 14872 14874 14581 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865072065448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14881] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14881/stat : 14881 (java) S 14872 14874 14581 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865071012136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14882] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14882/stat : 14882 (java) S 14872 14874 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865069959336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14883] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14883/stat : 14883 (java) S 14872 14874 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865068907048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14884] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14884/stat : 14884 (java) S 14872 14874 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865067854248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14885] ppid=14872 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/14874/task/14885/stat : 14885 (java) S 14872 14874 14581 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 253672451 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865055656680 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14886] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14886/stat : 14886 (java) S 14872 14874 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865054602744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14887] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14887/stat : 14887 (java) S 14872 14874 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865053550344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14888] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14888/stat : 14888 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865052498832 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14889] ppid=14872 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/14874/task/14889/stat : 14889 (java) S 14872 14874 14581 0 -1 4202560 4243 0 0 0 52 0 0 0 20 0 19 0 253672454 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865051445432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14890] ppid=14872 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/14874/task/14890/stat : 14890 (java) S 14872 14874 14581 0 -1 4202560 5060 0 0 0 38 1 0 0 20 0 19 0 253672454 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865050392632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14891] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14891/stat : 14891 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865049340536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14892] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14892/stat : 14892 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865048287944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14893] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14893/stat : 14893 (java) S 14872 14874 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253672477 9855975424 21408 33554432000 1073741824 1073778376 140736560963264 139865047233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 2.13 2.04 1.93 3/213 14952
/proc/meminfo: memFree=28878012/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=9624976 CPUtime=7.28 cores=1,3,5,7
/proc/14874/stat : 14874 (java) S 14872 14874 14581 0 -1 4202496 13081 0 1 0 724 4 0 0 20 0 19 0 253672446 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 140736560954400 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14874/statm: 2406244 21739 2274 9 0 2396937 0
[pid=14874/tid=14876] ppid=14872 vsize=9624976 CPUtime=6.06 cores=1,3,5,7
/proc/14874/task/14876/stat : 14876 (java) R 14872 14874 14581 0 -1 4202560 2469 0 1 0 605 1 0 0 20 0 19 0 253672448 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865298993440 139865157670265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14877] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14877/stat : 14877 (java) S 14872 14874 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865277094696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14878] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14878/stat : 14878 (java) S 14872 14874 14581 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865276041896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14879] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14879/stat : 14879 (java) S 14872 14874 14581 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865073118248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14880] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14880/stat : 14880 (java) S 14872 14874 14581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865072065448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14881] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14881/stat : 14881 (java) S 14872 14874 14581 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865071012136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14882] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14882/stat : 14882 (java) S 14872 14874 14581 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865069959336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14883] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14883/stat : 14883 (java) S 14872 14874 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865068907048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14884] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14884/stat : 14884 (java) S 14872 14874 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253672449 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865067854248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14885] ppid=14872 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/14874/task/14885/stat : 14885 (java) S 14872 14874 14581 0 -1 4202560 35 0 0 0 12 0 0 0 20 0 19 0 253672451 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865055656680 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14886] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14886/stat : 14886 (java) S 14872 14874 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865054602744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14887] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14887/stat : 14887 (java) S 14872 14874 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865053550344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14888] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14888/stat : 14888 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865052498832 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14889] ppid=14872 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/14874/task/14889/stat : 14889 (java) S 14872 14874 14581 0 -1 4202560 4243 0 0 0 53 0 0 0 20 0 19 0 253672454 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865051445432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14890] ppid=14872 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/14874/task/14890/stat : 14890 (java) S 14872 14874 14581 0 -1 4202560 5060 0 0 0 38 1 0 0 20 0 19 0 253672454 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865050392632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14891] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14891/stat : 14891 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865049340536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14892] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14892/stat : 14892 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865048287944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14893] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14893/stat : 14893 (java) S 14872 14874 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253672477 9855975424 21739 33554432000 1073741824 1073778376 140736560963264 139865047233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=14874/tid=14889] ppid=14872 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/14874/task/14889/stat : 14889 (java) S 14872 14874 14581 0 -1 4202560 4249 0 0 0 55 0 0 0 20 0 19 0 253672454 9855975424 139555 33554432000 1073741824 1073778376 140736560963264 139865051445432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14890] ppid=14872 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/14874/task/14890/stat : 14890 (java) S 14872 14874 14581 0 -1 4202560 5060 0 0 0 38 1 0 0 20 0 19 0 253672454 9855975424 139555 33554432000 1073741824 1073778376 140736560963264 139865050392632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14891] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14891/stat : 14891 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 139555 33554432000 1073741824 1073778376 140736560963264 139865049340536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14892] ppid=14872 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/14874/task/14892/stat : 14892 (java) S 14872 14874 14581 0 -1 4202560 98 0 0 0 38 20 0 0 20 0 19 0 253672454 9855975424 139555 33554432000 1073741824 1073778376 140736560963264 139865048287944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14893] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14893/stat : 14893 (java) S 14872 14874 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253672477 9855975424 139555 33554432000 1073741824 1073778376 140736560963264 139865047233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1734.01
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/213 14968
/proc/meminfo: memFree=28147496/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=9624976 CPUtime=1794.4 cores=1,3,5,7
/proc/14874/stat : 14874 (java) S 14872 14874 14581 0 -1 4202496 16702 0 1 0 179344 96 0 0 20 0 19 0 253672446 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 140736560954400 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14874/statm: 2406244 150819 2275 9 0 2396937 0
[pid=14874/tid=14876] ppid=14872 vsize=9624976 CPUtime=1757.24 cores=1,3,5,7
/proc/14874/task/14876/stat : 14876 (java) R 14872 14874 14581 0 -1 4202560 2710 0 1 0 175695 29 0 0 20 0 19 0 253672448 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865298993440 139865157277622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14877] ppid=14872 vsize=9624976 CPUtime=1.93 cores=1,3,5,7
/proc/14874/task/14877/stat : 14877 (java) S 14872 14874 14581 0 -1 4202560 537 0 0 0 185 8 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865277094696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14878] ppid=14872 vsize=9624976 CPUtime=1.77 cores=1,3,5,7
/proc/14874/task/14878/stat : 14878 (java) S 14872 14874 14581 0 -1 4202560 250 0 0 0 170 7 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865276041896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14879] ppid=14872 vsize=9624976 CPUtime=1.79 cores=1,3,5,7
/proc/14874/task/14879/stat : 14879 (java) S 14872 14874 14581 0 -1 4202560 233 0 0 0 173 6 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865073118248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14880] ppid=14872 vsize=9624976 CPUtime=1.73 cores=1,3,5,7
/proc/14874/task/14880/stat : 14880 (java) S 14872 14874 14581 0 -1 4202560 494 0 0 0 167 6 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865072065448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14881] ppid=14872 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/14874/task/14881/stat : 14881 (java) S 14872 14874 14581 0 -1 4202560 511 0 0 0 175 8 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865071012136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14882] ppid=14872 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/14874/task/14882/stat : 14882 (java) S 14872 14874 14581 0 -1 4202560 328 0 0 0 176 7 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865069959336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14883] ppid=14872 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/14874/task/14883/stat : 14883 (java) S 14872 14874 14581 0 -1 4202560 315 0 0 0 168 6 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865068907048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14884] ppid=14872 vsize=9624976 CPUtime=1.77 cores=1,3,5,7
/proc/14874/task/14884/stat : 14884 (java) S 14872 14874 14581 0 -1 4202560 302 0 0 0 169 8 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865067854248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14885] ppid=14872 vsize=9624976 CPUtime=16.44 cores=1,3,5,7
/proc/14874/task/14885/stat : 14885 (java) S 14872 14874 14581 0 -1 4202560 425 0 0 0 1642 2 0 0 20 0 19 0 253672451 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865055656680 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14886] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14886/stat : 14886 (java) S 14872 14874 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865054602744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14887] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14887/stat : 14887 (java) S 14872 14874 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865053550344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14888] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14888/stat : 14888 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865052498832 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14889] ppid=14872 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/14874/task/14889/stat : 14889 (java) S 14872 14874 14581 0 -1 4202560 4249 0 0 0 55 0 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865051445432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14890] ppid=14872 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/14874/task/14890/stat : 14890 (java) S 14872 14874 14581 0 -1 4202560 5060 0 0 0 38 1 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865050392632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14891] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14891/stat : 14891 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865049340536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14892] ppid=14872 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/14874/task/14892/stat : 14892 (java) S 14872 14874 14581 0 -1 4202560 102 0 0 0 40 20 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865048287944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14893] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14893/stat : 14893 (java) S 14872 14874 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253672477 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865047233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.9 s]
/proc/loadavg: 1.97 2.01 1.97 4/213 14968
/proc/meminfo: memFree=28147620/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/14874/stat : 14874 (java) S 14872 14874 14581 0 -1 4202496 16705 0 1 0 179909 96 0 0 20 0 19 0 253672446 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 140736560954400 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14874/statm: 2406244 150819 2275 9 0 2396937 0
[pid=14874/tid=14876] ppid=14872 vsize=9624976 CPUtime=1762.61 cores=1,3,5,7
/proc/14874/task/14876/stat : 14876 (java) R 14872 14874 14581 0 -1 4202560 2711 0 1 0 176232 29 0 0 20 0 19 0 253672448 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865298993440 139865157671845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14877] ppid=14872 vsize=9624976 CPUtime=1.94 cores=1,3,5,7
/proc/14874/task/14877/stat : 14877 (java) S 14872 14874 14581 0 -1 4202560 537 0 0 0 186 8 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865277094696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14878] ppid=14872 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/14874/task/14878/stat : 14878 (java) S 14872 14874 14581 0 -1 4202560 250 0 0 0 171 7 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865276041896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14879] ppid=14872 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/14874/task/14879/stat : 14879 (java) S 14872 14874 14581 0 -1 4202560 233 0 0 0 175 6 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865073118248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14880] ppid=14872 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/14874/task/14880/stat : 14880 (java) S 14872 14874 14581 0 -1 4202560 494 0 0 0 168 6 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865072065448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14881] ppid=14872 vsize=9624976 CPUtime=1.84 cores=1,3,5,7
/proc/14874/task/14881/stat : 14881 (java) S 14872 14874 14581 0 -1 4202560 511 0 0 0 176 8 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865071012136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14882] ppid=14872 vsize=9624976 CPUtime=1.84 cores=1,3,5,7
/proc/14874/task/14882/stat : 14882 (java) S 14872 14874 14581 0 -1 4202560 328 0 0 0 177 7 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865069959336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14883] ppid=14872 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/14874/task/14883/stat : 14883 (java) S 14872 14874 14581 0 -1 4202560 315 0 0 0 168 6 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865068907048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14884] ppid=14872 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/14874/task/14884/stat : 14884 (java) S 14872 14874 14581 0 -1 4202560 302 0 0 0 170 8 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865067854248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14885] ppid=14872 vsize=9624976 CPUtime=16.64 cores=1,3,5,7
/proc/14874/task/14885/stat : 14885 (java) S 14872 14874 14581 0 -1 4202560 427 0 0 0 1662 2 0 0 20 0 19 0 253672451 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865055656680 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14886] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14886/stat : 14886 (java) S 14872 14874 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865054602744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14887] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14887/stat : 14887 (java) S 14872 14874 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865053550344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14888] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14888/stat : 14888 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865052498832 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14889] ppid=14872 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/14874/task/14889/stat : 14889 (java) S 14872 14874 14581 0 -1 4202560 4249 0 0 0 55 0 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865051445432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14890] ppid=14872 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/14874/task/14890/stat : 14890 (java) S 14872 14874 14581 0 -1 4202560 5060 0 0 0 38 1 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865050392632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14891] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14891/stat : 14891 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865049340536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14892] ppid=14872 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/14874/task/14892/stat : 14892 (java) S 14872 14874 14581 0 -1 4202560 102 0 0 0 40 20 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865048287944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14893] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14893/stat : 14893 (java) S 14872 14874 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253672477 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865047233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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+1787.9 s]
/proc/loadavg: 1.97 2.01 1.97 4/213 14968
/proc/meminfo: memFree=28147620/32873844 swapFree=7104/7104
[pid=14874] ppid=14872 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/14874/stat : 14874 (java) S 14872 14874 14581 0 -1 4202496 16705 0 1 0 179909 96 0 0 20 0 19 0 253672446 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 140736560954400 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14874/statm: 2406244 150819 2275 9 0 2396937 0
[pid=14874/tid=14876] ppid=14872 vsize=9624976 CPUtime=1762.61 cores=1,3,5,7
/proc/14874/task/14876/stat : 14876 (java) R 14872 14874 14581 0 -1 4202560 2711 0 1 0 176232 29 0 0 20 0 19 0 253672448 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865298993440 139865157671845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14877] ppid=14872 vsize=9624976 CPUtime=1.94 cores=1,3,5,7
/proc/14874/task/14877/stat : 14877 (java) S 14872 14874 14581 0 -1 4202560 537 0 0 0 186 8 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865277094696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14878] ppid=14872 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/14874/task/14878/stat : 14878 (java) S 14872 14874 14581 0 -1 4202560 250 0 0 0 171 7 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865276041896 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14879] ppid=14872 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/14874/task/14879/stat : 14879 (java) S 14872 14874 14581 0 -1 4202560 233 0 0 0 175 6 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865073118248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14880] ppid=14872 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/14874/task/14880/stat : 14880 (java) S 14872 14874 14581 0 -1 4202560 494 0 0 0 168 6 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865072065448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14881] ppid=14872 vsize=9624976 CPUtime=1.84 cores=1,3,5,7
/proc/14874/task/14881/stat : 14881 (java) S 14872 14874 14581 0 -1 4202560 511 0 0 0 176 8 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865071012136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14882] ppid=14872 vsize=9624976 CPUtime=1.84 cores=1,3,5,7
/proc/14874/task/14882/stat : 14882 (java) S 14872 14874 14581 0 -1 4202560 328 0 0 0 177 7 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865069959336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14883] ppid=14872 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/14874/task/14883/stat : 14883 (java) S 14872 14874 14581 0 -1 4202560 315 0 0 0 168 6 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865068907048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14884] ppid=14872 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/14874/task/14884/stat : 14884 (java) S 14872 14874 14581 0 -1 4202560 302 0 0 0 170 8 0 0 20 0 19 0 253672449 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865067854248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14874/tid=14885] ppid=14872 vsize=9624976 CPUtime=16.64 cores=1,3,5,7
/proc/14874/task/14885/stat : 14885 (java) S 14872 14874 14581 0 -1 4202560 427 0 0 0 1662 2 0 0 20 0 19 0 253672451 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865055656680 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14886] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14886/stat : 14886 (java) S 14872 14874 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865054602744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14887] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14887/stat : 14887 (java) S 14872 14874 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253672451 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865053550344 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14888] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14888/stat : 14888 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865052498832 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14889] ppid=14872 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/14874/task/14889/stat : 14889 (java) S 14872 14874 14581 0 -1 4202560 4249 0 0 0 55 0 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865051445432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14874/tid=14890] ppid=14872 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/14874/task/14890/stat : 14890 (java) S 14872 14874 14581 0 -1 4202560 5060 0 0 0 38 1 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865050392632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14891] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14891/stat : 14891 (java) S 14872 14874 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865049340536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14874/tid=14892] ppid=14872 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/14874/task/14892/stat : 14892 (java) S 14872 14874 14581 0 -1 4202560 102 0 0 0 40 20 0 0 20 0 19 0 253672454 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865048287944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14874/tid=14893] ppid=14872 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/14874/task/14893/stat : 14893 (java) S 14872 14874 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253672477 9855975424 150819 33554432000 1073741824 1073778376 140736560963264 139865047233960 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1787.96
CPU time (s): 1800.05
CPU user time (s): 1799.09
CPU system time (s): 0.96
CPU usage (%): 100.676
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.4
system time used= 1.22181
maximum resident set size= 603424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16745
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= 43254
involuntary context switches= 18491

runsolver used 6.63899 second user time and 14.8647 second system time

The end

Launcher Data

Begin job on node142 at 2012-05-24 18:04:36
IDJOB=3687679
IDBENCH=2018
IDSOLVER=2269
FILE ID=node142/3687679-1337875476
RUNJOBID= node142-1337871882-14598
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-C432.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687679-1337875476/watcher-3687679-1337875476 -o /tmp/evaluation-result-3687679-1337875476/solver-3687679-1337875476 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687679-1337875476.opb

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

MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b
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:        28557436 kB
Buffers:          217472 kB
Cached:          2884416 kB
SwapCached:            0 kB
Active:           907932 kB
Inactive:        2640512 kB
Active(anon):     448232 kB
Inactive(anon):        0 kB
Active(file):     459700 kB
Inactive(file):  2640512 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               488 kB
Writeback:             0 kB
AnonPages:        452780 kB
Mapped:            22480 kB
Shmem:               200 kB
Slab:             629340 kB
SReclaimable:      71816 kB
SUnreclaim:       557524 kB
KernelStack:        1608 kB
PageTables:         5088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    421888 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:26