Trace number 3688185

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)85 1800.08 1791.36

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.b.opb
MD5SUMd95d18eb9f9494c32273975c1bc570ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark0.272958
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved YES
Number of variables756
Total number of constraints1853
Number of constraints which are clauses1853
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 constraint1
Maximum length of a constraint80
Number of terms in the objective function 756
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 756
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 756
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3688185-1337880839.opb
0.10/0.11	c reading problem ... 
0.53/0.30	c ... done. Wall clock time 0.188s.
0.53/0.30	c declared #vars     756
0.53/0.30	c #constraints  1536
0.53/0.30	c constraints type 
0.53/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1510
0.53/0.30	c ignored satisfied constraints => 317
0.53/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11
0.53/0.30	c org.sat4j.minisat.constraints.cnf.UnitClause => 15
0.53/0.30	c 1853 constraints processed.
0.53/0.30	c objective function length is 756 literals
0.53/0.32	c SATISFIABLE
0.53/0.32	c OPTIMIZING...
0.53/0.32	c Got one! Elapsed wall clock time (in seconds):0.207
0.53/0.32	o 89
0.53/0.33	c Got one! Elapsed wall clock time (in seconds):0.223
0.53/0.33	o 88
0.53/0.39	c Got one! Elapsed wall clock time (in seconds):0.276
0.53/0.39	o 87
0.83/0.40	c Got one! Elapsed wall clock time (in seconds):0.286
0.83/0.40	o 86
0.83/0.46	c Got one! Elapsed wall clock time (in seconds):0.346
0.83/0.46	o 85
1.46/0.87	c cleaning 2620 clauses out of 5244 with flag 5001/5244
1.92/1.28	c cleaning 4312 clauses out of 8623 with flag 11000/11243
2.45/1.76	c cleaning 5656 clauses out of 11312 with flag 18001/18244
3.06/2.33	c cleaning 6824 clauses out of 13657 with flag 26002/26245
3.83/3.02	c cleaning 7903 clauses out of 15836 with flag 35005/35248
4.57/3.75	c cleaning 8963 clauses out of 17928 with flag 45000/45243
5.42/4.56	c cleaning 9983 clauses out of 19965 with flag 56000/56243
6.33/5.48	c cleaning 10979 clauses out of 21982 with flag 68000/68243
7.32/6.46	c cleaning 11991 clauses out of 24006 with flag 81003/81246
8.43/7.52	c cleaning 13002 clauses out of 26014 with flag 95002/95245
9.53/8.67	c cleaning 13987 clauses out of 28010 with flag 110000/110243
10.75/9.88	c cleaning 15011 clauses out of 30023 with flag 126000/126243
12.04/11.17	c cleaning 16000 clauses out of 32013 with flag 143001/143244
13.45/12.56	c cleaning 17000 clauses out of 34014 with flag 161002/161245
14.95/14.02	c cleaning 17996 clauses out of 36012 with flag 180000/180243
16.57/15.61	c cleaning 19008 clauses out of 38018 with flag 200002/200245
18.17/17.25	c cleaning 19995 clauses out of 40008 with flag 221000/221243
19.92/18.96	c cleaning 21005 clauses out of 42015 with flag 243002/243245
21.72/20.76	c cleaning 22004 clauses out of 44008 with flag 266000/266243
23.73/22.71	c cleaning 23002 clauses out of 46004 with flag 290000/290243
25.76/24.78	c cleaning 23994 clauses out of 48003 with flag 315001/315244
27.98/26.92	c cleaning 25004 clauses out of 50008 with flag 341000/341243
30.22/29.17	c cleaning 25999 clauses out of 52004 with flag 368000/368243
32.53/31.42	c cleaning 27001 clauses out of 54005 with flag 396000/396243
34.86/33.71	c cleaning 28002 clauses out of 56004 with flag 425000/425243
37.39/36.29	c cleaning 28998 clauses out of 58002 with flag 455000/455243
40.21/39.08	c cleaning 29994 clauses out of 60006 with flag 486002/486245
43.23/42.04	c cleaning 30997 clauses out of 62012 with flag 518002/518245
46.16/44.95	c cleaning 32007 clauses out of 64018 with flag 551005/551248
49.18/48.00	c cleaning 32991 clauses out of 66006 with flag 585000/585243
52.09/50.86	c cleaning 33991 clauses out of 68017 with flag 620002/620245
55.20/53.94	c cleaning 34999 clauses out of 70024 with flag 656000/656243
58.43/57.14	c cleaning 36001 clauses out of 72025 with flag 693000/693243
61.74/60.41	c cleaning 36990 clauses out of 74024 with flag 731000/731243
65.15/63.83	c cleaning 38005 clauses out of 76034 with flag 770000/770243
68.48/67.13	c cleaning 39015 clauses out of 78032 with flag 810003/810246
72.09/70.74	c cleaning 40006 clauses out of 80015 with flag 851001/851244
75.54/74.12	c cleaning 41001 clauses out of 82008 with flag 893000/893243
78.95/77.51	c cleaning 41983 clauses out of 84007 with flag 936000/936243
82.58/81.13	c cleaning 43000 clauses out of 86025 with flag 980001/980244
86.29/84.83	c cleaning 44008 clauses out of 88029 with flag 1025005/1025248
89.90/88.47	c cleaning 45001 clauses out of 90016 with flag 1071000/1071243
93.94/92.40	c cleaning 45994 clauses out of 92015 with flag 1118000/1118243
98.27/96.75	c cleaning 46999 clauses out of 94022 with flag 1166001/1166244
102.40/100.81	c cleaning 48002 clauses out of 96022 with flag 1215000/1215243
106.42/104.81	c cleaning 48997 clauses out of 98020 with flag 1265000/1265243
110.75/109.10	c cleaning 49999 clauses out of 100025 with flag 1316002/1316245
114.82/113.18	c cleaning 51011 clauses out of 102024 with flag 1368000/1368243
119.46/117.73	c cleaning 52000 clauses out of 104013 with flag 1421000/1421243
124.38/122.63	c cleaning 53007 clauses out of 106017 with flag 1475004/1475247
129.21/127.44	c cleaning 53994 clauses out of 108006 with flag 1530000/1530243
133.93/132.13	c cleaning 54990 clauses out of 110012 with flag 1586000/1586243
138.96/137.13	c cleaning 55995 clauses out of 112022 with flag 1643000/1643243
144.30/142.48	c cleaning 57003 clauses out of 114027 with flag 1701000/1701243
149.43/147.52	c cleaning 58011 clauses out of 116024 with flag 1760000/1760243
154.67/152.70	c cleaning 59006 clauses out of 118014 with flag 1820001/1820244
160.19/158.24	c cleaning 59986 clauses out of 120007 with flag 1881000/1881243
165.83/163.84	c cleaning 61000 clauses out of 122021 with flag 1943000/1943243
171.56/169.54	c cleaning 61995 clauses out of 124021 with flag 2006000/2006243
177.10/175.08	c cleaning 63014 clauses out of 126027 with flag 2070001/2070244
182.86/180.73	c cleaning 63989 clauses out of 128016 with flag 2135004/2135247
188.58/186.45	c cleaning 64991 clauses out of 130023 with flag 2201000/2201243
194.52/192.39	c cleaning 65988 clauses out of 132032 with flag 2268000/2268243
200.35/198.14	c cleaning 67022 clauses out of 134045 with flag 2336001/2336244
206.27/204.04	c cleaning 68003 clauses out of 136022 with flag 2405000/2405243
212.20/209.94	c cleaning 68977 clauses out of 138020 with flag 2475001/2475244
218.64/216.36	c cleaning 70013 clauses out of 140042 with flag 2546000/2546243
225.07/222.70	c cleaning 71009 clauses out of 142032 with flag 2618003/2618246
231.58/229.23	c cleaning 71998 clauses out of 144020 with flag 2691000/2691243
238.01/235.67	c cleaning 72994 clauses out of 146022 with flag 2765000/2765243
245.56/243.10	c cleaning 74011 clauses out of 148031 with flag 2840003/2840246
253.08/250.64	c cleaning 75003 clauses out of 150018 with flag 2916001/2916244
260.32/257.82	c cleaning 75980 clauses out of 152014 with flag 2993000/2993243
266.86/264.35	c cleaning 77006 clauses out of 154034 with flag 3071000/3071243
274.30/271.78	c cleaning 78007 clauses out of 156029 with flag 3150001/3150244
281.84/279.23	c cleaning 78985 clauses out of 158021 with flag 3230000/3230243
289.16/286.50	c cleaning 80005 clauses out of 160037 with flag 3311001/3311244
296.82/294.14	c cleaning 80991 clauses out of 162031 with flag 3393000/3393243
304.66/301.91	c cleaning 82000 clauses out of 164041 with flag 3476001/3476244
313.19/310.48	c cleaning 83007 clauses out of 166040 with flag 3560000/3560243
321.34/318.57	c cleaning 84005 clauses out of 168037 with flag 3645004/3645247
330.18/327.31	c cleaning 85008 clauses out of 170028 with flag 3731000/3731243
338.43/335.57	c cleaning 85997 clauses out of 172020 with flag 3818000/3818243
347.57/344.62	c cleaning 86998 clauses out of 174023 with flag 3906000/3906243
356.04/353.06	c cleaning 87984 clauses out of 176025 with flag 3995000/3995243
365.67/362.62	c cleaning 89016 clauses out of 178043 with flag 4085002/4085245
373.93/370.90	c cleaning 89986 clauses out of 180025 with flag 4176000/4176243
383.18/380.09	c cleaning 91014 clauses out of 182039 with flag 4268000/4268243
392.16/388.90	c cleaning 92006 clauses out of 184025 with flag 4361000/4361243
401.42/398.20	c cleaning 92993 clauses out of 186019 with flag 4455000/4455243
409.03/405.80	c cleaning 94005 clauses out of 188026 with flag 4550000/4550243
417.66/414.31	c cleaning 94983 clauses out of 190022 with flag 4646001/4646244
426.60/423.27	c cleaning 96012 clauses out of 192038 with flag 4743000/4743243
436.43/433.06	c cleaning 97000 clauses out of 194026 with flag 4841000/4841243
446.39/442.92	c cleaning 98011 clauses out of 196029 with flag 4940003/4940246
456.50/453.03	c cleaning 99002 clauses out of 198015 with flag 5040000/5040243
466.92/463.39	c cleaning 99994 clauses out of 200013 with flag 5141000/5141243
476.67/473.09	c cleaning 100998 clauses out of 202019 with flag 5243000/5243243
487.59/483.94	c cleaning 102002 clauses out of 204021 with flag 5346000/5346243
497.72/494.04	c cleaning 102986 clauses out of 206019 with flag 5450000/5450243
508.16/504.46	c cleaning 103997 clauses out of 208035 with flag 5555002/5555245
520.23/516.41	c cleaning 105012 clauses out of 210038 with flag 5661002/5661245
531.56/527.79	c cleaning 106007 clauses out of 212025 with flag 5768001/5768244
543.31/539.45	c cleaning 107005 clauses out of 214017 with flag 5876000/5876243
554.17/550.25	c cleaning 107997 clauses out of 216014 with flag 5985002/5985245
565.20/561.25	c cleaning 108998 clauses out of 218015 with flag 6095000/6095243
576.97/572.95	c cleaning 110000 clauses out of 220018 with flag 6206001/6206244
588.02/583.97	c cleaning 111006 clauses out of 222017 with flag 6318000/6318243
601.28/597.11	c cleaning 111997 clauses out of 224013 with flag 6431002/6431245
613.75/609.59	c cleaning 113003 clauses out of 226017 with flag 6545003/6545246
625.59/621.33	c cleaning 113989 clauses out of 228011 with flag 6660000/6660243
635.94/631.60	c cleaning 114986 clauses out of 230024 with flag 6776002/6776245
646.71/642.33	c cleaning 115982 clauses out of 232036 with flag 6893000/6893243
658.23/653.85	c cleaning 117008 clauses out of 234057 with flag 7011003/7011246
670.98/666.56	c cleaning 118002 clauses out of 236046 with flag 7130000/7130243
682.72/678.28	c cleaning 119014 clauses out of 238045 with flag 7250001/7250244
693.97/689.46	c cleaning 119991 clauses out of 240030 with flag 7371000/7371243
706.72/702.14	c cleaning 120992 clauses out of 242039 with flag 7493000/7493243
720.00/715.37	c cleaning 122004 clauses out of 244050 with flag 7616003/7616246
733.94/729.27	c cleaning 123001 clauses out of 246043 with flag 7740000/7740243
746.38/741.64	c cleaning 124002 clauses out of 248042 with flag 7865000/7865243
759.05/754.26	c cleaning 124999 clauses out of 250040 with flag 7991000/7991243
772.01/767.15	c cleaning 126009 clauses out of 252041 with flag 8118000/8118243
784.78/779.84	c cleaning 127005 clauses out of 254032 with flag 8246000/8246243
799.10/794.09	c cleaning 128004 clauses out of 256027 with flag 8375000/8375243
812.53/807.49	c cleaning 129003 clauses out of 258025 with flag 8505002/8505245
826.89/821.74	c cleaning 129982 clauses out of 260020 with flag 8636000/8636243
841.66/836.46	c cleaning 130993 clauses out of 262038 with flag 8768000/8768243
856.72/851.41	c cleaning 132019 clauses out of 264045 with flag 8901000/8901243
870.49/865.13	c cleaning 132992 clauses out of 266026 with flag 9035000/9035243
883.58/878.16	c cleaning 134010 clauses out of 268036 with flag 9170002/9170245
897.75/892.29	c cleaning 134989 clauses out of 270024 with flag 9306000/9306243
911.72/906.16	c cleaning 135997 clauses out of 272035 with flag 9443000/9443243
928.09/922.48	c cleaning 137016 clauses out of 274038 with flag 9581000/9581243
944.54/938.86	c cleaning 137999 clauses out of 276022 with flag 9720000/9720243
961.11/955.37	c cleaning 139002 clauses out of 278027 with flag 9860004/9860247
975.30/969.44	c cleaning 140004 clauses out of 280023 with flag 10001002/10001245
988.56/982.67	c cleaning 140998 clauses out of 282017 with flag 10143000/10143243
1003.94/997.92	c cleaning 141993 clauses out of 284019 with flag 10286000/10286243
1020.31/1014.27	c cleaning 143008 clauses out of 286028 with flag 10430002/10430245
1035.45/1029.40	c cleaning 144006 clauses out of 288018 with flag 10575000/10575243
1052.61/1046.45	c cleaning 144984 clauses out of 290012 with flag 10721000/10721243
1068.39/1062.13	c cleaning 146006 clauses out of 292028 with flag 10868000/10868243
1084.78/1078.44	c cleaning 146998 clauses out of 294022 with flag 11016000/11016243
1101.03/1094.63	c cleaning 148000 clauses out of 296025 with flag 11165001/11165244
1117.29/1110.87	c cleaning 148992 clauses out of 298024 with flag 11315000/11315243
1136.38/1129.82	c cleaning 150013 clauses out of 300032 with flag 11466000/11466243
1153.57/1146.96	c cleaning 151008 clauses out of 302030 with flag 11618011/11618254
1171.97/1165.29	c cleaning 151998 clauses out of 304011 with flag 11771000/11771243
1194.82/1188.07	c cleaning 153000 clauses out of 306013 with flag 11925000/11925243
1215.30/1208.41	c cleaning 153995 clauses out of 308013 with flag 12080000/12080243
1232.88/1225.92	c cleaning 154971 clauses out of 310020 with flag 12236002/12236245
1252.22/1245.21	c cleaning 156023 clauses out of 312047 with flag 12393000/12393243
1268.71/1261.67	c cleaning 157007 clauses out of 314027 with flag 12551003/12551246
1287.89/1280.75	c cleaning 157982 clauses out of 316017 with flag 12710000/12710243
1308.77/1301.50	c cleaning 159004 clauses out of 318038 with flag 12870003/12870246
1330.78/1323.43	c cleaning 160003 clauses out of 320031 with flag 13031000/13031243
1355.45/1348.09	c cleaning 160986 clauses out of 322028 with flag 13193000/13193243
1376.47/1368.93	c cleaning 161988 clauses out of 324044 with flag 13356002/13356245
1394.43/1386.81	c cleaning 163004 clauses out of 326055 with flag 13520001/13520244
1414.67/1407.08	c cleaning 164005 clauses out of 328050 with flag 13685000/13685243
1435.13/1427.46	c cleaning 164999 clauses out of 330045 with flag 13851000/13851243
1457.18/1449.45	c cleaning 166013 clauses out of 332049 with flag 14018003/14018246
1479.22/1471.43	c cleaning 167007 clauses out of 334034 with flag 14186001/14186244
1504.33/1496.49	c cleaning 168001 clauses out of 336027 with flag 14355001/14355244
1528.03/1520.10	c cleaning 169005 clauses out of 338026 with flag 14525001/14525244
1553.75/1545.79	c cleaning 170006 clauses out of 340020 with flag 14696000/14696243
1579.66/1571.52	c cleaning 171002 clauses out of 342018 with flag 14868004/14868247
1605.93/1597.77	c cleaning 171983 clauses out of 344012 with flag 15041000/15041243
1629.27/1621.03	c cleaning 172999 clauses out of 346029 with flag 15215000/15215243
1649.87/1641.50	c cleaning 174003 clauses out of 348030 with flag 15390000/15390243
1672.40/1664.00	c cleaning 174993 clauses out of 350027 with flag 15566000/15566243
1692.26/1683.88	c cleaning 175997 clauses out of 352036 with flag 15743002/15743245
1713.13/1704.68	c cleaning 177004 clauses out of 354037 with flag 15921000/15921243
1738.80/1730.21	c cleaning 178004 clauses out of 356036 with flag 16100003/16100246
1761.07/1752.44	c cleaning 179005 clauses out of 358030 with flag 16280001/16280244
1783.30/1774.68	c cleaning 179989 clauses out of 360024 with flag 16461000/16461243
1800.08/1791.31	c starts		: 352
1800.08/1791.31	c conflicts		: 16630608
1800.08/1791.31	c decisions		: 72401032
1800.08/1791.31	c propagations		: 2348947949
1800.08/1791.31	c inspects		: 5627808306
1800.08/1791.31	c shortcuts		: 0
1800.08/1791.31	c learnt literals	: 0
1800.08/1791.31	c learnt binary clauses	: 0
1800.08/1791.31	c learnt ternary clauses	: 0
1800.08/1791.31	c learnt constraints	: 16630609
1800.08/1791.31	c ignored constraints	: 0
1800.08/1791.31	c root simplifications	: 0
1800.08/1791.31	c removed literals (reason simplification)	: 0
1800.08/1791.31	c reason swapping (by a shorter reason)	: 0
1800.08/1791.31	c Calls to reduceDB	: 177
1800.08/1791.31	c number of reductions to clauses (during analyze)	: 0
1800.08/1791.31	c number of learned constraints concerned by reduction	: 0
1800.08/1791.31	c number of learning phase by resolution	: 0
1800.08/1791.31	c number of learning phase by cutting planes	: 0
1800.08/1791.31	c speed (assignments/second)	: 1311526.5328980465
1800.08/1791.31	c non guided choices	78
1800.08/1791.35	c learnt constraints type 
1800.08/1791.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 349597
1800.08/1791.35	c constraints type 
1800.08/1791.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1510
1800.08/1791.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1791.35	c ignored satisfied constraints => 317
1800.08/1791.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11
1800.08/1791.35	c org.sat4j.minisat.constraints.cnf.UnitClause => 15
1800.08/1791.35	c 1854 constraints processed.
1800.08/1791.35	s SATISFIABLE
1800.08/1791.35	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 
1800.08/1791.35	c objective function=85
1800.08/1791.35	c Total wall clock time (in seconds): 1791.243

Verifier Data

OK	85

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-3688185-1337880839/watcher-3688185-1337880839 -o /tmp/evaluation-result-3688185-1337880839/solver-3688185-1337880839 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688185-1337880839.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: 1.98 1.96 1.97 3/194 15356
/proc/meminfo: memFree=28505176/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15356/stat : 15356 (java) D 15354 15356 14581 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 254208830 9515008 186 33554432000 1073741824 1073778376 140734976876448 140734976865512 233211784487 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2323 186 143 9 0 71 0

[startup+0.030385 s]
/proc/loadavg: 1.98 1.96 1.97 3/194 15356
/proc/meminfo: memFree=28505176/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/15356/stat : 15356 (java) S 15354 15356 14581 0 -1 4202496 2901 0 1 0 1 0 0 0 20 0 11 0 254208830 9310650368 3601 33554432000 1073741824 1073778376 140734976876448 140734976867584 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2273108 3601 1631 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100285 s]
/proc/loadavg: 1.98 1.96 1.97 3/194 15356
/proc/meminfo: memFree=28505176/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/15356/stat : 15356 (java) S 15354 15356 14581 0 -1 4202496 4297 0 1 0 9 1 0 0 20 0 18 0 254208830 9787813888 5496 33554432000 1073741824 1073778376 140734976876448 140734976867584 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2389603 5496 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300206 s]
/proc/loadavg: 1.98 1.96 1.97 3/194 15356
/proc/meminfo: memFree=28505176/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9558412 CPUtime=0.53 cores=1,3,5,7
/proc/15356/stat : 15356 (java) S 15354 15356 14581 0 -1 4202496 6163 0 1 0 51 2 0 0 20 0 18 0 254208830 9787813888 9525 33554432000 1073741824 1073778376 140734976876448 140734976867584 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2389603 9525 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412

[startup+0.700218 s]
/proc/loadavg: 1.98 1.96 1.97 3/194 15356
/proc/meminfo: memFree=28505176/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9624976 CPUtime=1.36 cores=1,3,5,7
/proc/15356/stat : 15356 (java) S 15354 15356 14581 0 -1 4202496 9197 0 1 0 134 2 0 0 20 0 19 0 254208830 9855975424 11325 33554432000 1073741824 1073778376 140734976876448 140734976867584 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2406244 11325 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9624976

[startup+1.50063 s]
/proc/loadavg: 1.98 1.96 1.97 3/213 15375
/proc/meminfo: memFree=28458780/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9624976 CPUtime=2.25 cores=1,3,5,7
/proc/15356/stat : 15356 (java) S 15354 15356 14581 0 -1 4202496 9265 0 1 0 222 3 0 0 20 0 19 0 254208830 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 140734976867584 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2406244 14451 2275 9 0 2396937 0
[pid=15356/tid=15358] ppid=15354 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/15356/task/15358/stat : 15358 (java) R 15354 15356 14581 0 -1 4202560 2488 0 1 0 143 1 0 0 20 0 19 0 254208831 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139989325472032 139989174764369 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15359] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15359/stat : 15359 (java) S 15354 15356 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139989297924648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15360] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15360/stat : 15360 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139989296871848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15361] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15361/stat : 15361 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139989295819048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15362] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15362/stat : 15362 (java) S 15354 15356 14581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139989294766248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15363] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15363/stat : 15363 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139989293714472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15364] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15364/stat : 15364 (java) S 15354 15356 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139989163223976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15365] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15365/stat : 15365 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139989162171176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15366] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15366/stat : 15366 (java) S 15354 15356 14581 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139989161118376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15367] ppid=15354 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/15356/task/15367/stat : 15367 (java) S 15354 15356 14581 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 254208833 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139988678171112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15368] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15368/stat : 15368 (java) S 15354 15356 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139988677117176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15369] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15369/stat : 15369 (java) S 15354 15356 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139988676064264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15370] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15370/stat : 15370 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139988675012752 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15371] ppid=15354 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/15356/task/15371/stat : 15371 (java) S 15354 15356 14581 0 -1 4202560 2716 0 0 0 37 0 0 0 20 0 19 0 254208836 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139988673960888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15372] ppid=15354 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/15356/task/15372/stat : 15372 (java) S 15354 15356 14581 0 -1 4202560 2808 0 0 0 36 0 0 0 20 0 19 0 254208836 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139988672908088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15373] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15373/stat : 15373 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139988671855480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15374] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15374/stat : 15374 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139988670802888 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15375] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15375/stat : 15375 (java) S 15354 15356 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254208861 9855975424 14451 33554432000 1073741824 1073778376 140734976876448 139988669748392 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9624976

[startup+3.10067 s]
/proc/loadavg: 1.98 1.96 1.97 2/193 15378
/proc/meminfo: memFree=28933140/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9624976 CPUtime=3.97 cores=1,3,5,7
/proc/15356/stat : 15356 (java) S 15354 15356 14581 0 -1 4202496 9282 0 1 0 394 3 0 0 20 0 19 0 254208830 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 140734976867584 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2406244 15995 2275 9 0 2396937 0
[pid=15356/tid=15358] ppid=15354 vsize=9624976 CPUtime=2.98 cores=1,3,5,7
/proc/15356/task/15358/stat : 15358 (java) R 15354 15356 14581 0 -1 4202560 2488 0 1 0 297 1 0 0 20 0 19 0 254208831 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139989325472152 139989174804418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15359] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15359/stat : 15359 (java) S 15354 15356 14581 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139989297924648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15360] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15360/stat : 15360 (java) S 15354 15356 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139989296871848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15361] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15361/stat : 15361 (java) S 15354 15356 14581 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139989295819048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15362] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15362/stat : 15362 (java) S 15354 15356 14581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139989294766248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15363] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15363/stat : 15363 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139989293714472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15364] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15364/stat : 15364 (java) S 15354 15356 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139989163223976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15365] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15365/stat : 15365 (java) S 15354 15356 14581 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139989162171176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15366] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15366/stat : 15366 (java) S 15354 15356 14581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139989161118376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15367] ppid=15354 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/15356/task/15367/stat : 15367 (java) S 15354 15356 14581 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 254208833 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139988678171112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15368] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15368/stat : 15368 (java) S 15354 15356 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139988677117176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15369] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15369/stat : 15369 (java) S 15354 15356 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139988676064264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15370] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15370/stat : 15370 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139988675012752 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15371] ppid=15354 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/15356/task/15371/stat : 15371 (java) S 15354 15356 14581 0 -1 4202560 2720 0 0 0 46 0 0 0 20 0 19 0 254208836 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139988673960888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15372] ppid=15354 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/15356/task/15372/stat : 15372 (java) S 15354 15356 14581 0 -1 4202560 2808 0 0 0 37 0 0 0 20 0 19 0 254208836 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139988672908088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15373] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15373/stat : 15373 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139988671855480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15374] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15374/stat : 15374 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139988670802888 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15375] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15375/stat : 15375 (java) S 15354 15356 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254208861 9855975424 15995 33554432000 1073741824 1073778376 140734976876448 139988669748392 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9624976

[startup+6.30063 s]
/proc/loadavg: 1.98 1.97 1.97 3/213 15434
/proc/meminfo: memFree=28881964/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9624976 CPUtime=7.22 cores=1,3,5,7
/proc/15356/stat : 15356 (java) S 15354 15356 14581 0 -1 4202496 9294 0 1 0 719 3 0 0 20 0 19 0 254208830 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 140734976867584 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2406244 16440 2275 9 0 2396937 0
[pid=15356/tid=15358] ppid=15354 vsize=9624976 CPUtime=6.12 cores=1,3,5,7
/proc/15356/task/15358/stat : 15358 (java) R 15354 15356 14581 0 -1 4202560 2491 0 1 0 611 1 0 0 20 0 19 0 254208831 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139989325472152 139989174830944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15359] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15359/stat : 15359 (java) S 15354 15356 14581 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139989297924648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15360] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15360/stat : 15360 (java) S 15354 15356 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139989296871848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15361] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15361/stat : 15361 (java) S 15354 15356 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139989295819048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15362] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15362/stat : 15362 (java) S 15354 15356 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139989294766248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15363] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15363/stat : 15363 (java) S 15354 15356 14581 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139989293714472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15364] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15364/stat : 15364 (java) S 15354 15356 14581 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139989163223976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15365] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15365/stat : 15365 (java) S 15354 15356 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139989162171176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15366] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15366/stat : 15366 (java) S 15354 15356 14581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254208832 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139989161118376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15367] ppid=15354 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/15356/task/15367/stat : 15367 (java) S 15354 15356 14581 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 19 0 254208833 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139988678171112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15368] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15368/stat : 15368 (java) S 15354 15356 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139988677117176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15369] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15369/stat : 15369 (java) S 15354 15356 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139988676064264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15370] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15370/stat : 15370 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139988675012752 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15371] ppid=15354 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/15356/task/15371/stat : 15371 (java) S 15354 15356 14581 0 -1 4202560 2721 0 0 0 50 0 0 0 20 0 19 0 254208836 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139988673960888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15372] ppid=15354 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/15356/task/15372/stat : 15372 (java) S 15354 15356 14581 0 -1 4202560 2808 0 0 0 37 0 0 0 20 0 19 0 254208836 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139988672908088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15373] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15373/stat : 15373 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139988671855480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15374] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15374/stat : 15374 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139988670802888 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15375] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15375/stat : 15375 (java) S 15354 15356 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254208861 9855975424 16440 33554432000 1073741824 1073778376 140734976876448 139988669748392 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=15356/tid=15371] ppid=15354 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/15356/task/15371/stat : 15371 (java) S 15354 15356 14581 0 -1 4202560 2728 0 0 0 52 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988673960888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15372] ppid=15354 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/15356/task/15372/stat : 15372 (java) S 15354 15356 14581 0 -1 4202560 2808 0 0 0 37 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988672908088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15373] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15373/stat : 15373 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988671855480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15374] ppid=15354 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/15356/task/15374/stat : 15374 (java) S 15354 15356 14581 0 -1 4202560 98 0 0 0 29 17 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988670802888 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15375] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15375/stat : 15375 (java) S 15354 15356 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254208861 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988669748392 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1730.89
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 15472
/proc/meminfo: memFree=28059276/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9624976 CPUtime=1791.07 cores=1,3,5,7
/proc/15356/stat : 15356 (java) S 15354 15356 14581 0 -1 4202496 11792 0 1 0 179055 52 0 0 20 0 19 0 254208830 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 140734976867584 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2406244 78879 2276 9 0 2396937 0
[pid=15356/tid=15358] ppid=15354 vsize=9624976 CPUtime=1762.55 cores=1,3,5,7
/proc/15356/task/15358/stat : 15358 (java) R 15354 15356 14581 0 -1 4202560 2688 0 1 0 176226 29 0 0 20 0 19 0 254208831 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989325472032 139989174764334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15359] ppid=15354 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/15356/task/15359/stat : 15359 (java) S 15354 15356 14581 0 -1 4202560 294 0 0 0 136 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989297924648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15360] ppid=15354 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/15356/task/15360/stat : 15360 (java) S 15354 15356 14581 0 -1 4202560 355 0 0 0 134 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989296871848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15361] ppid=15354 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/15356/task/15361/stat : 15361 (java) S 15354 15356 14581 0 -1 4202560 328 0 0 0 132 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989295819048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15362] ppid=15354 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/15356/task/15362/stat : 15362 (java) S 15354 15356 14581 0 -1 4202560 119 0 0 0 118 4 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989294766248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15363] ppid=15354 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/15356/task/15363/stat : 15363 (java) S 15354 15356 14581 0 -1 4202560 105 0 0 0 129 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989293714472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15364] ppid=15354 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/15356/task/15364/stat : 15364 (java) S 15354 15356 14581 0 -1 4202560 193 0 0 0 132 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989163223976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15365] ppid=15354 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/15356/task/15365/stat : 15365 (java) S 15354 15356 14581 0 -1 4202560 281 0 0 0 127 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989162171176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15366] ppid=15354 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/15356/task/15366/stat : 15366 (java) S 15354 15356 14581 0 -1 4202560 444 0 0 0 135 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989161118376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15367] ppid=15354 vsize=9624976 CPUtime=12.03 cores=1,3,5,7
/proc/15356/task/15367/stat : 15367 (java) S 15354 15356 14581 0 -1 4202560 162 0 0 0 1200 3 0 0 20 0 19 0 254208833 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988678171112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15368] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15368/stat : 15368 (java) S 15354 15356 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988677117176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15369] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15369/stat : 15369 (java) S 15354 15356 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988676064264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15370] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15370/stat : 15370 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988675012752 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15371] ppid=15354 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/15356/task/15371/stat : 15371 (java) S 15354 15356 14581 0 -1 4202560 2728 0 0 0 52 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988673960888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15372] ppid=15354 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/15356/task/15372/stat : 15372 (java) S 15354 15356 14581 0 -1 4202560 2808 0 0 0 37 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988672908088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15373] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15373/stat : 15373 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988671855480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15374] ppid=15354 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/15356/task/15374/stat : 15374 (java) S 15354 15356 14581 0 -1 4202560 102 0 0 0 29 17 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988670802888 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15375] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15375/stat : 15375 (java) S 15354 15356 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254208861 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988669748392 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.07
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 15472
/proc/meminfo: memFree=27963020/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/15356/stat : 15356 (java) S 15354 15356 14581 0 -1 4202496 11792 0 1 0 179956 52 0 0 20 0 19 0 254208830 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 140734976867584 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2406244 78879 2276 9 0 2396937 0
[pid=15356/tid=15358] ppid=15354 vsize=9624976 CPUtime=1771.53 cores=1,3,5,7
/proc/15356/task/15358/stat : 15358 (java) R 15354 15356 14581 0 -1 4202560 2688 0 1 0 177124 29 0 0 20 0 19 0 254208831 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989325472032 139989174764938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15359] ppid=15354 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/15356/task/15359/stat : 15359 (java) S 15354 15356 14581 0 -1 4202560 294 0 0 0 136 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989297924648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15360] ppid=15354 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/15356/task/15360/stat : 15360 (java) S 15354 15356 14581 0 -1 4202560 355 0 0 0 134 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989296871848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15361] ppid=15354 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/15356/task/15361/stat : 15361 (java) S 15354 15356 14581 0 -1 4202560 328 0 0 0 132 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989295819048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15362] ppid=15354 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/15356/task/15362/stat : 15362 (java) S 15354 15356 14581 0 -1 4202560 119 0 0 0 118 4 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989294766248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15363] ppid=15354 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/15356/task/15363/stat : 15363 (java) S 15354 15356 14581 0 -1 4202560 105 0 0 0 129 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989293714472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15364] ppid=15354 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/15356/task/15364/stat : 15364 (java) S 15354 15356 14581 0 -1 4202560 193 0 0 0 132 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989163223976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15365] ppid=15354 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/15356/task/15365/stat : 15365 (java) S 15354 15356 14581 0 -1 4202560 281 0 0 0 127 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989162171176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15366] ppid=15354 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/15356/task/15366/stat : 15366 (java) S 15354 15356 14581 0 -1 4202560 444 0 0 0 135 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989161118376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15367] ppid=15354 vsize=9624976 CPUtime=12.03 cores=1,3,5,7
/proc/15356/task/15367/stat : 15367 (java) S 15354 15356 14581 0 -1 4202560 162 0 0 0 1200 3 0 0 20 0 19 0 254208833 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988678171112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15368] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15368/stat : 15368 (java) S 15354 15356 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988677117176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15369] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15369/stat : 15369 (java) S 15354 15356 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988676064264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15370] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15370/stat : 15370 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988675012752 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15371] ppid=15354 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/15356/task/15371/stat : 15371 (java) S 15354 15356 14581 0 -1 4202560 2728 0 0 0 52 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988673960888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15372] ppid=15354 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/15356/task/15372/stat : 15372 (java) S 15354 15356 14581 0 -1 4202560 2808 0 0 0 37 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988672908088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15373] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15373/stat : 15373 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988671855480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15374] ppid=15354 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/15356/task/15374/stat : 15374 (java) S 15354 15356 14581 0 -1 4202560 102 0 0 0 30 17 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988670802888 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15375] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15375/stat : 15375 (java) S 15354 15356 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254208861 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988669748392 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1791.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 15472
/proc/meminfo: memFree=27963020/32873844 swapFree=7104/7104
[pid=15356] ppid=15354 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/15356/stat : 15356 (java) S 15354 15356 14581 0 -1 4202496 11792 0 1 0 179956 52 0 0 20 0 19 0 254208830 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 140734976867584 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15356/statm: 2406244 78879 2276 9 0 2396937 0
[pid=15356/tid=15358] ppid=15354 vsize=9624976 CPUtime=1771.53 cores=1,3,5,7
/proc/15356/task/15358/stat : 15358 (java) R 15354 15356 14581 0 -1 4202560 2688 0 1 0 177124 29 0 0 20 0 19 0 254208831 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989325472032 139989174764938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15359] ppid=15354 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/15356/task/15359/stat : 15359 (java) S 15354 15356 14581 0 -1 4202560 294 0 0 0 136 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989297924648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15360] ppid=15354 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/15356/task/15360/stat : 15360 (java) S 15354 15356 14581 0 -1 4202560 355 0 0 0 134 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989296871848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15361] ppid=15354 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/15356/task/15361/stat : 15361 (java) S 15354 15356 14581 0 -1 4202560 328 0 0 0 132 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989295819048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15362] ppid=15354 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/15356/task/15362/stat : 15362 (java) S 15354 15356 14581 0 -1 4202560 119 0 0 0 118 4 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989294766248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15363] ppid=15354 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/15356/task/15363/stat : 15363 (java) S 15354 15356 14581 0 -1 4202560 105 0 0 0 129 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989293714472 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15364] ppid=15354 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/15356/task/15364/stat : 15364 (java) S 15354 15356 14581 0 -1 4202560 193 0 0 0 132 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989163223976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15365] ppid=15354 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/15356/task/15365/stat : 15365 (java) S 15354 15356 14581 0 -1 4202560 281 0 0 0 127 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989162171176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15366] ppid=15354 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/15356/task/15366/stat : 15366 (java) S 15354 15356 14581 0 -1 4202560 444 0 0 0 135 3 0 0 20 0 19 0 254208832 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139989161118376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15367] ppid=15354 vsize=9624976 CPUtime=12.03 cores=1,3,5,7
/proc/15356/task/15367/stat : 15367 (java) S 15354 15356 14581 0 -1 4202560 162 0 0 0 1200 3 0 0 20 0 19 0 254208833 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988678171112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15368] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15368/stat : 15368 (java) S 15354 15356 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988677117176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15369] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15369/stat : 15369 (java) S 15354 15356 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254208833 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988676064264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15370] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15370/stat : 15370 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988675012752 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15356/tid=15371] ppid=15354 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/15356/task/15371/stat : 15371 (java) S 15354 15356 14581 0 -1 4202560 2728 0 0 0 52 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988673960888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15356/tid=15372] ppid=15354 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/15356/task/15372/stat : 15372 (java) S 15354 15356 14581 0 -1 4202560 2808 0 0 0 37 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988672908088 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15373] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15373/stat : 15373 (java) S 15354 15356 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988671855480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15356/tid=15374] ppid=15354 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/15356/task/15374/stat : 15374 (java) S 15354 15356 14581 0 -1 4202560 102 0 0 0 30 17 0 0 20 0 19 0 254208836 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988670802888 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15356/tid=15375] ppid=15354 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15356/task/15375/stat : 15375 (java) S 15354 15356 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254208861 9855975424 78879 33554432000 1073741824 1073778376 140734976876448 139988669748392 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15356 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=881865
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1791.36
CPU time (s): 1800.08
CPU user time (s): 1799.56
CPU system time (s): 0.52
CPU usage (%): 100.487
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.1
system time used= 0.881865
maximum resident set size= 315648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11830
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= 42716
involuntary context switches= 27275

runsolver used 6.29004 second user time and 15.1447 second system time

The end

Launcher Data

Begin job on node142 at 2012-05-24 19:34:00
IDJOB=3688185
IDBENCH=2880
IDSOLVER=2269
FILE ID=node142/3688185-1337880839
RUNJOBID= node142-1337871882-14598
PBS_JOBID= 14620062
Free space on /tmp= 71660 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.b.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688185-1337880839/watcher-3688185-1337880839 -o /tmp/evaluation-result-3688185-1337880839/solver-3688185-1337880839 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688185-1337880839.opb

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

MD5SUM BENCH= d95d18eb9f9494c32273975c1bc570ba
RANDOM SEED=1249656988

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:        28505704 kB
Buffers:          222660 kB
Cached:          2887128 kB
SwapCached:            0 kB
Active:           947800 kB
Inactive:        2645808 kB
Active(anon):     485876 kB
Inactive(anon):      124 kB
Active(file):     461924 kB
Inactive(file):  2645684 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               128 kB
Writeback:             0 kB
AnonPages:        496720 kB
Mapped:            22588 kB
Shmem:               200 kB
Slab:             629464 kB
SReclaimable:      71892 kB
SUnreclaim:       557572 kB
KernelStack:        1600 kB
PageTables:         8400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     709940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    466944 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 20:03:53