Trace number 3459286

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.16 1797.57

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
MD5SUM7f5f10f1b8aeee16c5b46dadab8c5b22
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, 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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1020
Total number of constraints43010
Number of constraints which are clauses42840
Number of constraints which are cardinality constraints (but not clauses)170
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint6
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		12995394264
0.06/0.09	c Max memory 		13063553024
0.06/0.09	c Total memory 		13063553024
0.06/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3459286-1307135850.opb
0.11/0.11	c reading problem ... 
0.99/0.58	c ... done. Wall clock time 0.473s.
0.99/0.58	c #vars     1020
0.99/0.58	c #constraints  43180
0.99/0.58	c constraints type 
0.99/0.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 43010
0.99/0.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 170
2.02/1.26	c cleaning 2490 clauses out of 5000 with flag 5000/5000
2.68/1.82	c cleaning 4251 clauses out of 8510 with flag 11000/11000
3.28/2.47	c cleaning 5624 clauses out of 11259 with flag 18000/18000
4.10/3.24	c cleaning 6813 clauses out of 13635 with flag 26000/26000
5.02/4.11	c cleaning 7907 clauses out of 15823 with flag 35001/35001
6.03/5.11	c cleaning 8951 clauses out of 17915 with flag 45000/45000
7.13/6.24	c cleaning 9976 clauses out of 19964 with flag 56000/56000
8.44/7.58	c cleaning 10984 clauses out of 21988 with flag 68000/68000
9.94/9.07	c cleaning 11993 clauses out of 24004 with flag 81000/81000
11.44/10.58	c cleaning 12998 clauses out of 26011 with flag 95000/95000
13.45/12.52	c cleaning 14000 clauses out of 28013 with flag 110000/110000
15.16/14.27	c cleaning 14999 clauses out of 30013 with flag 126000/126000
17.25/16.31	c cleaning 15999 clauses out of 32015 with flag 143001/143001
19.67/18.75	c cleaning 16999 clauses out of 34016 with flag 161001/161001
22.06/21.19	c cleaning 18001 clauses out of 36017 with flag 180001/180001
24.56/23.60	c cleaning 19003 clauses out of 38016 with flag 200001/200001
27.28/26.42	c cleaning 19998 clauses out of 40013 with flag 221001/221001
30.47/29.51	c cleaning 20997 clauses out of 42015 with flag 243001/243001
33.58/32.65	c cleaning 21997 clauses out of 44017 with flag 266000/266000
36.48/35.59	c cleaning 22995 clauses out of 46020 with flag 290000/290000
40.40/39.46	c cleaning 23999 clauses out of 48026 with flag 315001/315001
45.10/44.14	c cleaning 25006 clauses out of 50028 with flag 341002/341002
49.62/48.67	c cleaning 25997 clauses out of 52021 with flag 368001/368001
54.22/53.28	c cleaning 27008 clauses out of 54025 with flag 396002/396002
58.14/57.14	c cleaning 28005 clauses out of 56015 with flag 425000/425000
62.23/61.29	c cleaning 29001 clauses out of 58010 with flag 455000/455000
67.44/66.44	c cleaning 29996 clauses out of 60010 with flag 486001/486001
73.74/72.71	c cleaning 30998 clauses out of 62013 with flag 518000/518000
79.75/78.70	c cleaning 31992 clauses out of 64015 with flag 551000/551000
86.55/85.57	c cleaning 33000 clauses out of 66025 with flag 585002/585002
91.28/90.29	c cleaning 34008 clauses out of 68025 with flag 620002/620002
96.97/95.99	c cleaning 35000 clauses out of 70017 with flag 656002/656002
103.17/102.15	c cleaning 35994 clauses out of 72016 with flag 693001/693001
110.08/109.03	c cleaning 37003 clauses out of 74022 with flag 731001/731001
117.60/116.59	c cleaning 37997 clauses out of 76018 with flag 770000/770000
125.09/124.05	c cleaning 38999 clauses out of 78021 with flag 810000/810000
134.60/133.57	c cleaning 40001 clauses out of 80024 with flag 851002/851002
142.93/141.83	c cleaning 41008 clauses out of 82021 with flag 893000/893000
149.54/148.51	c cleaning 42002 clauses out of 84015 with flag 936002/936002
157.35/156.23	c cleaning 42997 clauses out of 86012 with flag 980001/980001
165.54/164.42	c cleaning 43501 clauses out of 87016 with flag 1024002/1024002
176.55/175.45	c cleaning 43737 clauses out of 87513 with flag 1068000/1068000
184.88/183.76	c cleaning 43869 clauses out of 87776 with flag 1112000/1112000
195.38/194.21	c cleaning 43938 clauses out of 87908 with flag 1156001/1156001
203.39/202.30	c cleaning 43977 clauses out of 87969 with flag 1200000/1200000
212.99/211.80	c cleaning 43986 clauses out of 87992 with flag 1244000/1244000
222.40/221.25	c cleaning 43986 clauses out of 88006 with flag 1288000/1288000
231.41/230.22	c cleaning 43996 clauses out of 88020 with flag 1332000/1332000
238.12/236.94	c cleaning 44004 clauses out of 88024 with flag 1376000/1376000
246.22/245.07	c cleaning 43997 clauses out of 88020 with flag 1420000/1420000
255.35/254.13	c cleaning 44007 clauses out of 88025 with flag 1464002/1464002
265.26/264.06	c cleaning 44000 clauses out of 88016 with flag 1508000/1508000
273.65/272.44	c cleaning 44003 clauses out of 88016 with flag 1552000/1552000
284.16/282.97	c cleaning 43987 clauses out of 88013 with flag 1596000/1596000
292.47/291.28	c cleaning 44002 clauses out of 88027 with flag 1640001/1640001
303.98/302.72	c cleaning 44003 clauses out of 88024 with flag 1684000/1684000
315.09/313.85	c cleaning 43998 clauses out of 88021 with flag 1728000/1728000
325.50/324.22	c cleaning 44009 clauses out of 88023 with flag 1772000/1772000
337.40/336.18	c cleaning 43994 clauses out of 88014 with flag 1816000/1816000
348.32/347.06	c cleaning 43993 clauses out of 88020 with flag 1860000/1860000
359.23/357.95	c cleaning 44002 clauses out of 88032 with flag 1904005/1904005
370.36/369.05	c cleaning 44001 clauses out of 88025 with flag 1948000/1948000
381.16/379.87	c cleaning 44001 clauses out of 88024 with flag 1992000/1992000
387.57/386.21	c cleaning 44008 clauses out of 88024 with flag 2036001/2036001
395.68/394.31	c cleaning 43992 clauses out of 88015 with flag 2080000/2080000
405.29/403.96	c cleaning 44003 clauses out of 88023 with flag 2124000/2124000
416.00/414.64	c cleaning 43998 clauses out of 88020 with flag 2168000/2168000
424.51/423.12	c cleaning 44003 clauses out of 88022 with flag 2212000/2212000
435.41/434.04	c cleaning 43999 clauses out of 88020 with flag 2256001/2256001
443.85/442.41	c cleaning 44002 clauses out of 88021 with flag 2300001/2300001
453.76/452.39	c cleaning 44002 clauses out of 88020 with flag 2344002/2344002
463.86/462.44	c cleaning 43995 clauses out of 88017 with flag 2388001/2388001
473.57/472.14	c cleaning 44005 clauses out of 88022 with flag 2432001/2432001
483.49/482.03	c cleaning 43988 clauses out of 88016 with flag 2476000/2476000
494.00/492.56	c cleaning 44007 clauses out of 88028 with flag 2520000/2520000
503.81/502.38	c cleaning 44001 clauses out of 88023 with flag 2564002/2564002
514.32/512.80	c cleaning 44003 clauses out of 88022 with flag 2608002/2608002
524.43/522.92	c cleaning 43990 clauses out of 88017 with flag 2652000/2652000
533.64/532.15	c cleaning 44003 clauses out of 88028 with flag 2696001/2696001
544.05/542.59	c cleaning 44005 clauses out of 88026 with flag 2740002/2740002
553.68/552.21	c cleaning 43976 clauses out of 88020 with flag 2784001/2784001
564.38/562.88	c cleaning 44001 clauses out of 88043 with flag 2828000/2828000
574.80/573.22	c cleaning 44008 clauses out of 88042 with flag 2872000/2872000
584.80/583.27	c cleaning 44006 clauses out of 88036 with flag 2916002/2916002
595.81/594.28	c cleaning 43998 clauses out of 88028 with flag 2960000/2960000
603.91/602.38	c cleaning 44004 clauses out of 88030 with flag 3004000/3004000
611.42/609.81	c cleaning 44008 clauses out of 88027 with flag 3048001/3048001
619.33/617.71	c cleaning 43993 clauses out of 88019 with flag 3092001/3092001
627.33/625.70	c cleaning 43995 clauses out of 88025 with flag 3136000/3136000
637.14/635.53	c cleaning 43999 clauses out of 88031 with flag 3180001/3180001
647.37/645.76	c cleaning 44009 clauses out of 88031 with flag 3224000/3224000
655.46/653.81	c cleaning 43993 clauses out of 88023 with flag 3268001/3268001
663.89/662.28	c cleaning 44009 clauses out of 88031 with flag 3312002/3312002
674.97/673.33	c cleaning 44008 clauses out of 88025 with flag 3356005/3356005
686.19/684.51	c cleaning 43986 clauses out of 88013 with flag 3400001/3400001
694.90/693.21	c cleaning 44005 clauses out of 88027 with flag 3444001/3444001
705.30/703.61	c cleaning 43996 clauses out of 88023 with flag 3488002/3488002
715.81/714.15	c cleaning 43994 clauses out of 88026 with flag 3532001/3532001
726.42/724.71	c cleaning 43998 clauses out of 88033 with flag 3576002/3576002
737.43/735.76	c cleaning 44004 clauses out of 88035 with flag 3620002/3620002
747.24/745.50	c cleaning 44003 clauses out of 88029 with flag 3664000/3664000
757.74/756.02	c cleaning 43993 clauses out of 88026 with flag 3708000/3708000
768.15/766.50	c cleaning 44002 clauses out of 88035 with flag 3752002/3752002
778.86/777.15	c cleaning 43997 clauses out of 88031 with flag 3796000/3796000
789.46/787.76	c cleaning 44009 clauses out of 88038 with flag 3840004/3840004
800.67/798.94	c cleaning 43999 clauses out of 88026 with flag 3884001/3884001
811.88/810.13	c cleaning 44000 clauses out of 88026 with flag 3928000/3928000
822.69/820.92	c cleaning 44000 clauses out of 88029 with flag 3972003/3972003
831.69/829.98	c cleaning 43997 clauses out of 88027 with flag 4016001/4016001
842.90/841.18	c cleaning 44000 clauses out of 88029 with flag 4060000/4060000
853.01/851.20	c cleaning 43991 clauses out of 88029 with flag 4104000/4104000
863.22/861.45	c cleaning 44004 clauses out of 88039 with flag 4148001/4148001
873.53/871.78	c cleaning 44005 clauses out of 88034 with flag 4192000/4192000
883.95/882.18	c cleaning 43990 clauses out of 88029 with flag 4236000/4236000
894.55/892.78	c cleaning 43999 clauses out of 88039 with flag 4280000/4280000
905.15/903.33	c cleaning 44001 clauses out of 88042 with flag 4324002/4324002
915.87/914.05	c cleaning 44006 clauses out of 88039 with flag 4368000/4368000
926.57/924.75	c cleaning 44000 clauses out of 88035 with flag 4412002/4412002
937.18/935.31	c cleaning 43998 clauses out of 88034 with flag 4456001/4456001
945.48/943.67	c cleaning 44008 clauses out of 88035 with flag 4500000/4500000
952.79/950.92	c cleaning 44006 clauses out of 88027 with flag 4544000/4544000
961.49/959.66	c cleaning 43997 clauses out of 88021 with flag 4588000/4588000
970.30/968.44	c cleaning 44006 clauses out of 88024 with flag 4632000/4632000
981.61/979.71	c cleaning 43999 clauses out of 88020 with flag 4676002/4676002
990.24/988.31	c cleaning 43985 clauses out of 88020 with flag 4720001/4720001
1000.24/998.31	c cleaning 43990 clauses out of 88034 with flag 4764000/4764000
1008.25/1006.30	c cleaning 44015 clauses out of 88045 with flag 4808001/4808001
1018.16/1016.20	c cleaning 43997 clauses out of 88032 with flag 4852003/4852003
1029.47/1027.54	c cleaning 44003 clauses out of 88032 with flag 4896000/4896000
1037.38/1035.47	c cleaning 43993 clauses out of 88032 with flag 4940003/4940003
1047.88/1045.90	c cleaning 43999 clauses out of 88036 with flag 4984000/4984000
1057.91/1055.92	c cleaning 43994 clauses out of 88038 with flag 5028001/5028001
1068.60/1066.60	c cleaning 44007 clauses out of 88044 with flag 5072001/5072001
1078.71/1076.71	c cleaning 43999 clauses out of 88036 with flag 5116000/5116000
1087.31/1085.34	c cleaning 44005 clauses out of 88037 with flag 5160000/5160000
1097.12/1095.13	c cleaning 43995 clauses out of 88032 with flag 5204000/5204000
1106.63/1104.60	c cleaning 43996 clauses out of 88037 with flag 5248000/5248000
1115.94/1113.99	c cleaning 44002 clauses out of 88041 with flag 5292000/5292000
1126.05/1124.00	c cleaning 43996 clauses out of 88043 with flag 5336004/5336004
1136.17/1134.17	c cleaning 44013 clauses out of 88046 with flag 5380003/5380003
1146.96/1144.90	c cleaning 43994 clauses out of 88030 with flag 5424000/5424000
1156.57/1154.56	c cleaning 44006 clauses out of 88036 with flag 5468000/5468000
1164.97/1162.95	c cleaning 44004 clauses out of 88032 with flag 5512002/5512002
1174.48/1172.46	c cleaning 43994 clauses out of 88027 with flag 5556001/5556001
1184.09/1182.01	c cleaning 43999 clauses out of 88034 with flag 5600002/5600002
1194.19/1192.17	c cleaning 43986 clauses out of 88033 with flag 5644000/5644000
1203.70/1201.65	c cleaning 44006 clauses out of 88049 with flag 5688002/5688002
1213.41/1211.37	c cleaning 43995 clauses out of 88041 with flag 5732000/5732000
1223.72/1221.63	c cleaning 44004 clauses out of 88047 with flag 5776001/5776001
1233.92/1231.85	c cleaning 44000 clauses out of 88042 with flag 5820000/5820000
1244.33/1242.28	c cleaning 44005 clauses out of 88042 with flag 5864000/5864000
1254.64/1252.50	c cleaning 44001 clauses out of 88037 with flag 5908000/5908000
1264.74/1262.65	c cleaning 43991 clauses out of 88036 with flag 5952000/5952000
1273.35/1271.20	c cleaning 44011 clauses out of 88046 with flag 5996001/5996001
1284.26/1282.12	c cleaning 43999 clauses out of 88036 with flag 6040002/6040002
1294.37/1292.21	c cleaning 43993 clauses out of 88035 with flag 6084000/6084000
1304.88/1302.78	c cleaning 43998 clauses out of 88042 with flag 6128000/6128000
1315.61/1313.45	c cleaning 44006 clauses out of 88045 with flag 6172001/6172001
1326.79/1324.67	c cleaning 44007 clauses out of 88038 with flag 6216000/6216000
1337.70/1335.59	c cleaning 43986 clauses out of 88032 with flag 6260001/6260001
1347.61/1345.45	c cleaning 43999 clauses out of 88045 with flag 6304000/6304000
1358.21/1356.01	c cleaning 44011 clauses out of 88047 with flag 6348001/6348001
1369.22/1367.01	c cleaning 44010 clauses out of 88035 with flag 6392000/6392000
1380.02/1377.83	c cleaning 43982 clauses out of 88027 with flag 6436002/6436002
1390.93/1388.73	c cleaning 44002 clauses out of 88043 with flag 6480000/6480000
1401.73/1399.53	c cleaning 44009 clauses out of 88041 with flag 6524000/6524000
1412.53/1410.40	c cleaning 43998 clauses out of 88034 with flag 6568002/6568002
1423.35/1421.12	c cleaning 43991 clauses out of 88036 with flag 6612002/6612002
1434.47/1432.29	c cleaning 44007 clauses out of 88043 with flag 6656000/6656000
1445.76/1443.54	c cleaning 44012 clauses out of 88037 with flag 6700001/6700001
1453.77/1451.59	c cleaning 44000 clauses out of 88024 with flag 6744000/6744000
1461.28/1459.08	c cleaning 44006 clauses out of 88024 with flag 6788000/6788000
1469.88/1467.66	c cleaning 44001 clauses out of 88018 with flag 6832000/6832000
1478.30/1476.06	c cleaning 43995 clauses out of 88017 with flag 6876000/6876000
1488.42/1486.12	c cleaning 43996 clauses out of 88022 with flag 6920000/6920000
1497.51/1495.27	c cleaning 44001 clauses out of 88026 with flag 6964000/6964000
1508.62/1506.35	c cleaning 44000 clauses out of 88026 with flag 7008001/7008001
1517.13/1514.87	c cleaning 44004 clauses out of 88028 with flag 7052003/7052003
1527.83/1525.57	c cleaning 44002 clauses out of 88022 with flag 7096001/7096001
1538.54/1536.22	c cleaning 43992 clauses out of 88019 with flag 7140000/7140000
1547.25/1544.93	c cleaning 44008 clauses out of 88028 with flag 7184001/7184001
1557.36/1555.02	c cleaning 43984 clauses out of 88019 with flag 7228000/7228000
1567.69/1565.37	c cleaning 44002 clauses out of 88037 with flag 7272002/7272002
1579.18/1576.85	c cleaning 43990 clauses out of 88033 with flag 7316000/7316000
1589.78/1587.40	c cleaning 44016 clauses out of 88044 with flag 7360001/7360001
1598.79/1596.43	c cleaning 43995 clauses out of 88027 with flag 7404000/7404000
1609.41/1607.03	c cleaning 43993 clauses out of 88035 with flag 7448003/7448003
1619.81/1617.42	c cleaning 44008 clauses out of 88039 with flag 7492000/7492000
1629.93/1627.54	c cleaning 43996 clauses out of 88031 with flag 7536000/7536000
1639.33/1636.93	c cleaning 44008 clauses out of 88037 with flag 7580002/7580002
1650.04/1647.61	c cleaning 44001 clauses out of 88030 with flag 7624003/7624003
1660.34/1657.93	c cleaning 43993 clauses out of 88026 with flag 7668000/7668000
1670.25/1667.88	c cleaning 44001 clauses out of 88034 with flag 7712001/7712001
1678.95/1676.55	c cleaning 43980 clauses out of 88032 with flag 7756000/7756000
1689.36/1686.96	c cleaning 43998 clauses out of 88053 with flag 7800001/7800001
1700.66/1698.24	c cleaning 44006 clauses out of 88054 with flag 7844000/7844000
1710.97/1708.56	c cleaning 43996 clauses out of 88049 with flag 7888001/7888001
1721.48/1719.01	c cleaning 44013 clauses out of 88053 with flag 7932001/7932001
1731.98/1729.52	c cleaning 44002 clauses out of 88043 with flag 7976004/7976004
1741.80/1739.36	c cleaning 43985 clauses out of 88037 with flag 8020000/8020000
1752.63/1750.17	c cleaning 44004 clauses out of 88052 with flag 8064000/8064000
1763.11/1760.62	c cleaning 43998 clauses out of 88049 with flag 8108001/8108001
1773.42/1770.99	c cleaning 44014 clauses out of 88051 with flag 8152001/8152001
1784.82/1782.34	c cleaning 44004 clauses out of 88036 with flag 8196000/8196000
1794.13/1791.60	c cleaning 44003 clauses out of 88032 with flag 8240000/8240000
1800.05/1797.52	c starts		: 299
1800.05/1797.52	c conflicts		: 8270207
1800.05/1797.52	c decisions		: 10176147
1800.05/1797.52	c propagations		: 792739582
1800.05/1797.52	c inspects		: 19813002542
1800.05/1797.52	c shortcuts		: 0
1800.05/1797.52	c learnt literals	: 0
1800.05/1797.52	c learnt binary clauses	: 0
1800.05/1797.52	c learnt ternary clauses	: 0
1800.05/1797.52	c learnt constraints	: 8270208
1800.05/1797.52	c ignored constraints	: 0
1800.05/1797.52	c root simplifications	: 0
1800.05/1797.52	c removed literals (reason simplification)	: 181688228
1800.05/1797.52	c reason swapping (by a shorter reason)	: 0
1800.05/1797.52	c Calls to reduceDB	: 205
1800.05/1797.52	c number of reductions to clauses (during analyze)	: 0
1800.05/1797.52	c number of learned constraints concerned by reduction	: 0
1800.05/1797.52	c number of learning phase by resolution	: 0
1800.05/1797.52	c number of learning phase by cutting planes	: 0
1800.05/1797.52	c speed (assignments/second)	: 441160.18760750897
1800.05/1797.52	c non guided choices	193
1800.05/1797.55	c learnt constraints type 
1800.05/1797.55	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 74323
1800.05/1797.55	c constraints type 
1800.05/1797.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 43010
1800.05/1797.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 170
1800.05/1797.55	s UNKNOWN
1800.05/1797.55	c Total wall clock time (in seconds): 1797.442

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-3459286-1307135850/watcher-3459286-1307135850 -o /tmp/evaluation-result-3459286-1307135850/solver-3459286-1307135850 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459286-1307135850.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.46 2.19 2.19 2/535 11407
/proc/meminfo: memFree=21242628/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 3601 0 1 0 0 0 0 0 24 0 2 0 825181677 13833195520 3303 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3377245 3320 906 9 0 3368401 0
[pid=11407/tid=11408] ppid=11405 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 7997 0 1 0 0 0 0 0 25 0 2 0 825181678 13850947584 8813 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0648581 s]
/proc/loadavg: 2.46 2.19 2.19 2/535 11407
/proc/meminfo: memFree=21242628/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13620460 CPUtime=0.06 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 14190 0 1 0 5 1 0 0 24 0 18 0 825181677 13947351040 13887 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3405115 13887 1733 9 0 3395856 0
[pid=11407/tid=11408] ppid=11405 vsize=13620460 CPUtime=0.05 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 13016 0 1 0 5 0 0 0 18 0 18 0 825181678 13947351040 13887 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 47796714930151 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13620460

[startup+0.100856 s]
/proc/loadavg: 2.46 2.19 2.19 2/535 11407
/proc/meminfo: memFree=21242628/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13621480 CPUtime=0.11 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 15557 0 1 0 10 1 0 0 24 0 18 0 825181677 13948395520 15219 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3405370 15226 2092 9 0 3396104 0
[pid=11407/tid=11408] ppid=11405 vsize=13621480 CPUtime=0.09 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 13632 0 1 0 8 1 0 0 18 0 18 0 825181678 13948395520 15226 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621480

[startup+0.300738 s]
/proc/loadavg: 2.46 2.19 2.19 2/535 11407
/proc/meminfo: memFree=21242628/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13622804 CPUtime=0.48 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 18653 0 1 0 47 1 0 0 24 0 18 0 825181677 13949751296 18061 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3405735 18068 2199 9 0 3396469 0
[pid=11407/tid=11408] ppid=11405 vsize=13622940 CPUtime=0.29 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 15642 0 1 0 28 1 0 0 18 0 18 0 825181678 13949890560 18071 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13622804

[startup+0.70066 s]
/proc/loadavg: 2.46 2.19 2.19 2/535 11407
/proc/meminfo: memFree=21242628/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13627896 CPUtime=1.38 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 46103 0 1 0 133 5 0 0 24 0 19 0 825181677 13954965504 43188 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3406974 43188 2234 9 0 3397708 0
[pid=11407/tid=11408] ppid=11405 vsize=13627896 CPUtime=0.68 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 39004 0 1 0 64 4 0 0 19 0 19 0 825181678 13954965504 43188 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 46912505788387 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 13627896

[startup+1.50158 s]
/proc/loadavg: 2.58 2.22 2.20 3/554 11426
/proc/meminfo: memFree=21076012/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13627896 CPUtime=2.36 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 49192 0 1 0 231 5 0 0 24 0 19 0 825181677 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3406974 46134 2263 9 0 3397708 0
[pid=11407/tid=11408] ppid=11405 vsize=13627896 CPUtime=1.45 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 39507 0 1 0 141 4 0 0 19 0 19 0 825181678 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 46912505788668 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11407/tid=11410] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11410/stat : 11410 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825181680 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11411] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11411/stat : 11411 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825181680 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11412] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11412/stat : 11412 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825181680 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11413] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11413/stat : 11413 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825181680 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11414] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11414/stat : 11414 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825181680 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11415] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11415/stat : 11415 (java) S 11405 11407 7151 0 -1 4202560 467 0 0 0 0 0 0 0 18 0 19 0 825181680 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11416] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11416/stat : 11416 (java) S 11405 11407 7151 0 -1 4202560 318 0 0 0 0 0 0 0 18 0 19 0 825181680 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11417] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11417/stat : 11417 (java) S 11405 11407 7151 0 -1 4202560 408 0 0 0 0 0 0 0 18 0 19 0 825181680 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11418] ppid=11405 vsize=13627896 CPUtime=0.02 cores=1,3,5,7
/proc/11407/task/11418/stat : 11418 (java) S 11405 11407 7151 0 -1 4202560 1196 0 0 0 2 0 0 0 15 0 19 0 825181681 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11419] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11419/stat : 11419 (java) S 11405 11407 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11420] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11420/stat : 11420 (java) S 11405 11407 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11421] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11421/stat : 11421 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181683 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11422] ppid=11405 vsize=13627896 CPUtime=0.47 cores=1,3,5,7
/proc/11407/task/11422/stat : 11422 (java) S 11405 11407 7151 0 -1 4202560 2820 0 0 0 47 0 0 0 16 0 19 0 825181683 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11423] ppid=11405 vsize=13627896 CPUtime=0.37 cores=1,3,5,7
/proc/11407/task/11423/stat : 11423 (java) S 11405 11407 7151 0 -1 4202560 3320 0 0 0 37 0 0 0 21 0 19 0 825181684 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11424] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11424/stat : 11424 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825181684 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11425] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11425/stat : 11425 (java) S 11405 11407 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825181684 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11426] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11426/stat : 11426 (java) S 11405 11407 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825181736 13954965504 46134 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 13627896

[startup+3.10125 s]
/proc/loadavg: 2.58 2.22 2.20 3/554 11426
/proc/meminfo: memFree=21062000/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13627896 CPUtime=3.99 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 50059 0 1 0 394 5 0 0 24 0 19 0 825181677 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3406974 46999 2263 9 0 3397708 0
[pid=11407/tid=11408] ppid=11405 vsize=13627896 CPUtime=3.01 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 39509 0 1 0 297 4 0 0 23 0 19 0 825181678 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 46912505784055 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11407/tid=11410] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11410/stat : 11410 (java) S 11405 11407 7151 0 -1 4202560 410 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11411] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11411/stat : 11411 (java) S 11405 11407 7151 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 825181680 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11412] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11412/stat : 11412 (java) S 11405 11407 7151 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11413] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11413/stat : 11413 (java) S 11405 11407 7151 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11414] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11414/stat : 11414 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11415] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11415/stat : 11415 (java) S 11405 11407 7151 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11416] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11416/stat : 11416 (java) S 11405 11407 7151 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11417] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11417/stat : 11417 (java) S 11405 11407 7151 0 -1 4202560 409 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11418] ppid=11405 vsize=13627896 CPUtime=0.06 cores=1,3,5,7
/proc/11407/task/11418/stat : 11418 (java) S 11405 11407 7151 0 -1 4202560 1500 0 0 0 6 0 0 0 15 0 19 0 825181681 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11419] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11419/stat : 11419 (java) S 11405 11407 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11420] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11420/stat : 11420 (java) S 11405 11407 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11421] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11421/stat : 11421 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181683 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11422] ppid=11405 vsize=13627896 CPUtime=0.48 cores=1,3,5,7
/proc/11407/task/11422/stat : 11422 (java) S 11405 11407 7151 0 -1 4202560 2824 0 0 0 48 0 0 0 15 0 19 0 825181683 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11423] ppid=11405 vsize=13627896 CPUtime=0.39 cores=1,3,5,7
/proc/11407/task/11423/stat : 11423 (java) S 11405 11407 7151 0 -1 4202560 3321 0 0 0 39 0 0 0 15 0 19 0 825181684 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11424] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11424/stat : 11424 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825181684 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11425] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11425/stat : 11425 (java) S 11405 11407 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825181684 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11426] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11426/stat : 11426 (java) S 11405 11407 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825181736 13954965504 46999 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 13627896

[startup+6.30062 s]
/proc/loadavg: 2.58 2.22 2.20 3/554 11426
/proc/meminfo: memFree=21059060/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13627896 CPUtime=7.23 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 50619 0 1 0 718 5 0 0 24 0 19 0 825181677 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3406974 47538 2263 9 0 3397708 0
[pid=11407/tid=11408] ppid=11405 vsize=13627896 CPUtime=6.09 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 39514 0 1 0 605 4 0 0 25 0 19 0 825181678 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 46912505913020 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11407/tid=11410] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11410/stat : 11410 (java) S 11405 11407 7151 0 -1 4202560 410 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11411] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11411/stat : 11411 (java) S 11405 11407 7151 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11412] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11412/stat : 11412 (java) S 11405 11407 7151 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11413] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11413/stat : 11413 (java) S 11405 11407 7151 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11414] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11414/stat : 11414 (java) S 11405 11407 7151 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11415] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11415/stat : 11415 (java) S 11405 11407 7151 0 -1 4202560 621 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11416] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11416/stat : 11416 (java) S 11405 11407 7151 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 825181680 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11417] ppid=11405 vsize=13627896 CPUtime=0.01 cores=1,3,5,7
/proc/11407/task/11417/stat : 11417 (java) S 11405 11407 7151 0 -1 4202560 414 0 0 0 1 0 0 0 15 0 19 0 825181680 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11418] ppid=11405 vsize=13627896 CPUtime=0.16 cores=1,3,5,7
/proc/11407/task/11418/stat : 11418 (java) S 11405 11407 7151 0 -1 4202560 1787 0 0 0 16 0 0 0 16 0 19 0 825181681 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11419] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11419/stat : 11419 (java) S 11405 11407 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11420] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11420/stat : 11420 (java) S 11405 11407 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11421] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11421/stat : 11421 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181683 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11422] ppid=11405 vsize=13627896 CPUtime=0.52 cores=1,3,5,7
/proc/11407/task/11422/stat : 11422 (java) S 11405 11407 7151 0 -1 4202560 2830 0 0 0 52 0 0 0 15 0 19 0 825181683 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11423] ppid=11405 vsize=13627896 CPUtime=0.39 cores=1,3,5,7
/proc/11407/task/11423/stat : 11423 (java) S 11405 11407 7151 0 -1 4202560 3321 0 0 0 39 0 0 0 15 0 19 0 825181684 13954965504 47538 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0

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

[pid=11407/tid=11415] ppid=11405 vsize=13627896 CPUtime=0.33 cores=1,3,5,7
/proc/11407/task/11415/stat : 11415 (java) S 11405 11407 7151 0 -1 4202560 1577 0 0 0 33 0 0 0 15 0 19 0 825181680 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11416] ppid=11405 vsize=13627896 CPUtime=0.31 cores=1,3,5,7
/proc/11407/task/11416/stat : 11416 (java) S 11405 11407 7151 0 -1 4202560 1745 0 0 0 31 0 0 0 16 0 19 0 825181680 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 3 0 0 0
[pid=11407/tid=11417] ppid=11405 vsize=13627896 CPUtime=0.31 cores=1,3,5,7
/proc/11407/task/11417/stat : 11417 (java) S 11405 11407 7151 0 -1 4202560 1804 0 0 0 31 0 0 0 16 0 19 0 825181680 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11418] ppid=11405 vsize=13627896 CPUtime=8.79 cores=1,3,5,7
/proc/11407/task/11418/stat : 11418 (java) S 11405 11407 7151 0 -1 4202560 8451 0 0 0 876 3 0 0 15 0 19 0 825181681 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11419] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11419/stat : 11419 (java) S 11405 11407 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11420] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11420/stat : 11420 (java) S 11405 11407 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11421] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11421/stat : 11421 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181683 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11422] ppid=11405 vsize=13627896 CPUtime=0.54 cores=1,3,5,7
/proc/11407/task/11422/stat : 11422 (java) S 11405 11407 7151 0 -1 4202560 2834 0 0 0 54 0 0 0 15 0 19 0 825181683 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11423] ppid=11405 vsize=13627896 CPUtime=0.39 cores=1,3,5,7
/proc/11407/task/11423/stat : 11423 (java) S 11405 11407 7151 0 -1 4202560 3321 0 0 0 39 0 0 0 15 0 19 0 825181684 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11424] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11424/stat : 11424 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825181684 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11425] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11425/stat : 11425 (java) S 11405 11407 7151 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 825181684 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11426] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11426/stat : 11426 (java) S 11405 11407 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825181736 13954965504 61296 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.78
Current children cumulated vsize (KiB) 13627896

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/554 11766
/proc/meminfo: memFree=20849644/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13627896 CPUtime=1784.82 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 64840 0 1 0 178469 13 0 0 24 0 19 0 825181677 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3406974 61354 2264 9 0 3397708 0
[pid=11407/tid=11408] ppid=11405 vsize=13627896 CPUtime=1772.18 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 39710 0 1 0 177213 5 0 0 25 0 19 0 825181678 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 46912506006783 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11407/tid=11410] ppid=11405 vsize=13627896 CPUtime=0.33 cores=1,3,5,7
/proc/11407/task/11410/stat : 11410 (java) S 11405 11407 7151 0 -1 4202560 737 0 0 0 33 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11411] ppid=11405 vsize=13627896 CPUtime=0.33 cores=1,3,5,7
/proc/11407/task/11411/stat : 11411 (java) S 11405 11407 7151 0 -1 4202560 1175 0 0 0 33 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11412] ppid=11405 vsize=13627896 CPUtime=0.3 cores=1,3,5,7
/proc/11407/task/11412/stat : 11412 (java) S 11405 11407 7151 0 -1 4202560 959 0 0 0 30 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 3 0 0 0
[pid=11407/tid=11413] ppid=11405 vsize=13627896 CPUtime=0.3 cores=1,3,5,7
/proc/11407/task/11413/stat : 11413 (java) S 11405 11407 7151 0 -1 4202560 372 0 0 0 30 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 3 0 0 0
[pid=11407/tid=11414] ppid=11405 vsize=13627896 CPUtime=0.33 cores=1,3,5,7
/proc/11407/task/11414/stat : 11414 (java) S 11405 11407 7151 0 -1 4202560 855 0 0 0 33 0 0 0 16 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11415] ppid=11405 vsize=13627896 CPUtime=0.34 cores=1,3,5,7
/proc/11407/task/11415/stat : 11415 (java) S 11405 11407 7151 0 -1 4202560 1577 0 0 0 34 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11416] ppid=11405 vsize=13627896 CPUtime=0.32 cores=1,3,5,7
/proc/11407/task/11416/stat : 11416 (java) S 11405 11407 7151 0 -1 4202560 1745 0 0 0 32 0 0 0 16 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 3 0 0 0
[pid=11407/tid=11417] ppid=11405 vsize=13627896 CPUtime=0.32 cores=1,3,5,7
/proc/11407/task/11417/stat : 11417 (java) S 11405 11407 7151 0 -1 4202560 1804 0 0 0 32 0 0 0 16 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11418] ppid=11405 vsize=13627896 CPUtime=9.04 cores=1,3,5,7
/proc/11407/task/11418/stat : 11418 (java) S 11405 11407 7151 0 -1 4202560 8498 0 0 0 900 4 0 0 15 0 19 0 825181681 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11419] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11419/stat : 11419 (java) S 11405 11407 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11420] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11420/stat : 11420 (java) S 11405 11407 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11421] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11421/stat : 11421 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181683 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11422] ppid=11405 vsize=13627896 CPUtime=0.54 cores=1,3,5,7
/proc/11407/task/11422/stat : 11422 (java) S 11405 11407 7151 0 -1 4202560 2834 0 0 0 54 0 0 0 15 0 19 0 825181683 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11423] ppid=11405 vsize=13627896 CPUtime=0.39 cores=1,3,5,7
/proc/11407/task/11423/stat : 11423 (java) S 11405 11407 7151 0 -1 4202560 3321 0 0 0 39 0 0 0 15 0 19 0 825181684 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11424] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11424/stat : 11424 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825181684 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11425] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11425/stat : 11425 (java) S 11405 11407 7151 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 825181684 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11426] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11426/stat : 11426 (java) S 11405 11407 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825181736 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.82
Current children cumulated vsize (KiB) 13627896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.04 3/554 11766
/proc/meminfo: memFree=20849876/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13627896 CPUtime=1800.05 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 64844 0 1 0 179992 13 0 0 24 0 19 0 825181677 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3406974 61354 2264 9 0 3397708 0
[pid=11407/tid=11408] ppid=11405 vsize=13627896 CPUtime=1787.29 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 39712 0 1 0 178724 5 0 0 25 0 19 0 825181678 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 46912505880009 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11407/tid=11410] ppid=11405 vsize=13627896 CPUtime=0.34 cores=1,3,5,7
/proc/11407/task/11410/stat : 11410 (java) S 11405 11407 7151 0 -1 4202560 737 0 0 0 34 0 0 0 16 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11411] ppid=11405 vsize=13627896 CPUtime=0.33 cores=1,3,5,7
/proc/11407/task/11411/stat : 11411 (java) S 11405 11407 7151 0 -1 4202560 1175 0 0 0 33 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11412] ppid=11405 vsize=13627896 CPUtime=0.31 cores=1,3,5,7
/proc/11407/task/11412/stat : 11412 (java) S 11405 11407 7151 0 -1 4202560 959 0 0 0 31 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 3 0 0 0
[pid=11407/tid=11413] ppid=11405 vsize=13627896 CPUtime=0.31 cores=1,3,5,7
/proc/11407/task/11413/stat : 11413 (java) S 11405 11407 7151 0 -1 4202560 372 0 0 0 31 0 0 0 16 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 3 0 0 0
[pid=11407/tid=11414] ppid=11405 vsize=13627896 CPUtime=0.33 cores=1,3,5,7
/proc/11407/task/11414/stat : 11414 (java) S 11405 11407 7151 0 -1 4202560 855 0 0 0 33 0 0 0 16 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11415] ppid=11405 vsize=13627896 CPUtime=0.34 cores=1,3,5,7
/proc/11407/task/11415/stat : 11415 (java) S 11405 11407 7151 0 -1 4202560 1577 0 0 0 34 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11416] ppid=11405 vsize=13627896 CPUtime=0.32 cores=1,3,5,7
/proc/11407/task/11416/stat : 11416 (java) S 11405 11407 7151 0 -1 4202560 1745 0 0 0 32 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 3 0 0 0
[pid=11407/tid=11417] ppid=11405 vsize=13627896 CPUtime=0.32 cores=1,3,5,7
/proc/11407/task/11417/stat : 11417 (java) S 11405 11407 7151 0 -1 4202560 1804 0 0 0 32 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11418] ppid=11405 vsize=13627896 CPUtime=9.14 cores=1,3,5,7
/proc/11407/task/11418/stat : 11418 (java) S 11405 11407 7151 0 -1 4202560 8500 0 0 0 910 4 0 0 15 0 19 0 825181681 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11419] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11419/stat : 11419 (java) S 11405 11407 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11420] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11420/stat : 11420 (java) S 11405 11407 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11421] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11421/stat : 11421 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181683 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11422] ppid=11405 vsize=13627896 CPUtime=0.54 cores=1,3,5,7
/proc/11407/task/11422/stat : 11422 (java) S 11405 11407 7151 0 -1 4202560 2834 0 0 0 54 0 0 0 15 0 19 0 825181683 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11423] ppid=11405 vsize=13627896 CPUtime=0.39 cores=1,3,5,7
/proc/11407/task/11423/stat : 11423 (java) S 11405 11407 7151 0 -1 4202560 3321 0 0 0 39 0 0 0 15 0 19 0 825181684 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11424] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11424/stat : 11424 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825181684 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11425] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11425/stat : 11425 (java) S 11405 11407 7151 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 825181684 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11426] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11426/stat : 11426 (java) S 11405 11407 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825181736 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13627896

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

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

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.04 3/554 11766
/proc/meminfo: memFree=20849876/32950928 swapFree=34259960/67111528
[pid=11407] ppid=11405 vsize=13627896 CPUtime=1800.05 cores=1,3,5,7
/proc/11407/stat : 11407 (java) S 11405 11407 7151 0 -1 4202496 64844 0 1 0 179992 13 0 0 24 0 19 0 825181677 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/11407/statm: 3406974 61354 2264 9 0 3397708 0
[pid=11407/tid=11408] ppid=11405 vsize=13627896 CPUtime=1787.29 cores=1,3,5,7
/proc/11407/task/11408/stat : 11408 (java) R 11405 11407 7151 0 -1 4202560 39712 0 1 0 178724 5 0 0 25 0 19 0 825181678 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 46912505880009 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11407/tid=11410] ppid=11405 vsize=13627896 CPUtime=0.34 cores=1,3,5,7
/proc/11407/task/11410/stat : 11410 (java) S 11405 11407 7151 0 -1 4202560 737 0 0 0 34 0 0 0 16 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11411] ppid=11405 vsize=13627896 CPUtime=0.33 cores=1,3,5,7
/proc/11407/task/11411/stat : 11411 (java) S 11405 11407 7151 0 -1 4202560 1175 0 0 0 33 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11412] ppid=11405 vsize=13627896 CPUtime=0.31 cores=1,3,5,7
/proc/11407/task/11412/stat : 11412 (java) S 11405 11407 7151 0 -1 4202560 959 0 0 0 31 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 3 0 0 0
[pid=11407/tid=11413] ppid=11405 vsize=13627896 CPUtime=0.31 cores=1,3,5,7
/proc/11407/task/11413/stat : 11413 (java) S 11405 11407 7151 0 -1 4202560 372 0 0 0 31 0 0 0 16 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 3 0 0 0
[pid=11407/tid=11414] ppid=11405 vsize=13627896 CPUtime=0.33 cores=1,3,5,7
/proc/11407/task/11414/stat : 11414 (java) S 11405 11407 7151 0 -1 4202560 855 0 0 0 33 0 0 0 16 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11415] ppid=11405 vsize=13627896 CPUtime=0.34 cores=1,3,5,7
/proc/11407/task/11415/stat : 11415 (java) S 11405 11407 7151 0 -1 4202560 1577 0 0 0 34 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11416] ppid=11405 vsize=13627896 CPUtime=0.32 cores=1,3,5,7
/proc/11407/task/11416/stat : 11416 (java) S 11405 11407 7151 0 -1 4202560 1745 0 0 0 32 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 3 0 0 0
[pid=11407/tid=11417] ppid=11405 vsize=13627896 CPUtime=0.32 cores=1,3,5,7
/proc/11407/task/11417/stat : 11417 (java) S 11405 11407 7151 0 -1 4202560 1804 0 0 0 32 0 0 0 15 0 19 0 825181680 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11418] ppid=11405 vsize=13627896 CPUtime=9.14 cores=1,3,5,7
/proc/11407/task/11418/stat : 11418 (java) S 11405 11407 7151 0 -1 4202560 8500 0 0 0 910 4 0 0 15 0 19 0 825181681 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11419] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11419/stat : 11419 (java) S 11405 11407 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11420] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11420/stat : 11420 (java) S 11405 11407 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825181681 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11421] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11421/stat : 11421 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181683 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11422] ppid=11405 vsize=13627896 CPUtime=0.54 cores=1,3,5,7
/proc/11407/task/11422/stat : 11422 (java) S 11405 11407 7151 0 -1 4202560 2834 0 0 0 54 0 0 0 15 0 19 0 825181683 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11423] ppid=11405 vsize=13627896 CPUtime=0.39 cores=1,3,5,7
/proc/11407/task/11423/stat : 11423 (java) S 11405 11407 7151 0 -1 4202560 3321 0 0 0 39 0 0 0 15 0 19 0 825181684 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11407/tid=11424] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11424/stat : 11424 (java) S 11405 11407 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 825181684 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11407/tid=11425] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11425/stat : 11425 (java) S 11405 11407 7151 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 825181684 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11407/tid=11426] ppid=11405 vsize=13627896 CPUtime=0 cores=1,3,5,7
/proc/11407/task/11426/stat : 11426 (java) S 11405 11407 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825181736 13954965504 61354 33554432000 1073741824 1073778376 140736729838704 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13627896

Child status: 143
Real time (s): 1797.57
CPU time (s): 1800.16
CPU user time (s): 1800.01
CPU system time (s): 0.146977
CPU usage (%): 100.144
Max. virtual memory (cumulated for all children) (KiB): 13627896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64879
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= 42122
involuntary context switches= 14727

runsolver used 9.03163 second user time and 22.1426 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-03 23:17:30
IDJOB=3459286
IDBENCH=1369
IDSOLVER=1952
FILE ID=node149/3459286-1307135850
RUNJOBID= node149-1307134204-10440
PBS_JOBID= 13508767
Free space on /tmp= 73528 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459286-1307135850/watcher-3459286-1307135850 -o /tmp/evaluation-result-3459286-1307135850/solver-3459286-1307135850 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459286-1307135850.opb

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

MD5SUM BENCH= 7f5f10f1b8aeee16c5b46dadab8c5b22
RANDOM SEED=1186844610

node149.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.806
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.61
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.806
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.806
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.83
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.806
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.73
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.806
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.82
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.806
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.75
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.806
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.82
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21242784 kB
Buffers:        327084 kB
Cached:        3488552 kB
SwapCached:     123196 kB
Active:         379936 kB
Inactive:     10988620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21242784 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:            1948 kB
Writeback:           0 kB
AnonPages:     7454572 kB
Mapped:          26220 kB
Slab:           150720 kB
PageTables:     117672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 186528320 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73524 MiB
End job on node149 at 2011-06-03 23:47:29