Trace number 3710629

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)1330 1800.04 1792.26

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-mux.opb
MD5SUM80d8f8438bdd117e32edd926d4898421
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark872
Best CPU time to get the best result obtained on this benchmark0.010997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 872
Optimality of the best value was proved YES
Number of variables232
Total number of constraints527
Number of constraints which are clauses527
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27
Number of terms in the objective function 232
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 9597
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 9597
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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3710629-1338142733.opb
0.08/0.13	c reading problem ... 
0.23/0.22	c ... done. Wall clock time 0.087s.
0.23/0.22	c declared #vars     232
0.23/0.22	c #constraints  527
0.23/0.22	c constraints type 
0.23/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 389
0.23/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 138
0.23/0.22	c 527 constraints processed.
0.23/0.23	c SATISFIABLE
0.23/0.23	c OPTIMIZING...
0.23/0.23	c Got one! Elapsed wall clock time (in seconds):0.094
0.23/0.23	o 1330
0.82/0.54	c cleaning 2497 clauses out of 4998 with flag 5001/5001
1.08/0.73	c cleaning 4243 clauses out of 8501 with flag 11001/11001
1.31/0.94	c cleaning 5625 clauses out of 11258 with flag 18001/18001
1.53/1.19	c cleaning 6809 clauses out of 13632 with flag 26000/26000
1.98/1.51	c cleaning 7906 clauses out of 15823 with flag 35000/35000
2.58/1.86	c cleaning 8955 clauses out of 17917 with flag 45000/45000
3.38/2.26	c cleaning 9975 clauses out of 19962 with flag 56000/56000
3.84/2.65	c cleaning 10987 clauses out of 21987 with flag 68000/68000
4.36/3.11	c cleaning 11993 clauses out of 24000 with flag 81000/81000
4.76/3.56	c cleaning 13000 clauses out of 26008 with flag 95001/95001
5.26/4.05	c cleaning 13995 clauses out of 28008 with flag 110001/110001
5.76/4.59	c cleaning 14996 clauses out of 30012 with flag 126000/126000
6.38/5.14	c cleaning 16000 clauses out of 32016 with flag 143000/143000
6.98/5.74	c cleaning 17002 clauses out of 34016 with flag 161000/161000
7.70/6.47	c cleaning 18003 clauses out of 36014 with flag 180000/180000
8.41/7.15	c cleaning 18991 clauses out of 38011 with flag 200000/200000
9.12/7.85	c cleaning 20003 clauses out of 40021 with flag 221001/221001
9.92/8.61	c cleaning 20998 clauses out of 42017 with flag 243000/243000
10.72/9.44	c cleaning 22003 clauses out of 44019 with flag 266000/266000
11.52/10.29	c cleaning 23003 clauses out of 46016 with flag 290000/290000
12.43/11.18	c cleaning 23998 clauses out of 48013 with flag 315000/315000
13.55/12.27	c cleaning 24998 clauses out of 50015 with flag 341000/341000
14.57/13.26	c cleaning 25997 clauses out of 52017 with flag 368000/368000
15.69/14.36	c cleaning 27006 clauses out of 54021 with flag 396001/396001
16.81/15.43	c cleaning 28000 clauses out of 56016 with flag 425002/425002
18.03/16.61	c cleaning 29001 clauses out of 58015 with flag 455001/455001
19.35/17.94	c cleaning 29995 clauses out of 60013 with flag 486000/486000
20.57/19.18	c cleaning 31002 clauses out of 62020 with flag 518002/518002
22.28/20.85	c cleaning 32001 clauses out of 64016 with flag 551000/551000
24.09/22.62	c cleaning 32996 clauses out of 66015 with flag 585000/585000
25.42/23.96	c cleaning 34003 clauses out of 68020 with flag 620001/620001
26.83/25.34	c cleaning 35001 clauses out of 70016 with flag 656000/656000
28.33/26.88	c cleaning 36002 clauses out of 72016 with flag 693001/693001
29.74/28.28	c cleaning 36997 clauses out of 74013 with flag 731000/731000
31.65/30.13	c cleaning 38001 clauses out of 76019 with flag 770003/770003
33.16/31.70	c cleaning 39001 clauses out of 78016 with flag 810001/810001
35.18/33.68	c cleaning 39994 clauses out of 80014 with flag 851000/851000
37.12/35.50	c cleaning 41005 clauses out of 82022 with flag 893002/893002
38.73/37.18	c cleaning 42004 clauses out of 84016 with flag 936001/936001
40.44/38.87	c cleaning 42998 clauses out of 86011 with flag 980000/980000
42.46/40.89	c cleaning 43999 clauses out of 88014 with flag 1025001/1025001
44.27/42.69	c cleaning 44994 clauses out of 90015 with flag 1071001/1071001
46.31/44.61	c cleaning 46004 clauses out of 92021 with flag 1118001/1118001
48.62/46.99	c cleaning 46997 clauses out of 94016 with flag 1166000/1166000
50.63/48.98	c cleaning 48003 clauses out of 96021 with flag 1215002/1215002
53.05/51.36	c cleaning 48999 clauses out of 98017 with flag 1265001/1265001
55.28/53.55	c cleaning 49999 clauses out of 100017 with flag 1316000/1316000
57.54/55.75	c cleaning 51002 clauses out of 102019 with flag 1368001/1368001
59.94/58.17	c cleaning 52001 clauses out of 104017 with flag 1421001/1421001
62.17/60.32	c cleaning 53000 clauses out of 106015 with flag 1475000/1475000
64.79/62.97	c cleaning 53998 clauses out of 108016 with flag 1530001/1530001
67.22/65.33	c cleaning 54997 clauses out of 110018 with flag 1586001/1586001
69.42/67.55	c cleaning 56004 clauses out of 112021 with flag 1643001/1643001
72.13/70.20	c cleaning 57003 clauses out of 114018 with flag 1701002/1701002
74.66/72.71	c cleaning 57996 clauses out of 116013 with flag 1760000/1760000
77.97/76.07	c cleaning 58997 clauses out of 118017 with flag 1820000/1820000
82.10/80.16	c cleaning 60004 clauses out of 120022 with flag 1881002/1881002
86.92/84.96	c cleaning 61002 clauses out of 122016 with flag 1943000/1943000
91.28/89.22	c cleaning 61997 clauses out of 124014 with flag 2006000/2006000
94.00/91.95	c cleaning 62999 clauses out of 126017 with flag 2070000/2070000
96.82/94.74	c cleaning 64001 clauses out of 128018 with flag 2135000/2135000
100.23/98.18	c cleaning 65000 clauses out of 130017 with flag 2201000/2201000
103.98/101.86	c cleaning 66000 clauses out of 132017 with flag 2268000/2268000
107.49/105.31	c cleaning 66999 clauses out of 134017 with flag 2336000/2336000
111.40/109.28	c cleaning 67997 clauses out of 136018 with flag 2405000/2405000
114.44/112.26	c cleaning 68999 clauses out of 138021 with flag 2475000/2475000
118.15/115.99	c cleaning 70001 clauses out of 140022 with flag 2546000/2546000
122.07/119.81	c cleaning 71002 clauses out of 142022 with flag 2618001/2618001
125.61/123.30	c cleaning 72002 clauses out of 144019 with flag 2691000/2691000
130.63/128.36	c cleaning 72999 clauses out of 146018 with flag 2765001/2765001
135.86/133.52	c cleaning 74002 clauses out of 148019 with flag 2840001/2840001
141.57/139.28	c cleaning 74997 clauses out of 150017 with flag 2916001/2916001
146.69/144.37	c cleaning 76006 clauses out of 152019 with flag 2993000/2993000
150.44/148.06	c cleaning 76995 clauses out of 154013 with flag 3071000/3071000
154.57/152.16	c cleaning 77999 clauses out of 156018 with flag 3150000/3150000
158.10/155.63	c cleaning 79003 clauses out of 158020 with flag 3230001/3230001
161.92/159.41	c cleaning 80000 clauses out of 160016 with flag 3311000/3311000
166.93/164.45	c cleaning 81000 clauses out of 162016 with flag 3393000/3393000
171.16/168.66	c cleaning 82001 clauses out of 164018 with flag 3476002/3476002
176.88/174.34	c cleaning 83000 clauses out of 166015 with flag 3560000/3560000
183.13/180.59	c cleaning 83999 clauses out of 168016 with flag 3645001/3645001
189.26/186.66	c cleaning 85001 clauses out of 170016 with flag 3731000/3731000
196.19/193.53	c cleaning 86000 clauses out of 172015 with flag 3818000/3818000
203.40/200.70	c cleaning 87000 clauses out of 174015 with flag 3906000/3906000
210.45/207.75	c cleaning 88005 clauses out of 176018 with flag 3995003/3995003
214.90/212.15	c cleaning 88988 clauses out of 178011 with flag 4085001/4085001
219.81/217.05	c cleaning 90000 clauses out of 180022 with flag 4176000/4176000
224.23/221.47	c cleaning 90999 clauses out of 182022 with flag 4268000/4268000
228.95/226.17	c cleaning 91995 clauses out of 184023 with flag 4361000/4361000
233.97/231.13	c cleaning 93000 clauses out of 186028 with flag 4455000/4455000
238.70/235.88	c cleaning 94009 clauses out of 188029 with flag 4550001/4550001
243.72/240.81	c cleaning 94999 clauses out of 190019 with flag 4646000/4646000
249.13/246.23	c cleaning 96004 clauses out of 192020 with flag 4743000/4743000
254.16/251.28	c cleaning 97000 clauses out of 194017 with flag 4841001/4841001
259.18/256.28	c cleaning 97996 clauses out of 196016 with flag 4940000/4940000
267.01/264.09	c cleaning 99000 clauses out of 198021 with flag 5040001/5040001
274.87/271.81	c cleaning 99999 clauses out of 200020 with flag 5141000/5141000
281.79/278.73	c cleaning 100997 clauses out of 202021 with flag 5243000/5243000
289.20/286.15	c cleaning 101997 clauses out of 204024 with flag 5346000/5346000
295.91/292.89	c cleaning 103009 clauses out of 206027 with flag 5450000/5450000
302.44/299.30	c cleaning 103997 clauses out of 208018 with flag 5555000/5555000
311.25/308.16	c cleaning 105003 clauses out of 210022 with flag 5661001/5661001
319.70/316.58	c cleaning 105996 clauses out of 212018 with flag 5768000/5768000
329.03/325.85	c cleaning 107002 clauses out of 214022 with flag 5876000/5876000
337.88/334.63	c cleaning 108005 clauses out of 216021 with flag 5985001/5985001
344.60/341.33	c cleaning 108993 clauses out of 218015 with flag 6095000/6095000
351.83/348.55	c cleaning 110002 clauses out of 220023 with flag 6206001/6206001
358.26/354.95	c cleaning 111000 clauses out of 222020 with flag 6318000/6318000
365.70/362.38	c cleaning 112003 clauses out of 224020 with flag 6431000/6431000
372.83/369.48	c cleaning 112996 clauses out of 226018 with flag 6545001/6545001
379.85/376.50	c cleaning 114002 clauses out of 228021 with flag 6660000/6660000
385.98/382.55	c cleaning 115004 clauses out of 230020 with flag 6776001/6776001
392.69/389.28	c cleaning 116000 clauses out of 232015 with flag 6893000/6893000
399.54/396.05	c cleaning 116994 clauses out of 234016 with flag 7011001/7011001
407.27/403.79	c cleaning 118002 clauses out of 236021 with flag 7130000/7130000
414.01/410.49	c cleaning 119001 clauses out of 238019 with flag 7250000/7250000
423.15/419.59	c cleaning 120000 clauses out of 240019 with flag 7371001/7371001
430.44/426.78	c cleaning 120999 clauses out of 242019 with flag 7493001/7493001
439.56/435.86	c cleaning 121996 clauses out of 244020 with flag 7616001/7616001
447.90/444.16	c cleaning 123003 clauses out of 246023 with flag 7740000/7740000
457.35/453.53	c cleaning 124003 clauses out of 248022 with flag 7865002/7865002
466.83/462.91	c cleaning 124996 clauses out of 250017 with flag 7991000/7991000
478.07/474.14	c cleaning 125997 clauses out of 252021 with flag 8118000/8118000
486.74/482.74	c cleaning 127001 clauses out of 254024 with flag 8246000/8246000
497.49/493.43	c cleaning 128004 clauses out of 256023 with flag 8375000/8375000
506.13/502.05	c cleaning 129000 clauses out of 258020 with flag 8505001/8505001
517.35/513.20	c cleaning 129996 clauses out of 260019 with flag 8636000/8636000
528.11/523.90	c cleaning 131004 clauses out of 262027 with flag 8768004/8768004
538.54/534.31	c cleaning 131999 clauses out of 264019 with flag 8901000/8901000
546.39/542.15	c cleaning 133002 clauses out of 266021 with flag 9035001/9035001
558.72/554.48	c cleaning 133999 clauses out of 268019 with flag 9170001/9170001
569.85/565.51	c cleaning 134999 clauses out of 270019 with flag 9306000/9306000
580.51/576.19	c cleaning 136006 clauses out of 272021 with flag 9443001/9443001
591.26/586.86	c cleaning 136991 clauses out of 274014 with flag 9581000/9581000
601.72/597.26	c cleaning 138003 clauses out of 276023 with flag 9720000/9720000
612.93/608.45	c cleaning 138997 clauses out of 278022 with flag 9860002/9860002
624.24/619.73	c cleaning 140001 clauses out of 280024 with flag 10001001/10001001
634.20/629.63	c cleaning 141003 clauses out of 282023 with flag 10143001/10143001
642.81/638.22	c cleaning 142002 clauses out of 284019 with flag 10286000/10286000
653.34/648.72	c cleaning 142997 clauses out of 286018 with flag 10430001/10430001
662.80/658.10	c cleaning 143997 clauses out of 288020 with flag 10575000/10575000
676.83/672.11	c cleaning 145005 clauses out of 290024 with flag 10721001/10721001
688.10/683.34	c cleaning 146002 clauses out of 292018 with flag 10868000/10868000
701.43/696.67	c cleaning 146996 clauses out of 294016 with flag 11016000/11016000
710.98/706.14	c cleaning 148000 clauses out of 296021 with flag 11165001/11165001
722.00/717.17	c cleaning 149002 clauses out of 298021 with flag 11315001/11315001
732.74/727.87	c cleaning 149993 clauses out of 300019 with flag 11466001/11466001
742.70/737.73	c cleaning 151002 clauses out of 302025 with flag 11618000/11618000
757.22/752.28	c cleaning 152000 clauses out of 304023 with flag 11771000/11771000
774.37/769.38	c cleaning 153001 clauses out of 306024 with flag 11925001/11925001
790.44/785.36	c cleaning 154005 clauses out of 308022 with flag 12080000/12080000
808.00/802.83	c cleaning 154997 clauses out of 310017 with flag 12236000/12236000
819.96/814.76	c cleaning 156000 clauses out of 312020 with flag 12393000/12393000
833.61/828.33	c cleaning 156996 clauses out of 314020 with flag 12551000/12551000
850.36/845.08	c cleaning 158006 clauses out of 316025 with flag 12710001/12710001
864.74/859.38	c cleaning 159000 clauses out of 318018 with flag 12870000/12870000
879.09/873.68	c cleaning 160001 clauses out of 320018 with flag 13031000/13031000
894.09/888.64	c cleaning 160998 clauses out of 322022 with flag 13193005/13193005
908.35/902.85	c cleaning 161998 clauses out of 324020 with flag 13356001/13356001
919.91/914.36	c cleaning 163002 clauses out of 326021 with flag 13520000/13520000
938.04/932.45	c cleaning 164000 clauses out of 328019 with flag 13685000/13685000
957.38/951.76	c cleaning 165002 clauses out of 330020 with flag 13851001/13851001
977.05/971.36	c cleaning 165995 clauses out of 332017 with flag 14018000/14018000
997.08/991.32	c cleaning 167002 clauses out of 334023 with flag 14186001/14186001
1016.01/1010.24	c cleaning 168000 clauses out of 336021 with flag 14355001/14355001
1035.69/1029.87	c cleaning 168997 clauses out of 338021 with flag 14525001/14525001
1056.96/1051.03	c cleaning 169999 clauses out of 340023 with flag 14696000/14696000
1076.62/1070.62	c cleaning 170997 clauses out of 342024 with flag 14868000/14868000
1095.21/1089.11	c cleaning 172005 clauses out of 344028 with flag 15041001/15041001
1109.17/1103.08	c cleaning 173005 clauses out of 346023 with flag 15215001/15215001
1120.21/1114.05	c cleaning 173998 clauses out of 348017 with flag 15390000/15390000
1133.84/1127.62	c cleaning 175002 clauses out of 350019 with flag 15566000/15566000
1148.08/1141.82	c cleaning 175995 clauses out of 352017 with flag 15743000/15743000
1162.60/1156.39	c cleaning 177004 clauses out of 354023 with flag 15921001/15921001
1182.14/1175.88	c cleaning 177997 clauses out of 356019 with flag 16100001/16100001
1194.76/1188.46	c cleaning 179001 clauses out of 358023 with flag 16280002/16280002
1210.47/1204.14	c cleaning 180000 clauses out of 360022 with flag 16461002/16461002
1229.28/1222.91	c cleaning 181008 clauses out of 362022 with flag 16643002/16643002
1249.16/1242.78	c cleaning 181996 clauses out of 364012 with flag 16826000/16826000
1268.64/1262.14	c cleaning 182997 clauses out of 366018 with flag 17010002/17010002
1289.21/1282.61	c cleaning 183996 clauses out of 368019 with flag 17195000/17195000
1311.63/1305.01	c cleaning 185001 clauses out of 370024 with flag 17381001/17381001
1326.06/1319.42	c cleaning 185994 clauses out of 372024 with flag 17568002/17568002
1345.51/1338.81	c cleaning 187006 clauses out of 374030 with flag 17756002/17756002
1364.67/1357.95	c cleaning 188003 clauses out of 376022 with flag 17945000/17945000
1381.82/1375.05	c cleaning 188994 clauses out of 378020 with flag 18135001/18135001
1403.15/1396.39	c cleaning 190002 clauses out of 380025 with flag 18326000/18326000
1420.56/1413.79	c cleaning 191008 clauses out of 382024 with flag 18518001/18518001
1447.23/1440.34	c cleaning 191999 clauses out of 384015 with flag 18711000/18711000
1470.88/1463.91	c cleaning 192997 clauses out of 386017 with flag 18905001/18905001
1497.85/1490.83	c cleaning 193996 clauses out of 388019 with flag 19100000/19100000
1521.30/1514.25	c cleaning 195003 clauses out of 390023 with flag 19296000/19296000
1544.72/1537.65	c cleaning 195999 clauses out of 392023 with flag 19493003/19493003
1567.83/1560.78	c cleaning 197003 clauses out of 394022 with flag 19691001/19691001
1594.10/1586.86	c cleaning 198001 clauses out of 396018 with flag 19890000/19890000
1623.65/1616.31	c cleaning 198998 clauses out of 398017 with flag 20090000/20090000
1638.79/1631.48	c cleaning 199999 clauses out of 400020 with flag 20291001/20291001
1658.01/1650.67	c cleaning 201004 clauses out of 402021 with flag 20493001/20493001
1676.67/1669.24	c cleaning 201991 clauses out of 404017 with flag 20696001/20696001
1695.20/1687.78	c cleaning 203004 clauses out of 406025 with flag 20900000/20900000
1711.98/1704.42	c cleaning 203994 clauses out of 408021 with flag 21105000/21105000
1729.72/1722.18	c cleaning 205007 clauses out of 410027 with flag 21311000/21311000
1747.18/1739.58	c cleaning 205998 clauses out of 412021 with flag 21518001/21518001
1764.11/1756.40	c cleaning 207000 clauses out of 414023 with flag 21726001/21726001
1783.76/1776.03	c cleaning 208002 clauses out of 416024 with flag 21935002/21935002
1800.04/1792.21	c starts		: 352
1800.04/1792.21	c conflicts		: 22145003
1800.04/1792.21	c decisions		: 32671195
1800.04/1792.21	c propagations		: 438017991
1800.04/1792.21	c inspects		: 13580708772
1800.04/1792.21	c shortcuts		: 0
1800.04/1792.21	c learnt literals	: 2
1800.04/1792.21	c learnt binary clauses	: 5
1800.04/1792.21	c learnt ternary clauses	: 73
1800.04/1792.21	c learnt constraints	: 22145001
1800.04/1792.21	c ignored constraints	: 0
1800.04/1792.21	c root simplifications	: 354
1800.04/1792.21	c removed literals (reason simplification)	: 44388394
1800.04/1792.21	c reason swapping (by a shorter reason)	: 0
1800.04/1792.21	c Calls to reduceDB	: 206
1800.04/1792.21	c number of reductions to clauses (during analyze)	: 0
1800.04/1792.21	c number of learned constraints concerned by reduction	: 0
1800.04/1792.21	c number of learning phase by resolution	: 0
1800.04/1792.21	c number of learning phase by cutting planes	: 0
1800.04/1792.21	c speed (assignments/second)	: 244431.31929454883
1800.04/1792.21	c non guided choices	287
1800.04/1792.25	c learnt constraints type 
1800.04/1792.25	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.04/1792.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 418018
1800.04/1792.25	c constraints type 
1800.04/1792.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 389
1800.04/1792.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 138
1800.04/1792.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.04/1792.25	c 528 constraints processed.
1800.04/1792.25	s SATISFIABLE
1800.04/1792.25	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 
1800.04/1792.25	c objective function=1330
1800.04/1792.25	c Total wall clock time (in seconds): 1792.121

Verifier Data 

OK	1330

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 17187
/proc/meminfo: memFree=27486708/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17187/stat : 17187 (java) D 17185 17187 14200 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 280398395 9515008 183 33554432000 1073741824 1073778376 140736892780848 140736892771880 227141303989 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17187/statm: 2323 183 140 9 0 71 0

[startup+0.012374 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 17187
/proc/meminfo: memFree=27486708/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/17187/stat : 17187 (java) S 17185 17187 14200 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 280398395 95129600 926 33554432000 1073741824 1073778376 140733740142320 140733740133456 227144663101 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17187/statm: 23528 930 705 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900

[startup+0.100311 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 17187
/proc/meminfo: memFree=27486708/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/17187/stat : 17187 (java) S 17185 17187 14200 0 -1 4202496 3968 0 1 0 7 1 0 0 20 0 18 0 280398395 9787842560 4663 33554432000 1073741824 1073778376 140733740142320 140733740133456 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17187/statm: 2389610 4663 2071 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300291 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 17187
/proc/meminfo: memFree=27486708/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/17187/stat : 17187 (java) S 17185 17187 14200 0 -1 4202496 6386 0 1 0 46 1 0 0 20 0 19 0 280398395 9856004096 7836 33554432000 1073741824 1073778376 140733740142320 140733740133456 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17187/statm: 2406251 7836 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625004

[startup+0.700302 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 17187
/proc/meminfo: memFree=27486708/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=9625004 CPUtime=1.08 cores=1,3,5,7
/proc/17187/stat : 17187 (java) S 17185 17187 14200 0 -1 4202496 6906 0 1 0 106 2 0 0 20 0 19 0 280398395 9856004096 9989 33554432000 1073741824 1073778376 140733740142320 140733740133456 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17187/statm: 2406251 9989 2278 9 0 2396937 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 17206
/proc/meminfo: memFree=27452784/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=9625004 CPUtime=1.98 cores=1,3,5,7
/proc/17187/stat : 17187 (java) S 17185 17187 14200 0 -1 4202496 7051 0 1 0 196 2 0 0 20 0 19 0 280398395 9856004096 10639 33554432000 1073741824 1073778376 140733740142320 140733740133456 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17187/statm: 2406251 10639 2280 9 0 2396937 0
[pid=17187/tid=17189] ppid=17185 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/17187/task/17189/stat : 17189 (java) R 17185 17187 14200 0 -1 4202560 2588 0 1 0 140 1 0 0 20 0 19 0 280398396 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326721904904 140326594309740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17190] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17190/stat : 17190 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326565923496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17191] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17191/stat : 17191 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326564870952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17192] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17192/stat : 17192 (java) S 17185 17187 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326563818408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17193] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17193/stat : 17193 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326562765864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17194] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17194/stat : 17194 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326561712296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17195] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17195/stat : 17195 (java) S 17185 17187 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326560659752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17196] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17196/stat : 17196 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326559607208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17197] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17197/stat : 17197 (java) S 17185 17187 14200 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326558554664 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17198] ppid=17185 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17187/task/17198/stat : 17198 (java) S 17185 17187 14200 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 280398399 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326546143848 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17199] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17199/stat : 17199 (java) S 17185 17187 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326545090168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17200] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17200/stat : 17200 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326544037512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17201] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17201/stat : 17201 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326542986256 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17202] ppid=17185 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/17187/task/17202/stat : 17202 (java) S 17185 17187 14200 0 -1 4202560 1793 0 0 0 28 0 0 0 20 0 19 0 280398402 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326541932600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17203] ppid=17185 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/17187/task/17203/stat : 17203 (java) R 17185 17187 14200 0 -1 4202560 1412 0 0 0 18 0 0 0 20 0 19 0 280398402 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326540880056 140326724939613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17204] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17204/stat : 17204 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 10640 33554432000 1073741824 1073778376 140733740142320 140326539827704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17205] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17205/stat : 17205 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 10647 33554432000 1073741824 1073778376 140733740142320 140326538775368 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17206] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17206/stat : 17206 (java) S 17185 17187 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280398418 9856004096 10656 33554432000 1073741824 1073778376 140733740142320 140326537721128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9625004

[startup+3.10077 s]
/proc/loadavg: 2.08 2.05 2.01 4/213 17206
/proc/meminfo: memFree=27428904/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=9625004 CPUtime=4.36 cores=1,3,5,7
/proc/17187/stat : 17187 (java) S 17185 17187 14200 0 -1 4202496 17317 0 1 0 432 4 0 0 20 0 19 0 280398395 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140733740133456 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17187/statm: 2406251 15901 2280 9 0 2396937 0
[pid=17187/tid=17189] ppid=17185 vsize=9625004 CPUtime=2.95 cores=1,3,5,7
/proc/17187/task/17189/stat : 17189 (java) R 17185 17187 14200 0 -1 4202560 2592 0 1 0 294 1 0 0 20 0 19 0 280398396 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326721904944 140326595019643 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17190] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17190/stat : 17190 (java) S 17185 17187 14200 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326565923496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17191] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17191/stat : 17191 (java) S 17185 17187 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326564870952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17192] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17192/stat : 17192 (java) S 17185 17187 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326563818408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17193] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17193/stat : 17193 (java) S 17185 17187 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326562765864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17194] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17194/stat : 17194 (java) S 17185 17187 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326561712296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17195] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17195/stat : 17195 (java) S 17185 17187 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326560659752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17196] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17196/stat : 17196 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326559607208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17197] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17197/stat : 17197 (java) S 17185 17187 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326558554664 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17198] ppid=17185 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/17187/task/17198/stat : 17198 (java) S 17185 17187 14200 0 -1 4202560 60 0 0 0 8 0 0 0 20 0 19 0 280398399 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326546143848 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17199] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17199/stat : 17199 (java) S 17185 17187 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326545090168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17200] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17200/stat : 17200 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326544037512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17201] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17201/stat : 17201 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326542986256 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17202] ppid=17185 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/17187/task/17202/stat : 17202 (java) S 17185 17187 14200 0 -1 4202560 2263 0 0 0 30 0 0 0 20 0 19 0 280398402 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326541932600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17203] ppid=17185 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/17187/task/17203/stat : 17203 (java) S 17185 17187 14200 0 -1 4202560 11159 0 0 0 90 3 0 0 20 0 19 0 280398402 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326540880056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17204] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17204/stat : 17204 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326539827704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17205] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17205/stat : 17205 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326538775368 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17206] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17206/stat : 17206 (java) S 17185 17187 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280398418 9856004096 15901 33554432000 1073741824 1073778376 140733740142320 140326537721128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 9625004

[startup+6.30082 s]
/proc/loadavg: 2.08 2.05 2.01 3/213 17206
/proc/meminfo: memFree=27429720/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=9625004 CPUtime=7.59 cores=1,3,5,7
/proc/17187/stat : 17187 (java) S 17185 17187 14200 0 -1 4202496 17353 0 1 0 754 5 0 0 20 0 19 0 280398395 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140733740133456 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17187/statm: 2406251 16430 2280 9 0 2396937 0
[pid=17187/tid=17189] ppid=17185 vsize=9625004 CPUtime=6.03 cores=1,3,5,7
/proc/17187/task/17189/stat : 17189 (java) R 17185 17187 14200 0 -1 4202560 2599 0 1 0 602 1 0 0 20 0 19 0 280398396 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326721905096 140326594820144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17190] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17190/stat : 17190 (java) S 17185 17187 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326565923496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17191] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17191/stat : 17191 (java) S 17185 17187 14200 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326564870952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17192] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17192/stat : 17192 (java) S 17185 17187 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326563818408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17193] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17193/stat : 17193 (java) S 17185 17187 14200 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326562765864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17194] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17194/stat : 17194 (java) S 17185 17187 14200 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326561712296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17195] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17195/stat : 17195 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326560659752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17196] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17196/stat : 17196 (java) S 17185 17187 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326559607208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17197] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17197/stat : 17197 (java) S 17185 17187 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280398398 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326558554664 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17198] ppid=17185 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/17187/task/17198/stat : 17198 (java) S 17185 17187 14200 0 -1 4202560 61 0 0 0 17 0 0 0 20 0 19 0 280398399 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326546143848 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17199] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17199/stat : 17199 (java) S 17185 17187 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326545090168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17200] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17200/stat : 17200 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326544037512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17201] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17201/stat : 17201 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326542986256 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17202] ppid=17185 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/17187/task/17202/stat : 17202 (java) S 17185 17187 14200 0 -1 4202560 2263 0 0 0 30 0 0 0 20 0 19 0 280398402 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326541932600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17203] ppid=17185 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/17187/task/17203/stat : 17203 (java) S 17185 17187 14200 0 -1 4202560 11159 0 0 0 91 3 0 0 20 0 19 0 280398402 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326540880056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17204] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17204/stat : 17204 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326539827704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17205] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17205/stat : 17205 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326538775368 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17206] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17206/stat : 17206 (java) S 17185 17187 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280398418 9856004096 16430 33554432000 1073741824 1073778376 140733740142320 140326537721128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=17187/tid=17202] ppid=17185 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/17187/task/17202/stat : 17202 (java) S 17185 17187 14200 0 -1 4202560 2263 0 0 0 30 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326541932600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17203] ppid=17185 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/17187/task/17203/stat : 17203 (java) S 17185 17187 14200 0 -1 4202560 11170 0 0 0 95 3 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326540880056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17204] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17204/stat : 17204 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326539827704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17205] ppid=17185 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/17187/task/17205/stat : 17205 (java) S 17185 17187 14200 0 -1 4202560 94 0 0 0 37 19 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326538775368 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17206] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17206/stat : 17206 (java) S 17185 17187 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280398418 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326537721128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1669.77
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 17281
/proc/meminfo: memFree=28541928/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=9625004 CPUtime=1729.98 cores=1,3,5,7
/proc/17187/stat : 17187 (java) S 17185 17187 14200 0 -1 4202496 19785 0 1 0 172954 44 0 0 20 0 19 0 280398395 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140733740133456 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17187/statm: 2406251 62049 2281 9 0 2396937 0
[pid=17187/tid=17189] ppid=17185 vsize=9625004 CPUtime=1703.21 cores=1,3,5,7
/proc/17187/task/17189/stat : 17189 (java) S 17185 17187 14200 0 -1 4202560 2812 0 1 0 170292 29 0 0 20 0 19 0 280398396 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326721905064 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17190] ppid=17185 vsize=9625004 CPUtime=1.11 cores=1,3,5,7
/proc/17187/task/17190/stat : 17190 (java) S 17185 17187 14200 0 -1 4202560 120 0 0 0 109 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326565923496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17191] ppid=17185 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/17187/task/17191/stat : 17191 (java) S 17185 17187 14200 0 -1 4202560 210 0 0 0 111 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326564870952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17192] ppid=17185 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/17187/task/17192/stat : 17192 (java) S 17185 17187 14200 0 -1 4202560 184 0 0 0 107 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326563818408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17193] ppid=17185 vsize=9625004 CPUtime=1.12 cores=1,3,5,7
/proc/17187/task/17193/stat : 17193 (java) S 17185 17187 14200 0 -1 4202560 371 0 0 0 109 3 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326562765864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17194] ppid=17185 vsize=9625004 CPUtime=1.12 cores=1,3,5,7
/proc/17187/task/17194/stat : 17194 (java) S 17185 17187 14200 0 -1 4202560 430 0 0 0 110 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326561712296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17195] ppid=17185 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/17187/task/17195/stat : 17195 (java) S 17185 17187 14200 0 -1 4202560 277 0 0 0 98 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326560659752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17196] ppid=17185 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/17187/task/17196/stat : 17196 (java) S 17185 17187 14200 0 -1 4202560 256 0 0 0 108 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326559607208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17197] ppid=17185 vsize=9625004 CPUtime=1.2 cores=1,3,5,7
/proc/17187/task/17197/stat : 17197 (java) S 17185 17187 14200 0 -1 4202560 214 0 0 0 118 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326558554664 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17198] ppid=17185 vsize=9625004 CPUtime=11.76 cores=1,3,5,7
/proc/17187/task/17198/stat : 17198 (java) R 17185 17187 14200 0 -1 4202560 194 0 0 0 1173 3 0 0 20 0 19 0 280398399 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326546142704 140326728413306 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17199] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17199/stat : 17199 (java) S 17185 17187 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326545090168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17200] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17200/stat : 17200 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326544037512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17201] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17201/stat : 17201 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326542986256 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17202] ppid=17185 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/17187/task/17202/stat : 17202 (java) S 17185 17187 14200 0 -1 4202560 2263 0 0 0 30 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326541932600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17203] ppid=17185 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/17187/task/17203/stat : 17203 (java) S 17185 17187 14200 0 -1 4202560 11170 0 0 0 95 3 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326540880056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17204] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17204/stat : 17204 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326539827704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17205] ppid=17185 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/17187/task/17205/stat : 17205 (java) S 17185 17187 14200 0 -1 4202560 98 0 0 0 38 21 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326538775368 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17206] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17206/stat : 17206 (java) S 17185 17187 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280398418 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326537721128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1729.98
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17282
/proc/meminfo: memFree=28541928/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=9625004 CPUtime=1790.13 cores=1,3,5,7
/proc/17187/stat : 17187 (java) S 17185 17187 14200 0 -1 4202496 19797 0 1 0 178967 46 0 0 20 0 19 0 280398395 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140733740133456 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17187/statm: 2406251 62049 2281 9 0 2396937 0
[pid=17187/tid=17189] ppid=17185 vsize=9625004 CPUtime=1762.68 cores=1,3,5,7
/proc/17187/task/17189/stat : 17189 (java) R 17185 17187 14200 0 -1 4202560 2816 0 1 0 176238 30 0 0 20 0 19 0 280398396 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326721904944 140326594756560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17190] ppid=17185 vsize=9625004 CPUtime=1.14 cores=1,3,5,7
/proc/17187/task/17190/stat : 17190 (java) S 17185 17187 14200 0 -1 4202560 120 0 0 0 112 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326565923496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17191] ppid=17185 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/17187/task/17191/stat : 17191 (java) S 17185 17187 14200 0 -1 4202560 210 0 0 0 113 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326564870952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17192] ppid=17185 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/17187/task/17192/stat : 17192 (java) S 17185 17187 14200 0 -1 4202560 184 0 0 0 108 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326563818408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17193] ppid=17185 vsize=9625004 CPUtime=1.14 cores=1,3,5,7
/proc/17187/task/17193/stat : 17193 (java) S 17185 17187 14200 0 -1 4202560 371 0 0 0 111 3 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326562765864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17194] ppid=17185 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/17187/task/17194/stat : 17194 (java) S 17185 17187 14200 0 -1 4202560 430 0 0 0 113 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326561712296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17195] ppid=17185 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/17187/task/17195/stat : 17195 (java) S 17185 17187 14200 0 -1 4202560 277 0 0 0 100 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326560659752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17196] ppid=17185 vsize=9625004 CPUtime=1.11 cores=1,3,5,7
/proc/17187/task/17196/stat : 17196 (java) S 17185 17187 14200 0 -1 4202560 256 0 0 0 109 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326559607208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17197] ppid=17185 vsize=9625004 CPUtime=1.24 cores=1,3,5,7
/proc/17187/task/17197/stat : 17197 (java) S 17185 17187 14200 0 -1 4202560 214 0 0 0 122 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326558554664 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17198] ppid=17185 vsize=9625004 CPUtime=12.1 cores=1,3,5,7
/proc/17187/task/17198/stat : 17198 (java) S 17185 17187 14200 0 -1 4202560 198 0 0 0 1207 3 0 0 20 0 19 0 280398399 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326546143848 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17199] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17199/stat : 17199 (java) S 17185 17187 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326545090168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17200] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17200/stat : 17200 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326544037512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17201] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17201/stat : 17201 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326542986256 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17202] ppid=17185 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/17187/task/17202/stat : 17202 (java) S 17185 17187 14200 0 -1 4202560 2263 0 0 0 30 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326541932600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17203] ppid=17185 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/17187/task/17203/stat : 17203 (java) S 17185 17187 14200 0 -1 4202560 11170 0 0 0 95 3 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326540880056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17204] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17204/stat : 17204 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326539827704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17205] ppid=17185 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/17187/task/17205/stat : 17205 (java) S 17185 17187 14200 0 -1 4202560 102 0 0 0 39 22 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326538775368 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17206] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17206/stat : 17206 (java) S 17185 17187 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280398418 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326537721128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1790.13
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17282
/proc/meminfo: memFree=28541804/32873844 swapFree=7116/7116
[pid=17187] ppid=17185 vsize=9625004 CPUtime=1800.04 cores=1,3,5,7
/proc/17187/stat : 17187 (java) S 17185 17187 14200 0 -1 4202496 19797 0 1 0 179958 46 0 0 20 0 19 0 280398395 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140733740133456 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17187/statm: 2406251 62049 2281 9 0 2396937 0
[pid=17187/tid=17189] ppid=17185 vsize=9625004 CPUtime=1772.56 cores=1,3,5,7
/proc/17187/task/17189/stat : 17189 (java) R 17185 17187 14200 0 -1 4202560 2816 0 1 0 177226 30 0 0 20 0 19 0 280398396 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326721904944 140326594957532 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17190] ppid=17185 vsize=9625004 CPUtime=1.14 cores=1,3,5,7
/proc/17187/task/17190/stat : 17190 (java) S 17185 17187 14200 0 -1 4202560 120 0 0 0 112 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326565923496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17191] ppid=17185 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/17187/task/17191/stat : 17191 (java) S 17185 17187 14200 0 -1 4202560 210 0 0 0 113 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326564870952 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17192] ppid=17185 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/17187/task/17192/stat : 17192 (java) S 17185 17187 14200 0 -1 4202560 184 0 0 0 108 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326563818408 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17193] ppid=17185 vsize=9625004 CPUtime=1.14 cores=1,3,5,7
/proc/17187/task/17193/stat : 17193 (java) S 17185 17187 14200 0 -1 4202560 371 0 0 0 111 3 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326562765864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17194] ppid=17185 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/17187/task/17194/stat : 17194 (java) S 17185 17187 14200 0 -1 4202560 430 0 0 0 113 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326561712296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17195] ppid=17185 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/17187/task/17195/stat : 17195 (java) S 17185 17187 14200 0 -1 4202560 277 0 0 0 100 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326560659752 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17196] ppid=17185 vsize=9625004 CPUtime=1.11 cores=1,3,5,7
/proc/17187/task/17196/stat : 17196 (java) S 17185 17187 14200 0 -1 4202560 256 0 0 0 109 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326559607208 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17197] ppid=17185 vsize=9625004 CPUtime=1.24 cores=1,3,5,7
/proc/17187/task/17197/stat : 17197 (java) S 17185 17187 14200 0 -1 4202560 214 0 0 0 122 2 0 0 20 0 19 0 280398398 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326558554664 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17187/tid=17198] ppid=17185 vsize=9625004 CPUtime=12.1 cores=1,3,5,7
/proc/17187/task/17198/stat : 17198 (java) S 17185 17187 14200 0 -1 4202560 198 0 0 0 1207 3 0 0 20 0 19 0 280398399 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326546143848 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17199] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17199/stat : 17199 (java) S 17185 17187 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326545090168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17200] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17200/stat : 17200 (java) S 17185 17187 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280398399 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326544037512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17201] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17201/stat : 17201 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326542986256 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17202] ppid=17185 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/17187/task/17202/stat : 17202 (java) S 17185 17187 14200 0 -1 4202560 2263 0 0 0 30 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326541932600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17187/tid=17203] ppid=17185 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/17187/task/17203/stat : 17203 (java) S 17185 17187 14200 0 -1 4202560 11170 0 0 0 95 3 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326540880056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17204] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17204/stat : 17204 (java) S 17185 17187 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326539827704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17187/tid=17205] ppid=17185 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/17187/task/17205/stat : 17205 (java) S 17185 17187 14200 0 -1 4202560 102 0 0 0 39 23 0 0 20 0 19 0 280398402 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326538775368 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17187/tid=17206] ppid=17185 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17187/task/17206/stat : 17206 (java) S 17185 17187 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280398418 9856004096 62049 33554432000 1073741824 1073778376 140733740142320 140326537721128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

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

Real time (s): 1792.26
CPU time (s): 1800.04
CPU user time (s): 1799.58
CPU system time (s): 0.46
CPU usage (%): 100.434
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.1
system time used= 0.900863
maximum resident set size= 252436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19836
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43533
involuntary context switches= 34467

runsolver used 6.29104 second user time and 15.1337 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-27 20:18:53
IDJOB=3710629
IDBENCH=2016
IDSOLVER=2289
FILE ID=node138/3710629-1338142733
RUNJOBID= node138-1338139170-16911
PBS_JOBID= 14624507
Free space on /tmp= 71496 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710629-1338142733/watcher-3710629-1338142733 -o /tmp/evaluation-result-3710629-1338142733/solver-3710629-1338142733 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710629-1338142733.opb

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

MD5SUM BENCH= 80d8f8438bdd117e32edd926d4898421
RANDOM SEED=1552883616

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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:        27486600 kB
Buffers:          427784 kB
Cached:          2393148 kB
SwapCached:          212 kB
Active:          2555116 kB
Inactive:        1930868 kB
Active(anon):    1656284 kB
Inactive(anon):    11368 kB
Active(file):     898832 kB
Inactive(file):  1919500 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108644 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:       1699100 kB
Mapped:            22520 kB
Shmem:               200 kB
Slab:             732468 kB
SReclaimable:     174716 kB
SUnreclaim:       557752 kB
KernelStack:        1600 kB
PageTables:         7512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2474660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1652736 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= 71496 MiB
End job on node138 at 2012-05-27 20:48:48