Trace number 3711205

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 snapshotOPT5 1622.28 1617.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_5.opb
MD5SUM65a3c38bd8963c911b96c745ee468cb1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.08083
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint26
Maximum length of a constraint40
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3062
Sum of products size (including duplicates)6124
Number of different products3062
Sum of products size6124

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/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-3711205-1338168228.opb
0.09/0.12	c reading problem ... 
0.45/0.34	c ... done. Wall clock time 0.219s.
0.45/0.34	c declared #vars     100
0.45/0.34	c internal #vars     3162
0.45/0.34	c #constraints  6224
0.45/0.34	c constraints type 
0.45/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3162
0.45/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
0.45/0.34	c 6224 constraints processed.
0.45/0.38	c SATISFIABLE
0.45/0.38	c OPTIMIZING...
0.45/0.38	c Got one! Elapsed wall clock time (in seconds):0.258
0.45/0.38	o 99
0.74/0.41	c Got one! Elapsed wall clock time (in seconds):0.294
0.74/0.41	o 98
0.74/0.44	c Got one! Elapsed wall clock time (in seconds):0.318
0.74/0.44	o 97
0.74/0.45	c Got one! Elapsed wall clock time (in seconds):0.326
0.74/0.45	o 96
0.74/0.45	c Got one! Elapsed wall clock time (in seconds):0.334
0.74/0.45	o 95
0.74/0.46	c Got one! Elapsed wall clock time (in seconds):0.341
0.74/0.46	o 94
0.74/0.47	c Got one! Elapsed wall clock time (in seconds):0.348
0.74/0.47	o 93
0.74/0.47	c Got one! Elapsed wall clock time (in seconds):0.354
0.74/0.47	o 92
0.74/0.48	c Got one! Elapsed wall clock time (in seconds):0.36
0.74/0.48	o 91
0.74/0.48	c Got one! Elapsed wall clock time (in seconds):0.362
0.74/0.48	o 90
0.74/0.48	c Got one! Elapsed wall clock time (in seconds):0.365
0.74/0.48	o 89
0.74/0.49	c Got one! Elapsed wall clock time (in seconds):0.368
0.74/0.49	o 88
0.74/0.49	c Got one! Elapsed wall clock time (in seconds):0.37
0.74/0.49	o 87
0.74/0.49	c Got one! Elapsed wall clock time (in seconds):0.373
0.74/0.49	o 86
1.03/0.50	c Got one! Elapsed wall clock time (in seconds):0.376
1.03/0.50	o 85
1.03/0.50	c Got one! Elapsed wall clock time (in seconds):0.378
1.03/0.50	o 84
1.03/0.50	c Got one! Elapsed wall clock time (in seconds):0.38
1.03/0.50	o 83
1.03/0.50	c Got one! Elapsed wall clock time (in seconds):0.381
1.03/0.50	o 82
1.03/0.50	c Got one! Elapsed wall clock time (in seconds):0.383
1.03/0.50	o 81
1.03/0.50	c Got one! Elapsed wall clock time (in seconds):0.384
1.03/0.50	o 80
1.03/0.51	c Got one! Elapsed wall clock time (in seconds):0.389
1.03/0.51	o 79
1.03/0.52	c Got one! Elapsed wall clock time (in seconds):0.4
1.03/0.52	o 8
1.03/0.53	c Got one! Elapsed wall clock time (in seconds):0.407
1.03/0.53	o 7
2.62/1.94	c cleaning 2502 clauses out of 5012 with flag 5001/5012
4.09/3.40	c cleaning 4252 clauses out of 8509 with flag 11000/11011
5.89/5.17	c cleaning 5628 clauses out of 11259 with flag 18002/18013
7.92/7.19	c cleaning 6807 clauses out of 13629 with flag 26000/26011
8.54/7.61	c Got one! Elapsed wall clock time (in seconds):7.489
8.54/7.61	o 6
9.44/8.57	c cleaning 6160 clauses out of 12335 with flag 4001/31524
10.94/10.04	c cleaning 6083 clauses out of 12174 with flag 10000/37523
12.65/11.74	c cleaning 6546 clauses out of 13096 with flag 17005/44528
14.66/13.76	c cleaning 7270 clauses out of 14545 with flag 25000/52523
16.98/16.04	c cleaning 8138 clauses out of 16279 with flag 34004/61527
19.59/18.63	c cleaning 9059 clauses out of 18137 with flag 44000/71523
22.28/21.39	c cleaning 10038 clauses out of 20080 with flag 55002/82525
25.38/24.49	c cleaning 11019 clauses out of 22043 with flag 67003/94526
28.89/27.93	c cleaning 12003 clauses out of 24023 with flag 80002/107525
32.29/31.37	c cleaning 13007 clauses out of 26021 with flag 94003/121526
36.21/35.25	c cleaning 14002 clauses out of 28011 with flag 109000/136523
40.41/39.42	c cleaning 14998 clauses out of 30009 with flag 125000/152523
44.94/43.94	c cleaning 16003 clauses out of 32011 with flag 142000/169523
49.64/48.60	c cleaning 16999 clauses out of 34011 with flag 160003/187526
54.76/53.72	c cleaning 18002 clauses out of 36012 with flag 179003/206526
60.07/59.10	c cleaning 18993 clauses out of 38007 with flag 199000/226523
65.90/64.81	c cleaning 20006 clauses out of 40016 with flag 220002/247525
71.51/70.48	c cleaning 20993 clauses out of 42008 with flag 242000/269523
77.83/76.77	c cleaning 22005 clauses out of 44016 with flag 265001/292524
84.34/83.28	c cleaning 23004 clauses out of 46010 with flag 289000/316523
91.15/90.10	c cleaning 23997 clauses out of 48008 with flag 314002/341525
98.35/97.20	c cleaning 25000 clauses out of 50013 with flag 340004/367527
105.28/104.12	c cleaning 26005 clauses out of 52015 with flag 367006/394529
112.90/111.76	c cleaning 26995 clauses out of 54004 with flag 395000/422523
121.03/119.82	c cleaning 28000 clauses out of 56012 with flag 424003/451526
129.45/128.21	c cleaning 28997 clauses out of 58009 with flag 454000/481523
138.07/136.82	c cleaning 30001 clauses out of 60013 with flag 485001/512524
146.90/145.68	c cleaning 30999 clauses out of 62011 with flag 517000/544523
155.03/153.74	c cleaning 32002 clauses out of 64012 with flag 550000/577523
164.25/162.92	c cleaning 32995 clauses out of 66010 with flag 584000/611523
173.99/172.70	c cleaning 34001 clauses out of 68017 with flag 619002/646525
184.09/182.76	c cleaning 34998 clauses out of 70014 with flag 655000/682523
194.43/193.02	c cleaning 35997 clauses out of 72016 with flag 692000/719523
205.27/203.86	c cleaning 36981 clauses out of 74019 with flag 730000/757523
216.21/214.75	c cleaning 38004 clauses out of 76038 with flag 769000/796523
226.83/225.34	c cleaning 39011 clauses out of 78034 with flag 809000/836523
238.23/236.73	c cleaning 40005 clauses out of 80023 with flag 850000/877523
250.68/249.15	c cleaning 41001 clauses out of 82019 with flag 892001/919524
263.20/261.64	c cleaning 41994 clauses out of 84020 with flag 935003/962526
275.82/274.20	c cleaning 42991 clauses out of 86023 with flag 979000/1006523
288.35/286.74	c cleaning 43988 clauses out of 88033 with flag 1024001/1051524
300.57/298.95	c cleaning 45003 clauses out of 90047 with flag 1070003/1097526
313.79/312.19	c cleaning 46007 clauses out of 92044 with flag 1117003/1144526
327.61/325.92	c cleaning 47008 clauses out of 94034 with flag 1165000/1192523
341.74/340.03	c cleaning 47996 clauses out of 96026 with flag 1214000/1241523
355.67/353.98	c cleaning 49006 clauses out of 98031 with flag 1264001/1291524
371.20/369.44	c cleaning 50001 clauses out of 100024 with flag 1315000/1342523
387.25/385.41	c cleaning 51003 clauses out of 102030 with flag 1367007/1394530
403.16/401.31	c cleaning 51986 clauses out of 104021 with flag 1420001/1447524
419.18/417.35	c cleaning 52976 clauses out of 106034 with flag 1474000/1501523
435.51/433.62	c cleaning 53996 clauses out of 108058 with flag 1529000/1556523
452.41/450.51	c cleaning 54986 clauses out of 110063 with flag 1585001/1612524
469.33/467.44	c cleaning 55980 clauses out of 112079 with flag 1642003/1669526
486.45/484.51	c cleaning 57027 clauses out of 114096 with flag 1700000/1727523
504.58/502.69	c cleaning 58024 clauses out of 116072 with flag 1759003/1786526
522.71/520.72	c cleaning 58985 clauses out of 118046 with flag 1819001/1846524
541.03/539.05	c cleaning 60011 clauses out of 120060 with flag 1880000/1907523
559.54/557.58	c cleaning 60992 clauses out of 122049 with flag 1942000/1969523
580.19/578.11	c cleaning 62025 clauses out of 124058 with flag 2005001/2032524
601.20/599.19	c cleaning 62998 clauses out of 126034 with flag 2069002/2096525
621.54/619.40	c cleaning 63981 clauses out of 128036 with flag 2134002/2161525
642.17/640.03	c cleaning 64989 clauses out of 130054 with flag 2200001/2227524
663.21/661.00	c cleaning 66027 clauses out of 132071 with flag 2267007/2294530
684.54/682.39	c cleaning 67001 clauses out of 134037 with flag 2335000/2362523
706.07/703.90	c cleaning 67975 clauses out of 136036 with flag 2404000/2431523
729.02/726.79	c cleaning 69013 clauses out of 138061 with flag 2474000/2501523
751.15/748.87	c cleaning 70015 clauses out of 140053 with flag 2545005/2572528
773.26/770.90	c cleaning 71007 clauses out of 142033 with flag 2617000/2644523
796.19/793.89	c cleaning 72010 clauses out of 144034 with flag 2690008/2717531
820.84/818.41	c cleaning 72963 clauses out of 146016 with flag 2764000/2791523
839.97/837.57	c cleaning 74017 clauses out of 148054 with flag 2839001/2866524
860.90/858.45	c cleaning 75008 clauses out of 150040 with flag 2915004/2942527
885.03/882.57	c cleaning 75993 clauses out of 152028 with flag 2992000/3019523
912.08/909.56	c cleaning 76993 clauses out of 154035 with flag 3070000/3097523
937.12/934.51	c cleaning 78011 clauses out of 156042 with flag 3149000/3176523
964.64/962.06	c cleaning 78997 clauses out of 158031 with flag 3229000/3256523
990.16/987.57	c cleaning 80012 clauses out of 160036 with flag 3310002/3337525
1016.58/1013.98	c cleaning 80988 clauses out of 162022 with flag 3392000/3419523
1044.72/1042.06	c cleaning 81983 clauses out of 164034 with flag 3475000/3502523
1073.14/1070.43	c cleaning 82999 clauses out of 166052 with flag 3559001/3586524
1102.57/1099.81	c cleaning 84013 clauses out of 168053 with flag 3644001/3671524
1131.42/1128.65	c cleaning 85012 clauses out of 170039 with flag 3730000/3757523
1160.26/1157.45	c cleaning 86008 clauses out of 172029 with flag 3817002/3844525
1189.41/1186.58	c cleaning 86995 clauses out of 174029 with flag 3905010/3932533
1220.04/1217.15	c cleaning 87971 clauses out of 176024 with flag 3994000/4021523
1230.86/1227.97	c Got one! Elapsed wall clock time (in seconds):1227.851
1230.86/1227.97	o 5
1232.86/1229.92	c cleaning 63125 clauses out of 126273 with flag 5001/4059743
1234.57/1231.68	c cleaning 34561 clauses out of 69148 with flag 11001/4065743
1236.49/1233.59	c cleaning 20776 clauses out of 41586 with flag 18000/4072742
1238.62/1235.65	c cleaning 14388 clauses out of 28810 with flag 26000/4080742
1240.74/1237.79	c cleaning 11691 clauses out of 23429 with flag 35007/4089749
1243.15/1240.11	c cleaning 10832 clauses out of 21733 with flag 45002/4099744
1245.67/1242.68	c cleaning 10944 clauses out of 21899 with flag 56000/4110742
1248.79/1245.75	c cleaning 11462 clauses out of 22958 with flag 68003/4122745
1252.11/1249.00	c cleaning 12242 clauses out of 24493 with flag 81000/4135742
1255.42/1252.30	c cleaning 13115 clauses out of 26251 with flag 95000/4149742
1258.55/1255.40	c cleaning 14055 clauses out of 28136 with flag 110000/4164742
1261.77/1258.65	c cleaning 15032 clauses out of 30086 with flag 126005/4180747
1265.88/1262.72	c cleaning 16022 clauses out of 32053 with flag 143004/4197746
1270.48/1267.36	c cleaning 17013 clauses out of 34028 with flag 161001/4215743
1275.40/1272.29	c cleaning 18001 clauses out of 36014 with flag 180000/4234742
1280.21/1277.06	c cleaning 19006 clauses out of 38013 with flag 200000/4254742
1284.62/1281.42	c cleaning 20000 clauses out of 40007 with flag 221000/4275742
1289.84/1286.67	c cleaning 20999 clauses out of 42010 with flag 243003/4297745
1295.96/1292.71	c cleaning 22003 clauses out of 44009 with flag 266001/4320743
1302.00/1298.74	c cleaning 23003 clauses out of 46007 with flag 290002/4344744
1307.70/1304.41	c cleaning 23986 clauses out of 48002 with flag 315000/4369742
1313.91/1310.68	c cleaning 25005 clauses out of 50019 with flag 341003/4395745
1320.94/1317.63	c cleaning 26002 clauses out of 52011 with flag 368000/4422742
1327.77/1324.45	c cleaning 26999 clauses out of 54009 with flag 396000/4450742
1334.77/1331.49	c cleaning 27999 clauses out of 56011 with flag 425001/4479743
1342.80/1339.46	c cleaning 28994 clauses out of 58012 with flag 455001/4509743
1351.32/1347.98	c cleaning 30008 clauses out of 60019 with flag 486002/4540744
1359.73/1356.35	c cleaning 31006 clauses out of 62014 with flag 518005/4572747
1368.23/1364.88	c cleaning 31994 clauses out of 64003 with flag 551000/4605742
1377.35/1373.92	c cleaning 32994 clauses out of 66009 with flag 585000/4639742
1386.36/1382.91	c cleaning 33992 clauses out of 68015 with flag 620000/4674742
1395.69/1392.26	c cleaning 34996 clauses out of 70030 with flag 656007/4710749
1405.11/1401.69	c cleaning 36006 clauses out of 72029 with flag 693002/4747744
1414.63/1411.20	c cleaning 37006 clauses out of 74028 with flag 731007/4785749
1424.65/1421.18	c cleaning 38006 clauses out of 76015 with flag 770000/4824742
1435.27/1431.78	c cleaning 38974 clauses out of 78010 with flag 810001/4864743
1446.28/1442.75	c cleaning 40008 clauses out of 80035 with flag 851000/4905742
1457.31/1453.77	c cleaning 40989 clauses out of 82030 with flag 893003/4947745
1468.53/1464.91	c cleaning 42003 clauses out of 84040 with flag 936002/4990744
1480.24/1476.69	c cleaning 43011 clauses out of 86035 with flag 980000/5034742
1491.98/1488.32	c cleaning 43980 clauses out of 88027 with flag 1025003/5079745
1503.60/1499.93	c cleaning 45019 clauses out of 90047 with flag 1071003/5125745
1515.31/1511.67	c cleaning 45994 clauses out of 92025 with flag 1118000/5172742
1526.65/1522.96	c cleaning 47007 clauses out of 94033 with flag 1166002/5220744
1538.17/1534.42	c cleaning 47995 clauses out of 96026 with flag 1215002/5269744
1549.19/1545.49	c cleaning 48992 clauses out of 98029 with flag 1265000/5319742
1560.11/1556.38	c cleaning 49997 clauses out of 100037 with flag 1316000/5370742
1573.44/1569.61	c cleaning 51010 clauses out of 102043 with flag 1368003/5422745
1587.56/1583.79	c cleaning 51993 clauses out of 104030 with flag 1421000/5475742
1601.69/1597.87	c cleaning 53002 clauses out of 106040 with flag 1475003/5529745
1616.87/1612.74	c cleaning 35904 clauses out of 71858 with flag 1530000/5584742
1622.28/1617.97	c starts		: 300
1622.28/1617.97	c conflicts		: 5606481
1622.28/1617.97	c decisions		: 9075540
1622.28/1617.97	c propagations		: 1759602910
1622.28/1617.97	c inspects		: 18244885245
1622.28/1617.97	c shortcuts		: 0
1622.28/1617.97	c learnt literals	: 25
1622.28/1617.97	c learnt binary clauses	: 12
1622.28/1617.97	c learnt ternary clauses	: 271
1622.28/1617.97	c learnt constraints	: 5606455
1622.28/1617.97	c ignored constraints	: 0
1622.28/1617.97	c root simplifications	: 324
1622.28/1617.97	c removed literals (reason simplification)	: 847463
1622.28/1617.97	c reason swapping (by a shorter reason)	: 0
1622.28/1617.97	c Calls to reduceDB	: 140
1622.28/1617.97	c number of reductions to clauses (during analyze)	: 0
1622.28/1617.97	c number of learned constraints concerned by reduction	: 0
1622.28/1617.97	c number of learning phase by resolution	: 0
1622.28/1617.97	c number of learning phase by cutting planes	: 0
1622.28/1617.97	c speed (assignments/second)	: 1087768.6869523611
1622.28/1617.97	c non guided choices	4438
1622.28/1617.97	c learnt constraints type 
1622.28/1617.97	c constraints type 
1622.28/1617.97	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3162
1622.28/1617.97	c org.sat4j.minisat.constraints.card.MinWatchCard => 0
1622.28/1617.97	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
1622.28/1617.97	c 6224 constraints processed.
1622.28/1617.97	s OPTIMUM FOUND
1622.28/1617.97	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 
1622.28/1617.97	c objective function=5
1622.28/1617.97	c Total wall clock time (in seconds): 1617.853

Verifier Data 

OK	5

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

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

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


[startup+0 s]
/proc/loadavg: 1.94 2.01 1.99 3/194 6010
/proc/meminfo: memFree=28867584/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/6010/stat : 6010 (java) R 6008 6010 3132 0 -1 4202496 154 0 0 0 0 0 0 0 20 0 1 0 282948655 9379840 90 33554432000 1073741824 1073778376 140733214881776 140733214878904 259112411712 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6010/statm: 2290 107 81 9 0 38 0

[startup+0.098116 s]
/proc/loadavg: 1.94 2.01 1.99 3/194 6010
/proc/meminfo: memFree=28867584/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/6010/stat : 6010 (java) S 6008 6010 3132 0 -1 4202496 4243 0 1 0 7 1 0 0 20 0 18 0 282948655 9787842560 5448 33554432000 1073741824 1073778376 140735210322112 140735210313248 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6010/statm: 2389610 5448 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.100204 s]
/proc/loadavg: 1.94 2.01 1.99 3/194 6010
/proc/meminfo: memFree=28867584/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/6010/stat : 6010 (java) S 6008 6010 3132 0 -1 4202496 4271 0 1 0 8 1 0 0 20 0 18 0 282948655 9787842560 5476 33554432000 1073741824 1073778376 140735210322112 140735210313248 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6010/statm: 2389610 5476 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300181 s]
/proc/loadavg: 1.94 2.01 1.99 3/194 6010
/proc/meminfo: memFree=28867584/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/6010/stat : 6010 (java) S 6008 6010 3132 0 -1 4202496 5320 0 1 0 43 2 0 0 20 0 18 0 282948655 9787842560 7848 33554432000 1073741824 1073778376 140735210322112 140735210313248 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6010/statm: 2389610 7848 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440

[startup+0.700247 s]
/proc/loadavg: 1.94 2.01 1.99 3/194 6010
/proc/meminfo: memFree=28867584/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/6010/stat : 6010 (java) S 6008 6010 3132 0 -1 4202496 9394 0 1 0 135 2 0 0 20 0 19 0 282948655 9856004096 10800 33554432000 1073741824 1073778376 140735210322112 140735210313248 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6010/statm: 2406251 10800 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625004

[startup+1.50058 s]
/proc/loadavg: 1.94 2.01 1.99 3/213 6029
/proc/meminfo: memFree=28832272/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9625004 CPUtime=2.22 cores=1,3,5,7
/proc/6010/stat : 6010 (java) S 6008 6010 3132 0 -1 4202496 10002 0 1 0 219 3 0 0 20 0 19 0 282948655 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140735210313248 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6010/statm: 2406251 11316 2264 9 0 2396937 0
[pid=6010/tid=6012] ppid=6008 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/6010/task/6012/stat : 6012 (java) R 6008 6010 3132 0 -1 4202560 2506 0 1 0 144 2 0 0 20 0 19 0 282948656 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140293152670440 140292976285603 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6013/stat : 6013 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140293114161960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6014/stat : 6014 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140293113109160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6015/stat : 6015 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140293112056872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6016] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6016/stat : 6016 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140293111004072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6017] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6017/stat : 6017 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140293109950760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6018] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6018/stat : 6018 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140293108897960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6019] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6019/stat : 6019 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140293107845672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6020] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6020/stat : 6020 (java) S 6008 6010 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140293106792872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6021] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6021/stat : 6021 (java) S 6008 6010 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140292976012008 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6022] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6022/stat : 6022 (java) S 6008 6010 3132 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140292974958072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6023] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6023/stat : 6023 (java) S 6008 6010 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140292973905672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6024] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6024/stat : 6024 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140292972854160 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6025] ppid=6008 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/6010/task/6025/stat : 6025 (java) S 6008 6010 3132 0 -1 4202560 3736 0 0 0 40 0 0 0 20 0 19 0 282948661 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140292971800760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6026] ppid=6008 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/6010/task/6026/stat : 6026 (java) S 6008 6010 3132 0 -1 4202560 2565 0 0 0 31 0 0 0 20 0 19 0 282948661 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140292970747960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6027] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6027/stat : 6027 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140292969695864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6028] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6028/stat : 6028 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140292968643272 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6029] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6029/stat : 6029 (java) S 6008 6010 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282948690 9856004096 11316 33554432000 1073741824 1073778376 140735210322112 140292967589288 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625004

[startup+3.10147 s]
/proc/loadavg: 1.94 2.01 1.99 3/213 6029
/proc/meminfo: memFree=28819860/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9625004 CPUtime=3.86 cores=1,3,5,7
/proc/6010/stat : 6010 (java) S 6008 6010 3132 0 -1 4202496 10157 0 1 0 383 3 0 0 20 0 19 0 282948655 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140735210313248 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6010/statm: 2406251 13919 2289 9 0 2396937 0
[pid=6010/tid=6012] ppid=6008 vsize=9625004 CPUtime=3.04 cores=1,3,5,7
/proc/6010/task/6012/stat : 6012 (java) R 6008 6010 3132 0 -1 4202560 2510 0 1 0 302 2 0 0 20 0 19 0 282948656 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140293152670088 140292976654688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6013/stat : 6013 (java) S 6008 6010 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140293114161960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6014/stat : 6014 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140293113109160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6015/stat : 6015 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140293112056872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6016] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6016/stat : 6016 (java) S 6008 6010 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140293111004072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6017] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6017/stat : 6017 (java) S 6008 6010 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140293109950760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6018] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6018/stat : 6018 (java) S 6008 6010 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140293108897960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6019] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6019/stat : 6019 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140293107845672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6020] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6020/stat : 6020 (java) S 6008 6010 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140293106792872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6021] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6021/stat : 6021 (java) S 6008 6010 3132 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140292976012008 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6022] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6022/stat : 6022 (java) S 6008 6010 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140292974958072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6023] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6023/stat : 6023 (java) S 6008 6010 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140292973905672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6024] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6024/stat : 6024 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140292972854160 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6025] ppid=6008 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/6010/task/6025/stat : 6025 (java) S 6008 6010 3132 0 -1 4202560 3837 0 0 0 42 0 0 0 20 0 19 0 282948661 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140292971800760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6026] ppid=6008 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/6010/task/6026/stat : 6026 (java) S 6008 6010 3132 0 -1 4202560 2566 0 0 0 33 0 0 0 20 0 19 0 282948661 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140292970747960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6027] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6027/stat : 6027 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140292969695864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6028] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6028/stat : 6028 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140292968643272 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6029] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6029/stat : 6029 (java) S 6008 6010 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282948690 9856004096 13919 33554432000 1073741824 1073778376 140735210322112 140292967589288 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625004

[startup+6.30057 s]
/proc/loadavg: 1.94 2.01 1.99 3/213 6029
/proc/meminfo: memFree=28816648/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9625004 CPUtime=7.12 cores=1,3,5,7
/proc/6010/stat : 6010 (java) S 6008 6010 3132 0 -1 4202496 10171 0 1 0 709 3 0 0 20 0 19 0 282948655 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140735210313248 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6010/statm: 2406251 14729 2289 9 0 2396937 0
[pid=6010/tid=6012] ppid=6008 vsize=9625004 CPUtime=6.19 cores=1,3,5,7
/proc/6010/task/6012/stat : 6012 (java) R 6008 6010 3132 0 -1 4202560 2513 0 1 0 617 2 0 0 20 0 19 0 282948656 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140293152670248 140292976736302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6013/stat : 6013 (java) S 6008 6010 3132 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140293114161960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6014/stat : 6014 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140293113109160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6015/stat : 6015 (java) S 6008 6010 3132 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140293112056872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6016] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6016/stat : 6016 (java) S 6008 6010 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140293111004072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6017] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6017/stat : 6017 (java) S 6008 6010 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140293109950760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6018] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6018/stat : 6018 (java) S 6008 6010 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140293108897960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6019] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6019/stat : 6019 (java) S 6008 6010 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140293107845672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6020] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6020/stat : 6020 (java) S 6008 6010 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282948657 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140293106792872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6021] ppid=6008 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/6010/task/6021/stat : 6021 (java) S 6008 6010 3132 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 282948658 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140292976012008 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6022] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6022/stat : 6022 (java) S 6008 6010 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140292974958072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6023] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6023/stat : 6023 (java) S 6008 6010 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140292973905672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6024] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6024/stat : 6024 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140292972854160 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6025] ppid=6008 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/6010/task/6025/stat : 6025 (java) S 6008 6010 3132 0 -1 4202560 3837 0 0 0 44 0 0 0 20 0 19 0 282948661 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140292971800760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6026] ppid=6008 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/6010/task/6026/stat : 6026 (java) S 6008 6010 3132 0 -1 4202560 2566 0 0 0 34 0 0 0 20 0 19 0 282948661 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140292970747960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6027] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6027/stat : 6027 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140292969695864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6028] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6028/stat : 6028 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140292968643272 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6029] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6029/stat : 6029 (java) S 6008 6010 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282948690 9856004096 14729 33554432000 1073741824 1073778376 140735210322112 140292967589288 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

/proc/6010/task/6020/stat : 6020 (java) S 6008 6010 3132 0 -1 4202560 110 0 0 0 46 1 0 0 20 0 19 0 282948657 9856004096 39407 33554432000 1073741824 1073778376 140735210322112 140293106792872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6021] ppid=6008 vsize=9625004 CPUtime=4.52 cores=1,3,5,7
/proc/6010/task/6021/stat : 6021 (java) S 6008 6010 3132 0 -1 4202560 149 0 0 0 449 3 0 0 20 0 19 0 282948658 9856004096 39407 33554432000 1073741824 1073778376 140735210322112 140292976012008 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6022] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6022/stat : 6022 (java) S 6008 6010 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 39407 33554432000 1073741824 1073778376 140735210322112 140292974958072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6023] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6023/stat : 6023 (java) S 6008 6010 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 39407 33554432000 1073741824 1073778376 140735210322112 140292973905672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6024] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6024/stat : 6024 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 39407 33554432000 1073741824 1073778376 140735210322112 140292972854160 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6025] ppid=6008 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/6010/task/6025/stat : 6025 (java) S 6008 6010 3132 0 -1 4202560 11762 0 0 0 92 2 0 0 20 0 19 0 282948661 9856004096 39407 33554432000 1073741824 1073778376 140735210322112 140292971800760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6026] ppid=6008 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/6010/task/6026/stat : 6026 (java) S 6008 6010 3132 0 -1 4202560 2574 0 0 0 38 0 0 0 20 0 19 0 282948661 9856004096 39407 33554432000 1073741824 1073778376 140735210322112 140292970747960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6027] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6027/stat : 6027 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 39407 33554432000 1073741824 1073778376 140735210322112 140292969695864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6028] ppid=6008 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/6010/task/6028/stat : 6028 (java) S 6008 6010 3132 0 -1 4202560 93 0 0 0 22 22 0 0 20 0 19 0 282948661 9856004096 39407 33554432000 1073741824 1073778376 140735210322112 140292968643272 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6029] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6029/stat : 6029 (java) S 6008 6010 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282948690 9856004096 39407 33554432000 1073741824 1073778376 140735210322112 140292967589288 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1620.28
Current children cumulated vsize (KiB) 9625004

[startup+1616.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6102
/proc/meminfo: memFree=28111232/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9625004 CPUtime=1621.08 cores=1,3,5,7
/proc/6010/stat : 6010 (java) S 6008 6010 3132 0 -1 4202496 18979 0 1 0 162075 33 0 0 20 0 19 0 282948655 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140735210313248 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6010/statm: 2406251 36556 2290 9 0 2396937 0
[pid=6010/tid=6012] ppid=6008 vsize=9625004 CPUtime=1606.74 cores=1,3,5,7
/proc/6010/task/6012/stat : 6012 (java) R 6008 6010 3132 0 -1 4202560 2660 0 1 0 160649 25 0 0 20 0 19 0 282948656 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293152670000 140292976616172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/6010/task/6013/stat : 6013 (java) S 6008 6010 3132 0 -1 4202560 47 0 0 0 54 1 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293114161960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/6010/task/6014/stat : 6014 (java) S 6008 6010 3132 0 -1 4202560 29 0 0 0 52 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293113109160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/6010/task/6015/stat : 6015 (java) S 6008 6010 3132 0 -1 4202560 70 0 0 0 54 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293112056872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6016] ppid=6008 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/6010/task/6016/stat : 6016 (java) S 6008 6010 3132 0 -1 4202560 106 0 0 0 50 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293111004072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6017] ppid=6008 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/6010/task/6017/stat : 6017 (java) S 6008 6010 3132 0 -1 4202560 21 0 0 0 50 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293109950760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6018] ppid=6008 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/6010/task/6018/stat : 6018 (java) S 6008 6010 3132 0 -1 4202560 32 0 0 0 44 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293108897960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6019] ppid=6008 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/6010/task/6019/stat : 6019 (java) S 6008 6010 3132 0 -1 4202560 145 0 0 0 53 2 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293107845672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6020] ppid=6008 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/6010/task/6020/stat : 6020 (java) S 6008 6010 3132 0 -1 4202560 110 0 0 0 46 1 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293106792872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6021] ppid=6008 vsize=9625004 CPUtime=4.52 cores=1,3,5,7
/proc/6010/task/6021/stat : 6021 (java) S 6008 6010 3132 0 -1 4202560 149 0 0 0 449 3 0 0 20 0 19 0 282948658 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292976012008 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6022] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6022/stat : 6022 (java) S 6008 6010 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292974958072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6023] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6023/stat : 6023 (java) S 6008 6010 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292973905672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6024] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6024/stat : 6024 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292972854160 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6025] ppid=6008 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/6010/task/6025/stat : 6025 (java) S 6008 6010 3132 0 -1 4202560 11762 0 0 0 92 2 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292971800760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6026] ppid=6008 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/6010/task/6026/stat : 6026 (java) S 6008 6010 3132 0 -1 4202560 2574 0 0 0 38 0 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292970747960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6027] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6027/stat : 6027 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292969695864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6028] ppid=6008 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/6010/task/6028/stat : 6028 (java) S 6008 6010 3132 0 -1 4202560 93 0 0 0 22 22 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292968643272 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6029] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6029/stat : 6029 (java) S 6008 6010 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282948690 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292967589288 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1621.08
Current children cumulated vsize (KiB) 9625004

[startup+1617.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6102
/proc/meminfo: memFree=28122392/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9625004 CPUtime=1621.88 cores=1,3,5,7
/proc/6010/stat : 6010 (java) S 6008 6010 3132 0 -1 4202496 18979 0 1 0 162155 33 0 0 20 0 19 0 282948655 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140735210313248 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6010/statm: 2406251 36556 2290 9 0 2396937 0
[pid=6010/tid=6012] ppid=6008 vsize=9625004 CPUtime=1607.54 cores=1,3,5,7
/proc/6010/task/6012/stat : 6012 (java) R 6008 6010 3132 0 -1 4202560 2660 0 1 0 160729 25 0 0 20 0 19 0 282948656 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293152670000 140292976749440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/6010/task/6013/stat : 6013 (java) S 6008 6010 3132 0 -1 4202560 47 0 0 0 54 1 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293114161960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/6010/task/6014/stat : 6014 (java) S 6008 6010 3132 0 -1 4202560 29 0 0 0 52 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293113109160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/6010/task/6015/stat : 6015 (java) S 6008 6010 3132 0 -1 4202560 70 0 0 0 54 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293112056872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6016] ppid=6008 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/6010/task/6016/stat : 6016 (java) S 6008 6010 3132 0 -1 4202560 106 0 0 0 50 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293111004072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6017] ppid=6008 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/6010/task/6017/stat : 6017 (java) S 6008 6010 3132 0 -1 4202560 21 0 0 0 50 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293109950760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6018] ppid=6008 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/6010/task/6018/stat : 6018 (java) S 6008 6010 3132 0 -1 4202560 32 0 0 0 44 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293108897960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6019] ppid=6008 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/6010/task/6019/stat : 6019 (java) S 6008 6010 3132 0 -1 4202560 145 0 0 0 53 2 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293107845672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6020] ppid=6008 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/6010/task/6020/stat : 6020 (java) S 6008 6010 3132 0 -1 4202560 110 0 0 0 46 1 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293106792872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6021] ppid=6008 vsize=9625004 CPUtime=4.52 cores=1,3,5,7
/proc/6010/task/6021/stat : 6021 (java) S 6008 6010 3132 0 -1 4202560 149 0 0 0 449 3 0 0 20 0 19 0 282948658 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292976012008 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6022] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6022/stat : 6022 (java) S 6008 6010 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292974958072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6023] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6023/stat : 6023 (java) S 6008 6010 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292973905672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6024] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6024/stat : 6024 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292972854160 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6025] ppid=6008 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/6010/task/6025/stat : 6025 (java) S 6008 6010 3132 0 -1 4202560 11762 0 0 0 92 2 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292971800760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6026] ppid=6008 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/6010/task/6026/stat : 6026 (java) S 6008 6010 3132 0 -1 4202560 2574 0 0 0 38 0 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292970747960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6027] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6027/stat : 6027 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292969695864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6028] ppid=6008 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/6010/task/6028/stat : 6028 (java) S 6008 6010 3132 0 -1 4202560 93 0 0 0 22 22 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292968643272 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6029] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6029/stat : 6029 (java) S 6008 6010 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282948690 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292967589288 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1621.88
Current children cumulated vsize (KiB) 9625004

[startup+1617.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6102
/proc/meminfo: memFree=28122392/32873648 swapFree=6844/6844
[pid=6010] ppid=6008 vsize=9625004 CPUtime=1622.28 cores=1,3,5,7
/proc/6010/stat : 6010 (java) S 6008 6010 3132 0 -1 4202496 18979 0 1 0 162195 33 0 0 20 0 19 0 282948655 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140735210313248 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6010/statm: 2406251 36556 2290 9 0 2396937 0
[pid=6010/tid=6012] ppid=6008 vsize=9625004 CPUtime=1607.94 cores=1,3,5,7
/proc/6010/task/6012/stat : 6012 (java) R 6008 6010 3132 0 -1 4202560 2660 0 1 0 160769 25 0 0 20 0 19 0 282948656 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293152668248 140292976483391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/6010/task/6013/stat : 6013 (java) S 6008 6010 3132 0 -1 4202560 47 0 0 0 54 1 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293114161960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/6010/task/6014/stat : 6014 (java) S 6008 6010 3132 0 -1 4202560 29 0 0 0 52 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293113109160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/6010/task/6015/stat : 6015 (java) S 6008 6010 3132 0 -1 4202560 70 0 0 0 54 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293112056872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6016] ppid=6008 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/6010/task/6016/stat : 6016 (java) S 6008 6010 3132 0 -1 4202560 106 0 0 0 50 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293111004072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6017] ppid=6008 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/6010/task/6017/stat : 6017 (java) S 6008 6010 3132 0 -1 4202560 21 0 0 0 50 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293109950760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6018] ppid=6008 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/6010/task/6018/stat : 6018 (java) S 6008 6010 3132 0 -1 4202560 32 0 0 0 44 0 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293108897960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6019] ppid=6008 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/6010/task/6019/stat : 6019 (java) S 6008 6010 3132 0 -1 4202560 145 0 0 0 53 2 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293107845672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6010/tid=6020] ppid=6008 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/6010/task/6020/stat : 6020 (java) S 6008 6010 3132 0 -1 4202560 110 0 0 0 46 1 0 0 20 0 19 0 282948657 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140293106792872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6021] ppid=6008 vsize=9625004 CPUtime=4.52 cores=1,3,5,7
/proc/6010/task/6021/stat : 6021 (java) S 6008 6010 3132 0 -1 4202560 149 0 0 0 449 3 0 0 20 0 19 0 282948658 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292976012008 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6022] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6022/stat : 6022 (java) S 6008 6010 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292974958072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6023] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6023/stat : 6023 (java) S 6008 6010 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282948658 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292973905672 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6024] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6024/stat : 6024 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292972854160 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6010/tid=6025] ppid=6008 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/6010/task/6025/stat : 6025 (java) S 6008 6010 3132 0 -1 4202560 11762 0 0 0 92 2 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292971800760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6010/tid=6026] ppid=6008 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/6010/task/6026/stat : 6026 (java) S 6008 6010 3132 0 -1 4202560 2574 0 0 0 38 0 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292970747960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6027] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6027/stat : 6027 (java) S 6008 6010 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292969695864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6028] ppid=6008 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/6010/task/6028/stat : 6028 (java) S 6008 6010 3132 0 -1 4202560 93 0 0 0 22 22 0 0 20 0 19 0 282948661 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292968643272 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6010/tid=6029] ppid=6008 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/6010/task/6029/stat : 6029 (java) S 6008 6010 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282948690 9856004096 36556 33554432000 1073741824 1073778376 140735210322112 140292967589288 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1622.28
Current children cumulated vsize (KiB) 9625004

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6010 and gives
#  childrusage.ru_utime.tv_sec=1617
#  childrusage.ru_utime.tv_usec=947034
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=690894
# CPU time returned by wait4() is 1618.64
# while last known CPU time is 1622.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1617.98
CPU time (s): 1622.28
CPU user time (s): 1621.95
CPU system time (s): 0.33
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1617.95
system time used= 0.690894
maximum resident set size= 157628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18997
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38156
involuntary context switches= 12327

runsolver used 5.66414 second user time and 13.7959 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-28 03:23:48
IDJOB=3711205
IDBENCH=48159
IDSOLVER=2289
FILE ID=node124/3711205-1338168228
RUNJOBID= node124-1338143409-3149
PBS_JOBID= 14624516
Free space on /tmp= 71432 MiB

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

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=2077375025

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28868592 kB
Buffers:          358184 kB
Cached:          2695284 kB
SwapCached:            0 kB
Active:          1060636 kB
Inactive:        2137412 kB
Active(anon):     147092 kB
Inactive(anon):        0 kB
Active(file):     913544 kB
Inactive(file):  2137412 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:        151428 kB
Mapped:            22632 kB
Shmem:               200 kB
Slab:             669368 kB
SReclaimable:     113568 kB
SUnreclaim:       555800 kB
KernelStack:        1600 kB
PageTables:         4496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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= 71432 MiB
End job on node124 at 2012-05-28 03:50:46