Trace number 3687642

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 RES // CP 2.3.2 Snapshot? (TO) 1802.09 1059.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
MD5SUMe1d6958876c3f9359c6b5193f1345bd5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1041
Best CPU time to get the best result obtained on this benchmark1796.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1038
Optimality of the best value was proved NO
Number of variables1964
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1964
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 1964
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1964
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.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.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3687642-1337872885.opb
0.08/0.12	c reading problem ... 
0.45/0.33	c ... done. Wall clock time 0.21s.
0.45/0.33	c declared #vars     1964
0.45/0.33	c #constraints  4000
0.45/0.33	c constraints type 
0.45/0.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4000
0.45/0.33	c 4000 constraints processed.
0.45/0.33	c constraints type 
0.45/0.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4000
0.45/0.33	c 4000 constraints processed.
0.45/0.33	c objective function length is 1964 literals
0.45/0.36	c  And the winner is solver0
0.88/0.83	c SATISFIABLE
0.88/0.83	c OPTIMIZING...
0.88/0.83	c Got one! Elapsed wall clock time (in seconds):0.715
0.88/0.83	o 1198
1.85/1.13	c  And the winner is solver1
1.93/1.34	c Got one! Elapsed wall clock time (in seconds):1.226
1.93/1.34	o 1197
2.84/1.73	c  And the winner is solver1
3.02/1.85	c Got one! Elapsed wall clock time (in seconds):1.732
3.02/1.85	o 1196
3.42/2.01	c  And the winner is solver1
3.46/2.35	c Got one! Elapsed wall clock time (in seconds):2.237
3.46/2.35	o 1195
4.49/2.81	c  And the winner is solver1
4.49/2.86	c Got one! Elapsed wall clock time (in seconds):2.74
4.49/2.86	o 1194
5.06/3.18	c  And the winner is solver1
5.25/3.36	c Got one! Elapsed wall clock time (in seconds):3.243
5.25/3.36	o 1193
6.64/4.00	c  And the winner is solver1
6.68/4.36	c Got one! Elapsed wall clock time (in seconds):4.246
6.68/4.36	o 1182
7.16/4.64	c cleaning 3870 clauses out of 7740 with flag 1002/7740
11.10/6.55	c cleaning 4935 clauses out of 9869 with flag 7001/13739
16.55/9.24	c cleaning 5967 clauses out of 11933 with flag 14000/20738
22.98/12.49	c cleaning 6982 clauses out of 13966 with flag 22000/28738
24.71/13.37	c  And the winner is solver1
24.71/13.40	c Got one! Elapsed wall clock time (in seconds):13.281
24.71/13.40	o 1181
27.25/14.65	c cleaning 6417 clauses out of 12834 with flag 4001/34588
31.18/16.61	c cleaning 6208 clauses out of 12417 with flag 10001/40588
34.46/18.38	c  And the winner is solver1
34.60/18.40	c Got one! Elapsed wall clock time (in seconds):18.284
34.60/18.40	o 1180
37.58/19.93	c cleaning 8158 clauses out of 16315 with flag 5001/50694
41.83/22.11	c cleaning 7078 clauses out of 14157 with flag 11001/56694
46.77/24.79	c cleaning 7039 clauses out of 14078 with flag 18000/63693
52.44/27.69	c cleaning 7520 clauses out of 15039 with flag 26000/71693
59.86/31.41	c cleaning 8258 clauses out of 16519 with flag 35000/80693
69.31/36.28	c cleaning 9131 clauses out of 18262 with flag 45001/90694
75.72/39.63	c  And the winner is solver1
75.69/39.79	c Got one! Elapsed wall clock time (in seconds):39.677
75.69/39.79	o 1179
79.16/41.57	c cleaning 10504 clauses out of 21007 with flag 5001/102570
83.49/43.87	c cleaning 8251 clauses out of 16503 with flag 11001/108570
89.13/46.89	c cleaning 7626 clauses out of 15252 with flag 18001/115570
94.73/49.80	c  And the winner is solver1
94.73/49.89	c Got one! Elapsed wall clock time (in seconds):49.773
94.73/49.89	o 1178
98.13/51.69	c cleaning 10123 clauses out of 20254 with flag 5000/128198
102.93/54.31	c cleaning 8064 clauses out of 16131 with flag 11000/134198
108.32/57.21	c cleaning 7534 clauses out of 15067 with flag 18000/141198
114.61/60.62	c cleaning 7766 clauses out of 15533 with flag 26000/149198
122.04/64.62	c cleaning 8383 clauses out of 16767 with flag 35000/158198
129.13/68.64	c cleaning 9192 clauses out of 18387 with flag 45003/168201
136.84/72.70	c cleaning 10092 clauses out of 20192 with flag 56000/179198
145.81/77.59	c cleaning 11051 clauses out of 22101 with flag 68001/191199
155.71/82.84	c cleaning 12021 clauses out of 24050 with flag 81001/204199
167.96/89.59	c cleaning 13010 clauses out of 26028 with flag 95000/218198
180.54/96.22	c cleaning 14007 clauses out of 28018 with flag 110000/233198
192.64/102.75	c cleaning 15001 clauses out of 30011 with flag 126000/249198
205.29/109.53	c cleaning 16004 clauses out of 32012 with flag 143002/266200
220.49/117.81	c cleaning 17003 clauses out of 34006 with flag 161000/284198
223.53/119.83	c  And the winner is solver1
223.29/120.28	c Got one! Elapsed wall clock time (in seconds):120.165
223.29/120.28	o 1177
224.31/120.88	c cleaning 11086 clauses out of 22175 with flag 2001/289370
229.05/123.70	c cleaning 8544 clauses out of 17088 with flag 8000/295369
234.42/126.93	c cleaning 7769 clauses out of 15544 with flag 15000/302369
241.24/131.08	c cleaning 7885 clauses out of 15775 with flag 23000/310369
249.79/135.86	c cleaning 8445 clauses out of 16890 with flag 32000/319369
259.49/141.19	c cleaning 9219 clauses out of 18445 with flag 42000/329369
268.71/146.28	c cleaning 10112 clauses out of 20227 with flag 53001/340370
274.10/149.74	c  And the winner is solver1
274.10/149.88	c Got one! Elapsed wall clock time (in seconds):149.762
274.10/149.88	o 1175
276.75/151.28	c cleaning 10196 clauses out of 20399 with flag 5001/350654
281.53/154.15	c cleaning 8101 clauses out of 16204 with flag 11002/356655
286.59/157.15	c cleaning 7548 clauses out of 15102 with flag 18001/363654
292.42/160.52	c cleaning 7775 clauses out of 15553 with flag 26000/371653
299.47/164.86	c cleaning 8387 clauses out of 16778 with flag 35000/380653
307.06/169.16	c cleaning 9192 clauses out of 18391 with flag 45000/390653
315.99/174.10	c cleaning 10099 clauses out of 20199 with flag 56000/401653
326.46/179.96	c cleaning 11046 clauses out of 22100 with flag 68000/413653
338.06/186.69	c cleaning 12024 clauses out of 24055 with flag 81001/426654
349.23/192.82	c cleaning 13015 clauses out of 26031 with flag 95001/440654
361.23/199.42	c cleaning 14004 clauses out of 28016 with flag 110001/455654
374.22/206.55	c cleaning 15004 clauses out of 30012 with flag 126001/471654
389.66/215.25	c cleaning 16003 clauses out of 32007 with flag 143000/488653
410.41/226.99	c cleaning 16999 clauses out of 34004 with flag 161000/506653
421.20/232.54	c  And the winner is solver1
420.95/232.76	c Got one! Elapsed wall clock time (in seconds):232.639
420.95/232.76	o 1174
423.85/234.23	c cleaning 15545 clauses out of 31101 with flag 5000/520749
429.88/238.39	c cleaning 10777 clauses out of 21557 with flag 11001/526750
435.83/241.94	c cleaning 8888 clauses out of 17779 with flag 18000/533749
442.30/245.81	c cleaning 8444 clauses out of 16893 with flag 26002/541751
449.08/249.95	c cleaning 8716 clauses out of 17448 with flag 35001/550750
457.77/255.31	c cleaning 9362 clauses out of 18732 with flag 45001/560750
466.64/260.40	c cleaning 10183 clauses out of 20370 with flag 56001/571750
476.05/265.80	c cleaning 11093 clauses out of 22186 with flag 68000/583749
487.05/272.01	c cleaning 12046 clauses out of 24095 with flag 81002/596751
498.71/279.02	c  And the winner is solver1
498.58/279.34	c Got one! Elapsed wall clock time (in seconds):279.229
498.58/279.34	o 1173
503.12/282.42	c cleaning 14373 clauses out of 28746 with flag 5002/613448
509.81/286.20	c cleaning 10185 clauses out of 20371 with flag 11000/619446
515.87/289.94	c cleaning 8592 clauses out of 17186 with flag 18000/626446
523.28/294.73	c cleaning 8295 clauses out of 16595 with flag 26001/634447
530.34/298.97	c cleaning 8647 clauses out of 17299 with flag 35000/643446
537.81/303.39	c cleaning 9326 clauses out of 18652 with flag 45000/653446
546.05/308.18	c cleaning 10162 clauses out of 20328 with flag 56002/664448
555.81/314.17	c cleaning 11082 clauses out of 22164 with flag 68000/676446
565.46/319.68	c cleaning 12032 clauses out of 24082 with flag 81000/689446
577.09/326.14	c cleaning 13018 clauses out of 26050 with flag 95000/703446
583.73/330.15	c  And the winner is solver1
583.67/330.64	c Got one! Elapsed wall clock time (in seconds):330.519
583.67/330.64	o 1172
586.60/332.14	c cleaning 12360 clauses out of 24721 with flag 5001/715135
592.89/336.45	c cleaning 9178 clauses out of 18360 with flag 11000/721134
598.71/340.08	c cleaning 8091 clauses out of 16184 with flag 18002/728136
605.50/344.17	c cleaning 8036 clauses out of 16092 with flag 26001/736135
613.12/348.66	c cleaning 8525 clauses out of 17055 with flag 35000/745134
621.72/354.16	c cleaning 9264 clauses out of 18532 with flag 45002/755136
630.07/359.08	c cleaning 10132 clauses out of 20267 with flag 56001/766135
640.41/364.93	c cleaning 11066 clauses out of 22134 with flag 68000/778134
650.53/370.72	c cleaning 12030 clauses out of 24068 with flag 81000/791134
662.47/377.93	c cleaning 13015 clauses out of 26038 with flag 95000/805134
673.98/384.40	c cleaning 14011 clauses out of 28024 with flag 110001/820135
686.25/391.34	c cleaning 15004 clauses out of 30015 with flag 126003/836137
699.48/398.70	c cleaning 16001 clauses out of 32009 with flag 143001/853135
716.95/408.71	c cleaning 17003 clauses out of 34008 with flag 161001/871135
724.15/413.11	c  And the winner is solver1
723.89/413.46	c Got one! Elapsed wall clock time (in seconds):413.342
723.89/413.46	o 1171
726.97/415.03	c cleaning 14190 clauses out of 28382 with flag 5001/882512
732.39/418.59	c cleaning 10093 clauses out of 20191 with flag 11000/888511
738.75/422.59	c cleaning 8547 clauses out of 17098 with flag 18000/895511
746.45/427.77	c cleaning 8273 clauses out of 16552 with flag 26001/903512
754.22/432.44	c cleaning 8638 clauses out of 17278 with flag 35000/912511
762.36/437.37	c cleaning 9320 clauses out of 18641 with flag 45001/922512
772.29/443.16	c cleaning 10152 clauses out of 20321 with flag 56001/933512
783.08/449.94	c cleaning 11085 clauses out of 22169 with flag 68001/945512
793.16/455.83	c cleaning 12038 clauses out of 24083 with flag 81000/958511
804.64/462.40	c cleaning 13022 clauses out of 26045 with flag 95000/972511
818.51/470.20	c cleaning 14001 clauses out of 28023 with flag 110000/987511
834.39/479.68	c cleaning 15007 clauses out of 30022 with flag 126000/1003511
849.00/487.80	c cleaning 16001 clauses out of 32016 with flag 143001/1020512
864.44/496.41	c cleaning 17006 clauses out of 34015 with flag 161001/1038512
879.65/504.96	c cleaning 18004 clauses out of 36009 with flag 180001/1057512
896.32/514.81	c cleaning 19000 clauses out of 38005 with flag 200001/1077512
913.01/524.11	c cleaning 19998 clauses out of 40004 with flag 221000/1098511
931.68/534.47	c cleaning 20996 clauses out of 42006 with flag 243000/1120511
956.34/549.80	c cleaning 22002 clauses out of 44010 with flag 266000/1143511
974.13/559.66	c cleaning 23001 clauses out of 46010 with flag 290002/1167513
995.11/571.05	c cleaning 24004 clauses out of 48007 with flag 315000/1192511
1019.78/584.34	c cleaning 25001 clauses out of 50003 with flag 341000/1218511
1046.33/599.29	c cleaning 26000 clauses out of 52003 with flag 368001/1245512
1070.26/612.27	c cleaning 26996 clauses out of 54002 with flag 396000/1273511
1091.06/623.73	c cleaning 27999 clauses out of 56006 with flag 425000/1302511
1117.32/638.00	c cleaning 28996 clauses out of 58007 with flag 455000/1332511
1146.78/654.67	c cleaning 30005 clauses out of 60011 with flag 486000/1363511
1181.83/673.39	c cleaning 31001 clauses out of 62007 with flag 518001/1395512
1186.45/676.82	c  And the winner is solver1
1185.55/676.98	c Got one! Elapsed wall clock time (in seconds):676.86
1185.55/676.98	o 1170
1187.59/678.08	c cleaning 18465 clauses out of 36938 with flag 4003/1401444
1193.76/682.37	c cleaning 12225 clauses out of 24470 with flag 10000/1407441
1202.29/688.69	c cleaning 9612 clauses out of 19246 with flag 17001/1414442
1210.22/693.82	c cleaning 8810 clauses out of 17635 with flag 25002/1422443
1218.14/699.09	c cleaning 8901 clauses out of 17823 with flag 34000/1431441
1228.29/705.37	c cleaning 9460 clauses out of 18922 with flag 44000/1441441
1239.90/713.14	c cleaning 10228 clauses out of 20462 with flag 55000/1452441
1251.23/720.07	c cleaning 11111 clauses out of 22234 with flag 67000/1464441
1264.15/727.74	c cleaning 12056 clauses out of 24123 with flag 80000/1477441
1278.23/736.03	c cleaning 13030 clauses out of 26068 with flag 94001/1491442
1295.14/746.53	c cleaning 14013 clauses out of 28038 with flag 109001/1506442
1310.86/755.67	c cleaning 15010 clauses out of 30026 with flag 125002/1522443
1326.34/764.66	c cleaning 16003 clauses out of 32014 with flag 142000/1539441
1342.18/773.86	c cleaning 17004 clauses out of 34012 with flag 160001/1557442
1361.85/785.90	c cleaning 18003 clauses out of 36008 with flag 179001/1576442
1380.12/796.28	c cleaning 19003 clauses out of 38006 with flag 199002/1596443
1397.30/806.10	c  And the winner is solver1
1396.93/806.52	c Got one! Elapsed wall clock time (in seconds):806.4
1396.93/806.52	o 1169
1399.68/807.94	c cleaning 21043 clauses out of 42085 with flag 5001/1619525
1406.32/812.51	c cleaning 13521 clauses out of 27042 with flag 11001/1625525
1415.17/819.16	c cleaning 10253 clauses out of 20520 with flag 18000/1632524
1423.17/824.49	c cleaning 9126 clauses out of 18267 with flag 26000/1640524
1431.33/829.84	c cleaning 9067 clauses out of 18142 with flag 35001/1649525
1440.70/835.82	c cleaning 9528 clauses out of 19074 with flag 45000/1659524
1452.70/844.03	c cleaning 10270 clauses out of 20547 with flag 56001/1670525
1463.46/850.72	c cleaning 11127 clauses out of 22277 with flag 68001/1682525
1474.19/857.49	c cleaning 12071 clauses out of 24149 with flag 81000/1695524
1485.94/864.65	c cleaning 13038 clauses out of 26079 with flag 95001/1709525
1500.47/874.13	c cleaning 14015 clauses out of 28041 with flag 110001/1724525
1513.40/881.94	c cleaning 15013 clauses out of 30026 with flag 126001/1740525
1527.94/890.57	c cleaning 15998 clauses out of 32012 with flag 143000/1757524
1544.46/900.19	c cleaning 17005 clauses out of 34014 with flag 161000/1775524
1562.54/911.45	c cleaning 18001 clauses out of 36009 with flag 180000/1794524
1578.09/920.60	c cleaning 19005 clauses out of 38009 with flag 200001/1814525
1594.16/929.91	c cleaning 20000 clauses out of 40003 with flag 221000/1835524
1612.29/940.32	c cleaning 20998 clauses out of 42003 with flag 243000/1857524
1632.96/952.98	c cleaning 21999 clauses out of 44005 with flag 266000/1880524
1651.61/963.61	c cleaning 23001 clauses out of 46007 with flag 290001/1904525
1673.79/976.04	c cleaning 23996 clauses out of 48006 with flag 315001/1929525
1690.36/985.79	c  And the winner is solver1
1690.01/986.02	c Got one! Elapsed wall clock time (in seconds):985.902
1690.01/986.02	o 1168
1692.96/987.56	c cleaning 23305 clauses out of 46628 with flag 5001/1952143
1701.53/994.14	c cleaning 14652 clauses out of 29323 with flag 11001/1958143
1708.52/999.04	c cleaning 10828 clauses out of 21672 with flag 18002/1965144
1716.49/1004.41	c cleaning 9412 clauses out of 18842 with flag 26000/1973142
1725.06/1010.19	c cleaning 9203 clauses out of 18430 with flag 35000/1982142
1736.51/1018.26	c cleaning 9603 clauses out of 19228 with flag 45001/1992143
1746.49/1024.66	c cleaning 10313 clauses out of 20625 with flag 56001/2003143
1757.68/1031.64	c cleaning 11153 clauses out of 22311 with flag 68000/2015142
1769.05/1038.70	c cleaning 12079 clauses out of 24159 with flag 81001/2028143
1783.36/1048.24	c cleaning 13039 clauses out of 26080 with flag 95001/2042143
1796.30/1056.18	c cleaning 14019 clauses out of 28040 with flag 110000/2057142

Verifier Data 

ERROR: no interpretation found !

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-3687642-1337872885/watcher-3687642-1337872885 -o /tmp/evaluation-result-3687642-1337872885/solver-3687642-1337872885 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687642-1337872885.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: 3.58 3.58 2.45 4/197 21844
/proc/meminfo: memFree=27332812/32873844 swapFree=7104/7104
[pid=21844] ppid=21842 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21844/stat : 21844 (java) D 21842 21844 21231 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253414182 9515008 182 33554432000 1073741824 1073778376 140734089869136 140734089860168 272886480565 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21844/statm: 2323 182 140 9 0 71 0

[startup+0.0941869 s]
/proc/loadavg: 3.58 3.58 2.45 4/197 21844
/proc/meminfo: memFree=27332812/32873844 swapFree=7104/7104
[pid=21844] ppid=21842 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/21844/stat : 21844 (java) S 21842 21844 21231 0 -1 4202496 4247 0 1 0 7 1 0 0 20 0 18 0 253414182 9787813888 5440 33554432000 1073741824 1073778376 140733438434688 140733438425824 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21844/statm: 2389603 5440 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100295 s]
/proc/loadavg: 3.58 3.58 2.45 4/197 21844
/proc/meminfo: memFree=27332812/32873844 swapFree=7104/7104
[pid=21844] ppid=21842 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/21844/stat : 21844 (java) S 21842 21844 21231 0 -1 4202496 4296 0 1 0 7 1 0 0 20 0 18 0 253414182 9787813888 5489 33554432000 1073741824 1073778376 140733438434688 140733438425824 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21844/statm: 2389603 5490 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300287 s]
/proc/loadavg: 3.58 3.58 2.45 4/197 21844
/proc/meminfo: memFree=27332812/32873844 swapFree=7104/7104
[pid=21844] ppid=21842 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/21844/stat : 21844 (java) S 21842 21844 21231 0 -1 4202496 5517 0 1 0 43 2 0 0 20 0 18 0 253414182 9787813888 8314 33554432000 1073741824 1073778376 140733438434688 140733438425824 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21844/statm: 2389603 8314 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412

[startup+0.700287 s]
/proc/loadavg: 3.58 3.58 2.45 4/197 21844
/proc/meminfo: memFree=27332812/32873844 swapFree=7104/7104
[pid=21844] ppid=21842 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/21844/stat : 21844 (java) S 21842 21844 21231 0 -1 4202496 13367 0 1 0 82 6 0 0 20 0 19 0 253414182 10060460032 15215 33554432000 1073741824 1073778376 140733438434688 140733438425824 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21844/statm: 2456167 15215 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 9824668

[startup+1.50068 s]
/proc/loadavg: 3.58 3.58 2.45 6/219 21869
/proc/meminfo: memFree=27273540/32873844 swapFree=7104/7104
[pid=21844] ppid=21842 vsize=9824668 CPUtime=2.35 cores=1,3,5,7
/proc/21844/stat : 21844 (java) S 21842 21844 21231 0 -1 4202496 14736 0 1 0 227 8 0 0 20 0 22 0 253414182 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140733438425824 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21844/statm: 2456167 20513 2254 9 0 2446860 0
[pid=21844/tid=21846] ppid=21842 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/21844/task/21846/stat : 21846 (java) S 21842 21844 21231 0 -1 4202560 2482 0 1 0 30 2 0 0 20 0 22 0 253414183 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140387131495416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21847] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21847/stat : 21847 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140387120556584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21848] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21848/stat : 21848 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140387119503784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21849] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21849/stat : 21849 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140387118450984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21850] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21850/stat : 21850 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140387117398184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21851] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21851/stat : 21851 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140387116346408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21852] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21852/stat : 21852 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140387115293608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21853] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21853/stat : 21853 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140387114240808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21854] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21854/stat : 21854 (java) S 21842 21844 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140386967960232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21855] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21855/stat : 21855 (java) S 21842 21844 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253414185 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140386955762152 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21856] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21856/stat : 21856 (java) S 21842 21844 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140386954708216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21857] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21857/stat : 21857 (java) S 21842 21844 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140386953655304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21858] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21858/stat : 21858 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140386952603792 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21859] ppid=21842 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/21844/task/21859/stat : 21859 (java) S 21842 21844 21231 0 -1 4202560 3008 0 0 0 39 0 0 0 20 0 22 0 253414188 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140386951551928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21860] ppid=21842 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/21844/task/21860/stat : 21860 (java) R 21842 21844 21231 0 -1 4202560 7882 0 0 0 64 2 0 0 20 0 22 0 253414188 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140386950499128 272886106881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21861] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21861/stat : 21861 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140386949446520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21862] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21862/stat : 21862 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140386948393928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21869] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21869/stat : 21869 (java) S 21842 21844 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253414267 10060460032 20513 33554432000 1073741824 1073778376 140733438434688 140386947339688 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9824668

[startup+3.1007 s]
/proc/loadavg: 3.58 3.58 2.45 3/216 21875
/proc/meminfo: memFree=27236980/32873844 swapFree=7104/7104
[pid=21844] ppid=21842 vsize=9824668 CPUtime=5.06 cores=1,3,5,7
/proc/21844/stat : 21844 (java) S 21842 21844 21231 0 -1 4202496 18114 0 1 0 491 15 0 0 20 0 22 0 253414182 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140733438425824 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21844/statm: 2456167 35265 2259 9 0 2446860 0
[pid=21844/tid=21846] ppid=21842 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/21844/task/21846/stat : 21846 (java) S 21842 21844 21231 0 -1 4202560 2484 0 1 0 31 2 0 0 20 0 22 0 253414183 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140387131495416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21847] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21847/stat : 21847 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140387120556584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21848] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21848/stat : 21848 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140387119503784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21849] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21849/stat : 21849 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140387118450984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21850] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21850/stat : 21850 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140387117398184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21851] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21851/stat : 21851 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140387116346408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21852] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21852/stat : 21852 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140387115293608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21853] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21853/stat : 21853 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140387114240808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21854] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21854/stat : 21854 (java) S 21842 21844 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140386967960232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21855] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21855/stat : 21855 (java) S 21842 21844 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253414185 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140386955762152 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21856] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21856/stat : 21856 (java) S 21842 21844 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140386954708216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21857] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21857/stat : 21857 (java) S 21842 21844 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140386953655304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21858] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21858/stat : 21858 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140386952603792 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21859] ppid=21842 vsize=9824668 CPUtime=0.54 cores=1,3,5,7
/proc/21844/task/21859/stat : 21859 (java) S 21842 21844 21231 0 -1 4202560 4661 0 0 0 52 2 0 0 20 0 22 0 253414188 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140386951551928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21860] ppid=21842 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/21844/task/21860/stat : 21860 (java) S 21842 21844 21231 0 -1 4202560 9551 0 0 0 101 2 0 0 20 0 22 0 253414188 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140386950499128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21861] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21861/stat : 21861 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140386949446520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21862] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21862/stat : 21862 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140386948393928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21869] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21869/stat : 21869 (java) S 21842 21844 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253414267 10060460032 35265 33554432000 1073741824 1073778376 140733438434688 140386947339688 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 9824668

[startup+6.30086 s]
/proc/loadavg: 3.53 3.57 2.45 4/219 21887
/proc/meminfo: memFree=27089020/32873844 swapFree=7104/7104
[pid=21844] ppid=21842 vsize=9824668 CPUtime=10.69 cores=1,3,5,7
/proc/21844/stat : 21844 (java) S 21842 21844 21231 0 -1 4202496 18887 0 1 0 1040 29 0 0 20 0 22 0 253414182 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140733438425824 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21844/statm: 2456167 64629 2284 9 0 2446860 0
[pid=21844/tid=21846] ppid=21842 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/21844/task/21846/stat : 21846 (java) S 21842 21844 21231 0 -1 4202560 2486 0 1 0 31 2 0 0 20 0 22 0 253414183 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140387131495416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21847] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21847/stat : 21847 (java) S 21842 21844 21231 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140387120556584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21848] ppid=21842 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/21844/task/21848/stat : 21848 (java) S 21842 21844 21231 0 -1 4202560 21 0 0 0 0 1 0 0 20 0 22 0 253414184 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140387119503784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21849] ppid=21842 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/21844/task/21849/stat : 21849 (java) S 21842 21844 21231 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253414184 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140387118450984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21850] ppid=21842 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/21844/task/21850/stat : 21850 (java) S 21842 21844 21231 0 -1 4202560 155 0 0 0 1 2 0 0 20 0 22 0 253414184 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140387117398184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21851] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21851/stat : 21851 (java) S 21842 21844 21231 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140387116346408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21852] ppid=21842 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/21844/task/21852/stat : 21852 (java) S 21842 21844 21231 0 -1 4202560 214 0 0 0 0 2 0 0 20 0 22 0 253414184 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140387115293608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21853] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21853/stat : 21853 (java) S 21842 21844 21231 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 22 0 253414184 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140387114240808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21854] ppid=21842 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/21844/task/21854/stat : 21854 (java) S 21842 21844 21231 0 -1 4202560 102 0 0 0 0 2 0 0 20 0 22 0 253414184 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386967960232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21855] ppid=21842 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/21844/task/21855/stat : 21855 (java) S 21842 21844 21231 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 22 0 253414185 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386955762152 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21856] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21856/stat : 21856 (java) S 21842 21844 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386954708216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21857] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21857/stat : 21857 (java) S 21842 21844 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386953655304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21858] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21858/stat : 21858 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386952603792 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21859] ppid=21842 vsize=9824668 CPUtime=0.65 cores=1,3,5,7
/proc/21844/task/21859/stat : 21859 (java) S 21842 21844 21231 0 -1 4202560 4746 0 0 0 63 2 0 0 20 0 22 0 253414188 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386951551928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21860] ppid=21842 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/21844/task/21860/stat : 21860 (java) S 21842 21844 21231 0 -1 4202560 9555 0 0 0 115 2 0 0 20 0 22 0 253414188 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386950499128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21861] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21861/stat : 21861 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386949446520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21862] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21862/stat : 21862 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386948393928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21869] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21869/stat : 21869 (java) S 21842 21844 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253414267 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386947339688 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21885] ppid=21842 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/21844/task/21885/stat : 21885 (java) R 21842 21844 21231 0 -1 4202560 7 0 0 0 184 0 0 0 20 0 22 0 253414619 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386946286504 140386996347808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21886] ppid=21842 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/21844/task/21886/stat : 21886 (java) R 21842 21844 21231 0 -1 4202560 4 0 0 0 183 0 0 0 20 0 22 0 253414619 10060460032 64629 33554432000 1073741824 1073778376 140733438434688 140386944707136 140386996265277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0

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

/proc/21844/statm: 2456167 779652 2286 9 0 2446860 0
[pid=21844/tid=21846] ppid=21842 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/21844/task/21846/stat : 21846 (java) S 21842 21844 21231 0 -1 4202560 2624 0 1 0 40 3 0 0 20 0 22 0 253414183 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387131495128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21847] ppid=21842 vsize=9824668 CPUtime=3.7 cores=1,3,5,7
/proc/21844/task/21847/stat : 21847 (java) S 21842 21844 21231 0 -1 4202560 3013 0 0 0 347 23 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387120556584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21848] ppid=21842 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/21844/task/21848/stat : 21848 (java) S 21842 21844 21231 0 -1 4202560 998 0 0 0 316 19 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387119503784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21849] ppid=21842 vsize=9824668 CPUtime=3.62 cores=1,3,5,7
/proc/21844/task/21849/stat : 21849 (java) S 21842 21844 21231 0 -1 4202560 1756 0 0 0 340 22 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387118450984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21850] ppid=21842 vsize=9824668 CPUtime=3.72 cores=1,3,5,7
/proc/21844/task/21850/stat : 21850 (java) S 21842 21844 21231 0 -1 4202560 1823 0 0 0 351 21 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387117398184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21851] ppid=21842 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/21844/task/21851/stat : 21851 (java) S 21842 21844 21231 0 -1 4202560 1563 0 0 0 339 17 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387116346408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21852] ppid=21842 vsize=9824668 CPUtime=3.81 cores=1,3,5,7
/proc/21844/task/21852/stat : 21852 (java) S 21842 21844 21231 0 -1 4202560 1792 0 0 0 360 21 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387115293608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21853] ppid=21842 vsize=9824668 CPUtime=3.9 cores=1,3,5,7
/proc/21844/task/21853/stat : 21853 (java) S 21842 21844 21231 0 -1 4202560 1198 0 0 0 363 27 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387114240808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21854] ppid=21842 vsize=9824668 CPUtime=3.49 cores=1,3,5,7
/proc/21844/task/21854/stat : 21854 (java) S 21842 21844 21231 0 -1 4202560 2098 0 0 0 328 21 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386967960232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21855] ppid=21842 vsize=9824668 CPUtime=319.65 cores=1,3,5,7
/proc/21844/task/21855/stat : 21855 (java) R 21842 21844 21231 0 -1 4202560 4040 0 0 0 31934 31 0 0 20 0 22 0 253414185 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386955761000 140387135656200 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21856] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21856/stat : 21856 (java) S 21842 21844 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386954708216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21857] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21857/stat : 21857 (java) S 21842 21844 21231 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386953655304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21858] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21858/stat : 21858 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386952603336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21859] ppid=21842 vsize=9824668 CPUtime=0.8 cores=1,3,5,7
/proc/21844/task/21859/stat : 21859 (java) S 21842 21844 21231 0 -1 4202560 4758 0 0 0 78 2 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386951551928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21860] ppid=21842 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/21844/task/21860/stat : 21860 (java) S 21842 21844 21231 0 -1 4202560 9564 0 0 0 144 2 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386950499128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21861] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21861/stat : 21861 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386949446520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21862] ppid=21842 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/21844/task/21862/stat : 21862 (java) S 21842 21844 21231 0 -1 4202560 61 0 0 0 25 27 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386948393928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21869] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21869/stat : 21869 (java) S 21842 21844 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253414267 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386947339688 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=22071] ppid=21842 vsize=9824668 CPUtime=34.73 cores=1,3,5,7
/proc/21844/task/22071/stat : 22071 (java) S 21842 21844 21231 0 -1 4202560 5 0 0 0 3473 0 0 0 20 0 22 0 253512785 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386946286552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=22072] ppid=21842 vsize=9824668 CPUtime=34.73 cores=1,3,5,7
/proc/21844/task/22072/stat : 22072 (java) S 21842 21844 21231 0 -1 4202560 2 0 0 0 3473 0 0 0 20 0 22 0 253512785 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386944707560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=22073] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/22073/stat : 22073 (java) S 21842 21844 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253512785 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386943657256 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 9824668

[startup+1058.6 s]
/proc/loadavg: 3.43 3.48 3.12 4/220 22074
/proc/meminfo: memFree=23063536/32873844 swapFree=7104/7104
[pid=21844] ppid=21842 vsize=9824668 CPUtime=1799.09 cores=1,3,5,7
/proc/21844/stat : 21844 (java) S 21842 21844 21231 0 -1 4202496 37948 0 1 0 179615 294 0 0 20 0 22 0 253414182 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140733438425824 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21844/statm: 2456167 779652 2286 9 0 2446860 0
[pid=21844/tid=21846] ppid=21842 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/21844/task/21846/stat : 21846 (java) S 21842 21844 21231 0 -1 4202560 2624 0 1 0 40 3 0 0 20 0 22 0 253414183 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387131495128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21847] ppid=21842 vsize=9824668 CPUtime=3.7 cores=1,3,5,7
/proc/21844/task/21847/stat : 21847 (java) S 21842 21844 21231 0 -1 4202560 3013 0 0 0 347 23 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387120556584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21848] ppid=21842 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/21844/task/21848/stat : 21848 (java) S 21842 21844 21231 0 -1 4202560 998 0 0 0 316 19 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387119503784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21849] ppid=21842 vsize=9824668 CPUtime=3.62 cores=1,3,5,7
/proc/21844/task/21849/stat : 21849 (java) S 21842 21844 21231 0 -1 4202560 1756 0 0 0 340 22 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387118450984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21850] ppid=21842 vsize=9824668 CPUtime=3.72 cores=1,3,5,7
/proc/21844/task/21850/stat : 21850 (java) S 21842 21844 21231 0 -1 4202560 1823 0 0 0 351 21 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387117398184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21851] ppid=21842 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/21844/task/21851/stat : 21851 (java) S 21842 21844 21231 0 -1 4202560 1563 0 0 0 339 17 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387116346408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21852] ppid=21842 vsize=9824668 CPUtime=3.81 cores=1,3,5,7
/proc/21844/task/21852/stat : 21852 (java) S 21842 21844 21231 0 -1 4202560 1792 0 0 0 360 21 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387115293608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21853] ppid=21842 vsize=9824668 CPUtime=3.9 cores=1,3,5,7
/proc/21844/task/21853/stat : 21853 (java) S 21842 21844 21231 0 -1 4202560 1198 0 0 0 363 27 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387114240808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21854] ppid=21842 vsize=9824668 CPUtime=3.49 cores=1,3,5,7
/proc/21844/task/21854/stat : 21854 (java) S 21842 21844 21231 0 -1 4202560 2098 0 0 0 328 21 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386967960232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21855] ppid=21842 vsize=9824668 CPUtime=320.04 cores=1,3,5,7
/proc/21844/task/21855/stat : 21855 (java) R 21842 21844 21231 0 -1 4202560 4040 0 0 0 31973 31 0 0 20 0 22 0 253414185 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386955761000 140387138350356 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21856] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21856/stat : 21856 (java) S 21842 21844 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386954708216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21857] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21857/stat : 21857 (java) S 21842 21844 21231 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386953655304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21858] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21858/stat : 21858 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386952603336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21859] ppid=21842 vsize=9824668 CPUtime=0.8 cores=1,3,5,7
/proc/21844/task/21859/stat : 21859 (java) S 21842 21844 21231 0 -1 4202560 4758 0 0 0 78 2 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386951551928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21860] ppid=21842 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/21844/task/21860/stat : 21860 (java) S 21842 21844 21231 0 -1 4202560 9564 0 0 0 144 2 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386950499128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21861] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21861/stat : 21861 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386949446520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21862] ppid=21842 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/21844/task/21862/stat : 21862 (java) S 21842 21844 21231 0 -1 4202560 61 0 0 0 25 27 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386948393928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21869] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21869/stat : 21869 (java) S 21842 21844 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253414267 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386947339688 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=22071] ppid=21842 vsize=9824668 CPUtime=34.73 cores=1,3,5,7
/proc/21844/task/22071/stat : 22071 (java) S 21842 21844 21231 0 -1 4202560 5 0 0 0 3473 0 0 0 20 0 22 0 253512785 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386946286552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=22072] ppid=21842 vsize=9824668 CPUtime=34.73 cores=1,3,5,7
/proc/21844/task/22072/stat : 22072 (java) S 21842 21844 21231 0 -1 4202560 2 0 0 0 3473 0 0 0 20 0 22 0 253512785 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386944707560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=22073] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/22073/stat : 22073 (java) S 21842 21844 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253512785 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386943657256 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 9824668

[startup+1059 s]
/proc/loadavg: 3.43 3.48 3.12 4/220 22074
/proc/meminfo: memFree=23063536/32873844 swapFree=7104/7104
[pid=21844] ppid=21842 vsize=9824668 CPUtime=1799.49 cores=1,3,5,7
/proc/21844/stat : 21844 (java) S 21842 21844 21231 0 -1 4202496 37948 0 1 0 179655 294 0 0 20 0 22 0 253414182 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140733438425824 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21844/statm: 2456167 779652 2286 9 0 2446860 0
[pid=21844/tid=21846] ppid=21842 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/21844/task/21846/stat : 21846 (java) S 21842 21844 21231 0 -1 4202560 2624 0 1 0 40 3 0 0 20 0 22 0 253414183 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387131495128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21847] ppid=21842 vsize=9824668 CPUtime=3.7 cores=1,3,5,7
/proc/21844/task/21847/stat : 21847 (java) S 21842 21844 21231 0 -1 4202560 3013 0 0 0 347 23 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387120556584 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21848] ppid=21842 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/21844/task/21848/stat : 21848 (java) S 21842 21844 21231 0 -1 4202560 998 0 0 0 316 19 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387119503784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21849] ppid=21842 vsize=9824668 CPUtime=3.62 cores=1,3,5,7
/proc/21844/task/21849/stat : 21849 (java) S 21842 21844 21231 0 -1 4202560 1756 0 0 0 340 22 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387118450984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21850] ppid=21842 vsize=9824668 CPUtime=3.72 cores=1,3,5,7
/proc/21844/task/21850/stat : 21850 (java) S 21842 21844 21231 0 -1 4202560 1823 0 0 0 351 21 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387117398184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21851] ppid=21842 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/21844/task/21851/stat : 21851 (java) S 21842 21844 21231 0 -1 4202560 1563 0 0 0 339 17 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387116346408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21852] ppid=21842 vsize=9824668 CPUtime=3.81 cores=1,3,5,7
/proc/21844/task/21852/stat : 21852 (java) S 21842 21844 21231 0 -1 4202560 1792 0 0 0 360 21 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387115293608 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21853] ppid=21842 vsize=9824668 CPUtime=3.9 cores=1,3,5,7
/proc/21844/task/21853/stat : 21853 (java) S 21842 21844 21231 0 -1 4202560 1198 0 0 0 363 27 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140387114240808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21854] ppid=21842 vsize=9824668 CPUtime=3.49 cores=1,3,5,7
/proc/21844/task/21854/stat : 21854 (java) S 21842 21844 21231 0 -1 4202560 2098 0 0 0 328 21 0 0 20 0 22 0 253414184 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386967960232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21855] ppid=21842 vsize=9824668 CPUtime=320.44 cores=1,3,5,7
/proc/21844/task/21855/stat : 21855 (java) R 21842 21844 21231 0 -1 4202560 4040 0 0 0 32013 31 0 0 20 0 22 0 253414185 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386955761000 140387138003040 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21856] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21856/stat : 21856 (java) S 21842 21844 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386954708216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21857] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21857/stat : 21857 (java) S 21842 21844 21231 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253414186 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386953655304 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21858] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21858/stat : 21858 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386952603336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=21859] ppid=21842 vsize=9824668 CPUtime=0.8 cores=1,3,5,7
/proc/21844/task/21859/stat : 21859 (java) S 21842 21844 21231 0 -1 4202560 4758 0 0 0 78 2 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386951551928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21860] ppid=21842 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/21844/task/21860/stat : 21860 (java) S 21842 21844 21231 0 -1 4202560 9564 0 0 0 144 2 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386950499128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21844/tid=21861] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21861/stat : 21861 (java) S 21842 21844 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386949446520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=21862] ppid=21842 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/21844/task/21862/stat : 21862 (java) S 21842 21844 21231 0 -1 4202560 61 0 0 0 25 27 0 0 20 0 22 0 253414188 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386948393928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=21869] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/21869/stat : 21869 (java) S 21842 21844 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253414267 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386947339688 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21844/tid=22071] ppid=21842 vsize=9824668 CPUtime=34.73 cores=1,3,5,7
/proc/21844/task/22071/stat : 22071 (java) S 21842 21844 21231 0 -1 4202560 5 0 0 0 3473 0 0 0 20 0 22 0 253512785 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386946286552 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21844/tid=22072] ppid=21842 vsize=9824668 CPUtime=34.73 cores=1,3,5,7
/proc/21844/task/22072/stat : 22072 (java) S 21842 21844 21231 0 -1 4202560 2 0 0 0 3473 0 0 0 20 0 22 0 253512785 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386944707560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21844/tid=22073] ppid=21842 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21844/task/22073/stat : 22073 (java) S 21842 21844 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253512785 10060460032 779652 33554432000 1073741824 1073778376 140733438434688 140386943657256 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 9824668

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21844 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=448050
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=133523
# CPU time returned by wait4() is 1798.58
# while last known CPU time is 1799.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.60018
#  lost CPU user time (s): 2.83007
#  lost CPU system time (s): -0.23

Real time (s): 1059.04
CPU time (s): 1802.09
CPU user time (s): 1799.38
CPU system time (s): 2.71
CPU usage (%): 170.163
Max. virtual memory (cumulated for all children) (KiB): 9825180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.45
system time used= 3.13352
maximum resident set size= 3139640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37948
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28816
involuntary context switches= 44068

runsolver used 2.33664 second user time and 5.76512 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-24 17:21:25
IDJOB=3687642
IDBENCH=1987
IDSOLVER=2268
FILE ID=node119/3687642-1337872885
RUNJOBID= node119-1337871880-21248
PBS_JOBID= 14620085
Free space on /tmp= 71700 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687642-1337872885/watcher-3687642-1337872885 -o /tmp/evaluation-result-3687642-1337872885/solver-3687642-1337872885 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687642-1337872885.opb

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

MD5SUM BENCH= e1d6958876c3f9359c6b5193f1345bd5
RANDOM SEED=1669505031

node119.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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
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.943
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.943
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.93
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.943
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.943
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.93
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.943
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.92
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.943
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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27333348 kB
Buffers:          199952 kB
Cached:          2770576 kB
SwapCached:            0 kB
Active:          2164016 kB
Inactive:        2609736 kB
Active(anon):    1805664 kB
Inactive(anon):        0 kB
Active(file):     358352 kB
Inactive(file):  2609736 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               428 kB
Writeback:             8 kB
AnonPages:       1809920 kB
Mapped:            21624 kB
Shmem:               200 kB
Slab:             625196 kB
SReclaimable:      67536 kB
SUnreclaim:       557660 kB
KernelStack:        1632 kB
PageTables:         7856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2113496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1728512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node119 at 2012-05-24 17:39:04