Trace number 3736808

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)13 1800.1 922.255

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1789.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint44
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

Quality of the solution as a function of time


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

Solver Data 

0.03/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.06	c See www.sat4j.org for details.
0.03/0.06	c version 2.2.0.v20100531
0.03/0.06	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.06	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.06	c java.vm.version	19.1-b02
0.03/0.06	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.06	c sun.arch.data.model	64
0.03/0.06	c java.version		1.6.0_24
0.03/0.06	c os.name		Linux
0.03/0.06	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.07	c os.arch		amd64
0.03/0.07	c Free memory 		1349517296
0.03/0.07	c Max memory 		1356595200
0.03/0.07	c Total memory 		1356595200
0.03/0.07	c Number of processors 	8
0.03/0.09	c Pseudo Boolean Optimization
0.03/0.09	c ManyCore solver with 2 solvers running in parallel
0.03/0.09	c --- Begin Solver configuration ---
0.03/0.09	c Stops conflict analysis at the first Unique Implication Point
0.03/0.09	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.03/0.09	c Learn all clauses as in MiniSAT
0.03/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.03/0.09	c Expensive reason simplification
0.03/0.09	c Armin Biere (Picosat) restarts strategy
0.03/0.09	c Glucose learned constraints deletion strategy
0.03/0.09	c timeout=2147483s
0.03/0.09	c DB Simplification allowed=false
0.03/0.09	c --- End Solver configuration ---
0.03/0.09	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.03/0.09	c --- Begin Solver configuration ---
0.03/0.09	c Stops conflict analysis at the first Unique Implication Point
0.03/0.09	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.03/0.09	c Learn all clauses as in MiniSAT
0.03/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.03/0.10	c No reason simplification
0.03/0.10	c Armin Biere (Picosat) restarts strategy
0.03/0.10	c Glucose learned constraints deletion strategy
0.03/0.10	c timeout=2147483s
0.03/0.10	c DB Simplification allowed=false
0.03/0.10	c --- End Solver configuration ---
0.03/0.10	
0.03/0.10	c solving HOME/instance-3736808-1338752207.opb
0.03/0.10	c reading problem ... 
1.84/1.23	c ... done. Wall clock time 1.136s.
1.84/1.23	c #vars     6404
1.84/1.23	c #constraints  12608
1.84/1.23	c constraints type 
1.84/1.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404
1.84/1.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204
1.84/1.23	c constraints type 
1.84/1.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6404
1.84/1.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204
2.10/1.33	c And the winner is CuttingPlanes
2.31/2.24	c SATISFIABLE
2.31/2.24	c OPTIMIZING...
2.31/2.24	c Got one! Elapsed wall clock time (in seconds):2.143
2.31/2.24	o 15
6.07/3.80	c cleaning 2496 clauses out of 5001 with flag 5001/5001
9.59/5.45	c cleaning 4247 clauses out of 8504 with flag 11000/11000
13.83/7.41	c cleaning 5624 clauses out of 11257 with flag 18000/18000
18.99/9.91	c cleaning 6813 clauses out of 13635 with flag 26002/26002
23.74/12.33	c cleaning 7906 clauses out of 15820 with flag 35000/35000
29.30/15.12	c cleaning 8953 clauses out of 17915 with flag 45001/45001
35.90/18.47	c cleaning 9978 clauses out of 19963 with flag 56002/56002
43.12/22.05	c cleaning 10986 clauses out of 21983 with flag 68000/68000
51.24/26.10	c cleaning 11996 clauses out of 23997 with flag 81000/81000
58.64/29.82	c cleaning 12497 clauses out of 25001 with flag 94000/94000
66.46/33.76	c cleaning 12748 clauses out of 25507 with flag 107003/107003
74.62/37.81	c cleaning 12875 clauses out of 25757 with flag 120001/120001
81.33/41.27	c cleaning 12938 clauses out of 25881 with flag 133000/133000
88.50/44.88	c cleaning 12966 clauses out of 25944 with flag 146001/146001
96.65/48.92	c cleaning 12984 clauses out of 25977 with flag 159000/159000
106.01/53.60	c cleaning 12995 clauses out of 25994 with flag 172001/172001
114.07/57.71	c cleaning 12991 clauses out of 25998 with flag 185000/185000
116.18/58.88	c And the winner is Resolution
116.54/60.25	c Got one! Elapsed wall clock time (in seconds):60.155
116.54/60.25	o 14
121.54/62.75	c cleaning 12997 clauses out of 26007 with flag 198000/198000
129.86/66.91	c cleaning 12999 clauses out of 26010 with flag 211000/211000
139.24/71.63	c cleaning 13001 clauses out of 26011 with flag 224000/224000
149.91/77.00	c cleaning 13000 clauses out of 26011 with flag 237001/237001
157.59/80.95	c cleaning 13000 clauses out of 26011 with flag 250001/250001
165.69/85.05	c cleaning 12999 clauses out of 26011 with flag 263001/263001
173.60/89.07	c cleaning 13000 clauses out of 26011 with flag 276000/276000
181.99/93.35	c cleaning 13002 clauses out of 26013 with flag 289002/289002
190.29/97.55	c cleaning 12999 clauses out of 26009 with flag 302000/302000
198.37/101.67	c cleaning 12999 clauses out of 26010 with flag 315000/315000
206.88/105.96	c cleaning 12999 clauses out of 26012 with flag 328001/328001
215.89/110.57	c cleaning 13003 clauses out of 26013 with flag 341001/341001
224.80/115.00	c cleaning 13004 clauses out of 26009 with flag 354000/354000
232.89/119.13	c cleaning 12997 clauses out of 26005 with flag 367000/367000
241.16/123.39	c cleaning 12997 clauses out of 26008 with flag 380000/380000
249.74/127.72	c cleaning 12997 clauses out of 26011 with flag 393000/393000
253.81/129.86	c And the winner is Resolution
254.59/130.95	c Got one! Elapsed wall clock time (in seconds):130.854
254.59/130.95	o 13
258.80/133.04	c cleaning 13001 clauses out of 26014 with flag 406000/406000
267.67/137.55	c cleaning 13002 clauses out of 26013 with flag 419000/419000
276.93/142.22	c cleaning 13002 clauses out of 26011 with flag 432000/432000
286.69/147.29	c cleaning 12998 clauses out of 26011 with flag 445002/445002
296.76/152.38	c cleaning 13002 clauses out of 26012 with flag 458001/458001
308.04/158.03	c cleaning 12998 clauses out of 26009 with flag 471000/471000
319.94/164.08	c cleaning 13003 clauses out of 26012 with flag 484001/484001
330.88/169.69	c cleaning 12997 clauses out of 26008 with flag 497000/497000
341.38/174.93	c cleaning 12999 clauses out of 26011 with flag 510000/510000
351.87/180.28	c cleaning 12999 clauses out of 26012 with flag 523000/523000
361.94/185.35	c cleaning 13003 clauses out of 26014 with flag 536001/536001
372.67/190.85	c cleaning 13003 clauses out of 26013 with flag 549003/549003
383.53/196.38	c cleaning 12998 clauses out of 26008 with flag 562001/562001
394.84/202.02	c cleaning 13001 clauses out of 26009 with flag 575000/575000
406.10/207.70	c cleaning 12998 clauses out of 26010 with flag 588002/588002
415.96/212.83	c cleaning 12999 clauses out of 26011 with flag 601001/601001
426.24/218.06	c cleaning 12998 clauses out of 26012 with flag 614001/614001
436.32/223.18	c cleaning 13002 clauses out of 26014 with flag 627001/627001
446.57/228.32	c cleaning 13002 clauses out of 26012 with flag 640001/640001
457.00/233.75	c cleaning 13000 clauses out of 26009 with flag 653000/653000
466.23/238.41	c cleaning 12999 clauses out of 26010 with flag 666001/666001
475.25/243.02	c cleaning 12998 clauses out of 26010 with flag 679000/679000
484.84/247.91	c cleaning 12998 clauses out of 26012 with flag 692000/692000
494.46/253.00	c cleaning 13000 clauses out of 26014 with flag 705000/705000
504.86/258.21	c cleaning 13001 clauses out of 26014 with flag 718000/718000
515.89/263.82	c cleaning 13003 clauses out of 26013 with flag 731000/731000
528.78/270.33	c cleaning 13000 clauses out of 26010 with flag 744000/744000
540.24/276.21	c cleaning 13000 clauses out of 26013 with flag 757003/757003
550.85/281.67	c cleaning 13000 clauses out of 26012 with flag 770002/770002
563.72/288.12	c cleaning 12998 clauses out of 26011 with flag 783001/783001
575.78/294.24	c cleaning 13002 clauses out of 26013 with flag 796001/796001
577.74/295.41	c cleaning 0 clauses out of 5001 with flag 0/5001
587.96/300.55	c cleaning 12999 clauses out of 26011 with flag 809001/809001
599.55/306.33	c cleaning 12999 clauses out of 26011 with flag 822000/822000
611.19/312.26	c cleaning 13000 clauses out of 26012 with flag 835000/835000
622.68/318.17	c cleaning 13003 clauses out of 26013 with flag 848001/848001
634.52/324.13	c cleaning 13003 clauses out of 26015 with flag 861006/861006
645.79/329.86	c cleaning 12997 clauses out of 26007 with flag 874001/874001
657.22/335.66	c cleaning 12997 clauses out of 26009 with flag 887000/887000
667.45/340.93	c cleaning 13004 clauses out of 26013 with flag 900001/900001
676.85/345.75	c cleaning 12998 clauses out of 26008 with flag 913000/913000
686.07/350.49	c cleaning 12999 clauses out of 26011 with flag 926001/926001
695.90/355.43	c cleaning 13001 clauses out of 26012 with flag 939001/939001
705.32/360.38	c cleaning 13000 clauses out of 26010 with flag 952000/952000
714.49/365.00	c cleaning 13000 clauses out of 26012 with flag 965002/965002
723.52/369.63	c cleaning 12999 clauses out of 26010 with flag 978000/978000
732.30/374.19	c cleaning 12998 clauses out of 26012 with flag 991001/991001
741.29/378.85	c cleaning 12997 clauses out of 26013 with flag 1004000/1004000
750.49/383.50	c cleaning 13001 clauses out of 26017 with flag 1017001/1017001
759.73/388.30	c cleaning 13004 clauses out of 26016 with flag 1030001/1030001
768.92/392.95	c cleaning 13000 clauses out of 26013 with flag 1043002/1043002
778.52/397.91	c cleaning 12998 clauses out of 26011 with flag 1056000/1056000
788.31/402.92	c cleaning 13001 clauses out of 26013 with flag 1069000/1069000
797.32/407.52	c cleaning 12999 clauses out of 26012 with flag 1082000/1082000
806.94/412.45	c cleaning 13003 clauses out of 26016 with flag 1095003/1095003
816.75/417.54	c cleaning 12994 clauses out of 26010 with flag 1108000/1108000
826.56/422.59	c cleaning 12999 clauses out of 26016 with flag 1121000/1121000
836.56/427.66	c cleaning 13002 clauses out of 26017 with flag 1134000/1134000
846.58/432.76	c cleaning 13001 clauses out of 26017 with flag 1147002/1147002
856.97/438.17	c cleaning 13002 clauses out of 26016 with flag 1160002/1160002
867.59/443.50	c cleaning 12997 clauses out of 26012 with flag 1173000/1173000
877.80/448.75	c cleaning 13005 clauses out of 26017 with flag 1186002/1186002
888.61/454.29	c cleaning 12999 clauses out of 26011 with flag 1199001/1199001
900.19/460.23	c cleaning 13003 clauses out of 26012 with flag 1212001/1212001
912.01/466.21	c cleaning 13001 clauses out of 26008 with flag 1225000/1225000
923.66/472.17	c cleaning 13000 clauses out of 26009 with flag 1238002/1238002
935.88/478.36	c cleaning 13000 clauses out of 26008 with flag 1251001/1251001
948.29/484.78	c cleaning 12998 clauses out of 26007 with flag 1264000/1264000
960.51/490.94	c cleaning 12999 clauses out of 26009 with flag 1277000/1277000
972.32/496.99	c cleaning 13001 clauses out of 26014 with flag 1290004/1290004
984.54/503.11	c cleaning 13000 clauses out of 26011 with flag 1303002/1303002
997.19/509.64	c cleaning 12996 clauses out of 26009 with flag 1316000/1316000
1009.46/515.90	c cleaning 13002 clauses out of 26015 with flag 1329002/1329002
1020.09/521.20	c cleaning 13000 clauses out of 26012 with flag 1342001/1342001
1029.27/525.99	c cleaning 12999 clauses out of 26012 with flag 1355001/1355001
1039.82/531.48	c cleaning 13002 clauses out of 26014 with flag 1368002/1368002
1050.02/536.62	c cleaning 12998 clauses out of 26010 with flag 1381000/1381000
1060.65/542.04	c cleaning 12999 clauses out of 26014 with flag 1394002/1394002
1071.65/547.69	c cleaning 13000 clauses out of 26013 with flag 1407000/1407000
1083.21/553.60	c cleaning 13000 clauses out of 26015 with flag 1420002/1420002
1093.82/559.06	c cleaning 12996 clauses out of 26014 with flag 1433001/1433001
1104.59/564.56	c cleaning 13000 clauses out of 26017 with flag 1446000/1446000
1115.83/570.25	c cleaning 13004 clauses out of 26020 with flag 1459003/1459003
1126.36/575.78	c cleaning 13002 clauses out of 26013 with flag 1472000/1472000
1136.78/581.06	c cleaning 13000 clauses out of 26011 with flag 1485000/1485000
1147.37/586.42	c cleaning 12999 clauses out of 26011 with flag 1498000/1498000
1157.97/591.88	c cleaning 13001 clauses out of 26013 with flag 1511001/1511001
1168.68/597.45	c cleaning 13001 clauses out of 26011 with flag 1524000/1524000
1178.22/602.31	c cleaning 12999 clauses out of 26011 with flag 1537001/1537001
1187.14/606.95	c cleaning 12999 clauses out of 26011 with flag 1550000/1550000
1196.07/611.57	c cleaning 12997 clauses out of 26013 with flag 1563001/1563001
1205.32/616.45	c cleaning 12999 clauses out of 26017 with flag 1576002/1576002
1214.85/621.39	c cleaning 13000 clauses out of 26018 with flag 1589002/1589002
1224.61/626.37	c cleaning 13005 clauses out of 26018 with flag 1602002/1602002
1233.93/631.19	c cleaning 12999 clauses out of 26012 with flag 1615001/1615001
1243.85/636.31	c cleaning 13001 clauses out of 26014 with flag 1628002/1628002
1254.63/641.86	c cleaning 13002 clauses out of 26011 with flag 1641000/1641000
1265.58/647.46	c cleaning 13000 clauses out of 26009 with flag 1654000/1654000
1277.18/653.36	c cleaning 12999 clauses out of 26010 with flag 1667001/1667001
1288.90/659.49	c cleaning 12999 clauses out of 26010 with flag 1680000/1680000
1300.46/665.38	c cleaning 13002 clauses out of 26011 with flag 1693000/1693000
1312.20/671.35	c cleaning 13001 clauses out of 26011 with flag 1706002/1706002
1324.18/677.40	c cleaning 12999 clauses out of 26009 with flag 1719001/1719001
1336.13/683.60	c cleaning 13001 clauses out of 26010 with flag 1732001/1732001
1348.15/689.71	c cleaning 12998 clauses out of 26008 with flag 1745000/1745000
1360.11/695.84	c cleaning 13000 clauses out of 26010 with flag 1758000/1758000
1372.31/702.01	c cleaning 13002 clauses out of 26013 with flag 1771003/1771003
1382.61/707.46	c cleaning 13001 clauses out of 26009 with flag 1784001/1784001
1392.73/712.60	c cleaning 12998 clauses out of 26008 with flag 1797001/1797001
1402.67/717.76	c cleaning 12997 clauses out of 26010 with flag 1810001/1810001
1412.77/722.92	c cleaning 13001 clauses out of 26012 with flag 1823000/1823000
1422.67/728.14	c cleaning 12997 clauses out of 26011 with flag 1836000/1836000
1432.26/733.04	c cleaning 13001 clauses out of 26015 with flag 1849001/1849001
1441.96/738.01	c cleaning 13000 clauses out of 26013 with flag 1862000/1862000
1452.08/743.26	c cleaning 13000 clauses out of 26016 with flag 1875003/1875003
1462.37/748.67	c cleaning 13003 clauses out of 26015 with flag 1888002/1888002
1472.70/753.99	c cleaning 12999 clauses out of 26010 with flag 1901000/1901000
1483.05/759.21	c cleaning 12999 clauses out of 26011 with flag 1914000/1914000
1493.22/764.49	c cleaning 12996 clauses out of 26012 with flag 1927000/1927000
1503.92/770.06	c cleaning 13003 clauses out of 26017 with flag 1940001/1940001
1514.04/775.25	c cleaning 13002 clauses out of 26014 with flag 1953001/1953001
1524.22/780.41	c cleaning 12998 clauses out of 26011 with flag 1966000/1966000
1534.35/785.63	c cleaning 13001 clauses out of 26013 with flag 1979000/1979000
1544.78/791.15	c cleaning 12999 clauses out of 26012 with flag 1992000/1992000
1554.31/796.08	c cleaning 13002 clauses out of 26013 with flag 2005000/2005000
1563.23/800.65	c cleaning 13001 clauses out of 26011 with flag 2018000/2018000
1573.01/805.64	c cleaning 13000 clauses out of 26010 with flag 2031000/2031000
1582.91/810.87	c cleaning 12997 clauses out of 26010 with flag 2044000/2044000
1593.25/816.11	c cleaning 13003 clauses out of 26014 with flag 2057001/2057001
1603.75/821.51	c cleaning 12998 clauses out of 26010 with flag 2070000/2070000
1614.32/826.96	c cleaning 13000 clauses out of 26012 with flag 2083000/2083000
1625.85/832.94	c cleaning 12999 clauses out of 26012 with flag 2096000/2096000
1637.20/838.73	c cleaning 13000 clauses out of 26013 with flag 2109000/2109000
1648.74/844.66	c cleaning 13002 clauses out of 26013 with flag 2122000/2122000
1659.89/850.34	c cleaning 13001 clauses out of 26012 with flag 2135001/2135001
1671.14/856.30	c cleaning 12999 clauses out of 26011 with flag 2148001/2148001
1682.08/861.83	c cleaning 13000 clauses out of 26015 with flag 2161004/2161004
1694.07/867.91	c cleaning 13000 clauses out of 26011 with flag 2174000/2174000
1704.96/873.54	c cleaning 13000 clauses out of 26013 with flag 2187002/2187002
1716.82/879.72	c cleaning 12999 clauses out of 26011 with flag 2200000/2200000
1728.97/885.90	c cleaning 12999 clauses out of 26013 with flag 2213001/2213001
1741.02/892.03	c cleaning 13000 clauses out of 26013 with flag 2226000/2226000
1753.14/898.23	c cleaning 13002 clauses out of 26015 with flag 2239002/2239002
1765.63/904.78	c cleaning 13003 clauses out of 26014 with flag 2252003/2252003
1777.63/910.84	c cleaning 12996 clauses out of 26008 with flag 2265000/2265000
1789.33/916.85	c cleaning 12999 clauses out of 26014 with flag 2278002/2278002
1799.86/922.21	c starts		: 231
1799.86/922.21	c conflicts		: 2289127
1799.86/922.21	c decisions		: 3556400
1799.86/922.21	c propagations		: 456986673
1799.86/922.21	c inspects		: 4556600446
1799.86/922.21	c learnt literals	: 0
1799.86/922.21	c learnt binary clauses	: 0
1799.86/922.21	c learnt ternary clauses	: 0
1799.86/922.21	c learnt clauses	: 2289127
1799.86/922.21	c ignored clauses	: 0
1799.86/922.21	c root simplifications	: 0
1799.86/922.21	c removed literals (reason simplification)	: 9700876
1799.86/922.21	c reason swapping (by a shorter reason)	: 0
1799.86/922.21	c Calls to reduceDB	: 178
1799.86/922.21	c number of reductions to clauses (during analyze)	: 0
1799.86/922.21	c number of learned constraints concerned by reduction	: 0
1799.86/922.21	c number of learning phase by resolution	: 0
1799.86/922.21	c number of learning phase by cutting planes	: 0
1799.86/922.21	c speed (assignments/second)	: 577543.318251902
1799.86/922.21	c non guided choices	0
1799.86/922.24	c learnt constraints type 
1799.86/922.24	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 24161
1799.86/922.24	c constraints type 
1799.86/922.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404
1799.86/922.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.86/922.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204
1799.86/922.24	c constraints type 
1799.86/922.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6404
1799.86/922.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.86/922.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6204
1799.86/922.24	s SATISFIABLE
1799.86/922.24	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 
1799.86/922.24	c objective function=13
1799.86/922.24	c Total wall clock time (in seconds): 922.147

Verifier Data 

OK	13

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736808-1338752207/watcher-3736808-1338752207 -o /tmp/evaluation-result-3736808-1338752207/solver-3736808-1338752207 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736808-1338752207.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.63 3.59 3.64 4/197 29641
/proc/meminfo: memFree=26283364/32873660 swapFree=7120/7120
[pid=29641] ppid=29639 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/29641/stat : 29641 (java) S 29639 29641 25443 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 341346439 96370688 927 33554432000 1073741824 1073778376 140736468732912 140736468724048 270333411389 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 23528 931 705 9 0 16769 0
[pid=29641/tid=29642] ppid=29639 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (java) R 29639 29641 25443 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 2 0 341346440 98635776 939 33554432000 1073741824 1073778376 140736468732912 140444425776680 270320889735 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.055612 s]
/proc/loadavg: 3.63 3.59 3.64 4/197 29641
/proc/meminfo: memFree=26283364/32873660 swapFree=7120/7120
[pid=29641] ppid=29639 vsize=2699928 CPUtime=0.03 cores=1,3,5,7
/proc/29641/stat : 29641 (java) S 29639 29641 25443 0 -1 4202496 3903 0 1 0 3 0 0 0 20 0 18 0 341346439 2764726272 5111 33554432000 1073741824 1073778376 140736468732912 140736468724048 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 674982 5111 1759 9 0 665676 0
[pid=29641/tid=29642] ppid=29639 vsize=2699928 CPUtime=0.03 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (java) R 29639 29641 25443 0 -1 4202560 2693 0 1 0 3 0 0 0 20 0 18 0 341346440 2764726272 5111 33554432000 1073741824 1073778376 140736468732912 140444425783968 270333437197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2699928

[startup+0.100234 s]
/proc/loadavg: 3.63 3.59 3.64 4/197 29641
/proc/meminfo: memFree=26283364/32873660 swapFree=7120/7120
[pid=29641] ppid=29639 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/29641/stat : 29641 (java) S 29639 29641 25443 0 -1 4202496 4917 0 1 0 10 0 0 0 20 0 18 0 341346439 2764726272 6084 33554432000 1073741824 1073778376 140736468732912 140736468724048 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 674982 6084 2153 9 0 665676 0
[pid=29641/tid=29642] ppid=29639 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (java) R 29639 29641 25443 0 -1 4202560 2829 0 1 0 8 0 0 0 20 0 18 0 341346440 2764726272 6084 33554432000 1073741824 1073778376 140736468732912 140444425771728 270333437197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928

[startup+0.300192 s]
/proc/loadavg: 3.63 3.59 3.64 4/197 29641
/proc/meminfo: memFree=26283364/32873660 swapFree=7120/7120
[pid=29641] ppid=29639 vsize=2699928 CPUtime=0.45 cores=1,3,5,7
/proc/29641/stat : 29641 (java) S 29639 29641 25443 0 -1 4202496 5652 0 1 0 45 0 0 0 20 0 18 0 341346439 2764726272 8080 33554432000 1073741824 1073778376 140736468732912 140736468724048 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 674982 8080 2219 9 0 665676 0
[pid=29641/tid=29642] ppid=29639 vsize=2699928 CPUtime=0.27 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (java) R 29639 29641 25443 0 -1 4202560 2839 0 1 0 27 0 0 0 20 0 18 0 341346440 2764726272 8080 33554432000 1073741824 1073778376 140736468732912 140444425772928 270333426744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2699928

[startup+0.700324 s]
/proc/loadavg: 3.63 3.59 3.64 4/197 29641
/proc/meminfo: memFree=26283364/32873660 swapFree=7120/7120
[pid=29641] ppid=29639 vsize=2699928 CPUtime=1.22 cores=1,3,5,7
/proc/29641/stat : 29641 (java) S 29639 29641 25443 0 -1 4202496 13407 0 1 0 120 2 0 0 20 0 18 0 341346439 2764726272 14851 33554432000 1073741824 1073778376 140736468732912 140736468724048 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 674982 14851 2233 9 0 665676 0
[pid=29641/tid=29642] ppid=29639 vsize=2699928 CPUtime=0.67 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (java) R 29639 29641 25443 0 -1 4202560 2843 0 1 0 67 0 0 0 20 0 18 0 341346440 2764726272 14851 33554432000 1073741824 1073778376 140736468732912 140444425772928 140444298053573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 2699928

[startup+1.50069 s]
/proc/loadavg: 3.63 3.59 3.64 4/215 29659
/proc/meminfo: memFree=26231836/32873660 swapFree=7120/7120
[pid=29641] ppid=29639 vsize=2966184 CPUtime=2.31 cores=1,3,5,7
/proc/29641/stat : 29641 (java) S 29639 29641 25443 0 -1 4202496 15004 0 1 0 226 5 0 0 20 0 20 0 341346439 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140736468724048 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 741546 18308 2251 9 0 732240 0
[pid=29641/tid=29642] ppid=29639 vsize=2966184 CPUtime=1.21 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (java) S 29639 29641 25443 0 -1 4202560 2860 0 1 0 121 0 0 0 20 0 20 0 341346440 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444425782424 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341346440 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444292684712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29645] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29645/stat : 29645 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341346440 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444291632168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29646] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29646/stat : 29646 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341346440 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444222614184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29647] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29647/stat : 29647 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341346440 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444221561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29648] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29648/stat : 29648 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341346440 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444220508584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29649] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29649/stat : 29649 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341346440 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444219456040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29650] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29650/stat : 29650 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341346440 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444218402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29651] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29651/stat : 29651 (java) S 29639 29641 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341346440 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444217350440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29652] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29652/stat : 29652 (java) S 29639 29641 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341346441 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444205153128 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29653] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29653/stat : 29653 (java) S 29639 29641 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341346442 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444204099448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29654] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29654/stat : 29654 (java) S 29639 29641 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341346442 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444203046280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29655] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29655/stat : 29655 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341346444 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444201995024 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29656] ppid=29639 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/29641/task/29656/stat : 29656 (java) S 29639 29641 25443 0 -1 4202560 7229 0 0 0 51 2 0 0 20 0 20 0 341346444 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444200941880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29657] ppid=29639 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/29641/task/29657/stat : 29657 (java) S 29639 29641 25443 0 -1 4202560 3667 0 0 0 34 0 0 0 20 0 20 0 341346444 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444199889336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29658] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29658/stat : 29658 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341346444 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444198836472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29659] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29659/stat : 29659 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341346444 3037372416 18308 33554432000 1073741824 1073778376 140736468732912 140444197784136 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 2966184

[startup+3.10077 s]
/proc/loadavg: 3.63 3.59 3.64 3/217 29663
/proc/meminfo: memFree=26218388/32873660 swapFree=7120/7120
[pid=29641] ppid=29639 vsize=2966184 CPUtime=4.79 cores=1,3,5,7
/proc/29641/stat : 29641 (java) S 29639 29641 25443 0 -1 4202496 19211 0 1 0 468 11 0 0 20 0 22 0 341346439 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140736468724048 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 741546 101587 2269 9 0 732240 0
[pid=29641/tid=29642] ppid=29639 vsize=2966184 CPUtime=1.22 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (java) S 29639 29641 25443 0 -1 4202560 2861 0 1 0 122 0 0 0 20 0 22 0 341346440 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444425782424 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29644] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (java) S 29639 29641 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341346440 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444292684712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29645] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29645/stat : 29645 (java) S 29639 29641 25443 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341346440 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444291632168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29646] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29646/stat : 29646 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346440 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444222614184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29647] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29647/stat : 29647 (java) S 29639 29641 25443 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341346440 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444221561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29648] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29648/stat : 29648 (java) S 29639 29641 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341346440 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444220508584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29649] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29649/stat : 29649 (java) S 29639 29641 25443 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341346440 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444219456040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29650] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29650/stat : 29650 (java) S 29639 29641 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341346440 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444218402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29651] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29651/stat : 29651 (java) S 29639 29641 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341346440 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444217350440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29652] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29652/stat : 29652 (java) S 29639 29641 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341346441 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444205153128 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29653] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29653/stat : 29653 (java) S 29639 29641 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341346442 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444204099448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29654] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29654/stat : 29654 (java) S 29639 29641 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341346442 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444203046280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29655] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29655/stat : 29655 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346444 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444201995024 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29656] ppid=29639 vsize=2966184 CPUtime=0.94 cores=1,3,5,7
/proc/29641/task/29656/stat : 29656 (java) S 29639 29641 25443 0 -1 4202560 7284 0 0 0 92 2 0 0 20 0 22 0 341346444 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444200941880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29657] ppid=29639 vsize=2966184 CPUtime=0.68 cores=1,3,5,7
/proc/29641/task/29657/stat : 29657 (java) S 29639 29641 25443 0 -1 4202560 7550 0 0 0 66 2 0 0 20 0 22 0 341346444 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444199889336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29658] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29658/stat : 29658 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346444 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444198836472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29659] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29659/stat : 29659 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346444 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444197784136 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29662] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29662/stat : 29662 (java) S 29639 29641 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341346565 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444194624808 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29663] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29663/stat : 29663 (java) S 29639 29641 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341346565 3037372416 101587 33554432000 1073741824 1073778376 140736468732912 140444193572264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 2966184

[startup+6.30082 s]
/proc/loadavg: 3.74 3.62 3.65 5/219 29665
/proc/meminfo: memFree=25850588/32873660 swapFree=7120/7120
[pid=29641] ppid=29639 vsize=2966184 CPUtime=11.61 cores=1,3,5,7
/proc/29641/stat : 29641 (java) S 29639 29641 25443 0 -1 4202496 20716 0 1 0 1144 17 0 0 20 0 22 0 341346439 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140736468724048 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 741546 122845 2285 9 0 732240 0
[pid=29641/tid=29642] ppid=29639 vsize=2966184 CPUtime=1.22 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (java) S 29639 29641 25443 0 -1 4202560 2861 0 1 0 122 0 0 0 20 0 22 0 341346440 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444425782424 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29644] ppid=29639 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (java) S 29639 29641 25443 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 22 0 341346440 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444292684712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29645] ppid=29639 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/29641/task/29645/stat : 29645 (java) S 29639 29641 25443 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 22 0 341346440 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444291632168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29646] ppid=29639 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/29641/task/29646/stat : 29646 (java) S 29639 29641 25443 0 -1 4202560 17 0 0 0 3 1 0 0 20 0 22 0 341346440 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444222614184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29647] ppid=29639 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/29641/task/29647/stat : 29647 (java) S 29639 29641 25443 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 22 0 341346440 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444221561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29648] ppid=29639 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/29641/task/29648/stat : 29648 (java) S 29639 29641 25443 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 341346440 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444220508584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29649] ppid=29639 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/29641/task/29649/stat : 29649 (java) S 29639 29641 25443 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 341346440 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444219456040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29650] ppid=29639 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/29641/task/29650/stat : 29650 (java) S 29639 29641 25443 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 341346440 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444218402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29651] ppid=29639 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/29641/task/29651/stat : 29651 (java) S 29639 29641 25443 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 341346440 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444217350440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29652] ppid=29639 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/29641/task/29652/stat : 29652 (java) S 29639 29641 25443 0 -1 4202560 64 0 0 0 11 0 0 0 20 0 22 0 341346441 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444205153128 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29653] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29653/stat : 29653 (java) S 29639 29641 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341346442 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444204099448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29654] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29654/stat : 29654 (java) S 29639 29641 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341346442 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444203046280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29655] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29655/stat : 29655 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346444 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444201995024 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29656] ppid=29639 vsize=2966184 CPUtime=1.25 cores=1,3,5,7
/proc/29641/task/29656/stat : 29656 (java) S 29639 29641 25443 0 -1 4202560 8601 0 0 0 123 2 0 0 20 0 22 0 341346444 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444200941880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29657] ppid=29639 vsize=2966184 CPUtime=0.8 cores=1,3,5,7
/proc/29641/task/29657/stat : 29657 (java) S 29639 29641 25443 0 -1 4202560 7575 0 0 0 78 2 0 0 20 0 22 0 341346444 3037372416 122845 33554432000 1073741824 1073778376 140736468732912 140444199889336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=29641/tid=29647] ppid=29639 vsize=2966184 CPUtime=6.5 cores=1,3,5,7
/proc/29641/task/29647/stat : 29647 (java) S 29639 29641 25443 0 -1 4202560 317 0 0 0 642 8 0 0 20 0 22 0 341346440 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444221561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29648] ppid=29639 vsize=2966184 CPUtime=6.7 cores=1,3,5,7
/proc/29641/task/29648/stat : 29648 (java) S 29639 29641 25443 0 -1 4202560 330 0 0 0 663 7 0 0 20 0 22 0 341346440 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444220508584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29649] ppid=29639 vsize=2966184 CPUtime=6.63 cores=1,3,5,7
/proc/29641/task/29649/stat : 29649 (java) S 29639 29641 25443 0 -1 4202560 313 0 0 0 656 7 0 0 20 0 22 0 341346440 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444219456040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29650] ppid=29639 vsize=2966184 CPUtime=6.61 cores=1,3,5,7
/proc/29641/task/29650/stat : 29650 (java) S 29639 29641 25443 0 -1 4202560 325 0 0 0 654 7 0 0 20 0 22 0 341346440 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444218402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29651] ppid=29639 vsize=2966184 CPUtime=6.63 cores=1,3,5,7
/proc/29641/task/29651/stat : 29651 (java) S 29639 29641 25443 0 -1 4202560 321 0 0 0 656 7 0 0 20 0 22 0 341346440 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444217350440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29652] ppid=29639 vsize=2966184 CPUtime=57.01 cores=1,3,5,7
/proc/29641/task/29652/stat : 29652 (java) S 29639 29641 25443 0 -1 4202560 2483 0 0 0 5656 45 0 0 20 0 22 0 341346441 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444205153128 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29653] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29653/stat : 29653 (java) S 29639 29641 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341346442 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444204099448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29654] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29654/stat : 29654 (java) S 29639 29641 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341346442 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444203046280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29655] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29655/stat : 29655 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346444 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444201995024 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29656] ppid=29639 vsize=2966184 CPUtime=1.3 cores=1,3,5,7
/proc/29641/task/29656/stat : 29656 (java) S 29639 29641 25443 0 -1 4202560 8601 0 0 0 128 2 0 0 20 0 22 0 341346444 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444200941880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29657] ppid=29639 vsize=2966184 CPUtime=1.47 cores=1,3,5,7
/proc/29641/task/29657/stat : 29657 (java) S 29639 29641 25443 0 -1 4202560 14144 0 0 0 144 3 0 0 20 0 22 0 341346444 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444199889336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29658] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29658/stat : 29658 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346444 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444198836472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29659] ppid=29639 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/29641/task/29659/stat : 29659 (java) S 29639 29641 25443 0 -1 4202560 47 0 0 0 14 18 0 0 20 0 22 0 341346444 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444197784136 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29662] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29662/stat : 29662 (java) S 29639 29641 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341346565 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444194624808 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29663] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29663/stat : 29663 (java) S 29639 29641 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341346565 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444193572264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29670] ppid=29639 vsize=2966184 CPUtime=624.44 cores=1,3,5,7
/proc/29641/task/29670/stat : 29670 (java) R 29639 29641 25443 0 -1 4202560 454 0 0 0 62433 11 0 0 20 0 22 0 341359535 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444196729680 140444298430318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29671] ppid=29639 vsize=2966184 CPUtime=624.46 cores=1,3,5,7
/proc/29641/task/29671/stat : 29671 (java) R 29639 29641 25443 0 -1 4202560 413 0 0 0 62435 11 0 0 20 0 22 0 341359535 3037372416 210762 33554432000 1073741824 1073778376 140736468732912 140444195675360 140444298460059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1604.94
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 3.87 3.80 3.69 5/219 29821
/proc/meminfo: memFree=25407244/32873660 swapFree=7120/7120
[pid=29641] ppid=29639 vsize=2966184 CPUtime=1721.65 cores=1,3,5,7
/proc/29641/stat : 29641 (java) S 29639 29641 25443 0 -1 4202496 33616 0 1 0 172018 147 0 0 20 0 22 0 341346439 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140736468724048 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 741546 212814 2286 9 0 732240 0
[pid=29641/tid=29642] ppid=29639 vsize=2966184 CPUtime=1.25 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (java) S 29639 29641 25443 0 -1 4202560 2929 0 1 0 123 2 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444425782424 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29644] ppid=29639 vsize=2966184 CPUtime=7.26 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (java) S 29639 29641 25443 0 -1 4202560 326 0 0 0 718 8 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444292684712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29645] ppid=29639 vsize=2966184 CPUtime=7.18 cores=1,3,5,7
/proc/29641/task/29645/stat : 29645 (java) S 29639 29641 25443 0 -1 4202560 326 0 0 0 710 8 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444291632168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29646] ppid=29639 vsize=2966184 CPUtime=6.85 cores=1,3,5,7
/proc/29641/task/29646/stat : 29646 (java) S 29639 29641 25443 0 -1 4202560 323 0 0 0 678 7 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444222614184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29647] ppid=29639 vsize=2966184 CPUtime=7.1 cores=1,3,5,7
/proc/29641/task/29647/stat : 29647 (java) S 29639 29641 25443 0 -1 4202560 318 0 0 0 701 9 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444221561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29648] ppid=29639 vsize=2966184 CPUtime=7.36 cores=1,3,5,7
/proc/29641/task/29648/stat : 29648 (java) S 29639 29641 25443 0 -1 4202560 331 0 0 0 728 8 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444220508584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29649] ppid=29639 vsize=2966184 CPUtime=7.2 cores=1,3,5,7
/proc/29641/task/29649/stat : 29649 (java) S 29639 29641 25443 0 -1 4202560 314 0 0 0 712 8 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444219456040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29650] ppid=29639 vsize=2966184 CPUtime=7.21 cores=1,3,5,7
/proc/29641/task/29650/stat : 29650 (java) S 29639 29641 25443 0 -1 4202560 325 0 0 0 713 8 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444218402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29651] ppid=29639 vsize=2966184 CPUtime=7.11 cores=1,3,5,7
/proc/29641/task/29651/stat : 29651 (java) S 29639 29641 25443 0 -1 4202560 322 0 0 0 704 7 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444217350440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29652] ppid=29639 vsize=2966184 CPUtime=62.2 cores=1,3,5,7
/proc/29641/task/29652/stat : 29652 (java) S 29639 29641 25443 0 -1 4202560 2709 0 0 0 6171 49 0 0 20 0 22 0 341346441 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444205153128 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29653] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29653/stat : 29653 (java) S 29639 29641 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341346442 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444204099448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29654] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29654/stat : 29654 (java) S 29639 29641 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341346442 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444203046280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29655] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29655/stat : 29655 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346444 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444201995024 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29656] ppid=29639 vsize=2966184 CPUtime=1.3 cores=1,3,5,7
/proc/29641/task/29656/stat : 29656 (java) S 29639 29641 25443 0 -1 4202560 8601 0 0 0 128 2 0 0 20 0 22 0 341346444 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444200941880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29657] ppid=29639 vsize=2966184 CPUtime=1.47 cores=1,3,5,7
/proc/29641/task/29657/stat : 29657 (java) S 29639 29641 25443 0 -1 4202560 14144 0 0 0 144 3 0 0 20 0 22 0 341346444 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444199889336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29658] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29658/stat : 29658 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346444 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444198836472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29659] ppid=29639 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/29641/task/29659/stat : 29659 (java) S 29639 29641 25443 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 341346444 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444197784136 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29662] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29662/stat : 29662 (java) S 29639 29641 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341346565 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444194624808 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29663] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29663/stat : 29663 (java) S 29639 29641 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341346565 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444193572264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29670] ppid=29639 vsize=2966184 CPUtime=677.81 cores=1,3,5,7
/proc/29641/task/29670/stat : 29670 (java) R 29639 29641 25443 0 -1 4202560 498 0 0 0 67769 12 0 0 20 0 22 0 341359535 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444196728544 140444298432789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29671] ppid=29639 vsize=2966184 CPUtime=677.85 cores=1,3,5,7
/proc/29641/task/29671/stat : 29671 (java) R 29639 29641 25443 0 -1 4202560 447 0 0 0 67773 12 0 0 20 0 22 0 341359535 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444195675408 140444298460068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+922.201 s]
/proc/loadavg: 3.88 3.80 3.70 6/219 29821
/proc/meminfo: memFree=25380128/32873660 swapFree=7120/7120
[pid=29641] ppid=29639 vsize=2966184 CPUtime=1799.86 cores=1,3,5,7
/proc/29641/stat : 29641 (java) S 29639 29641 25443 0 -1 4202496 33954 0 1 0 179833 153 0 0 20 0 22 0 341346439 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140736468724048 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29641/statm: 741546 212814 2286 9 0 732240 0
[pid=29641/tid=29642] ppid=29639 vsize=2966184 CPUtime=1.25 cores=1,3,5,7
/proc/29641/task/29642/stat : 29642 (java) S 29639 29641 25443 0 -1 4202560 2932 0 1 0 123 2 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444425782424 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29644] ppid=29639 vsize=2966184 CPUtime=7.68 cores=1,3,5,7
/proc/29641/task/29644/stat : 29644 (java) S 29639 29641 25443 0 -1 4202560 326 0 0 0 760 8 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444292684712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29645] ppid=29639 vsize=2966184 CPUtime=7.55 cores=1,3,5,7
/proc/29641/task/29645/stat : 29645 (java) S 29639 29641 25443 0 -1 4202560 326 0 0 0 746 9 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444291632168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29646] ppid=29639 vsize=2966184 CPUtime=7.22 cores=1,3,5,7
/proc/29641/task/29646/stat : 29646 (java) S 29639 29641 25443 0 -1 4202560 323 0 0 0 715 7 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444222614184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29647] ppid=29639 vsize=2966184 CPUtime=7.54 cores=1,3,5,7
/proc/29641/task/29647/stat : 29647 (java) S 29639 29641 25443 0 -1 4202560 318 0 0 0 745 9 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444221561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29648] ppid=29639 vsize=2966184 CPUtime=7.78 cores=1,3,5,7
/proc/29641/task/29648/stat : 29648 (java) S 29639 29641 25443 0 -1 4202560 331 0 0 0 770 8 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444220508584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29649] ppid=29639 vsize=2966184 CPUtime=7.59 cores=1,3,5,7
/proc/29641/task/29649/stat : 29649 (java) S 29639 29641 25443 0 -1 4202560 314 0 0 0 750 9 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444219456040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29650] ppid=29639 vsize=2966184 CPUtime=7.64 cores=1,3,5,7
/proc/29641/task/29650/stat : 29650 (java) S 29639 29641 25443 0 -1 4202560 325 0 0 0 756 8 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444218402984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29651] ppid=29639 vsize=2966184 CPUtime=7.48 cores=1,3,5,7
/proc/29641/task/29651/stat : 29651 (java) S 29639 29641 25443 0 -1 4202560 322 0 0 0 740 8 0 0 20 0 22 0 341346440 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444217350440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29652] ppid=29639 vsize=2966184 CPUtime=65.15 cores=1,3,5,7
/proc/29641/task/29652/stat : 29652 (java) S 29639 29641 25443 0 -1 4202560 2991 0 0 0 6463 52 0 0 20 0 22 0 341346441 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444205153128 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29653] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29653/stat : 29653 (java) S 29639 29641 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341346442 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444204099448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29654] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29654/stat : 29654 (java) S 29639 29641 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341346442 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444203046280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29655] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29655/stat : 29655 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346444 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444201995024 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29656] ppid=29639 vsize=2966184 CPUtime=1.3 cores=1,3,5,7
/proc/29641/task/29656/stat : 29656 (java) S 29639 29641 25443 0 -1 4202560 8601 0 0 0 128 2 0 0 20 0 22 0 341346444 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444200941880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29641/tid=29657] ppid=29639 vsize=2966184 CPUtime=1.47 cores=1,3,5,7
/proc/29641/task/29657/stat : 29657 (java) S 29639 29641 25443 0 -1 4202560 14144 0 0 0 144 3 0 0 20 0 22 0 341346444 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444199889336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29658] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29658/stat : 29658 (java) S 29639 29641 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341346444 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444198836472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29641/tid=29659] ppid=29639 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/29641/task/29659/stat : 29659 (java) S 29639 29641 25443 0 -1 4202560 53 0 0 0 15 21 0 0 20 0 22 0 341346444 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444197784136 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29662] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29662/stat : 29662 (java) S 29639 29641 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341346565 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444194624808 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29641/tid=29663] ppid=29639 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29641/task/29663/stat : 29663 (java) S 29639 29641 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341346565 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444193572264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29670] ppid=29639 vsize=2966184 CPUtime=713.74 cores=1,3,5,7
/proc/29641/task/29670/stat : 29670 (java) R 29639 29641 25443 0 -1 4202560 528 0 0 0 71362 12 0 0 20 0 22 0 341359535 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444196727824 140444298431632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29641/tid=29671] ppid=29639 vsize=2966184 CPUtime=713.78 cores=1,3,5,7
/proc/29641/task/29671/stat : 29671 (java) R 29639 29641 25443 0 -1 4202560 468 0 0 0 71366 12 0 0 20 0 22 0 341359535 3037372416 212814 33554432000 1073741824 1073778376 140736468732912 140444195676296 140444298391963 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.86
Current children cumulated vsize (KiB) 2966184

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29641 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=808147
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=972700
# CPU time returned by wait4() is 1796.78
# while last known CPU time is 1799.86
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 922.255
CPU time (s): 1800.1
CPU user time (s): 1798.59
CPU system time (s): 1.51
CPU usage (%): 195.185
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.81
system time used= 1.9727
maximum resident set size= 853424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33990
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54817
involuntary context switches= 101378

runsolver used 3.07153 second user time and 8.90365 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-03 21:36:47
IDJOB=3736808
IDBENCH=48128
IDSOLVER=2324
FILE ID=node117/3736808-1338752207
RUNJOBID= node117-1338737787-25460
PBS_JOBID= 14636766
Free space on /tmp= 69120 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736808-1338752207/watcher-3736808-1338752207 -o /tmp/evaluation-result-3736808-1338752207/solver-3736808-1338752207 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736808-1338752207.opb

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

MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76
RANDOM SEED=1880805270

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        26283992 kB
Buffers:          629464 kB
Cached:          4149924 kB
SwapCached:          776 kB
Active:          3204400 kB
Inactive:        2469480 kB
Active(anon):     880412 kB
Inactive(anon):     9972 kB
Active(file):    2323988 kB
Inactive(file):  2459508 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:               512 kB
Writeback:             0 kB
AnonPages:        914888 kB
Mapped:            20516 kB
Shmem:                80 kB
Slab:             778564 kB
SReclaimable:     222308 kB
SUnreclaim:       556256 kB
KernelStack:        1808 kB
PageTables:         5516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:    1573032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    856064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69120 MiB
End job on node117 at 2012-06-03 21:52:11