Trace number 3457988

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.07 1797.48

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_40.opb
MD5SUMc1794605d16cd8196553c490f5507fd9
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version 2.3.1.v20110525
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.10	c java.vm.version	19.1-b02
0.00/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.18-164.el5
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		12995394264
0.00/0.10	c Max memory 		13063553024
0.00/0.10	c Total memory 		13063553024
0.00/0.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3457988-1307164113.opb
0.10/0.12	c reading problem ... 
1.03/0.52	c ... done. Wall clock time 0.407s.
1.03/0.52	c #vars     6626
1.03/0.52	c #constraints  13055
1.03/0.52	c constraints type 
1.03/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1.03/0.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1.03/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.03/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
3.86/2.81	c cleaning 2511 clauses out of 5021 with flag 5021/5021
7.01/5.94	c cleaning 4245 clauses out of 8489 with flag 11000/11000
10.82/9.79	c cleaning 5627 clauses out of 11253 with flag 18009/18009
15.55/14.49	c cleaning 6812 clauses out of 13623 with flag 26006/26006
19.46/18.39	c cleaning 7906 clauses out of 15815 with flag 35010/35010
24.58/23.41	c cleaning 8948 clauses out of 17900 with flag 45001/45001
28.28/27.16	c cleaning 9976 clauses out of 19953 with flag 56002/56002
33.21/32.07	c cleaning 10985 clauses out of 21976 with flag 68001/68001
41.30/40.16	c cleaning 12006 clauses out of 24014 with flag 81024/81024
54.31/53.11	c cleaning 12991 clauses out of 25984 with flag 95000/95000
66.71/65.56	c cleaning 13498 clauses out of 26999 with flag 109006/109006
76.62/75.42	c cleaning 13752 clauses out of 27506 with flag 123011/123011
89.93/88.77	c cleaning 13870 clauses out of 27743 with flag 137000/137000
100.35/99.18	c cleaning 13942 clauses out of 27886 with flag 151013/151013
112.46/111.27	c cleaning 13966 clauses out of 27933 with flag 165002/165002
119.74/118.58	c cleaning 14018 clauses out of 28038 with flag 179073/179073
130.75/129.52	c cleaning 13975 clauses out of 27951 with flag 193004/193004
142.75/141.52	c cleaning 13999 clauses out of 28000 with flag 207028/207028
153.96/152.74	c cleaning 13991 clauses out of 27986 with flag 221013/221013
160.06/158.82	c cleaning 13993 clauses out of 27990 with flag 235008/235008
166.38/165.14	c cleaning 13999 clauses out of 28001 with flag 249012/249012
172.99/171.78	c cleaning 14001 clauses out of 28003 with flag 263013/263013
178.18/176.94	c cleaning 13999 clauses out of 28002 with flag 277013/277013
184.00/182.73	c cleaning 13985 clauses out of 27990 with flag 291000/291000
190.29/189.08	c cleaning 14012 clauses out of 28027 with flag 305022/305022
196.71/195.43	c cleaning 14010 clauses out of 28023 with flag 319030/319030
203.31/202.06	c cleaning 13995 clauses out of 27994 with flag 333011/333011
210.44/209.14	c cleaning 13999 clauses out of 28001 with flag 347013/347013
216.43/215.12	c cleaning 14003 clauses out of 28010 with flag 361021/361021
223.94/222.66	c cleaning 14009 clauses out of 28020 with flag 375034/375034
230.75/229.46	c cleaning 14000 clauses out of 28003 with flag 389026/389026
237.55/236.21	c cleaning 14003 clauses out of 28010 with flag 403033/403033
244.96/243.67	c cleaning 13990 clauses out of 27983 with flag 417009/417009
251.47/250.12	c cleaning 14006 clauses out of 28014 with flag 431030/431030
258.49/257.19	c cleaning 13987 clauses out of 27978 with flag 445000/445000
266.80/265.41	c cleaning 13999 clauses out of 28001 with flag 459010/459010
274.71/273.34	c cleaning 13994 clauses out of 27992 with flag 473000/473000
281.94/280.59	c cleaning 14004 clauses out of 28012 with flag 487014/487014
288.34/286.93	c cleaning 14001 clauses out of 28006 with flag 501012/501012
295.35/293.93	c cleaning 14001 clauses out of 28005 with flag 515012/515012
302.88/301.49	c cleaning 13994 clauses out of 27992 with flag 529000/529000
309.98/308.57	c cleaning 14004 clauses out of 28012 with flag 543014/543014
317.49/316.04	c cleaning 13997 clauses out of 27997 with flag 557003/557003
325.30/323.80	c cleaning 14017 clauses out of 28036 with flag 571039/571039
333.61/332.12	c cleaning 13997 clauses out of 27997 with flag 585017/585017
340.82/339.31	c cleaning 13992 clauses out of 27987 with flag 599004/599004
348.04/346.52	c cleaning 14004 clauses out of 28012 with flag 613021/613021
355.24/353.76	c cleaning 14003 clauses out of 28009 with flag 627022/627022
361.86/360.38	c cleaning 14001 clauses out of 28006 with flag 641022/641022
369.87/368.39	c cleaning 13995 clauses out of 27993 with flag 655010/655010
377.39/375.84	c cleaning 13993 clauses out of 27989 with flag 669001/669001
385.69/384.11	c cleaning 13998 clauses out of 28000 with flag 683005/683005
392.80/391.28	c cleaning 14019 clauses out of 28038 with flag 697041/697041
400.81/399.29	c cleaning 13989 clauses out of 27982 with flag 711004/711004
408.32/406.70	c cleaning 14014 clauses out of 28031 with flag 725042/725042
416.03/414.44	c cleaning 13999 clauses out of 28001 with flag 739026/739026
423.54/421.97	c cleaning 14014 clauses out of 28027 with flag 753051/753051
431.55/429.90	c cleaning 13980 clauses out of 27964 with flag 767002/767002
439.77/438.11	c cleaning 13999 clauses out of 28000 with flag 781018/781018
447.31/445.68	c cleaning 13995 clauses out of 27993 with flag 795010/795010
454.92/453.22	c cleaning 14012 clauses out of 28024 with flag 809036/809036
462.02/460.40	c cleaning 14013 clauses out of 28027 with flag 823051/823051
469.84/468.14	c cleaning 13986 clauses out of 27975 with flag 837012/837012
477.75/476.03	c cleaning 14008 clauses out of 28017 with flag 851040/851040
485.77/484.09	c cleaning 14025 clauses out of 28050 with flag 865081/865081
493.67/491.91	c cleaning 13976 clauses out of 27955 with flag 879011/879011
501.48/499.74	c cleaning 13996 clauses out of 27993 with flag 893025/893025
509.10/507.31	c cleaning 13996 clauses out of 27995 with flag 907023/907023
516.65/514.84	c cleaning 13992 clauses out of 27988 with flag 921012/921012
524.46/522.62	c cleaning 14019 clauses out of 28038 with flag 935054/935054
532.17/530.34	c cleaning 14000 clauses out of 28003 with flag 949038/949038
539.56/537.79	c cleaning 13995 clauses out of 27994 with flag 963029/963029
546.97/545.10	c cleaning 13990 clauses out of 27982 with flag 977012/977012
554.29/552.43	c cleaning 13989 clauses out of 27981 with flag 991001/991001
561.39/559.52	c cleaning 13996 clauses out of 27993 with flag 1005002/1005002
568.69/566.84	c cleaning 14007 clauses out of 28017 with flag 1019022/1019022
576.00/574.13	c cleaning 13993 clauses out of 27990 with flag 1033002/1033002
583.41/581.53	c cleaning 14022 clauses out of 28043 with flag 1047048/1047048
591.21/589.36	c cleaning 13997 clauses out of 27996 with flag 1061023/1061023
598.83/596.92	c cleaning 13991 clauses out of 27983 with flag 1075007/1075007
606.34/604.40	c cleaning 13994 clauses out of 27991 with flag 1089006/1089006
613.34/611.46	c cleaning 13996 clauses out of 27996 with flag 1103005/1103005
620.55/618.64	c cleaning 14020 clauses out of 28041 with flag 1117046/1117046
627.87/625.99	c cleaning 13999 clauses out of 28001 with flag 1131026/1131026
635.25/633.39	c cleaning 13990 clauses out of 27983 with flag 1145007/1145007
643.76/641.80	c cleaning 14012 clauses out of 28026 with flag 1159040/1159040
651.36/649.42	c cleaning 14002 clauses out of 28005 with flag 1173031/1173031
659.79/657.89	c cleaning 13990 clauses out of 27984 with flag 1187012/1187012
666.68/664.73	c cleaning 13996 clauses out of 27994 with flag 1201012/1201012
674.48/672.54	c cleaning 13992 clauses out of 27986 with flag 1215000/1215000
682.48/680.59	c cleaning 14000 clauses out of 28002 with flag 1229008/1229008
690.60/688.69	c cleaning 14000 clauses out of 28001 with flag 1243007/1243007
698.89/696.90	c cleaning 14034 clauses out of 28069 with flag 1257075/1257075
706.89/704.99	c cleaning 13984 clauses out of 27972 with flag 1271012/1271012
715.39/713.49	c cleaning 13988 clauses out of 27977 with flag 1285001/1285001
724.09/722.15	c cleaning 14001 clauses out of 28004 with flag 1299016/1299016
733.00/731.06	c cleaning 14026 clauses out of 28052 with flag 1313065/1313065
742.00/740.01	c cleaning 14002 clauses out of 28006 with flag 1327045/1327045
749.61/747.60	c cleaning 13987 clauses out of 27975 with flag 1341016/1341016
757.73/755.76	c cleaning 13994 clauses out of 27991 with flag 1355019/1355019
764.62/762.63	c cleaning 13988 clauses out of 27982 with flag 1369004/1369004
772.15/770.19	c cleaning 13995 clauses out of 27993 with flag 1383003/1383003
779.13/777.18	c cleaning 14002 clauses out of 28007 with flag 1397012/1397012
786.35/784.40	c cleaning 13997 clauses out of 27997 with flag 1411004/1411004
793.95/791.92	c cleaning 14004 clauses out of 28011 with flag 1425015/1425015
801.35/799.37	c cleaning 13996 clauses out of 27996 with flag 1439004/1439004
809.47/807.43	c cleaning 14015 clauses out of 28031 with flag 1453035/1453035
817.76/815.79	c cleaning 13995 clauses out of 27993 with flag 1467012/1467012
824.99/822.92	c cleaning 13995 clauses out of 27993 with flag 1481007/1481007
832.17/830.19	c cleaning 14014 clauses out of 28029 with flag 1495038/1495038
839.57/837.58	c cleaning 13992 clauses out of 27987 with flag 1509010/1509010
847.18/845.12	c cleaning 14000 clauses out of 28002 with flag 1523017/1523017
854.88/852.81	c cleaning 13997 clauses out of 27998 with flag 1537013/1537013
862.98/860.91	c cleaning 14002 clauses out of 28007 with flag 1551019/1551019
870.68/868.62	c cleaning 13997 clauses out of 28000 with flag 1565014/1565014
878.59/876.50	c cleaning 14003 clauses out of 28008 with flag 1579019/1579019
886.39/884.42	c cleaning 14027 clauses out of 28054 with flag 1593068/1593068
894.69/892.65	c cleaning 14012 clauses out of 28025 with flag 1607066/1607066
903.12/901.02	c cleaning 13995 clauses out of 27993 with flag 1621046/1621046
910.60/908.60	c cleaning 13976 clauses out of 27956 with flag 1635004/1635004
918.42/916.39	c cleaning 13993 clauses out of 27988 with flag 1649012/1649012
926.81/924.71	c cleaning 14021 clauses out of 28044 with flag 1663061/1663061
935.03/932.96	c cleaning 13979 clauses out of 27962 with flag 1677000/1677000
943.21/941.10	c cleaning 14000 clauses out of 28002 with flag 1691019/1691019
951.43/949.34	c cleaning 14008 clauses out of 28017 with flag 1705034/1705034
959.73/957.61	c cleaning 14012 clauses out of 28024 with flag 1719049/1719049
968.13/966.08	c cleaning 13988 clauses out of 27979 with flag 1733016/1733016
976.75/974.68	c cleaning 14014 clauses out of 28030 with flag 1747055/1747055
985.84/983.76	c cleaning 13984 clauses out of 27971 with flag 1761010/1761010
994.64/992.57	c cleaning 13989 clauses out of 27982 with flag 1775005/1775005
1001.85/999.71	c cleaning 14010 clauses out of 28022 with flag 1789034/1789034
1009.05/1006.94	c cleaning 13990 clauses out of 27983 with flag 1803005/1803005
1016.47/1014.35	c cleaning 14003 clauses out of 28007 with flag 1817019/1817019
1023.86/1021.73	c cleaning 14015 clauses out of 28031 with flag 1831046/1831046
1031.77/1029.62	c cleaning 14008 clauses out of 28018 with flag 1845048/1845048
1040.26/1038.12	c cleaning 14005 clauses out of 28012 with flag 1859050/1859050
1049.76/1047.62	c cleaning 13989 clauses out of 27981 with flag 1873024/1873024
1058.18/1056.02	c cleaning 14020 clauses out of 28041 with flag 1887073/1887073
1066.57/1064.48	c cleaning 14013 clauses out of 28027 with flag 1901079/1901079
1075.47/1073.32	c cleaning 13975 clauses out of 27953 with flag 1915018/1915018
1084.08/1081.97	c cleaning 13984 clauses out of 27970 with flag 1929010/1929010
1093.08/1090.92	c cleaning 14008 clauses out of 28017 with flag 1943041/1943041
1102.09/1099.92	c cleaning 14021 clauses out of 28043 with flag 1957075/1957075
1110.39/1108.22	c cleaning 13991 clauses out of 27981 with flag 1971034/1971034
1118.39/1116.27	c cleaning 13990 clauses out of 27982 with flag 1985026/1985026
1127.90/1125.74	c cleaning 13984 clauses out of 27970 with flag 1999004/1999004
1135.60/1133.42	c cleaning 13991 clauses out of 27985 with flag 2013003/2013003
1143.91/1141.80	c cleaning 14010 clauses out of 28024 with flag 2027033/2027033
1151.31/1149.16	c cleaning 13995 clauses out of 27993 with flag 2041012/2041012
1158.44/1156.25	c cleaning 13997 clauses out of 27998 with flag 2055012/2055012
1165.63/1163.48	c cleaning 13998 clauses out of 27999 with flag 2069010/2069010
1173.34/1171.14	c cleaning 14000 clauses out of 28003 with flag 2083012/2083012
1180.54/1178.36	c cleaning 13996 clauses out of 27995 with flag 2097004/2097004
1188.65/1186.42	c cleaning 13999 clauses out of 27999 with flag 2111004/2111004
1196.88/1194.70	c cleaning 13997 clauses out of 27998 with flag 2125002/2125002
1204.07/1201.81	c cleaning 14007 clauses out of 28017 with flag 2139018/2139018
1211.78/1209.53	c cleaning 14012 clauses out of 28026 with flag 2153034/2153034
1219.38/1217.17	c cleaning 14006 clauses out of 28013 with flag 2167033/2167033
1227.38/1225.13	c cleaning 13990 clauses out of 27984 with flag 2181010/2181010
1235.51/1233.25	c cleaning 14001 clauses out of 28006 with flag 2195022/2195022
1242.59/1240.34	c cleaning 14001 clauses out of 28006 with flag 2209023/2209023
1249.81/1247.55	c cleaning 13989 clauses out of 27982 with flag 2223000/2223000
1257.59/1255.36	c cleaning 14007 clauses out of 28015 with flag 2237022/2237022
1265.70/1263.49	c cleaning 14024 clauses out of 28047 with flag 2251061/2251061
1273.92/1271.66	c cleaning 13998 clauses out of 27998 with flag 2265036/2265036
1282.41/1280.12	c cleaning 14002 clauses out of 28006 with flag 2279042/2279042
1290.71/1288.47	c cleaning 13999 clauses out of 28002 with flag 2293040/2293040
1297.91/1295.64	c cleaning 14002 clauses out of 28005 with flag 2307042/2307042
1305.93/1303.64	c cleaning 13993 clauses out of 27990 with flag 2321029/2321029
1313.64/1311.37	c cleaning 13982 clauses out of 27968 with flag 2335000/2335000
1322.02/1319.70	c cleaning 14002 clauses out of 28006 with flag 2349020/2349020
1330.53/1328.22	c cleaning 13997 clauses out of 27995 with flag 2363011/2363011
1339.03/1336.71	c cleaning 14024 clauses out of 28050 with flag 2377063/2377063
1347.33/1345.06	c cleaning 13999 clauses out of 28001 with flag 2391038/2391038
1356.14/1353.81	c cleaning 14008 clauses out of 28017 with flag 2405053/2405053
1365.04/1362.72	c cleaning 13985 clauses out of 27973 with flag 2419017/2419017
1374.24/1371.95	c cleaning 14024 clauses out of 28048 with flag 2433077/2433077
1382.15/1379.85	c cleaning 14001 clauses out of 28006 with flag 2447059/2447059
1390.15/1387.84	c cleaning 13977 clauses out of 27957 with flag 2461011/2461011
1398.45/1396.11	c cleaning 13991 clauses out of 27983 with flag 2475014/2475014
1406.55/1404.27	c cleaning 13993 clauses out of 27987 with flag 2489009/2489009
1414.77/1412.42	c cleaning 14012 clauses out of 28026 with flag 2503041/2503041
1422.96/1420.67	c cleaning 14000 clauses out of 28001 with flag 2517028/2517028
1431.17/1428.91	c cleaning 14023 clauses out of 28048 with flag 2531075/2531075
1439.67/1437.35	c cleaning 14010 clauses out of 28022 with flag 2545072/2545072
1448.48/1446.19	c cleaning 13970 clauses out of 27943 with flag 2559003/2559003
1457.18/1454.86	c cleaning 14034 clauses out of 28067 with flag 2573097/2573097
1466.19/1463.82	c cleaning 13999 clauses out of 27999 with flag 2587063/2587063
1475.69/1473.36	c cleaning 13994 clauses out of 27989 with flag 2601052/2601052
1484.60/1482.24	c cleaning 13974 clauses out of 27951 with flag 2615008/2615008
1493.30/1490.95	c cleaning 14024 clauses out of 28049 with flag 2629080/2629080
1503.20/1500.85	c cleaning 13995 clauses out of 27992 with flag 2643047/2643047
1513.61/1511.23	c cleaning 13981 clauses out of 27963 with flag 2657013/2657013
1521.81/1519.43	c cleaning 14000 clauses out of 28004 with flag 2671035/2671035
1531.82/1529.42	c cleaning 14029 clauses out of 28059 with flag 2685090/2685090
1542.54/1540.18	c cleaning 13978 clauses out of 27958 with flag 2699018/2699018
1549.33/1546.97	c cleaning 13982 clauses out of 27967 with flag 2713005/2713005
1554.65/1552.28	c cleaning 13996 clauses out of 28000 with flag 2727020/2727020
1560.43/1558.09	c cleaning 13991 clauses out of 27985 with flag 2741001/2741001
1567.94/1565.53	c cleaning 13995 clauses out of 27993 with flag 2755000/2755000
1574.64/1572.21	c cleaning 13995 clauses out of 27999 with flag 2769001/2769001
1582.06/1579.68	c cleaning 13998 clauses out of 28004 with flag 2783001/2783001
1588.95/1586.52	c cleaning 14001 clauses out of 28008 with flag 2797003/2797003
1596.25/1593.82	c cleaning 14002 clauses out of 28007 with flag 2811003/2811003
1603.07/1600.63	c cleaning 14003 clauses out of 28010 with flag 2825008/2825008
1609.57/1607.20	c cleaning 14007 clauses out of 28021 with flag 2839022/2839022
1617.16/1614.76	c cleaning 13994 clauses out of 27996 with flag 2853004/2853004
1623.56/1621.11	c cleaning 13996 clauses out of 27998 with flag 2867000/2867000
1630.07/1627.68	c cleaning 13999 clauses out of 28004 with flag 2881002/2881002
1637.27/1634.84	c cleaning 13988 clauses out of 28003 with flag 2895000/2895000
1643.38/1640.93	c cleaning 14007 clauses out of 28022 with flag 2909007/2909007
1650.88/1648.46	c cleaning 14008 clauses out of 28022 with flag 2923014/2923014
1657.20/1654.72	c cleaning 13998 clauses out of 28003 with flag 2937003/2937003
1663.40/1660.92	c cleaning 13997 clauses out of 28002 with flag 2951000/2951000
1670.30/1667.87	c cleaning 14002 clauses out of 28011 with flag 2965006/2965006
1678.00/1675.59	c cleaning 13999 clauses out of 28005 with flag 2979002/2979002
1685.31/1682.83	c cleaning 14020 clauses out of 28042 with flag 2993038/2993038
1697.22/1694.74	c cleaning 13998 clauses out of 28000 with flag 3007016/3007016
1703.82/1701.32	c cleaning 13993 clauses out of 27989 with flag 3021003/3021003
1710.02/1707.54	c cleaning 14006 clauses out of 28016 with flag 3035023/3035023
1715.83/1713.31	c cleaning 13994 clauses out of 27992 with flag 3049005/3049005
1722.13/1719.70	c cleaning 14008 clauses out of 28020 with flag 3063027/3063027
1729.14/1726.63	c cleaning 14001 clauses out of 28005 with flag 3077020/3077020
1735.06/1732.56	c cleaning 13991 clauses out of 27985 with flag 3091001/3091001
1742.14/1739.63	c cleaning 14005 clauses out of 28015 with flag 3105022/3105022
1751.25/1748.77	c cleaning 14003 clauses out of 28009 with flag 3119021/3119021
1759.37/1756.83	c cleaning 13998 clauses out of 27999 with flag 3133014/3133014
1767.65/1765.12	c cleaning 13996 clauses out of 27995 with flag 3147008/3147008
1776.16/1773.61	c cleaning 13999 clauses out of 28002 with flag 3161011/3161011
1784.16/1781.63	c cleaning 13994 clauses out of 27992 with flag 3175000/3175000
1792.39/1789.84	c cleaning 13999 clauses out of 28001 with flag 3189003/3189003
1800.01/1797.44	c starts		: 249
1800.01/1797.44	c conflicts		: 3202151
1800.01/1797.44	c decisions		: 5451470
1800.01/1797.44	c propagations		: 88820305
1800.01/1797.44	c inspects		: 4784216062
1800.01/1797.44	c shortcuts		: 0
1800.01/1797.44	c learnt literals	: 0
1800.01/1797.44	c learnt binary clauses	: 0
1800.01/1797.44	c learnt ternary clauses	: 711
1800.01/1797.44	c learnt constraints	: 3202151
1800.01/1797.44	c ignored constraints	: 0
1800.01/1797.44	c root simplifications	: 0
1800.01/1797.44	c removed literals (reason simplification)	: 87953699
1800.01/1797.44	c reason swapping (by a shorter reason)	: 0
1800.01/1797.44	c Calls to reduceDB	: 231
1800.01/1797.44	c number of reductions to clauses (during analyze)	: 0
1800.01/1797.44	c number of learned constraints concerned by reduction	: 0
1800.01/1797.44	c number of learning phase by resolution	: 0
1800.01/1797.44	c number of learning phase by cutting planes	: 0
1800.01/1797.44	c speed (assignments/second)	: 49429.19272978207
1800.01/1797.44	c non guided choices	6378
1800.01/1797.45	c learnt constraints type 
1800.01/1797.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 27165
1800.01/1797.45	c constraints type 
1800.01/1797.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1800.01/1797.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.01/1797.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.01/1797.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1800.01/1797.45	s UNKNOWN
1800.01/1797.45	c Total wall clock time (in seconds): 1797.34

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3457988-1307164113/watcher-3457988-1307164113 -o /tmp/evaluation-result-3457988-1307164113/solver-3457988-1307164113 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457988-1307164113.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.97 2.05 2.01 4/497 16848
/proc/meminfo: memFree=29092116/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 2888 0 1 0 0 0 0 0 19 0 2 0 828010927 13833195520 2589 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3377245 2602 906 9 0 3368401 0
[pid=16848/tid=16850] ppid=16844 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 4554 0 1 0 0 0 0 0 17 0 2 0 828010928 13850947584 5369 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.108124 s]
/proc/loadavg: 1.97 2.05 2.01 4/497 16848
/proc/meminfo: memFree=29092116/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13687184 CPUtime=0.1 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 15467 0 1 0 8 2 0 0 19 0 18 0 828010927 14015676416 15163 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3421796 15164 2092 9 0 3412530 0
[pid=16848/tid=16850] ppid=16844 vsize=13687184 CPUtime=0.09 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 13650 0 1 0 7 2 0 0 18 0 18 0 828010928 14015676416 15164 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 47074532727635 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13687184

[startup+0.20103 s]
/proc/loadavg: 1.97 2.05 2.01 4/497 16848
/proc/meminfo: memFree=29092116/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13687336 CPUtime=0.23 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 16477 0 1 0 21 2 0 0 19 0 18 0 828010927 14015832064 16141 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3421834 16141 2167 9 0 3412568 0
[pid=16848/tid=16850] ppid=16844 vsize=13687336 CPUtime=0.18 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 14334 0 1 0 16 2 0 0 18 0 18 0 828010928 14015832064 16142 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13687336

[startup+0.301013 s]
/proc/loadavg: 1.97 2.05 2.01 4/497 16848
/proc/meminfo: memFree=29092116/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13688648 CPUtime=0.43 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 18455 0 1 0 40 3 0 0 19 0 18 0 828010927 14017175552 17784 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3422162 17785 2196 9 0 3412896 0
[pid=16848/tid=16850] ppid=16844 vsize=13688648 CPUtime=0.28 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 15261 0 1 0 26 2 0 0 18 0 18 0 828010928 14017175552 17785 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13688648

[startup+0.700949 s]
/proc/loadavg: 1.97 2.05 2.01 4/497 16848
/proc/meminfo: memFree=29092116/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13699844 CPUtime=1.55 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 32560 0 1 0 151 4 0 0 19 0 19 0 828010927 14028640256 29494 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3424961 29494 2238 9 0 3415695 0
[pid=16848/tid=16850] ppid=16844 vsize=13699844 CPUtime=0.68 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 23035 0 1 0 65 3 0 0 19 0 19 0 828010928 14028640256 29494 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 46912505878414 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13699844

[startup+1.50085 s]
/proc/loadavg: 1.97 2.05 2.01 4/535 16886
/proc/meminfo: memFree=28837632/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13699844 CPUtime=2.54 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 33475 0 1 0 250 4 0 0 19 0 19 0 828010927 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3424961 30408 2242 9 0 3415695 0
[pid=16848/tid=16850] ppid=16844 vsize=13699844 CPUtime=1.48 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 23915 0 1 0 145 3 0 0 20 0 19 0 828010928 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 46912505845247 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16848/tid=16861] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16861/stat : 16861 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828010931 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16862] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16862/stat : 16862 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010931 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16863] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16863/stat : 16863 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010931 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16864] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16864/stat : 16864 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010931 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16865] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16865/stat : 16865 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010931 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16866] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16866/stat : 16866 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010931 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16867] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16867/stat : 16867 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010931 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16868] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16868/stat : 16868 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010931 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16870] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16870/stat : 16870 (java) S 16844 16848 16811 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828010932 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 0 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16873] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16873/stat : 16873 (java) S 16844 16848 16811 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 828010932 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16874] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16874/stat : 16874 (java) S 16844 16848 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 828010932 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16877] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16877/stat : 16877 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010934 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658970033 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16878] ppid=16844 vsize=13699844 CPUtime=0.55 cores=1,3,5,7
/proc/16848/task/16878/stat : 16878 (java) S 16844 16848 16811 0 -1 4202560 4380 0 0 0 55 0 0 0 16 0 19 0 828010934 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 3 0 0 0
[pid=16848/tid=16881] ppid=16844 vsize=13699844 CPUtime=0.49 cores=1,3,5,7
/proc/16848/task/16881/stat : 16881 (java) S 16844 16848 16811 0 -1 4202560 4020 0 0 0 49 0 0 0 17 0 19 0 828010934 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16882] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16882/stat : 16882 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828010934 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16884] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16884/stat : 16884 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828010934 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16885] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16885/stat : 16885 (java) S 16844 16848 16811 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828010982 14028640256 30408 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 13699844

[startup+3.10059 s]
/proc/loadavg: 1.97 2.05 2.01 4/535 16886
/proc/meminfo: memFree=28829820/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13699844 CPUtime=4.18 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 39551 0 1 0 412 6 0 0 19 0 19 0 828010927 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3424961 36471 2268 9 0 3415695 0
[pid=16848/tid=16850] ppid=16844 vsize=13699844 CPUtime=3.03 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 25123 0 1 0 300 3 0 0 25 0 19 0 828010928 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 46912505845296 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16848/tid=16861] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16861/stat : 16861 (java) S 16844 16848 16811 0 -1 4202560 1538 0 0 0 0 0 0 0 18 0 19 0 828010931 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16862] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16862/stat : 16862 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828010931 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16863] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16863/stat : 16863 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828010931 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16864] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16864/stat : 16864 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828010931 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16865] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16865/stat : 16865 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828010931 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16866] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16866/stat : 16866 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828010931 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16867] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16867/stat : 16867 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828010931 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16868] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16868/stat : 16868 (java) S 16844 16848 16811 0 -1 4202560 913 0 0 0 0 0 0 0 18 0 19 0 828010931 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16870] ppid=16844 vsize=13699844 CPUtime=0.03 cores=1,3,5,7
/proc/16848/task/16870/stat : 16870 (java) S 16844 16848 16811 0 -1 4202560 2416 0 0 0 3 0 0 0 16 0 19 0 828010932 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 0 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16873] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16873/stat : 16873 (java) S 16844 16848 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828010932 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16874] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16874/stat : 16874 (java) S 16844 16848 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828010932 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16877] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16877/stat : 16877 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010934 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658970033 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16878] ppid=16844 vsize=13699844 CPUtime=0.57 cores=1,3,5,7
/proc/16848/task/16878/stat : 16878 (java) S 16844 16848 16811 0 -1 4202560 4383 0 0 0 57 0 0 0 16 0 19 0 828010934 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 3 0 0 0
[pid=16848/tid=16881] ppid=16844 vsize=13699844 CPUtime=0.5 cores=1,3,5,7
/proc/16848/task/16881/stat : 16881 (java) S 16844 16848 16811 0 -1 4202560 4022 0 0 0 50 0 0 0 15 0 19 0 828010934 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16882] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16882/stat : 16882 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828010934 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16884] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16884/stat : 16884 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828010934 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16885] ppid=16844 vsize=13699844 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16885/stat : 16885 (java) S 16844 16848 16811 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828010982 14028640256 36471 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 13699844

[startup+6.30105 s]
/proc/loadavg: 1.97 2.05 2.01 6/535 16886
/proc/meminfo: memFree=28791876/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13695008 CPUtime=7.41 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 43173 0 1 0 735 6 0 0 19 0 19 0 828010927 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3423752 38989 2268 9 0 3414486 0
[pid=16848/tid=16850] ppid=16844 vsize=13695008 CPUtime=6.19 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 25126 0 1 0 616 3 0 0 17 0 19 0 828010928 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 46912505878431 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16848/tid=16861] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16861/stat : 16861 (java) S 16844 16848 16811 0 -1 4202560 1538 0 0 0 0 0 0 0 15 0 19 0 828010931 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16862] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16862/stat : 16862 (java) S 16844 16848 16811 0 -1 4202560 1198 0 0 0 0 0 0 0 15 0 19 0 828010931 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16863] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16863/stat : 16863 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828010931 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16864] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16864/stat : 16864 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828010931 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16865] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16865/stat : 16865 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828010931 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16866] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16866/stat : 16866 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828010931 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16867] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16867/stat : 16867 (java) S 16844 16848 16811 0 -1 4202560 986 0 0 0 0 0 0 0 16 0 19 0 828010931 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16868] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16868/stat : 16868 (java) S 16844 16848 16811 0 -1 4202560 913 0 0 0 0 0 0 0 15 0 19 0 828010931 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16870] ppid=16844 vsize=13695008 CPUtime=0.06 cores=1,3,5,7
/proc/16848/task/16870/stat : 16870 (java) S 16844 16848 16811 0 -1 4202560 3849 0 0 0 6 0 0 0 16 0 19 0 828010932 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 0 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16873] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16873/stat : 16873 (java) S 16844 16848 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828010932 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16874] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16874/stat : 16874 (java) S 16844 16848 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828010932 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16877] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16877/stat : 16877 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010934 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658970033 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16878] ppid=16844 vsize=13695008 CPUtime=0.58 cores=1,3,5,7
/proc/16848/task/16878/stat : 16878 (java) S 16844 16848 16811 0 -1 4202560 4386 0 0 0 58 0 0 0 15 0 19 0 828010934 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 3 0 0 0
[pid=16848/tid=16881] ppid=16844 vsize=13695008 CPUtime=0.51 cores=1,3,5,7
/proc/16848/task/16881/stat : 16881 (java) S 16844 16848 16811 0 -1 4202560 4023 0 0 0 51 0 0 0 15 0 19 0 828010934 14023688192 38989 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0

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

[pid=16848/tid=16866] ppid=16844 vsize=13695008 CPUtime=0.29 cores=1,3,5,7
/proc/16848/task/16866/stat : 16866 (java) S 16844 16848 16811 0 -1 4202560 1325 0 0 0 29 0 0 0 15 0 19 0 828010931 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16867] ppid=16844 vsize=13695008 CPUtime=0.27 cores=1,3,5,7
/proc/16848/task/16867/stat : 16867 (java) S 16844 16848 16811 0 -1 4202560 1178 0 0 0 27 0 0 0 16 0 19 0 828010931 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16868] ppid=16844 vsize=13695008 CPUtime=0.26 cores=1,3,5,7
/proc/16848/task/16868/stat : 16868 (java) S 16844 16848 16811 0 -1 4202560 2321 0 0 0 26 0 0 0 15 0 19 0 828010931 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16870] ppid=16844 vsize=13695008 CPUtime=9.09 cores=1,3,5,7
/proc/16848/task/16870/stat : 16870 (java) S 16844 16848 16811 0 -1 4202560 11226 0 0 0 905 4 0 0 15 0 19 0 828010932 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 0 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16873] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16873/stat : 16873 (java) S 16844 16848 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828010932 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16874] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16874/stat : 16874 (java) S 16844 16848 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828010932 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16877] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16877/stat : 16877 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010934 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658970033 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16878] ppid=16844 vsize=13695008 CPUtime=0.59 cores=1,3,5,7
/proc/16848/task/16878/stat : 16878 (java) S 16844 16848 16811 0 -1 4202560 4388 0 0 0 59 0 0 0 15 0 19 0 828010934 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 3 0 0 0
[pid=16848/tid=16881] ppid=16844 vsize=13695008 CPUtime=0.59 cores=1,3,5,7
/proc/16848/task/16881/stat : 16881 (java) S 16844 16848 16811 0 -1 4202560 4039 0 0 0 59 0 0 0 15 0 19 0 828010934 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16882] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16882/stat : 16882 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828010934 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16884] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16884/stat : 16884 (java) S 16844 16848 16811 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 828010934 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16885] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16885/stat : 16885 (java) S 16844 16848 16811 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828010982 14023688192 52085 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1724.84
Current children cumulated vsize (KiB) 13695008

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/535 16932
/proc/meminfo: memFree=28479716/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13695008 CPUtime=1784.87 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 56719 0 1 0 178473 14 0 0 19 0 19 0 828010927 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3423752 52100 2269 9 0 3414486 0
[pid=16848/tid=16850] ppid=16844 vsize=13695008 CPUtime=1771.92 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 25353 0 1 0 177188 4 0 0 25 0 19 0 828010928 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 46912505689704 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16848/tid=16861] ppid=16844 vsize=13695008 CPUtime=0.29 cores=1,3,5,7
/proc/16848/task/16861/stat : 16861 (java) S 16844 16848 16811 0 -1 4202560 2683 0 0 0 28 1 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16862] ppid=16844 vsize=13695008 CPUtime=0.32 cores=1,3,5,7
/proc/16848/task/16862/stat : 16862 (java) S 16844 16848 16811 0 -1 4202560 2174 0 0 0 32 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16863] ppid=16844 vsize=13695008 CPUtime=0.24 cores=1,3,5,7
/proc/16848/task/16863/stat : 16863 (java) S 16844 16848 16811 0 -1 4202560 218 0 0 0 24 0 0 0 16 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 3 0 0 0
[pid=16848/tid=16864] ppid=16844 vsize=13695008 CPUtime=0.21 cores=1,3,5,7
/proc/16848/task/16864/stat : 16864 (java) S 16844 16848 16811 0 -1 4202560 89 0 0 0 21 0 0 0 16 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16865] ppid=16844 vsize=13695008 CPUtime=0.32 cores=1,3,5,7
/proc/16848/task/16865/stat : 16865 (java) S 16844 16848 16811 0 -1 4202560 457 0 0 0 32 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16866] ppid=16844 vsize=13695008 CPUtime=0.3 cores=1,3,5,7
/proc/16848/task/16866/stat : 16866 (java) S 16844 16848 16811 0 -1 4202560 1325 0 0 0 30 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16867] ppid=16844 vsize=13695008 CPUtime=0.28 cores=1,3,5,7
/proc/16848/task/16867/stat : 16867 (java) S 16844 16848 16811 0 -1 4202560 1193 0 0 0 28 0 0 0 16 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16868] ppid=16844 vsize=13695008 CPUtime=0.27 cores=1,3,5,7
/proc/16848/task/16868/stat : 16868 (java) S 16844 16848 16811 0 -1 4202560 2321 0 0 0 27 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16870] ppid=16844 vsize=13695008 CPUtime=9.42 cores=1,3,5,7
/proc/16848/task/16870/stat : 16870 (java) S 16844 16848 16811 0 -1 4202560 11228 0 0 0 938 4 0 0 15 0 19 0 828010932 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 0 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16873] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16873/stat : 16873 (java) S 16844 16848 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828010932 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16874] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16874/stat : 16874 (java) S 16844 16848 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828010932 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16877] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16877/stat : 16877 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658970033 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16878] ppid=16844 vsize=13695008 CPUtime=0.59 cores=1,3,5,7
/proc/16848/task/16878/stat : 16878 (java) S 16844 16848 16811 0 -1 4202560 4388 0 0 0 59 0 0 0 15 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 3 0 0 0
[pid=16848/tid=16881] ppid=16844 vsize=13695008 CPUtime=0.59 cores=1,3,5,7
/proc/16848/task/16881/stat : 16881 (java) S 16844 16848 16811 0 -1 4202560 4039 0 0 0 59 0 0 0 15 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16882] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16882/stat : 16882 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16884] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16884/stat : 16884 (java) S 16844 16848 16811 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16885] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16885/stat : 16885 (java) S 16844 16848 16811 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828010982 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 13695008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.4 s]
/proc/loadavg: 2.02 2.04 2.01 5/535 16934
/proc/meminfo: memFree=28479956/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13695008 CPUtime=1800.01 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 56724 0 1 0 179986 15 0 0 19 0 19 0 828010927 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3423752 52100 2269 9 0 3414486 0
[pid=16848/tid=16850] ppid=16844 vsize=13695008 CPUtime=1787.02 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 25354 0 1 0 178698 4 0 0 25 0 19 0 828010928 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 46912505845327 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16848/tid=16861] ppid=16844 vsize=13695008 CPUtime=0.29 cores=1,3,5,7
/proc/16848/task/16861/stat : 16861 (java) S 16844 16848 16811 0 -1 4202560 2683 0 0 0 28 1 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16862] ppid=16844 vsize=13695008 CPUtime=0.32 cores=1,3,5,7
/proc/16848/task/16862/stat : 16862 (java) S 16844 16848 16811 0 -1 4202560 2174 0 0 0 32 0 0 0 16 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16863] ppid=16844 vsize=13695008 CPUtime=0.24 cores=1,3,5,7
/proc/16848/task/16863/stat : 16863 (java) S 16844 16848 16811 0 -1 4202560 218 0 0 0 24 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 3 0 0 0
[pid=16848/tid=16864] ppid=16844 vsize=13695008 CPUtime=0.21 cores=1,3,5,7
/proc/16848/task/16864/stat : 16864 (java) S 16844 16848 16811 0 -1 4202560 89 0 0 0 21 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16865] ppid=16844 vsize=13695008 CPUtime=0.32 cores=1,3,5,7
/proc/16848/task/16865/stat : 16865 (java) S 16844 16848 16811 0 -1 4202560 457 0 0 0 32 0 0 0 16 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16866] ppid=16844 vsize=13695008 CPUtime=0.3 cores=1,3,5,7
/proc/16848/task/16866/stat : 16866 (java) S 16844 16848 16811 0 -1 4202560 1325 0 0 0 30 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16867] ppid=16844 vsize=13695008 CPUtime=0.28 cores=1,3,5,7
/proc/16848/task/16867/stat : 16867 (java) S 16844 16848 16811 0 -1 4202560 1193 0 0 0 28 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16868] ppid=16844 vsize=13695008 CPUtime=0.27 cores=1,3,5,7
/proc/16848/task/16868/stat : 16868 (java) S 16844 16848 16811 0 -1 4202560 2321 0 0 0 27 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16870] ppid=16844 vsize=13695008 CPUtime=9.46 cores=1,3,5,7
/proc/16848/task/16870/stat : 16870 (java) S 16844 16848 16811 0 -1 4202560 11230 0 0 0 942 4 0 0 15 0 19 0 828010932 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 0 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16873] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16873/stat : 16873 (java) S 16844 16848 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828010932 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16874] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16874/stat : 16874 (java) S 16844 16848 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828010932 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16877] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16877/stat : 16877 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658970033 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16878] ppid=16844 vsize=13695008 CPUtime=0.59 cores=1,3,5,7
/proc/16848/task/16878/stat : 16878 (java) S 16844 16848 16811 0 -1 4202560 4388 0 0 0 59 0 0 0 15 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 3 0 0 0
[pid=16848/tid=16881] ppid=16844 vsize=13695008 CPUtime=0.59 cores=1,3,5,7
/proc/16848/task/16881/stat : 16881 (java) S 16844 16848 16811 0 -1 4202560 4039 0 0 0 59 0 0 0 15 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16882] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16882/stat : 16882 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16884] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16884/stat : 16884 (java) S 16844 16848 16811 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16885] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16885/stat : 16885 (java) S 16844 16848 16811 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828010982 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13695008

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

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

[startup+1797.4 s]
/proc/loadavg: 2.02 2.04 2.01 5/535 16934
/proc/meminfo: memFree=28479956/32951132 swapFree=57925096/67111528
[pid=16848] ppid=16844 vsize=13695008 CPUtime=1800.01 cores=1,3,5,7
/proc/16848/stat : 16848 (java) S 16844 16848 16811 0 -1 4202496 56724 0 1 0 179986 15 0 0 19 0 19 0 828010927 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16848/statm: 3423752 52100 2269 9 0 3414486 0
[pid=16848/tid=16850] ppid=16844 vsize=13695008 CPUtime=1787.02 cores=1,3,5,7
/proc/16848/task/16850/stat : 16850 (java) R 16844 16848 16811 0 -1 4202560 25354 0 1 0 178698 4 0 0 25 0 19 0 828010928 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 46912505845327 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16848/tid=16861] ppid=16844 vsize=13695008 CPUtime=0.29 cores=1,3,5,7
/proc/16848/task/16861/stat : 16861 (java) S 16844 16848 16811 0 -1 4202560 2683 0 0 0 28 1 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16862] ppid=16844 vsize=13695008 CPUtime=0.32 cores=1,3,5,7
/proc/16848/task/16862/stat : 16862 (java) S 16844 16848 16811 0 -1 4202560 2174 0 0 0 32 0 0 0 16 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16863] ppid=16844 vsize=13695008 CPUtime=0.24 cores=1,3,5,7
/proc/16848/task/16863/stat : 16863 (java) S 16844 16848 16811 0 -1 4202560 218 0 0 0 24 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 3 0 0 0
[pid=16848/tid=16864] ppid=16844 vsize=13695008 CPUtime=0.21 cores=1,3,5,7
/proc/16848/task/16864/stat : 16864 (java) S 16844 16848 16811 0 -1 4202560 89 0 0 0 21 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16865] ppid=16844 vsize=13695008 CPUtime=0.32 cores=1,3,5,7
/proc/16848/task/16865/stat : 16865 (java) S 16844 16848 16811 0 -1 4202560 457 0 0 0 32 0 0 0 16 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16866] ppid=16844 vsize=13695008 CPUtime=0.3 cores=1,3,5,7
/proc/16848/task/16866/stat : 16866 (java) S 16844 16848 16811 0 -1 4202560 1325 0 0 0 30 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16867] ppid=16844 vsize=13695008 CPUtime=0.28 cores=1,3,5,7
/proc/16848/task/16867/stat : 16867 (java) S 16844 16848 16811 0 -1 4202560 1193 0 0 0 28 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16868] ppid=16844 vsize=13695008 CPUtime=0.27 cores=1,3,5,7
/proc/16848/task/16868/stat : 16868 (java) S 16844 16848 16811 0 -1 4202560 2321 0 0 0 27 0 0 0 15 0 19 0 828010931 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 5 0 0 0
[pid=16848/tid=16870] ppid=16844 vsize=13695008 CPUtime=9.46 cores=1,3,5,7
/proc/16848/task/16870/stat : 16870 (java) S 16844 16848 16811 0 -1 4202560 11230 0 0 0 942 4 0 0 15 0 19 0 828010932 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 0 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16873] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16873/stat : 16873 (java) S 16844 16848 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828010932 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16874] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16874/stat : 16874 (java) S 16844 16848 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828010932 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16877] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16877/stat : 16877 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658970033 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16878] ppid=16844 vsize=13695008 CPUtime=0.59 cores=1,3,5,7
/proc/16848/task/16878/stat : 16878 (java) S 16844 16848 16811 0 -1 4202560 4388 0 0 0 59 0 0 0 15 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 3 0 0 0
[pid=16848/tid=16881] ppid=16844 vsize=13695008 CPUtime=0.59 cores=1,3,5,7
/proc/16848/task/16881/stat : 16881 (java) S 16844 16848 16811 0 -1 4202560 4039 0 0 0 59 0 0 0 15 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16882] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16882/stat : 16882 (java) S 16844 16848 16811 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962329 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
[pid=16848/tid=16884] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16884/stat : 16884 (java) S 16844 16848 16811 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 828010934 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 7 0 0 0
[pid=16848/tid=16885] ppid=16844 vsize=13695008 CPUtime=0 cores=1,3,5,7
/proc/16848/task/16885/stat : 16885 (java) S 16844 16848 16811 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828010982 14023688192 52100 33554432000 1073741824 1073778376 140734495261248 18446744073709551615 210658962944 0 4 0 16800975 18446604455978932032 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13695008

Child status: 143
Real time (s): 1797.48
CPU time (s): 1800.07
CPU user time (s): 1799.91
CPU system time (s): 0.160975
CPU usage (%): 100.144
Max. virtual memory (cumulated for all children) (KiB): 13699844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56760
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43407
involuntary context switches= 10297

runsolver used 9.08962 second user time and 22.6296 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-04 07:08:33
IDJOB=3457988
IDBENCH=48313
IDSOLVER=1952
FILE ID=node129/3457988-1307164113
RUNJOBID= node129-1307164113-16830
PBS_JOBID= 13508828
Free space on /tmp= 73880 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_5_40.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3457988-1307164113/watcher-3457988-1307164113 -o /tmp/evaluation-result-3457988-1307164113/solver-3457988-1307164113 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457988-1307164113.opb

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

MD5SUM BENCH= c1794605d16cd8196553c490f5507fd9
RANDOM SEED=561572615

node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29092552 kB
Buffers:        318280 kB
Cached:        2105120 kB
SwapCached:      49348 kB
Active:         425424 kB
Inactive:      3148528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29092552 kB
SwapTotal:    67111528 kB
SwapFree:     57925096 kB
Dirty:             868 kB
Writeback:          28 kB
AnonPages:     1112716 kB
Mapped:          14272 kB
Slab:           153940 kB
PageTables:      59720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 147304032 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73880 MiB
End job on node129 at 2011-06-04 07:38:33