Trace number 3688735

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)-33 1800.51 1788.15

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
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-58
Best CPU time to get the best result obtained on this benchmark1796.84
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

Quality of the solution as a function of time


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

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3688735-1337887019.opb
0.09/0.11	c reading problem ... 
0.48/0.35	c ... done. Wall clock time 0.248s.
0.48/0.35	c declared #vars     400
0.48/0.35	c internal #vars     2924
0.48/0.35	c #constraints  5650
0.48/0.35	c constraints type 
0.48/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2524
0.48/0.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.48/0.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.48/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2524
0.48/0.36	c 5650 constraints processed.
0.48/0.36	c objective function length is 200 literals
2.66/1.74	c cleaning 2494 clauses out of 5000 with flag 5000/5000
2.66/1.79	c SATISFIABLE
2.66/1.79	c OPTIMIZING...
2.66/1.79	c Got one! Elapsed wall clock time (in seconds):1.687
2.66/1.79	o -29
3.42/2.42	c Got one! Elapsed wall clock time (in seconds):2.313
3.42/2.42	o -32
3.42/2.46	c Got one! Elapsed wall clock time (in seconds):2.357
3.42/2.46	o -33
3.97/2.97	c cleaning 4393 clauses out of 8799 with flag 3001/11293
4.97/3.69	c cleaning 5203 clauses out of 10405 with flag 9000/17292
6.16/4.55	c cleaning 6106 clauses out of 12256 with flag 16054/24346
7.41/5.74	c cleaning 7064 clauses out of 14127 with flag 24031/32323
8.42/6.74	c cleaning 8033 clauses out of 16067 with flag 33035/41327
9.44/7.70	c cleaning 9018 clauses out of 18035 with flag 43036/51328
11.15/9.45	c cleaning 9991 clauses out of 19995 with flag 54014/62306
12.48/10.77	c cleaning 10996 clauses out of 21991 with flag 66001/74293
13.70/11.96	c cleaning 11988 clauses out of 24005 with flag 79011/87303
14.91/13.12	c cleaning 13002 clauses out of 26009 with flag 93003/101295
17.62/15.86	c cleaning 14023 clauses out of 28046 with flag 108042/116334
20.14/18.37	c cleaning 15028 clauses out of 30056 with flag 124075/132367
21.77/19.91	c cleaning 15961 clauses out of 31964 with flag 141011/149303
23.38/21.52	c cleaning 16997 clauses out of 33996 with flag 159004/167296
25.91/24.10	c cleaning 18018 clauses out of 36035 with flag 178040/186332
29.14/27.21	c cleaning 19000 clauses out of 37999 with flag 198022/206314
32.68/30.71	c cleaning 19996 clauses out of 39992 with flag 219015/227307
36.72/34.76	c cleaning 20996 clauses out of 42042 with flag 241061/249353
39.64/37.66	c cleaning 21988 clauses out of 43998 with flag 264013/272305
41.47/39.46	c cleaning 22993 clauses out of 46001 with flag 288004/296296
43.60/41.53	c cleaning 24002 clauses out of 48004 with flag 313000/321292
46.05/43.97	c cleaning 25002 clauses out of 50004 with flag 339002/347294
48.41/46.21	c cleaning 26007 clauses out of 52014 with flag 366014/374306
50.63/48.47	c cleaning 26980 clauses out of 53993 with flag 394000/402292
55.65/53.45	c cleaning 28020 clauses out of 56040 with flag 423027/431319
60.77/58.59	c cleaning 29020 clauses out of 58040 with flag 453047/461339
64.63/62.33	c cleaning 29983 clauses out of 59974 with flag 484001/492293
67.76/65.43	c cleaning 31001 clauses out of 62001 with flag 516011/524303
72.39/70.04	c cleaning 32012 clauses out of 64023 with flag 549034/557326
77.73/75.32	c cleaning 32981 clauses out of 65985 with flag 583008/591300
83.05/80.69	c cleaning 33980 clauses out of 68034 with flag 618038/626330
89.52/87.06	c cleaning 35034 clauses out of 70096 with flag 654080/662372
95.94/93.45	c cleaning 35991 clauses out of 71983 with flag 691001/699293
101.09/98.55	c cleaning 36982 clauses out of 74000 with flag 729009/737301
105.35/102.74	c cleaning 38006 clauses out of 76025 with flag 768016/776308
109.32/106.63	c cleaning 38992 clauses out of 78019 with flag 808016/816308
113.14/110.48	c cleaning 39986 clauses out of 80011 with flag 849000/857292
116.39/113.61	c cleaning 41009 clauses out of 82035 with flag 891010/899302
121.15/118.37	c cleaning 42014 clauses out of 84032 with flag 934016/942308
129.31/126.46	c cleaning 43024 clauses out of 86059 with flag 978057/986349
136.27/133.37	c cleaning 43976 clauses out of 87982 with flag 1023004/1031296
141.22/138.21	c cleaning 45002 clauses out of 90004 with flag 1069002/1077294
146.22/143.13	c cleaning 46006 clauses out of 92012 with flag 1116012/1124304
153.38/150.24	c cleaning 46977 clauses out of 94001 with flag 1164007/1172299
162.64/159.44	c cleaning 48008 clauses out of 96018 with flag 1213001/1221293
170.43/167.12	c cleaning 49015 clauses out of 98030 with flag 1263021/1271313
178.00/174.67	c cleaning 49958 clauses out of 100002 with flag 1314008/1322300
184.51/181.05	c cleaning 50996 clauses out of 102037 with flag 1366001/1374293
191.82/188.33	c cleaning 52004 clauses out of 104072 with flag 1419032/1427324
202.52/198.93	c cleaning 53031 clauses out of 106063 with flag 1473027/1481319
211.97/208.34	c cleaning 53993 clauses out of 108005 with flag 1528000/1536292
217.04/213.39	c cleaning 55003 clauses out of 110014 with flag 1584002/1592294
222.80/219.00	c cleaning 56006 clauses out of 112025 with flag 1641016/1649308
228.95/225.18	c cleaning 56992 clauses out of 114004 with flag 1699001/1707293
235.03/231.19	c cleaning 58009 clauses out of 116018 with flag 1758007/1766299
242.15/238.25	c cleaning 58998 clauses out of 118005 with flag 1818003/1826295
248.82/244.88	c cleaning 60002 clauses out of 120006 with flag 1879002/1887294
254.80/250.80	c cleaning 60990 clauses out of 122002 with flag 1941000/1949292
260.15/256.01	c cleaning 62004 clauses out of 124014 with flag 2004002/2012294
265.10/260.96	c cleaning 62999 clauses out of 126012 with flag 2068004/2076296
272.65/268.45	c cleaning 63992 clauses out of 128020 with flag 2133011/2141303
282.81/278.57	c cleaning 64973 clauses out of 130017 with flag 2199000/2207292
291.42/287.03	c cleaning 66031 clauses out of 132061 with flag 2266017/2274309
300.59/296.17	c cleaning 67027 clauses out of 134054 with flag 2334041/2342333
314.23/309.77	c cleaning 67977 clauses out of 135989 with flag 2403003/2411295
329.89/325.34	c cleaning 69025 clauses out of 138049 with flag 2473040/2481332
344.61/339.91	c cleaning 69980 clauses out of 140004 with flag 2544020/2552312
358.59/353.85	c cleaning 70998 clauses out of 142004 with flag 2616000/2624292
374.22/369.38	c cleaning 72001 clauses out of 144006 with flag 2689000/2697292
388.71/383.74	c cleaning 73004 clauses out of 146011 with flag 2763006/2771298
402.38/397.36	c cleaning 73998 clauses out of 148001 with flag 2838000/2846292
418.91/413.79	c cleaning 75001 clauses out of 150022 with flag 2914019/2922311
433.17/427.93	c cleaning 76004 clauses out of 152012 with flag 2991010/2999302
448.10/442.89	c cleaning 77003 clauses out of 154042 with flag 3069044/3077336
468.55/463.27	c cleaning 77977 clauses out of 156034 with flag 3148039/3156331
487.98/482.51	c cleaning 79007 clauses out of 158064 with flag 3228046/3236338
500.75/495.28	c cleaning 79969 clauses out of 160015 with flag 3309004/3317296
519.28/513.57	c cleaning 81018 clauses out of 162049 with flag 3391007/3399299
527.20/521.43	c cleaning 81986 clauses out of 164024 with flag 3474000/3482292
535.84/530.05	c cleaning 83015 clauses out of 166044 with flag 3558006/3566298
544.62/538.74	c cleaning 83990 clauses out of 168025 with flag 3643002/3651294
553.05/547.18	c cleaning 85016 clauses out of 170035 with flag 3729002/3737294
562.87/556.89	c cleaning 86007 clauses out of 172019 with flag 3816002/3824294
572.33/566.22	c cleaning 87003 clauses out of 174010 with flag 3904000/3912292
584.83/578.64	c cleaning 87994 clauses out of 176010 with flag 3993003/4001295
596.12/589.89	c cleaning 88998 clauses out of 178013 with flag 4083000/4091292
607.66/601.37	c cleaning 89996 clauses out of 180015 with flag 4174000/4182292
619.44/613.04	c cleaning 91006 clauses out of 182024 with flag 4266005/4274297
630.32/623.83	c cleaning 92003 clauses out of 184013 with flag 4359000/4367292
643.50/636.94	c cleaning 93006 clauses out of 186012 with flag 4453002/4461294
658.91/652.38	c cleaning 94024 clauses out of 188047 with flag 4548043/4556335
688.58/681.91	c cleaning 94990 clauses out of 189982 with flag 4644002/4652294
703.11/696.37	c cleaning 96000 clauses out of 192012 with flag 4741022/4749314
714.13/707.26	c cleaning 96973 clauses out of 193991 with flag 4839001/4847293
726.71/719.71	c cleaning 98008 clauses out of 196018 with flag 4938001/4946293
736.65/729.68	c cleaning 98991 clauses out of 198009 with flag 5038000/5046292
748.82/741.67	c cleaning 100002 clauses out of 200018 with flag 5139000/5147292
761.61/754.30	c cleaning 101008 clauses out of 202016 with flag 5241000/5249292
774.82/767.40	c cleaning 101998 clauses out of 204012 with flag 5344004/5352296
788.43/780.92	c cleaning 103008 clauses out of 206015 with flag 5448005/5456297
800.24/792.76	c cleaning 103993 clauses out of 208003 with flag 5553001/5561293
812.50/804.91	c cleaning 105006 clauses out of 210012 with flag 5659003/5667295
826.88/819.24	c cleaning 105995 clauses out of 212005 with flag 5766002/5774294
844.61/836.92	c cleaning 107010 clauses out of 214020 with flag 5874012/5882304
858.06/850.35	c cleaning 108000 clauses out of 216000 with flag 5983002/5991294
872.62/864.84	c cleaning 108996 clauses out of 217999 with flag 6093001/6101293
886.37/878.39	c cleaning 110001 clauses out of 220006 with flag 6204004/6212296
906.10/898.08	c cleaning 110996 clauses out of 222001 with flag 6316000/6324292
920.83/912.62	c cleaning 111996 clauses out of 224005 with flag 6429000/6437292
937.43/929.18	c cleaning 112999 clauses out of 226011 with flag 6543002/6551294
951.91/943.50	c cleaning 113993 clauses out of 228012 with flag 6658002/6666294
966.54/958.01	c cleaning 115012 clauses out of 230030 with flag 6774013/6782305
1002.10/993.58	c cleaning 115995 clauses out of 232005 with flag 6891000/6899292
1030.21/1021.52	c cleaning 116944 clauses out of 234010 with flag 7009000/7017292
1056.94/1048.17	c cleaning 118000 clauses out of 236076 with flag 7128010/7136302
1088.62/1079.70	c cleaning 119031 clauses out of 238087 with flag 7248021/7256313
1117.24/1108.22	c cleaning 120003 clauses out of 240051 with flag 7369016/7377308
1133.24/1124.15	c cleaning 121006 clauses out of 242036 with flag 7491004/7499296
1147.05/1137.86	c cleaning 122010 clauses out of 244026 with flag 7614000/7622292
1168.79/1159.45	c cleaning 123006 clauses out of 246026 with flag 7738010/7746302
1199.30/1189.87	c cleaning 123986 clauses out of 248014 with flag 7863004/7871296
1227.03/1217.40	c cleaning 124982 clauses out of 250031 with flag 7989007/7997299
1249.66/1239.92	c cleaning 125982 clauses out of 252042 with flag 8116000/8124292
1273.88/1264.04	c cleaning 126995 clauses out of 254062 with flag 8244002/8252294
1308.25/1298.31	c cleaning 128025 clauses out of 256068 with flag 8373003/8381295
1338.16/1328.01	c cleaning 128971 clauses out of 258044 with flag 8503004/8511296
1360.89/1350.65	c cleaning 130030 clauses out of 260081 with flag 8634012/8642304
1382.03/1371.67	c cleaning 131014 clauses out of 262049 with flag 8766010/8774302
1407.48/1396.91	c cleaning 131962 clauses out of 264025 with flag 8899000/8907292
1437.12/1426.42	c cleaning 132989 clauses out of 266067 with flag 9033004/9041296
1479.37/1468.66	c cleaning 134036 clauses out of 268082 with flag 9168008/9176300
1510.29/1499.49	c cleaning 134992 clauses out of 270054 with flag 9304016/9312308
1536.93/1526.03	c cleaning 136034 clauses out of 272082 with flag 9441036/9449328
1556.96/1545.92	c cleaning 137012 clauses out of 274027 with flag 9579015/9587307
1592.01/1580.85	c cleaning 137998 clauses out of 276004 with flag 9718004/9726296
1632.74/1621.35	c cleaning 138961 clauses out of 278013 with flag 9858011/9866303
1674.96/1663.47	c cleaning 140025 clauses out of 280056 with flag 9999015/10007307
1705.30/1693.63	c cleaning 141007 clauses out of 282028 with flag 10141012/10149304
1739.89/1728.12	c cleaning 142009 clauses out of 284035 with flag 10284026/10292318
1780.27/1768.48	c cleaning 142991 clauses out of 286018 with flag 10428018/10436310
1800.09/1788.11	c starts		: 322
1800.09/1788.11	c conflicts		: 10533466
1800.09/1788.11	c decisions		: 16971445
1800.09/1788.11	c propagations		: 267920278
1800.09/1788.11	c inspects		: 12362488631
1800.09/1788.11	c shortcuts		: 0
1800.09/1788.11	c learnt literals	: 0
1800.09/1788.11	c learnt binary clauses	: 18
1800.09/1788.11	c learnt ternary clauses	: 1073
1800.09/1788.11	c learnt constraints	: 10533466
1800.09/1788.11	c ignored constraints	: 0
1800.09/1788.11	c root simplifications	: 0
1800.09/1788.11	c removed literals (reason simplification)	: 0
1800.09/1788.11	c reason swapping (by a shorter reason)	: 0
1800.09/1788.11	c Calls to reduceDB	: 141
1800.09/1788.11	c number of reductions to clauses (during analyze)	: 0
1800.09/1788.11	c number of learned constraints concerned by reduction	: 0
1800.09/1788.11	c number of learning phase by resolution	: 0
1800.09/1788.11	c number of learning phase by cutting planes	: 0
1800.09/1788.11	c speed (assignments/second)	: 149864.87006543434
1800.09/1788.11	c non guided choices	0
1800.09/1788.14	c learnt constraints type 
1800.09/1788.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 18
1800.09/1788.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 240193
1800.09/1788.14	c constraints type 
1800.09/1788.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2524
1800.09/1788.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.09/1788.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.09/1788.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2524
1800.09/1788.14	c 5651 constraints processed.
1800.09/1788.14	s SATISFIABLE
1800.09/1788.14	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 
1800.09/1788.14	c objective function=-33
1800.09/1788.14	c Total wall clock time (in seconds): 1788.036

Verifier Data 

OK	-33

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

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 29284
/proc/meminfo: memFree=29877428/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29284/stat : 29284 (java) D 29282 29284 27428 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254827767 9515008 182 33554432000 1073741824 1073778376 140736659632592 140736659623624 242167398069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/29284/statm: 2323 182 140 9 0 71 0

[startup+0.0434169 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 29284
/proc/meminfo: memFree=29877428/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/29284/stat : 29284 (java) S 29282 29284 27428 0 -1 4202496 3056 0 1 0 2 0 0 0 20 0 13 0 254827767 9446973440 3753 33554432000 1073741824 1073778376 140734187166288 140734187157424 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29284/statm: 2306390 3753 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100199 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 29284
/proc/meminfo: memFree=29877428/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/29284/stat : 29284 (java) S 29282 29284 27428 0 -1 4202496 4386 0 1 0 9 0 0 0 20 0 18 0 254827767 9787813888 5591 33554432000 1073741824 1073778376 140734187166288 140734187157424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29284/statm: 2389603 5591 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300295 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 29284
/proc/meminfo: memFree=29877428/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/29284/stat : 29284 (java) S 29282 29284 27428 0 -1 4202496 6098 0 1 0 47 1 0 0 20 0 18 0 254827767 9787813888 9254 33554432000 1073741824 1073778376 140734187166288 140734187157424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29284/statm: 2389603 9254 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700329 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 29284
/proc/meminfo: memFree=29877428/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9624976 CPUtime=1.62 cores=1,3,5,7
/proc/29284/stat : 29284 (java) S 29282 29284 27428 0 -1 4202496 17021 0 1 0 158 4 0 0 20 0 19 0 254827767 9855975424 16339 33554432000 1073741824 1073778376 140734187166288 140734187157424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29284/statm: 2406244 16339 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 29303
/proc/meminfo: memFree=29820600/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9624976 CPUtime=2.46 cores=1,3,5,7
/proc/29284/stat : 29284 (java) S 29282 29284 27428 0 -1 4202496 17030 0 1 0 242 4 0 0 20 0 19 0 254827767 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140734187157424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29284/statm: 2406244 16858 2255 9 0 2396937 0
[pid=29284/tid=29286] ppid=29282 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/29284/task/29286/stat : 29286 (java) R 29282 29284 27428 0 -1 4202560 2534 0 1 0 145 1 0 0 20 0 19 0 254827768 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532810615464 140532683164344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29287] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29287/stat : 29287 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532654619176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29288] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29288/stat : 29288 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532653566376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29289] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29289/stat : 29289 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532652513576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29290] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29290/stat : 29290 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532651460776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29291] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29291/stat : 29291 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532650409000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29292] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29292/stat : 29292 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532649356200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29293] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29293/stat : 29293 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532648303400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29294] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29294/stat : 29294 (java) S 29282 29284 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532647250600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29295] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29295/stat : 29295 (java) S 29282 29284 27428 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254827770 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532634839528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29296] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29296/stat : 29296 (java) S 29282 29284 27428 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532633785592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29297] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29297/stat : 29297 (java) S 29282 29284 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532632732680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29298] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29298/stat : 29298 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532631681168 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29299] ppid=29282 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/29284/task/29299/stat : 29299 (java) S 29282 29284 27428 0 -1 4202560 4631 0 0 0 47 1 0 0 20 0 19 0 254827773 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532630629304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29300] ppid=29282 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/29284/task/29300/stat : 29300 (java) S 29282 29284 27428 0 -1 4202560 8665 0 0 0 46 2 0 0 20 0 19 0 254827773 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532629576504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29301] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29301/stat : 29301 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532628523896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29302] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29302/stat : 29302 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532627471304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29303] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29303/stat : 29303 (java) S 29282 29284 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254827804 9855975424 16858 33554432000 1073741824 1073778376 140734187166288 140532625769640 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 29303
/proc/meminfo: memFree=29795388/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9624976 CPUtime=4.3 cores=1,3,5,7
/proc/29284/stat : 29284 (java) S 29282 29284 27428 0 -1 4202496 20740 0 1 0 425 5 0 0 20 0 19 0 254827767 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140734187157424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29284/statm: 2406244 24588 2282 9 0 2396937 0
[pid=29284/tid=29286] ppid=29282 vsize=9624976 CPUtime=3.02 cores=1,3,5,7
/proc/29284/task/29286/stat : 29286 (java) R 29282 29284 27428 0 -1 4202560 2540 0 1 0 301 1 0 0 20 0 19 0 254827768 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532810617120 140532683131563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29287] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29287/stat : 29287 (java) S 29282 29284 27428 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532654619176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29288] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29288/stat : 29288 (java) S 29282 29284 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532653566376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29289] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29289/stat : 29289 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532652513576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29290] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29290/stat : 29290 (java) S 29282 29284 27428 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532651460776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29291] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29291/stat : 29291 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532650409000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29292] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29292/stat : 29292 (java) S 29282 29284 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532649356200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29293] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29293/stat : 29293 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532648303400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29294] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29294/stat : 29294 (java) S 29282 29284 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532647250600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29295] ppid=29282 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/29284/task/29295/stat : 29295 (java) S 29282 29284 27428 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 254827770 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532634839528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29296] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29296/stat : 29296 (java) S 29282 29284 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532633785592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29297] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29297/stat : 29297 (java) S 29282 29284 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532632732680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29298] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29298/stat : 29298 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532631681168 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29299] ppid=29282 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/29284/task/29299/stat : 29299 (java) S 29282 29284 27428 0 -1 4202560 4635 0 0 0 51 2 0 0 20 0 19 0 254827773 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532630629304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29300] ppid=29282 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/29284/task/29300/stat : 29300 (java) R 29282 29284 27428 0 -1 4202560 12300 0 0 0 63 3 0 0 20 0 19 0 254827773 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532629553656 140532813523036 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29301] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29301/stat : 29301 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532628523896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29302] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29302/stat : 29302 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532627471304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29303] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29303/stat : 29303 (java) S 29282 29284 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254827804 9855975424 24588 33554432000 1073741824 1073778376 140734187166288 140532625769640 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 9624976

[startup+6.30063 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 29303
/proc/meminfo: memFree=29782796/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9624976 CPUtime=8.02 cores=1,3,5,7
/proc/29284/stat : 29284 (java) S 29282 29284 27428 0 -1 4202496 21817 0 1 0 795 7 0 0 20 0 19 0 254827767 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140734187157424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29284/statm: 2406244 26500 2282 9 0 2396937 0
[pid=29284/tid=29286] ppid=29282 vsize=9624976 CPUtime=6.16 cores=1,3,5,7
/proc/29284/task/29286/stat : 29286 (java) R 29282 29284 27428 0 -1 4202560 2543 0 1 0 615 1 0 0 20 0 19 0 254827768 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532810617120 140532683131652 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29287] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29287/stat : 29287 (java) S 29282 29284 27428 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532654619176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29288] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29288/stat : 29288 (java) S 29282 29284 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532653566376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29289] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29289/stat : 29289 (java) S 29282 29284 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532652513576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29290] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29290/stat : 29290 (java) S 29282 29284 27428 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532651460776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29291] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29291/stat : 29291 (java) S 29282 29284 27428 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532650409000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29292] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29292/stat : 29292 (java) S 29282 29284 27428 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532649356200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29293] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29293/stat : 29293 (java) S 29282 29284 27428 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532648303400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29294] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29294/stat : 29294 (java) S 29282 29284 27428 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254827769 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532647250600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29295] ppid=29282 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/29284/task/29295/stat : 29295 (java) S 29282 29284 27428 0 -1 4202560 35 0 0 0 7 0 0 0 20 0 19 0 254827770 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532634839528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29296] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29296/stat : 29296 (java) S 29282 29284 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532633785592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29297] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29297/stat : 29297 (java) S 29282 29284 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532632732680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29298] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29298/stat : 29298 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532631681168 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29299] ppid=29282 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/29284/task/29299/stat : 29299 (java) S 29282 29284 27428 0 -1 4202560 4635 0 0 0 52 2 0 0 20 0 19 0 254827773 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532630629304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29300] ppid=29282 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/29284/task/29300/stat : 29300 (java) S 29282 29284 27428 0 -1 4202560 13321 0 0 0 113 3 0 0 20 0 19 0 254827773 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532629576504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29301] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29301/stat : 29301 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532628523896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29302] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29302/stat : 29302 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532627471304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29303] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29303/stat : 29303 (java) S 29282 29284 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254827804 9855975424 26500 33554432000 1073741824 1073778376 140734187166288 140532625769640 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.02
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=29284/tid=29292] ppid=29282 vsize=9624976 CPUtime=1.78 cores=1,3,5,7
/proc/29284/task/29292/stat : 29292 (java) S 29282 29284 27428 0 -1 4202560 326 0 0 0 171 7 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532649356200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29293] ppid=29282 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29284/task/29293/stat : 29293 (java) S 29282 29284 27428 0 -1 4202560 402 0 0 0 162 5 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532648303400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29294] ppid=29282 vsize=9624976 CPUtime=1.79 cores=1,3,5,7
/proc/29284/task/29294/stat : 29294 (java) S 29282 29284 27428 0 -1 4202560 417 0 0 0 170 9 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532647250600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29295] ppid=29282 vsize=9624976 CPUtime=10.2 cores=1,3,5,7
/proc/29284/task/29295/stat : 29295 (java) S 29282 29284 27428 0 -1 4202560 462 0 0 0 1017 3 0 0 20 0 19 0 254827770 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532634839528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29296] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29296/stat : 29296 (java) S 29282 29284 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532633785592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29297] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29297/stat : 29297 (java) S 29282 29284 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532632732680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29298] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29298/stat : 29298 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532631681168 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29299] ppid=29282 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/29284/task/29299/stat : 29299 (java) S 29282 29284 27428 0 -1 4202560 4635 0 0 0 52 2 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532630629304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29300] ppid=29282 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/29284/task/29300/stat : 29300 (java) S 29282 29284 27428 0 -1 4202560 13332 0 0 0 116 3 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532629576504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29301] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29301/stat : 29301 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532628523896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29302] ppid=29282 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/29284/task/29302/stat : 29302 (java) S 29282 29284 27428 0 -1 4202560 99 0 0 0 24 32 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532627471304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29303] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29303/stat : 29303 (java) S 29282 29284 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254827804 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532625769640 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1734.08
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29549
/proc/meminfo: memFree=29096608/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9624976 CPUtime=1794.29 cores=1,3,5,7
/proc/29284/stat : 29284 (java) S 29282 29284 27428 0 -1 4202496 25550 0 1 0 179334 95 0 0 20 0 19 0 254827767 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140734187157424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29284/statm: 2406244 187542 2283 9 0 2396937 0
[pid=29284/tid=29286] ppid=29282 vsize=9624976 CPUtime=1767.87 cores=1,3,5,7
/proc/29284/task/29286/stat : 29286 (java) R 29282 29284 27428 0 -1 4202560 2739 0 1 0 176755 32 0 0 20 0 19 0 254827768 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532810617120 140532683165756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29287] ppid=29282 vsize=9624976 CPUtime=1.71 cores=1,3,5,7
/proc/29284/task/29287/stat : 29287 (java) S 29282 29284 27428 0 -1 4202560 471 0 0 0 166 5 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532654619176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29288] ppid=29282 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/29284/task/29288/stat : 29288 (java) S 29282 29284 27428 0 -1 4202560 488 0 0 0 166 4 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532653566376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29289] ppid=29282 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/29284/task/29289/stat : 29289 (java) S 29282 29284 27428 0 -1 4202560 327 0 0 0 174 6 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532652513576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29290] ppid=29282 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29284/task/29290/stat : 29290 (java) S 29282 29284 27428 0 -1 4202560 234 0 0 0 161 6 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532651460776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29291] ppid=29282 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/29284/task/29291/stat : 29291 (java) S 29282 29284 27428 0 -1 4202560 424 0 0 0 145 7 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532650409000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29292] ppid=29282 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/29284/task/29292/stat : 29292 (java) S 29282 29284 27428 0 -1 4202560 326 0 0 0 176 7 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532649356200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29293] ppid=29282 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/29284/task/29293/stat : 29293 (java) S 29282 29284 27428 0 -1 4202560 402 0 0 0 165 5 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532648303400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29294] ppid=29282 vsize=9624976 CPUtime=1.82 cores=1,3,5,7
/proc/29284/task/29294/stat : 29294 (java) S 29282 29284 27428 0 -1 4202560 417 0 0 0 172 10 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532647250600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29295] ppid=29282 vsize=9624976 CPUtime=10.44 cores=1,3,5,7
/proc/29284/task/29295/stat : 29295 (java) S 29282 29284 27428 0 -1 4202560 466 0 0 0 1041 3 0 0 20 0 19 0 254827770 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532634839528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29296] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29296/stat : 29296 (java) S 29282 29284 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532633785592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29297] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29297/stat : 29297 (java) S 29282 29284 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532632732680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29298] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29298/stat : 29298 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532631681168 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29299] ppid=29282 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/29284/task/29299/stat : 29299 (java) S 29282 29284 27428 0 -1 4202560 4635 0 0 0 52 2 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532630629304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29300] ppid=29282 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/29284/task/29300/stat : 29300 (java) S 29282 29284 27428 0 -1 4202560 13332 0 0 0 116 3 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532629576504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29301] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29301/stat : 29301 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532628523896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29302] ppid=29282 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/29284/task/29302/stat : 29302 (java) S 29282 29284 27428 0 -1 4202560 103 0 0 0 25 33 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532627471304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29303] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29303/stat : 29303 (java) S 29282 29284 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254827804 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532625769640 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1794.29
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29549
/proc/meminfo: memFree=29096860/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7
/proc/29284/stat : 29284 (java) S 29282 29284 27428 0 -1 4202496 25550 0 1 0 179914 95 0 0 20 0 19 0 254827767 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140734187157424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29284/statm: 2406244 187542 2283 9 0 2396937 0
[pid=29284/tid=29286] ppid=29282 vsize=9624976 CPUtime=1773.68 cores=1,3,5,7
/proc/29284/task/29286/stat : 29286 (java) R 29282 29284 27428 0 -1 4202560 2739 0 1 0 177336 32 0 0 20 0 19 0 254827768 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532810617120 140532683065046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29287] ppid=29282 vsize=9624976 CPUtime=1.71 cores=1,3,5,7
/proc/29284/task/29287/stat : 29287 (java) S 29282 29284 27428 0 -1 4202560 471 0 0 0 166 5 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532654619176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29288] ppid=29282 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/29284/task/29288/stat : 29288 (java) S 29282 29284 27428 0 -1 4202560 488 0 0 0 166 4 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532653566376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29289] ppid=29282 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/29284/task/29289/stat : 29289 (java) S 29282 29284 27428 0 -1 4202560 327 0 0 0 174 6 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532652513576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29290] ppid=29282 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29284/task/29290/stat : 29290 (java) S 29282 29284 27428 0 -1 4202560 234 0 0 0 161 6 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532651460776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29291] ppid=29282 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/29284/task/29291/stat : 29291 (java) S 29282 29284 27428 0 -1 4202560 424 0 0 0 145 7 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532650409000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29292] ppid=29282 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/29284/task/29292/stat : 29292 (java) S 29282 29284 27428 0 -1 4202560 326 0 0 0 176 7 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532649356200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29293] ppid=29282 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/29284/task/29293/stat : 29293 (java) S 29282 29284 27428 0 -1 4202560 402 0 0 0 165 5 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532648303400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29294] ppid=29282 vsize=9624976 CPUtime=1.82 cores=1,3,5,7
/proc/29284/task/29294/stat : 29294 (java) S 29282 29284 27428 0 -1 4202560 417 0 0 0 172 10 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532647250600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29295] ppid=29282 vsize=9624976 CPUtime=10.44 cores=1,3,5,7
/proc/29284/task/29295/stat : 29295 (java) S 29282 29284 27428 0 -1 4202560 466 0 0 0 1041 3 0 0 20 0 19 0 254827770 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532634839528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29296] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29296/stat : 29296 (java) S 29282 29284 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532633785592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29297] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29297/stat : 29297 (java) S 29282 29284 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532632732680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29298] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29298/stat : 29298 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532631681168 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29299] ppid=29282 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/29284/task/29299/stat : 29299 (java) S 29282 29284 27428 0 -1 4202560 4635 0 0 0 52 2 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532630629304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29300] ppid=29282 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/29284/task/29300/stat : 29300 (java) S 29282 29284 27428 0 -1 4202560 13332 0 0 0 116 3 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532629576504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29301] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29301/stat : 29301 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532628523896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29302] ppid=29282 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/29284/task/29302/stat : 29302 (java) S 29282 29284 27428 0 -1 4202560 103 0 0 0 25 34 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532627471304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29303] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29303/stat : 29303 (java) S 29282 29284 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254827804 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532625769640 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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+1788.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29549
/proc/meminfo: memFree=29096860/32873648 swapFree=7112/7112
[pid=29284] ppid=29282 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7
/proc/29284/stat : 29284 (java) S 29282 29284 27428 0 -1 4202496 25550 0 1 0 179914 95 0 0 20 0 19 0 254827767 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140734187157424 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29284/statm: 2406244 187542 2283 9 0 2396937 0
[pid=29284/tid=29286] ppid=29282 vsize=9624976 CPUtime=1773.68 cores=1,3,5,7
/proc/29284/task/29286/stat : 29286 (java) R 29282 29284 27428 0 -1 4202560 2739 0 1 0 177336 32 0 0 20 0 19 0 254827768 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532810617120 140532683065046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29287] ppid=29282 vsize=9624976 CPUtime=1.71 cores=1,3,5,7
/proc/29284/task/29287/stat : 29287 (java) S 29282 29284 27428 0 -1 4202560 471 0 0 0 166 5 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532654619176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29288] ppid=29282 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/29284/task/29288/stat : 29288 (java) S 29282 29284 27428 0 -1 4202560 488 0 0 0 166 4 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532653566376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29289] ppid=29282 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/29284/task/29289/stat : 29289 (java) S 29282 29284 27428 0 -1 4202560 327 0 0 0 174 6 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532652513576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29290] ppid=29282 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29284/task/29290/stat : 29290 (java) S 29282 29284 27428 0 -1 4202560 234 0 0 0 161 6 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532651460776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29291] ppid=29282 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/29284/task/29291/stat : 29291 (java) S 29282 29284 27428 0 -1 4202560 424 0 0 0 145 7 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532650409000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29292] ppid=29282 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/29284/task/29292/stat : 29292 (java) S 29282 29284 27428 0 -1 4202560 326 0 0 0 176 7 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532649356200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29293] ppid=29282 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/29284/task/29293/stat : 29293 (java) S 29282 29284 27428 0 -1 4202560 402 0 0 0 165 5 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532648303400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29284/tid=29294] ppid=29282 vsize=9624976 CPUtime=1.82 cores=1,3,5,7
/proc/29284/task/29294/stat : 29294 (java) S 29282 29284 27428 0 -1 4202560 417 0 0 0 172 10 0 0 20 0 19 0 254827769 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532647250600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29295] ppid=29282 vsize=9624976 CPUtime=10.44 cores=1,3,5,7
/proc/29284/task/29295/stat : 29295 (java) S 29282 29284 27428 0 -1 4202560 466 0 0 0 1041 3 0 0 20 0 19 0 254827770 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532634839528 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29296] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29296/stat : 29296 (java) S 29282 29284 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532633785592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29297] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29297/stat : 29297 (java) S 29282 29284 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254827771 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532632732680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29298] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29298/stat : 29298 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532631681168 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29299] ppid=29282 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/29284/task/29299/stat : 29299 (java) S 29282 29284 27428 0 -1 4202560 4635 0 0 0 52 2 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532630629304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29300] ppid=29282 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/29284/task/29300/stat : 29300 (java) S 29282 29284 27428 0 -1 4202560 13332 0 0 0 116 3 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532629576504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29284/tid=29301] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29301/stat : 29301 (java) S 29282 29284 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532628523896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29284/tid=29302] ppid=29282 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/29284/task/29302/stat : 29302 (java) S 29282 29284 27428 0 -1 4202560 103 0 0 0 25 34 0 0 20 0 19 0 254827773 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532627471304 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29284/tid=29303] ppid=29282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29284/task/29303/stat : 29303 (java) S 29282 29284 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254827804 9855975424 187542 33554432000 1073741824 1073778376 140734187166288 140532625769640 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1788.15
CPU time (s): 1800.51
CPU user time (s): 1799.13
CPU system time (s): 1.38179
CPU usage (%): 100.691
Max. virtual memory (cumulated for all children) (KiB): 9625608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.38179
maximum resident set size= 750288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25582
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= 42054
involuntary context switches= 29169

runsolver used 6.48001 second user time and 14.8047 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-24 21:16:59
IDJOB=3688735
IDBENCH=48240
IDSOLVER=2269
FILE ID=node126/3688735-1337887019
RUNJOBID= node126-1337871880-27446
PBS_JOBID= 14620078
Free space on /tmp= 71684 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688735-1337887019/watcher-3688735-1337887019 -o /tmp/evaluation-result-3688735-1337887019/solver-3688735-1337887019 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688735-1337887019.opb

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

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=1163828426

node126.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.456
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	: 5332.91
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.456
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.456
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.92
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.456
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.456
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.92
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.456
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.456
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.90
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.456
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:       32873648 kB
MemFree:        29877584 kB
Buffers:          239180 kB
Cached:          1865492 kB
SwapCached:        17768 kB
Active:           492936 kB
Inactive:        1740700 kB
Active(anon):     111504 kB
Inactive(anon):    19404 kB
Active(file):     381432 kB
Inactive(file):  1721296 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086928 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:        122764 kB
Mapped:            18244 kB
Shmem:                 0 kB
Slab:             622204 kB
SReclaimable:      66680 kB
SUnreclaim:       555524 kB
KernelStack:        1608 kB
PageTables:         4492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71684 MiB
End job on node126 at 2012-05-24 21:46:49