Trace number 3711241

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)-46 1800.1 1793.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_1.opb
MD5SUM2be9d345a101e171c9ff93c0b5b2195d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1797.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2482
Sum of products size (including duplicates)4964
Number of different products1241
Sum of products size2482

Quality of the solution as a function of time


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

Solver Data

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.08	c version 2.3.2.v20120418
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		501472288
0.04/0.08	c Max memory 		7480803328
0.04/0.08	c Total memory 		504102912
0.04/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3711241-1338169905.opb
0.09/0.12	c reading problem ... 
0.22/0.28	c ... done. Wall clock time 0.157s.
0.22/0.28	c declared #vars     200
0.22/0.28	c internal #vars     1441
0.22/0.28	c #constraints  2682
0.22/0.28	c constraints type 
0.22/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1241
0.22/0.28	c org.sat4j.minisat.constraints.cnf.UnitClauses => 200
0.22/0.28	c ignored satisfied constraints => 200
0.22/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1241
0.22/0.28	c 2882 constraints processed.
0.22/0.29	c SATISFIABLE
0.22/0.29	c OPTIMIZING...
0.22/0.29	c Got one! Elapsed wall clock time (in seconds):0.171
0.22/0.29	o 0
0.45/0.30	c Got one! Elapsed wall clock time (in seconds):0.176
0.45/0.30	o -1
0.45/0.30	c Got one! Elapsed wall clock time (in seconds):0.181
0.45/0.30	o -2
0.45/0.30	c Got one! Elapsed wall clock time (in seconds):0.185
0.45/0.30	o -3
0.45/0.31	c Got one! Elapsed wall clock time (in seconds):0.19
0.45/0.31	o -4
0.45/0.31	c Got one! Elapsed wall clock time (in seconds):0.194
0.45/0.31	o -39
0.72/0.41	c Got one! Elapsed wall clock time (in seconds):0.294
0.72/0.41	o -40
0.72/0.42	c Got one! Elapsed wall clock time (in seconds):0.299
0.72/0.42	o -41
0.72/0.45	c Got one! Elapsed wall clock time (in seconds):0.329
0.72/0.45	o -42
0.72/0.50	c Got one! Elapsed wall clock time (in seconds):0.376
0.72/0.50	o -43
1.01/0.59	c Got one! Elapsed wall clock time (in seconds):0.468
1.01/0.59	o -44
1.29/0.79	c cleaning 3608 clauses out of 7220 with flag 4000/7220
1.67/1.06	c cleaning 4804 clauses out of 9613 with flag 10001/13221
1.99/1.36	c cleaning 5903 clauses out of 11810 with flag 17002/20222
2.40/1.72	c cleaning 6950 clauses out of 13906 with flag 25001/28221
2.40/1.74	c Got one! Elapsed wall clock time (in seconds):1.618
2.40/1.74	o -45
2.64/1.99	c cleaning 5993 clauses out of 11985 with flag 5002/33250
2.95/2.24	c cleaning 5994 clauses out of 11992 with flag 11002/39250
3.25/2.56	c cleaning 6498 clauses out of 12996 with flag 18000/46248
3.65/2.94	c cleaning 7249 clauses out of 14498 with flag 26000/54248
4.06/3.37	c cleaning 8121 clauses out of 16252 with flag 35003/63251
4.57/3.87	c cleaning 9055 clauses out of 18128 with flag 45000/73248
5.17/4.42	c cleaning 10037 clauses out of 20073 with flag 56000/84248
5.77/5.07	c cleaning 11015 clauses out of 22037 with flag 68001/96249
6.48/5.79	c cleaning 12011 clauses out of 24022 with flag 81001/109249
7.29/6.59	c cleaning 13000 clauses out of 26010 with flag 95000/123248
8.09/7.37	c cleaning 14005 clauses out of 28012 with flag 110002/138250
9.21/8.41	c cleaning 14999 clauses out of 30005 with flag 126000/154248
10.33/9.58	c cleaning 15998 clauses out of 32006 with flag 143000/171248
11.44/10.65	c cleaning 16998 clauses out of 34008 with flag 161000/189248
12.64/11.85	c cleaning 18004 clauses out of 36010 with flag 180000/208248
14.06/13.29	c cleaning 18994 clauses out of 38006 with flag 200000/228248
15.57/14.77	c cleaning 20004 clauses out of 40012 with flag 221000/249248
17.09/16.27	c cleaning 20999 clauses out of 42008 with flag 243000/271248
18.60/17.73	c cleaning 22003 clauses out of 44010 with flag 266001/294249
20.61/19.77	c cleaning 22998 clauses out of 46006 with flag 290000/318248
22.71/21.82	c cleaning 24001 clauses out of 48008 with flag 315000/343248
24.92/24.02	c cleaning 25004 clauses out of 50008 with flag 341001/369249
27.45/26.59	c cleaning 26002 clauses out of 52003 with flag 368000/396248
28.87/27.90	c Got one! Elapsed wall clock time (in seconds):27.779
28.87/27.90	o -46
29.37/28.43	c cleaning 25667 clauses out of 51343 with flag 5001/421590
29.79/28.85	c cleaning 15838 clauses out of 31675 with flag 11000/427589
30.20/29.24	c cleaning 11415 clauses out of 22837 with flag 18000/434589
30.61/29.66	c cleaning 9711 clauses out of 19425 with flag 26003/442592
31.11/30.12	c cleaning 9347 clauses out of 18711 with flag 35000/451589
31.64/30.68	c cleaning 9682 clauses out of 19365 with flag 45001/461590
32.36/31.36	c cleaning 10338 clauses out of 20682 with flag 56000/472589
33.06/32.02	c cleaning 11172 clauses out of 22346 with flag 68002/484591
33.86/32.80	c cleaning 12081 clauses out of 24173 with flag 81001/497590
34.70/33.68	c cleaning 13041 clauses out of 26091 with flag 95000/511589
35.71/34.64	c cleaning 14027 clauses out of 28053 with flag 110003/526592
36.82/35.71	c cleaning 15006 clauses out of 30024 with flag 126001/542590
38.02/36.97	c cleaning 16006 clauses out of 32017 with flag 143000/559589
39.53/38.46	c cleaning 16999 clauses out of 34011 with flag 161000/577589
40.93/39.87	c cleaning 18005 clauses out of 36012 with flag 180000/596589
42.25/41.16	c cleaning 19001 clauses out of 38009 with flag 200002/616591
43.69/42.56	c cleaning 20004 clauses out of 40007 with flag 221001/637590
45.11/43.96	c cleaning 20999 clauses out of 42002 with flag 243000/659589
46.70/45.58	c cleaning 21999 clauses out of 44005 with flag 266002/682591
48.81/47.61	c cleaning 22993 clauses out of 46004 with flag 290000/706589
50.65/49.48	c cleaning 23998 clauses out of 48011 with flag 315000/731589
52.85/51.69	c cleaning 25005 clauses out of 50014 with flag 341001/757590
55.55/54.39	c cleaning 26003 clauses out of 52008 with flag 368000/784589
57.78/56.59	c cleaning 27000 clauses out of 54006 with flag 396001/812590
60.49/59.22	c cleaning 28000 clauses out of 56005 with flag 425000/841589
63.70/62.43	c cleaning 29004 clauses out of 58008 with flag 455003/871592
66.31/65.08	c cleaning 29997 clauses out of 60001 with flag 486000/902589
68.73/67.41	c cleaning 30995 clauses out of 62004 with flag 518000/934589
71.45/70.10	c cleaning 32005 clauses out of 64010 with flag 551001/967590
74.46/73.14	c cleaning 32993 clauses out of 66006 with flag 585002/1001591
77.28/75.90	c cleaning 33999 clauses out of 68012 with flag 620001/1036590
80.89/79.58	c cleaning 35006 clauses out of 70012 with flag 656000/1072589
84.33/82.91	c cleaning 35994 clauses out of 72007 with flag 693001/1109590
88.46/87.01	c cleaning 36998 clauses out of 74013 with flag 731001/1147590
92.80/91.38	c cleaning 38006 clauses out of 76014 with flag 770000/1186589
97.33/95.87	c cleaning 39000 clauses out of 78008 with flag 810000/1226589
102.26/100.74	c cleaning 40003 clauses out of 80009 with flag 851001/1267590
107.68/106.15	c cleaning 41001 clauses out of 82006 with flag 893001/1309590
112.02/110.46	c cleaning 41996 clauses out of 84004 with flag 936000/1352589
115.64/114.03	c cleaning 43001 clauses out of 86008 with flag 980000/1396589
119.67/118.04	c cleaning 44000 clauses out of 88009 with flag 1025002/1441591
124.18/122.54	c cleaning 45003 clauses out of 90007 with flag 1071000/1487589
129.81/128.17	c cleaning 45996 clauses out of 92004 with flag 1118000/1534589
135.22/133.51	c cleaning 47005 clauses out of 94009 with flag 1166001/1582590
141.23/139.56	c cleaning 48002 clauses out of 96004 with flag 1215001/1631590
147.56/145.80	c cleaning 48999 clauses out of 98001 with flag 1265000/1681589
153.99/152.29	c cleaning 49991 clauses out of 100003 with flag 1316001/1732590
160.35/158.60	c cleaning 50999 clauses out of 102012 with flag 1368001/1784590
166.66/164.84	c cleaning 52004 clauses out of 104013 with flag 1421001/1837590
173.78/171.91	c cleaning 53004 clauses out of 106009 with flag 1475001/1891590
181.02/179.10	c cleaning 53997 clauses out of 108004 with flag 1530000/1946589
188.87/186.96	c cleaning 54995 clauses out of 110007 with flag 1586000/2002589
194.79/192.82	c cleaning 56000 clauses out of 112013 with flag 1643001/2059590
201.64/199.64	c cleaning 56998 clauses out of 114013 with flag 1701001/2117590
209.78/207.80	c cleaning 58002 clauses out of 116015 with flag 1760001/2176590
216.91/214.86	c cleaning 58996 clauses out of 118013 with flag 1820001/2236590
225.23/223.20	c cleaning 59999 clauses out of 120016 with flag 1881000/2297589
233.79/231.65	c cleaning 60999 clauses out of 122017 with flag 1943000/2359589
242.14/239.92	c cleaning 62004 clauses out of 124018 with flag 2006000/2422589
250.05/247.84	c cleaning 63004 clauses out of 126015 with flag 2070001/2486590
259.00/256.77	c cleaning 64000 clauses out of 128010 with flag 2135000/2551589
268.22/265.94	c cleaning 65003 clauses out of 130013 with flag 2201003/2617592
276.84/274.59	c cleaning 65999 clauses out of 132007 with flag 2268000/2684589
287.20/284.86	c cleaning 66995 clauses out of 134009 with flag 2336001/2752590
298.52/296.16	c cleaning 68005 clauses out of 136014 with flag 2405001/2821590
310.48/308.04	c cleaning 69003 clauses out of 138008 with flag 2475000/2891589
324.01/321.57	c cleaning 70000 clauses out of 140007 with flag 2546002/2962591
334.18/331.64	c cleaning 70996 clauses out of 142005 with flag 2618000/3034589
342.74/340.15	c cleaning 71994 clauses out of 144009 with flag 2691000/3107589
352.48/349.83	c cleaning 73004 clauses out of 146016 with flag 2765001/3181590
363.03/360.30	c cleaning 74006 clauses out of 148011 with flag 2840000/3256589
372.97/370.20	c cleaning 74998 clauses out of 150005 with flag 2916000/3332589
384.30/381.52	c cleaning 75998 clauses out of 152008 with flag 2993001/3409590
395.74/392.90	c cleaning 77001 clauses out of 154011 with flag 3071002/3487591
409.39/406.59	c cleaning 77994 clauses out of 156008 with flag 3150000/3566589
425.14/422.25	c cleaning 79002 clauses out of 158014 with flag 3230000/3646589
438.18/435.27	c cleaning 80003 clauses out of 160012 with flag 3311000/3727589
452.87/449.88	c cleaning 81001 clauses out of 162009 with flag 3393000/3809589
466.32/463.24	c cleaning 81999 clauses out of 164009 with flag 3476001/3892590
482.15/479.08	c cleaning 83000 clauses out of 166011 with flag 3560002/3976591
496.38/493.22	c cleaning 84005 clauses out of 168010 with flag 3645001/4061590
511.74/508.57	c cleaning 84996 clauses out of 170004 with flag 3731000/4147589
527.37/524.19	c cleaning 86003 clauses out of 172008 with flag 3818000/4234589
543.50/540.30	c cleaning 86997 clauses out of 174005 with flag 3906000/4322589
560.16/556.82	c cleaning 87996 clauses out of 176009 with flag 3995001/4411590
577.51/574.11	c cleaning 89000 clauses out of 178012 with flag 4085000/4501589
590.30/586.89	c cleaning 89998 clauses out of 180012 with flag 4176000/4592589
607.65/604.18	c cleaning 91007 clauses out of 182017 with flag 4268003/4684592
625.43/621.82	c cleaning 91995 clauses out of 184008 with flag 4361001/4777590
645.16/641.55	c cleaning 92999 clauses out of 186012 with flag 4455000/4871589
664.43/660.78	c cleaning 94001 clauses out of 188015 with flag 4550002/4966591
682.16/678.41	c cleaning 95001 clauses out of 190013 with flag 4646001/5062590
701.58/697.82	c cleaning 96002 clauses out of 192012 with flag 4743001/5159590
721.64/717.80	c cleaning 97004 clauses out of 194011 with flag 4841002/5257591
743.80/739.98	c cleaning 97989 clauses out of 196006 with flag 4940001/5356590
766.98/763.04	c cleaning 99006 clauses out of 198017 with flag 5040001/5456590
785.10/781.03	c cleaning 100002 clauses out of 200013 with flag 5141003/5557592
806.85/802.73	c cleaning 100995 clauses out of 202008 with flag 5243000/5659589
828.81/824.65	c cleaning 102003 clauses out of 204013 with flag 5346000/5762589
856.47/852.24	c cleaning 103000 clauses out of 206010 with flag 5450000/5866589
883.32/879.06	c cleaning 103994 clauses out of 208012 with flag 5555002/5971591
902.96/898.61	c cleaning 105000 clauses out of 210017 with flag 5661001/6077590
924.60/920.25	c cleaning 106001 clauses out of 212016 with flag 5768000/6184589
945.62/941.26	c cleaning 107004 clauses out of 214016 with flag 5876001/6292590
968.02/963.54	c cleaning 108002 clauses out of 216012 with flag 5985001/6401590
990.58/986.04	c cleaning 108999 clauses out of 218009 with flag 6095000/6511589
1015.95/1011.32	c cleaning 110000 clauses out of 220011 with flag 6206001/6622590
1042.06/1037.41	c cleaning 110997 clauses out of 222010 with flag 6318000/6734589
1058.58/1053.88	c cleaning 112007 clauses out of 224014 with flag 6431001/6847590
1077.35/1072.58	c cleaning 112993 clauses out of 226006 with flag 6545000/6961589
1106.34/1101.43	c cleaning 114007 clauses out of 228014 with flag 6660001/7076590
1134.07/1129.11	c cleaning 115000 clauses out of 230007 with flag 6776001/7192590
1160.96/1155.90	c cleaning 115996 clauses out of 232006 with flag 6893000/7309589
1183.28/1178.25	c cleaning 117001 clauses out of 234010 with flag 7011000/7427589
1211.33/1206.29	c cleaning 118002 clauses out of 236009 with flag 7130000/7546589
1238.01/1232.80	c cleaning 119000 clauses out of 238007 with flag 7250000/7666589
1262.79/1257.57	c cleaning 119995 clauses out of 240007 with flag 7371000/7787589
1293.35/1288.02	c cleaning 120999 clauses out of 242012 with flag 7493000/7909589
1322.03/1316.70	c cleaning 122002 clauses out of 244015 with flag 7616002/8032591
1350.57/1345.16	c cleaning 122998 clauses out of 246011 with flag 7740000/8156589
1378.03/1372.54	c cleaning 124001 clauses out of 248015 with flag 7865002/8281591
1414.69/1409.17	c cleaning 125002 clauses out of 250013 with flag 7991001/8407590
1450.34/1444.71	c cleaning 126001 clauses out of 252010 with flag 8118000/8534589
1487.47/1481.81	c cleaning 127001 clauses out of 254009 with flag 8246000/8662589
1527.15/1521.49	c cleaning 127999 clauses out of 256008 with flag 8375000/8791589
1572.69/1566.90	c cleaning 129001 clauses out of 258009 with flag 8505000/8921589
1604.44/1598.69	c cleaning 129993 clauses out of 260008 with flag 8636000/9052589
1634.80/1628.98	c cleaning 131001 clauses out of 262018 with flag 8768003/9184592
1664.82/1658.90	c cleaning 132004 clauses out of 264014 with flag 8901000/9317589
1695.46/1689.54	c cleaning 132994 clauses out of 266010 with flag 9035000/9451589
1730.11/1724.10	c cleaning 134002 clauses out of 268016 with flag 9170000/9586589
1765.80/1759.76	c cleaning 135002 clauses out of 270014 with flag 9306000/9722589
1800.10/1793.91	c starts		: 313
1800.10/1793.91	c conflicts		: 9859590
1800.10/1793.91	c decisions		: 10137499
1800.10/1793.91	c propagations		: 50185858
1800.10/1793.91	c inspects		: 16601217981
1800.10/1793.91	c shortcuts		: 0
1800.10/1793.91	c learnt literals	: 0
1800.10/1793.91	c learnt binary clauses	: 0
1800.10/1793.91	c learnt ternary clauses	: 0
1800.10/1793.91	c learnt constraints	: 9859590
1800.10/1793.91	c ignored constraints	: 0
1800.10/1793.91	c root simplifications	: 313
1800.10/1793.91	c removed literals (reason simplification)	: 177974054
1800.10/1793.91	c reason swapping (by a shorter reason)	: 0
1800.10/1793.91	c Calls to reduceDB	: 160
1800.10/1793.91	c number of reductions to clauses (during analyze)	: 0
1800.10/1793.91	c number of learned constraints concerned by reduction	: 0
1800.10/1793.91	c number of learning phase by resolution	: 0
1800.10/1793.91	c number of learning phase by cutting planes	: 0
1800.10/1793.91	c speed (assignments/second)	: 27980.081711480867
1800.10/1793.91	c non guided choices	990
1800.10/1793.94	c learnt constraints type 
1800.10/1793.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 272013
1800.10/1793.94	c constraints type 
1800.10/1793.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1241
1800.10/1793.94	c org.sat4j.minisat.constraints.cnf.UnitClauses => 200
1800.10/1793.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1793.94	c ignored satisfied constraints => 200
1800.10/1793.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1241
1800.10/1793.94	c 2883 constraints processed.
1800.10/1793.94	s SATISFIABLE
1800.10/1793.94	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 
1800.10/1793.94	c objective function=-46
1800.10/1793.94	c Total wall clock time (in seconds): 1793.823

Verifier Data

OK	-46

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 16943
/proc/meminfo: memFree=29735956/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/16943/stat : 16943 (java) D 16941 16943 15185 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 283115917 9515008 182 33554432000 1073741824 1073778376 140735669167952 140735669158984 252263087797 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/16943/statm: 2323 182 140 9 0 71 0

[startup+0.0668289 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 16943
/proc/meminfo: memFree=29735956/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/16943/stat : 16943 (java) S 16941 16943 15185 0 -1 4202496 3200 0 1 0 4 0 0 0 20 0 18 0 283115917 9787842560 4409 33554432000 1073741824 1073778376 140735196854224 140735196845360 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16943/statm: 2389610 4409 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.100293 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 16943
/proc/meminfo: memFree=29735956/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/16943/stat : 16943 (java) S 16941 16943 15185 0 -1 4202496 4274 0 1 0 8 1 0 0 20 0 18 0 283115917 9787842560 5482 33554432000 1073741824 1073778376 140735196854224 140735196845360 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16943/statm: 2389610 5483 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300146 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 16943
/proc/meminfo: memFree=29735956/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/16943/stat : 16943 (java) S 16941 16943 15185 0 -1 4202496 5202 0 1 0 43 2 0 0 20 0 19 0 283115917 9856004096 8210 33554432000 1073741824 1073778376 140735196854224 140735196845360 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16943/statm: 2406251 8210 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9625004

[startup+0.700263 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 16943
/proc/meminfo: memFree=29735956/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/16943/stat : 16943 (java) S 16941 16943 15185 0 -1 4202496 9585 0 1 0 126 3 0 0 20 0 19 0 283115917 9856004096 11214 33554432000 1073741824 1073778376 140735196854224 140735196845360 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16943/statm: 2406251 11214 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9625004

[startup+1.50074 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 16962
/proc/meminfo: memFree=29687232/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9625004 CPUtime=2.2 cores=0,2,4,6
/proc/16943/stat : 16943 (java) S 16941 16943 15185 0 -1 4202496 9726 0 1 0 216 4 0 0 20 0 19 0 283115917 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 140735196845360 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16943/statm: 2406251 16387 2288 9 0 2396937 0
[pid=16943/tid=16945] ppid=16941 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/16943/task/16945/stat : 16945 (java) R 16941 16943 15185 0 -1 4202560 2512 0 1 0 140 2 0 0 20 0 19 0 283115918 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139772091474408 139771943493606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16946] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16946/stat : 16946 (java) S 16941 16943 15185 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139772063926440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16947] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16947/stat : 16947 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139772062873896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16948] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16948/stat : 16948 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139772061821352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16949] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16949/stat : 16949 (java) S 16941 16943 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771931830824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16950] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16950/stat : 16950 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771930778280 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16951] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16951/stat : 16951 (java) S 16941 16943 15185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771929725736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16952] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16952/stat : 16952 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771928673192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16953] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16953/stat : 16953 (java) S 16941 16943 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771927620648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16954] ppid=16941 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/16943/task/16954/stat : 16954 (java) S 16941 16943 15185 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 283115920 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771445106792 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16955] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16955/stat : 16955 (java) S 16941 16943 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771444053112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16956] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16956/stat : 16956 (java) S 16941 16943 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771443000456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16957] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16957/stat : 16957 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771441949200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16958] ppid=16941 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/16943/task/16958/stat : 16958 (java) S 16941 16943 15185 0 -1 4202560 2421 0 0 0 32 0 0 0 20 0 19 0 283115923 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771440896568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16959] ppid=16941 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/16943/task/16959/stat : 16959 (java) S 16941 16943 15185 0 -1 4202560 3530 0 0 0 34 1 0 0 20 0 19 0 283115923 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771439844024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16960] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16960/stat : 16960 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771438791672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16961] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16961/stat : 16961 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771437739336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16962] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16962/stat : 16962 (java) S 16941 16943 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283115946 9856004096 16387 33554432000 1073741824 1073778376 140735196854224 139771436684072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9625004

[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 16962
/proc/meminfo: memFree=29676868/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9625004 CPUtime=3.86 cores=0,2,4,6
/proc/16943/stat : 16943 (java) S 16941 16943 15185 0 -1 4202496 9758 0 1 0 382 4 0 0 20 0 19 0 283115917 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 140735196845360 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16943/statm: 2406251 17433 2288 9 0 2396937 0
[pid=16943/tid=16945] ppid=16941 vsize=9625004 CPUtime=2.93 cores=0,2,4,6
/proc/16943/task/16945/stat : 16945 (java) R 16941 16943 15185 0 -1 4202560 2516 0 1 0 291 2 0 0 20 0 19 0 283115918 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139772091474248 139771943356456 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16946] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16946/stat : 16946 (java) S 16941 16943 15185 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139772063926440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16947] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16947/stat : 16947 (java) S 16941 16943 15185 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139772062873896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16948] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16948/stat : 16948 (java) S 16941 16943 15185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139772061821352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16949] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16949/stat : 16949 (java) S 16941 16943 15185 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771931830824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16950] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16950/stat : 16950 (java) S 16941 16943 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771930778280 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16951] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16951/stat : 16951 (java) S 16941 16943 15185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771929725736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16952] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16952/stat : 16952 (java) S 16941 16943 15185 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771928673192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16953] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16953/stat : 16953 (java) S 16941 16943 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771927620648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16954] ppid=16941 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/16943/task/16954/stat : 16954 (java) S 16941 16943 15185 0 -1 4202560 36 0 0 0 9 0 0 0 20 0 19 0 283115920 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771445106792 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16955] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16955/stat : 16955 (java) S 16941 16943 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771444053112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16956] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16956/stat : 16956 (java) S 16941 16943 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771443000456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16957] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16957/stat : 16957 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771441949200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16958] ppid=16941 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/16943/task/16958/stat : 16958 (java) S 16941 16943 15185 0 -1 4202560 2422 0 0 0 35 0 0 0 20 0 19 0 283115923 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771440896568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16959] ppid=16941 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/16943/task/16959/stat : 16959 (java) S 16941 16943 15185 0 -1 4202560 3530 0 0 0 34 1 0 0 20 0 19 0 283115923 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771439844024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16960] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16960/stat : 16960 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771438791672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16961] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16961/stat : 16961 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771437739336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16962] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16962/stat : 16962 (java) S 16941 16943 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283115946 9856004096 17433 33554432000 1073741824 1073778376 140735196854224 139771436684072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625004

[startup+6.30075 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 16962
/proc/meminfo: memFree=29673640/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9625004 CPUtime=7.09 cores=0,2,4,6
/proc/16943/stat : 16943 (java) S 16941 16943 15185 0 -1 4202496 9770 0 1 0 705 4 0 0 20 0 19 0 283115917 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 140735196845360 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16943/statm: 2406251 17633 2288 9 0 2396937 0
[pid=16943/tid=16945] ppid=16941 vsize=9625004 CPUtime=6.03 cores=0,2,4,6
/proc/16943/task/16945/stat : 16945 (java) R 16941 16943 15185 0 -1 4202560 2522 0 1 0 601 2 0 0 20 0 19 0 283115918 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139772091474408 139771943438243 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16946] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16946/stat : 16946 (java) S 16941 16943 15185 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139772063926440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16947] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16947/stat : 16947 (java) S 16941 16943 15185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139772062873896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16948] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16948/stat : 16948 (java) S 16941 16943 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139772061821352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16949] ppid=16941 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/16943/task/16949/stat : 16949 (java) S 16941 16943 15185 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 283115919 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771931830824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16950] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16950/stat : 16950 (java) S 16941 16943 15185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771930778280 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16951] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16951/stat : 16951 (java) S 16941 16943 15185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771929725736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16952] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16952/stat : 16952 (java) S 16941 16943 15185 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771928673192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16953] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16953/stat : 16953 (java) S 16941 16943 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283115919 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771927620648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16954] ppid=16941 vsize=9625004 CPUtime=0.17 cores=0,2,4,6
/proc/16943/task/16954/stat : 16954 (java) S 16941 16943 15185 0 -1 4202560 37 0 0 0 17 0 0 0 20 0 19 0 283115920 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771445106792 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16955] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16955/stat : 16955 (java) S 16941 16943 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771444053112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16956] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16956/stat : 16956 (java) S 16941 16943 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771443000456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16957] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16957/stat : 16957 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771441949200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16958] ppid=16941 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/16943/task/16958/stat : 16958 (java) S 16941 16943 15185 0 -1 4202560 2422 0 0 0 35 0 0 0 20 0 19 0 283115923 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771440896568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16959] ppid=16941 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/16943/task/16959/stat : 16959 (java) S 16941 16943 15185 0 -1 4202560 3530 0 0 0 34 1 0 0 20 0 19 0 283115923 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771439844024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16960] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16960/stat : 16960 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771438791672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16961] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16961/stat : 16961 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771437739336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16962] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16962/stat : 16962 (java) S 16941 16943 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283115946 9856004096 17633 33554432000 1073741824 1073778376 140735196854224 139771436684072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=16943/tid=16958] ppid=16941 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/16943/task/16958/stat : 16958 (java) S 16941 16943 15185 0 -1 4202560 2533 0 0 0 37 0 0 0 20 0 19 0 283115923 9856004096 80313 33554432000 1073741824 1073778376 140735196854224 139771440896568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16959] ppid=16941 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/16943/task/16959/stat : 16959 (java) S 16941 16943 15185 0 -1 4202560 3530 0 0 0 34 1 0 0 20 0 19 0 283115923 9856004096 80313 33554432000 1073741824 1073778376 140735196854224 139771439844024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16960] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16960/stat : 16960 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 80313 33554432000 1073741824 1073778376 140735196854224 139771438791672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16961] ppid=16941 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/16943/task/16961/stat : 16961 (java) S 16941 16943 15185 0 -1 4202560 99 0 0 0 30 23 0 0 20 0 19 0 283115923 9856004096 80313 33554432000 1073741824 1073778376 140735196854224 139771437739336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16962] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16962/stat : 16962 (java) S 16941 16943 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283115946 9856004096 80313 33554432000 1073741824 1073778376 140735196854224 139771436684072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1728.31
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/211 17060
/proc/meminfo: memFree=28784188/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9625004 CPUtime=1788.49 cores=0,2,4,6
/proc/16943/stat : 16943 (java) S 16941 16943 15185 0 -1 4202496 12654 0 1 0 178801 48 0 0 20 0 19 0 283115917 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 140735196845360 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16943/statm: 2406251 85945 2289 9 0 2396937 0
[pid=16943/tid=16945] ppid=16941 vsize=9625004 CPUtime=1767.84 cores=0,2,4,6
/proc/16943/task/16945/stat : 16945 (java) R 16941 16943 15185 0 -1 4202560 2699 0 1 0 176753 31 0 0 20 0 19 0 283115918 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772091474288 139771943348063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16946] ppid=16941 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/16943/task/16946/stat : 16946 (java) S 16941 16943 15185 0 -1 4202560 346 0 0 0 94 4 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772063926440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16947] ppid=16941 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/16943/task/16947/stat : 16947 (java) S 16941 16943 15185 0 -1 4202560 204 0 0 0 84 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772062873896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16948] ppid=16941 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/16943/task/16948/stat : 16948 (java) S 16941 16943 15185 0 -1 4202560 334 0 0 0 92 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772061821352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16949] ppid=16941 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/16943/task/16949/stat : 16949 (java) S 16941 16943 15185 0 -1 4202560 190 0 0 0 90 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771931830824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16950] ppid=16941 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/16943/task/16950/stat : 16950 (java) S 16941 16943 15185 0 -1 4202560 369 0 0 0 91 2 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771930778280 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16951] ppid=16941 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/16943/task/16951/stat : 16951 (java) S 16941 16943 15185 0 -1 4202560 502 0 0 0 94 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771929725736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16952] ppid=16941 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/16943/task/16952/stat : 16952 (java) S 16941 16943 15185 0 -1 4202560 264 0 0 0 96 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771928673192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16953] ppid=16941 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/16943/task/16953/stat : 16953 (java) S 16941 16943 15185 0 -1 4202560 238 0 0 0 95 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771927620648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16954] ppid=16941 vsize=9625004 CPUtime=7.52 cores=0,2,4,6
/proc/16943/task/16954/stat : 16954 (java) S 16941 16943 15185 0 -1 4202560 157 0 0 0 749 3 0 0 20 0 19 0 283115920 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771445106792 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16955] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16955/stat : 16955 (java) S 16941 16943 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771444053112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16956] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16956/stat : 16956 (java) S 16941 16943 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771443000456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16957] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16957/stat : 16957 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771441949200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16958] ppid=16941 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/16943/task/16958/stat : 16958 (java) S 16941 16943 15185 0 -1 4202560 2533 0 0 0 37 0 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771440896568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16959] ppid=16941 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/16943/task/16959/stat : 16959 (java) S 16941 16943 15185 0 -1 4202560 3530 0 0 0 34 1 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771439844024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16960] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16960/stat : 16960 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771438791672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16961] ppid=16941 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/16943/task/16961/stat : 16961 (java) S 16941 16943 15185 0 -1 4202560 103 0 0 0 32 24 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771437739336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16962] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16962/stat : 16962 (java) S 16941 16943 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283115946 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771436684072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.9 s]
/proc/loadavg: 2.04 2.03 2.00 3/211 17060
/proc/meminfo: memFree=28790512/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9625004 CPUtime=1800.1 cores=0,2,4,6
/proc/16943/stat : 16943 (java) S 16941 16943 15185 0 -1 4202496 12654 0 1 0 179962 48 0 0 20 0 19 0 283115917 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 140735196845360 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16943/statm: 2406251 85945 2289 9 0 2396937 0
[pid=16943/tid=16945] ppid=16941 vsize=9625004 CPUtime=1779.42 cores=0,2,4,6
/proc/16943/task/16945/stat : 16945 (java) R 16941 16943 15185 0 -1 4202560 2699 0 1 0 177910 32 0 0 20 0 19 0 283115918 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772091474288 139771943065538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16946] ppid=16941 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/16943/task/16946/stat : 16946 (java) S 16941 16943 15185 0 -1 4202560 346 0 0 0 94 4 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772063926440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16947] ppid=16941 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/16943/task/16947/stat : 16947 (java) S 16941 16943 15185 0 -1 4202560 204 0 0 0 84 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772062873896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16948] ppid=16941 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/16943/task/16948/stat : 16948 (java) S 16941 16943 15185 0 -1 4202560 334 0 0 0 92 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772061821352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16949] ppid=16941 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/16943/task/16949/stat : 16949 (java) S 16941 16943 15185 0 -1 4202560 190 0 0 0 90 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771931830824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16950] ppid=16941 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/16943/task/16950/stat : 16950 (java) S 16941 16943 15185 0 -1 4202560 369 0 0 0 91 2 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771930778280 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16951] ppid=16941 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/16943/task/16951/stat : 16951 (java) S 16941 16943 15185 0 -1 4202560 502 0 0 0 94 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771929725736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16952] ppid=16941 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/16943/task/16952/stat : 16952 (java) S 16941 16943 15185 0 -1 4202560 264 0 0 0 96 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771928673192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16953] ppid=16941 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/16943/task/16953/stat : 16953 (java) S 16941 16943 15185 0 -1 4202560 238 0 0 0 95 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771927620648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16954] ppid=16941 vsize=9625004 CPUtime=7.52 cores=0,2,4,6
/proc/16943/task/16954/stat : 16954 (java) S 16941 16943 15185 0 -1 4202560 157 0 0 0 749 3 0 0 20 0 19 0 283115920 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771445106792 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16955] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16955/stat : 16955 (java) S 16941 16943 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771444053112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16956] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16956/stat : 16956 (java) S 16941 16943 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771443000456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16957] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16957/stat : 16957 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771441949200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16958] ppid=16941 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/16943/task/16958/stat : 16958 (java) S 16941 16943 15185 0 -1 4202560 2533 0 0 0 37 0 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771440896568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16959] ppid=16941 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/16943/task/16959/stat : 16959 (java) S 16941 16943 15185 0 -1 4202560 3530 0 0 0 34 1 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771439844024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16960] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16960/stat : 16960 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771438791672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16961] ppid=16941 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/16943/task/16961/stat : 16961 (java) S 16941 16943 15185 0 -1 4202560 103 0 0 0 32 24 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771437739336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16962] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16962/stat : 16962 (java) S 16941 16943 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283115946 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771436684072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1793.9 s]
/proc/loadavg: 2.04 2.03 2.00 3/211 17060
/proc/meminfo: memFree=28790512/32873852 swapFree=7624/7624
[pid=16943] ppid=16941 vsize=9625004 CPUtime=1800.1 cores=0,2,4,6
/proc/16943/stat : 16943 (java) S 16941 16943 15185 0 -1 4202496 12654 0 1 0 179962 48 0 0 20 0 19 0 283115917 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 140735196845360 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16943/statm: 2406251 85945 2289 9 0 2396937 0
[pid=16943/tid=16945] ppid=16941 vsize=9625004 CPUtime=1779.42 cores=0,2,4,6
/proc/16943/task/16945/stat : 16945 (java) R 16941 16943 15185 0 -1 4202560 2699 0 1 0 177910 32 0 0 20 0 19 0 283115918 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772091474288 139771943065538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16946] ppid=16941 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/16943/task/16946/stat : 16946 (java) S 16941 16943 15185 0 -1 4202560 346 0 0 0 94 4 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772063926440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16947] ppid=16941 vsize=9625004 CPUtime=0.87 cores=0,2,4,6
/proc/16943/task/16947/stat : 16947 (java) S 16941 16943 15185 0 -1 4202560 204 0 0 0 84 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772062873896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16948] ppid=16941 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/16943/task/16948/stat : 16948 (java) S 16941 16943 15185 0 -1 4202560 334 0 0 0 92 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139772061821352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16949] ppid=16941 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/16943/task/16949/stat : 16949 (java) S 16941 16943 15185 0 -1 4202560 190 0 0 0 90 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771931830824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16950] ppid=16941 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/16943/task/16950/stat : 16950 (java) S 16941 16943 15185 0 -1 4202560 369 0 0 0 91 2 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771930778280 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16951] ppid=16941 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/16943/task/16951/stat : 16951 (java) S 16941 16943 15185 0 -1 4202560 502 0 0 0 94 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771929725736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16952] ppid=16941 vsize=9625004 CPUtime=0.99 cores=0,2,4,6
/proc/16943/task/16952/stat : 16952 (java) S 16941 16943 15185 0 -1 4202560 264 0 0 0 96 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771928673192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16943/tid=16953] ppid=16941 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/16943/task/16953/stat : 16953 (java) S 16941 16943 15185 0 -1 4202560 238 0 0 0 95 3 0 0 20 0 19 0 283115919 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771927620648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16954] ppid=16941 vsize=9625004 CPUtime=7.52 cores=0,2,4,6
/proc/16943/task/16954/stat : 16954 (java) S 16941 16943 15185 0 -1 4202560 157 0 0 0 749 3 0 0 20 0 19 0 283115920 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771445106792 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16955] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16955/stat : 16955 (java) S 16941 16943 15185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771444053112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16956] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16956/stat : 16956 (java) S 16941 16943 15185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283115921 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771443000456 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16957] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16957/stat : 16957 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771441949200 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16958] ppid=16941 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/16943/task/16958/stat : 16958 (java) S 16941 16943 15185 0 -1 4202560 2533 0 0 0 37 0 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771440896568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16943/tid=16959] ppid=16941 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/16943/task/16959/stat : 16959 (java) S 16941 16943 15185 0 -1 4202560 3530 0 0 0 34 1 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771439844024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16960] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16960/stat : 16960 (java) S 16941 16943 15185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771438791672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16943/tid=16961] ppid=16941 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/16943/task/16961/stat : 16961 (java) S 16941 16943 15185 0 -1 4202560 103 0 0 0 32 24 0 0 20 0 19 0 283115923 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771437739336 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16943/tid=16962] ppid=16941 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16943/task/16962/stat : 16962 (java) S 16941 16943 15185 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283115946 9856004096 85945 33554432000 1073741824 1073778376 140735196854224 139771436684072 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625004

Child status: 143

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

Real time (s): 1793.95
CPU time (s): 1800.1
CPU user time (s): 1799.62
CPU system time (s): 0.48
CPU usage (%): 100.343
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.2
system time used= 0.98085
maximum resident set size= 347996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12689
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42361
involuntary context switches= 24449

runsolver used 5.99109 second user time and 14.8837 second system time

The end

Launcher Data

Begin job on node131 at 2012-05-28 03:51:45
IDJOB=3711241
IDBENCH=48208
IDSOLVER=2289
FILE ID=node131/3711241-1338169905
RUNJOBID= node131-1338155741-15201
PBS_JOBID= 14624524
Free space on /tmp= 71728 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_1.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-3711241-1338169905/watcher-3711241-1338169905 -o /tmp/evaluation-result-3711241-1338169905/solver-3711241-1338169905 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711241-1338169905.opb

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

MD5SUM BENCH= 2be9d345a101e171c9ff93c0b5b2195d
RANDOM SEED=881614936

node131.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.805
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.61
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.805
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.805
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		: 2666.805
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		: 2666.805
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		: 2666.805
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.805
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		: 2666.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29736336 kB
Buffers:          341052 kB
Cached:          1811224 kB
SwapCached:         2172 kB
Active:           690180 kB
Inactive:        1612892 kB
Active(anon):     152476 kB
Inactive(anon):      820 kB
Active(file):     537704 kB
Inactive(file):  1612072 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099044 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:        157756 kB
Mapped:            22464 kB
Shmem:                 0 kB
Slab:             693900 kB
SReclaimable:     136156 kB
SUnreclaim:       557744 kB
KernelStack:        1592 kB
PageTables:         4148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     698648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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= 71728 MiB
End job on node131 at 2012-05-28 04:21:41